1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# symbolic n,m;
#
# R1 := {[x,y] -> [x,y+1] : 1 <= x,y <= 10};
#
# R2 := {[x,y] -> [x+1,y] : 1 <= x <= 20 && 5 <= y <= 15};
#
# R12 := R1 union R2;
#
# R12c := R12+;
#
# R12c;
{[x,y] -> [x,y'] : 1 <= y < y' <= 11 && 1 <= x <= 10} union
{[x,y] -> [x',y] : 1 <= x < x' <= 21 && 5 <= y <= 15} union
{[x,y] -> [x',y'] : 1 <= x < x' <= 21 && 1 <= y < y' <= 11 && x <= 10 && 5 <= y'}
#
# (R12c compose R12c) - R12c;
{[x,y] -> [x',y'] : FALSE }
#
# (R12c compose R12) - R12c;
{[x,y] -> [x',y'] : FALSE }
#
|
