diff options
Diffstat (limited to 'omega/omega_calc/obj/tile.script')
| -rw-r--r-- | omega/omega_calc/obj/tile.script | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/omega/omega_calc/obj/tile.script b/omega/omega_calc/obj/tile.script deleted file mode 100644 index 54980bb..0000000 --- a/omega/omega_calc/obj/tile.script +++ /dev/null @@ -1,5 +0,0 @@ -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); |