diff options
Diffstat (limited to 'omegalib/examples/old_test/closure4.oc-rt')
| -rw-r--r-- | omegalib/examples/old_test/closure4.oc-rt | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/omegalib/examples/old_test/closure4.oc-rt b/omegalib/examples/old_test/closure4.oc-rt deleted file mode 100644 index d208cce..0000000 --- a/omegalib/examples/old_test/closure4.oc-rt +++ /dev/null @@ -1,28 +0,0 @@ -# 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 } - -# |