From 372c92e7c1901dd7bdd1d2fd48bff205c31dca2d Mon Sep 17 00:00:00 2001
From: Tuowen Zhao <ztuowen@gmail.com>
Date: Mon, 19 Sep 2016 11:52:51 -0600
Subject: remove omegacalc as subproject
---
omegalib/examples/old_test/closure4.oc-rt | 28 ----------------------------
1 file changed, 28 deletions(-)
delete mode 100644 omegalib/examples/old_test/closure4.oc-rt
(limited to 'omegalib/examples/old_test/closure4.oc-rt')
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 }
-
-#
--
cgit v1.2.3-70-g09d2