From 372c92e7c1901dd7bdd1d2fd48bff205c31dca2d Mon Sep 17 00:00:00 2001
From: Tuowen Zhao <ztuowen@gmail.com>
Date: Mon, 19 Sep 2016 11:52:51 -0600
Subject: remove omegacalc as subproject

---
 omegalib/examples/old_test/tex1.oc-rt | 58 -----------------------------------
 1 file changed, 58 deletions(-)
 delete mode 100644 omegalib/examples/old_test/tex1.oc-rt

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

diff --git a/omegalib/examples/old_test/tex1.oc-rt b/omegalib/examples/old_test/tex1.oc-rt
deleted file mode 100644
index fd138d0..0000000
--- a/omegalib/examples/old_test/tex1.oc-rt
+++ /dev/null
@@ -1,58 +0,0 @@
-# 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