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/p6 | 25 -------------------------
 1 file changed, 25 deletions(-)
 delete mode 100644 omegalib/examples/old_test/p6

(limited to 'omegalib/examples/old_test/p6')

diff --git a/omegalib/examples/old_test/p6 b/omegalib/examples/old_test/p6
deleted file mode 100644
index f09634a..0000000
--- a/omegalib/examples/old_test/p6
+++ /dev/null
@@ -1,25 +0,0 @@
-R := { [i] -> [i'] : 1 <= i,i' <= 10 && i' = i+1 };
-R;
-inverse R;
-domain R;
-range R;
-R compose R;
-R+;             # closure of R = R union (R compose R) union (R compose R ...
-complement R;
-S := {[i] : 5 <= i <= 25};
-S;
-R(S);           # apply R to S
-R \ S;          # restrict domain of R to S
-R / S;          # restrict range of R to S
-(R\S) union (R/S);
-(R\S) intersection (R/S);
-(R/S) - (R\S);
-S*S;            # cross product 
-D := S - {[9:16:2]} - {[17:19]};
-D;
-T :=  { [i] : 1 <= i <= 11 & exists (a : i = 2a) };
-T;
-Hull T;
-Hull D;
-codegen D;
-codegen {[i,j] : 1 <= i+j,j <= 10};
-- 
cgit v1.2.3-70-g09d2