remove omegacalc as subproject

1 files changed, 0 insertions, 80 deletions

diff --git a/omegalib/examples/old_test/p.delft2.oc-rt b/omegalib/examples/old_test/p.delft2.oc-rt
deleted file mode 100644
index 3ee662e..0000000
--- a/omegalib/examples/old_test/p.delft2.oc-rt
+++ /dev/null
@@ -1,80 +0,0 @@
-# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
-# # Compute Sends and receives for the following HPF fragment
-# 
-# I := { [i,j] : 1 <= i <= 14 && 0 <= j <= 14 };
-# 
-# X := { [i,j] -> [3i,3j] };
-# 
-# Y := { [i,j] -> [i',3j] : 3i-1 <= i'<= 3i};
-# 
-# A := { [i,j] -> [3i,3j] };
-# 
-# D := { [t1,t2] -> [p1,p2,c1,c2,l1,l2] :
-# 		t1 = 16c1+4p1+l1 
-# 		&& t2 = 16c2+4p2+l2 
-# 		&& 0 <= p1,p2 <= 3
-# 		&& 0 <= l1,l2 <= 3 };
-# 
-# P := { [p1,p2,c1,c2,l1,l2] -> [p1,p2]};
-# 
-# C := { [p1,p2,c1,c2,l1,l2] -> [p1,p2,c1,c2]};
-# 
-# own := P(D(A(X))) \I;
-# 
-# own;
-
-{[i,j] -> [p1,p2] : Exists ( alpha,beta : 1 <= i <= 14 && 0 <= j <= 14 && 0 <= p1 <= 3 && 0 <= p2 <= 3 && 4p1+16alpha <= 9i && 4p2+16beta <= 9j && 9i <= 3+4p1+16alpha && 9j <= 3+4p2+16beta)}
-
-# 
-# need := D(A(Y)) \I;
-# 
-# need;
-
-{[i,j] -> [p1,p2,c1,c2,l1,9j-4p2-16c2] : Exists ( alpha : p1+c1+l1 = 3alpha && 1 <= i <= 14 && 0 <= j <= 14 && 0 <= p1 <= 3 && 0 <= p2 <= 3 && 0 <= l1 <= 3 && 4p2+16c2 <= 9j && 9j <= 3+4p2+16c2 && 9i <= 3+4p1+16c1+l1 && 4p1+16c1+l1 <= 9i)}
-
-# 
-# different := {[p1,p2] -> [q1,q2,c1,c2,l1,l2] : p1 != q1 || p2 != q2};
-# 
-# ship := (need compose (inverse own) ) intersection different;
-# 
-# symbolic P1,P2;
-# 
-# P := {[P1,P2]};
-# 
-# S := range (ship \ P);
-# 
-# S;
-
-{[3,P2,c1,c2,l1,l2]: Exists ( alpha,beta,gamma : 4P2+l2 = 2c2+9beta && l1+c1 = 3alpha && 0 <= P1 <= -4c1+27 && 0 <= P2 <= 3 && -16c1-6 <= l1 <= 3 && 0 <= l2 <= 3 && 0 <= c2 && 4P2+l2+16c2 <= 126 && 9gamma <= 15+l1+16c1 && 16+4P1+16c1 <= 9gamma)} union
- {[In_1,P2,c1,c2,l1,l2]: Exists ( alpha,beta,gamma : 4P2+l2 = 2c2+9beta && In_1+c1+l1 = 3alpha && 0 <= In_1 < P1 <= -4c1+31, 3 && 0 <= P2 <= 3 && 0 <= l2 <= 3 && l1 <= 3 && 6 <= 4In_1+16c1+l1 && 4P1+16c1 <= 9gamma && 0 <= 4P2+l2+16c2 && 4P2+l2+16c2 <= 126 && 9gamma <= 3+4In_1+16c1+l1)}
-
-# 
-# codegen S;
-if (P1 >= 1 && P2 >= 0 && P1 <= 3 && P2 <= 3) {
-  for(t3 = intDiv(-P1+2+3,4); t3 <= 7; t3++) {
-    for(t4 = 0; t4 <= 7; t4++) {
-      for(t5 = 1+intMod(((-P1-t3+1)-1),3); t5 <= 3; t5 += 3) {
-        if (intMod(4*P1-2*t3+t5-1,9) == 0) {
-          for(t6 = intMod((-4*P2+2*t4),9); t6 <= 3; t6 += 9) {
-            s1(P1-1,P2,t3,t4,t5,t6);
-          }
-        }
-      }
-    }
-  }
-}
-if (P1 == 0 && P2 >= 0 && P2 <= 3) {
-  for(t3 = 0; t3 <= 6; t3++) {
-    for(t4 = 0; t4 <= 7; t4++) {
-      for(t5 = 1+intMod((-t3-1),3); t5 <= 3; t5 += 3) {
-        if (4*t5 == -t3+12) {
-          for(t6 = intMod((-4*P2+2*t4),9); t6 <= 3; t6 += 9) {
-            s1(3,P2,-4*t5+12,t4,t5,t6);
-          }
-        }
-      }
-    }
-  }
-}
-
-#