1 files changed, 37 insertions, 0 deletions
diff --git a/omega/examples/old_test/sample3.oc-rt b/omega/examples/old_test/sample3.oc-rt
new file mode 100644
index 0000000..a486bdd
--- /dev/null
+++ b/omega/examples/old_test/sample3.oc-rt
@@ -0,0 +1,37 @@
+# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
+# Symbolic n,m;
+# 
+# 
+# sym_example {[i] : 1 <= i <= n};
+
+{[1]: 1 <= n}
+
+# 
+# 
+# sym_example {[i] : m <= i <= n};
+
+{[m]: m <= n}
+
+# 
+# 
+# sym_example {[i] : m <= i <= n && exists (alpha : i = 2alpha)};
+
+{[0]: m <= 0 && 0 <= n}
+
+# 
+# example {[i] : m <= i <= n && exists (alpha : i = 2alpha)};
+
+{[42]: m = 42 && n = 42}
+
+# 
+# example {[i] : m < i <= n && exists (alpha : i = 2alpha)};
+
+{[44]: m = 42 && n = 44}
+
+# 
+# example {[i] : m < i < n};
+
+{[43]: m = 42 && n = 44}
+
+# 
+#