From 75ff98e4d65862ff5b36b533b4f6e3ea71ede1d5 Mon Sep 17 00:00:00 2001
From: Tuowen Zhao <ztuowen@gmail.com>
Date: Sat, 17 Sep 2016 03:22:53 +0000
Subject: cmake build

---
 omegalib/examples/old_test/ge.oc-rt | 38 +++++++++++++++++++++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 omegalib/examples/old_test/ge.oc-rt

(limited to 'omegalib/examples/old_test/ge.oc-rt')

diff --git a/omegalib/examples/old_test/ge.oc-rt b/omegalib/examples/old_test/ge.oc-rt
new file mode 100644
index 0000000..1006fe5
--- /dev/null
+++ b/omegalib/examples/old_test/ge.oc-rt
@@ -0,0 +1,38 @@
+>>> symbolic n;
+>>> I1 := {[k,i] : 1 <= k < i <= n };
+>>> I2 := {[k,i,j] : 1 <= k < i,j <= n };
+>>> T1 := {[k,i] -> [i,k,1,0]};
+>>> T2 := {[k,i,j] -> [i,j,0,k]};
+>>> T1(I1);
+{[i,k,1,0]: 1 <= k < i <= n}
+>>> T2(I2);
+{[i,j,0,k]: 1 <= k < i,j <= n}
+>>> codegen T1:I1,T2:I2;
+for(t1 = 2; t1 <= n; t1++) {
+  for(t2 = 1; t2 <= n; t2++) {
+    for(t4 = 1; t4 <= min(t1-1,t2-1); t4++) {
+      s2(t4,t1,t2);
+    }
+    if (t2 <= t1-1) {
+      s1(t2,t1);
+    }
+  }
+}
+
+>>> codegen 2 T1:I1,T2:I2;
+for(t1 = 2; t1 <= n; t1++) {
+  s1(1,t1);
+  for(t2 = 2; t2 <= t1-1; t2++) {
+    for(t4 = 1; t4 <= t2-1; t4++) {
+      s2(t4,t1,t2);
+    }
+    s1(t2,t1);
+  }
+  for(t2 = t1; t2 <= n; t2++) {
+    for(t4 = 1; t4 <= t1-1; t4++) {
+      s2(t4,t1,t2);
+    }
+  }
+}
+
+
-- 
cgit v1.2.3-70-g09d2