omegalib/examples/old_test/foo


1
2
3
4
5
6
7
8
9
10
11
12
13


R := {[t,s] -> [t+2,s+2] : t <= s} union
 {[t,s] -> [t+4,s+4] : t <= s} union
 {[t,s] -> [t+3,s+3] : t <= s} union
 {[t,s] -> [t',s-t+t'] : t <= s, t'-5} union
 {[t,s] -> [t+1,s+1] : t <= s} union
 {[t,s] -> [t',s-t+t'] : t <= s-1, t'-2};
R;
difference R;
Hull difference R;

Hull R;