1 files changed, 29 insertions, 0 deletions
diff --git a/omega/examples/old_test/fc2 b/omega/examples/old_test/fc2
new file mode 100644
index 0000000..b195d72
--- /dev/null
+++ b/omega/examples/old_test/fc2
@@ -0,0 +1,29 @@
+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]};
+
+first := {[i,*,*,*] -> [i]};
+
+first(T1(I1));
+first(T2(I2));
+first(T3(I3));
+first(T4(I4));
+first(T5(I5));
+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;
+