remove omegacalc as subproject

1 files changed, 0 insertions, 37 deletions

diff --git a/omegalib/examples/old_test/foo.oc-rt b/omegalib/examples/old_test/foo.oc-rt
deleted file mode 100644
index 3f7f5a9..0000000
--- a/omegalib/examples/old_test/foo.oc-rt
+++ /dev/null
@@ -1,37 +0,0 @@
-# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
-# 
-# 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;
-
-{[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}
-
-# 
-# difference R;
-
-{[1,1]} union
- {[In_1,In_1]: 2 <= In_1}
-
-# 
-# hull difference R;
-
-{[In_1,In_1]: 1 <= In_1}
-
-# 
-# 
-# Hull R;
-
-{[t,s] -> [t',s-t+t'] : t <= s, t'-1}
-
-# 
-#