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/omega_calc/obj/tile.script | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 omega/omega_calc/obj/tile.script

(limited to 'omega/omega_calc/obj/tile.script')

diff --git a/omega/omega_calc/obj/tile.script b/omega/omega_calc/obj/tile.script
new file mode 100644
index 0000000..54980bb
--- /dev/null
+++ b/omega/omega_calc/obj/tile.script
@@ -0,0 +1,5 @@
+sym = n; 
+s1:={[In_1,In_2,In_3,In_4] : exists ( t2,t4,t6,t8,t2',t4',t6',t8' : ( exists ( alpha,beta : t2 = 16beta && t2' = 16alpha && t4' = t4 && t6' = 1+t6 && t8' = 1+t8 && t2' = t2+In_1 && t4' = t4+In_2 && t6' = t6+In_3 && t8' = t8+In_4 && 0, t8-15 <= t2 <= t8 <= t2'+14 && 0 <= t2' <= t8+1, n-1 && 0 <= t6 <= n-2 && 0 <= t4 < n && t2 < n) )) };
+s2:={[t8]: 0 < t8 < 8};
+
+gist(s1,s2);
-- 
cgit v1.2.3-70-g09d2