diff options
| author | Derick Huth <derickhuth@gmail.com> | 2014-10-06 12:42:34 -0600 |
|---|---|---|
| committer | Derick Huth <derickhuth@gmail.com> | 2014-10-06 12:42:34 -0600 |
| commit | 8d73c8fcc75556c1df71dd39dd99783f8f86fc3e (patch) | |
| tree | 157d627863d76a4c256a27cae27ce2e8566c7ea0 /omega/omega_calc/obj/tile.script | |
| parent | e87b55ad69f0ac6211daae741b32c8ee9dcbe470 (diff) | |
| parent | 8c646f24570079eac53e58fcf42d0d4fbc437ee3 (diff) | |
| download | chill-8d73c8fcc75556c1df71dd39dd99783f8f86fc3e.tar.gz chill-8d73c8fcc75556c1df71dd39dd99783f8f86fc3e.tar.bz2 chill-8d73c8fcc75556c1df71dd39dd99783f8f86fc3e.zip | |
Merge pull request #2 from dhuth/master
Moved omega into chill.
Diffstat (limited to 'omega/omega_calc/obj/tile.script')
| -rw-r--r-- | omega/omega_calc/obj/tile.script | 5 |
1 files changed, 5 insertions, 0 deletions
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); |