summaryrefslogtreecommitdiff
path: root/omegalib/examples/old_test/collard
diff options
context:
space:
mode:
Diffstat (limited to 'omegalib/examples/old_test/collard')
-rw-r--r--omegalib/examples/old_test/collard16
1 files changed, 0 insertions, 16 deletions
diff --git a/omegalib/examples/old_test/collard b/omegalib/examples/old_test/collard
deleted file mode 100644
index 0fb4ee4..0000000
--- a/omegalib/examples/old_test/collard
+++ /dev/null
@@ -1,16 +0,0 @@
-symbolic n;
-
-I1 := {[i,j] : 1 <= i < j <= n};
-I2 := {[i,j,K] : 1 <= i < j,K <= n};
-I3 := {[i] : 1 <= i <= n};
-I4 := {[i,j] : 1 <= j < i <= n};
-I5 := {[i] : 1 <= i <= n};
-
-T1 := {[i,j] -> [1,i,0,n-i,n-j]};
-T2 := {[i,j,k] -> [1,i,1,n-j,k]};
-T3 := {[i] -> [0,0,0,0,i]};
-T4 := {[i,j] -> [2,j,1,i,j]};
-T5 := {[i] -> [2,i,0,0,0]};
-
-
-codegen T1:I1,T2:I2,T3:I3,T4:I4,T5:I5;