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