From e4b20015a4ee35f1279af4caa983478fa2ff0d4a Mon Sep 17 00:00:00 2001
From: dhuth <derickhuth@gmail.com>
Date: Mon, 6 Oct 2014 11:56:47 -0600
Subject: Added omega to source
---
omega/examples/old_test/tex1.oc-rt | 58 ++++++++++++++++++++++++++++++++++++++
1 file changed, 58 insertions(+)
create mode 100644 omega/examples/old_test/tex1.oc-rt
(limited to 'omega/examples/old_test/tex1.oc-rt')
diff --git a/omega/examples/old_test/tex1.oc-rt b/omega/examples/old_test/tex1.oc-rt
new file mode 100644
index 0000000..fd138d0
--- /dev/null
+++ b/omega/examples/old_test/tex1.oc-rt
@@ -0,0 +1,58 @@
+# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
+# #
+# # Extract from omega4
+# # removed "eqnarray" commands, associated &'s, and overbrace commands
+# # added declaration of n
+# # added semicolon
+# #
+# # It would be nice not to have to do the following:
+# # removed \ in front of variable names
+# #
+#
+# $$
+# symbolic n;
+#
+# R := \{\ [ii] \rightarrow [ki] \mid
+# 1 \leq ii \leq 2n
+# \ \land \ 1 \leq ki \leq 2n
+# \land ii = ki
+# \land ii = ki\\
+# \t \land
+# \ \neg (\ \exists [ji, jj] \st
+# (1 \leq ji \leq 2n \land 1 \leq jj \leq n\!-\!1)
+# \land (ii \leq ji \land ji \leq ki) \land (2jj = ki)\ )\\
+# \t
+# \land \
+# \neg (\ \exists [ji, jj] \st
+# (1 \leq ji \leq 2n \land 1 \leq jj \leq n\!-\!1)
+# \land (ii \leq ji \land ji \leq ki) \land (2jj\!+\!1 = ki)\ )
+# \ \}
+# ;
+#
+#
+# R;
+
+{[ii] -> [ii] : n = 1 && 1 <= ii <= 2} union
+ {[2n] -> [2n] : 2 <= n} union
+ {[1] -> [1] : 2 <= n}
+
+#
+# $$
+# # S := \{\ [\ii] \rightarrow [\ki] \mid
+# # 1 \leq \ii \leq 2\n
+# # \ \land \ 1 \leq \ki \leq 2\n
+# # \land \ii = \ki
+# # \land \ii = \ki\\
+# # \t \land
+# # \ \neg (\ \exists [\ji, \jj] \st
+# # (1 \leq \ji \leq 2\n \land 1 \leq \jj \leq \n\!-\!1)
+# # \land (\ii \leq \ji \land \ji \leq \ki) \land (2\jj = \ki)\ )\\
+# # \t
+# # \land \
+# # \neg (\ \exists [\ji, \jj] \st
+# # (1 \leq \ji \leq 2\n \land 1 \leq \jj \leq \n\!-\!1)
+# # \land (\ii \leq \ji \land \ji \leq \ki) \land (2\jj\!+\!1 = \ki)\ )
+# # \ \}
+# # ;
+# #
+# # S;
--
cgit v1.2.3-70-g09d2