omegalib/examples/old_test/p8.oc-rt


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# R1 := {[i] -> [j] : i < j};
# 
# R2 := {[x] -> [y] : x < y};
# 
# inverse R2;

{[y] -> [x] : x < y}

# 
# R1 union R2;

{[In_1] -> [Out_1] : In_1 < Out_1}

# 
# R2(R1);

{[i] -> [y] : i <= y-2}

# 
#