Sierpiń-T-squares

2 files changed, 51 insertions, 1 deletions

diff --git a/index.html b/index.html
index 253ad14..ec4788e 100644
--- a/index.html
+++ b/index.html
@@ -75,6 +75,56 @@ br = (y \\((((0 1) 1) 1) \\0))
               Sierpiński square
             </option>
             <option
+              value="y = \(\(0 0) \(1 (0 0)))
+sa = (y \\((((0 \\0) 1) 1) 1))
+sb = (y \\((((0 1) \\0) 1) 1))
+sc = (y \\((((0 1) 1) \\0) 1))
+sd = (y \\((((0 1) 1) 1) \\0))
+tl = \\\\\((((0 4) 3) 2) sd)
+tr = \\\\\((((0 4) 3) sc) 1)
+bl = \\\\\((((0 4) sb) 2) 1)
+br = \\\\\((((0 sa) 3) 2) 1)
+\(y \\((((0 (1 tl)) (1 tr)) (1 bl)) (1 br)))"
+            >
+              Sierpiń-T-square v1
+            </option>
+            <option
+              value="y = \(\(0 0) \(1 (0 0)))
+oncesa = (y \\((((0 \\0) 1) 1) 1))
+oncesb = (y \\((((0 1) \\0) 1) 1))
+oncesc = (y \\((((0 1) 1) \\0) 1))
+oncesd = (y \\((((0 1) 1) 1) \\0))
+sa = (y \\((((0 \\0) 1) 1) oncesd))
+sb = (y \\((((0 1) \\0) oncesc) 1))
+sc = (y \\((((0 1) oncesb) \\0) 1))
+sd = (y \\((((0 oncesa) 1) 1) \\0))
+tl = \\\\\((((0 4) 3) 2) sd)
+tr = \\\\\((((0 4) 3) sc) 1)
+bl = \\\\\((((0 4) sb) 2) 1)
+br = \\\\\((((0 sa) 3) 2) 1)
+\(y \\((((0 (1 tl)) (1 tr)) (1 bl)) (1 br)))"
+            >
+              Sierpiń-T-square v2
+            </option>
+            <option
+              value="y = \(\(0 0) \(1 (0 0)))
+oncesa = (y \\((((0 \\0) 1) 1) 1))
+oncesb = (y \\((((0 1) \\0) 1) 1))
+oncesc = (y \\((((0 1) 1) \\0) 1))
+oncesd = (y \\((((0 1) 1) 1) \\0))
+sa = ((y \\((((0 \\0) 1) 1) 1)) \\\\\((((0 oncesd) 3) 2) 1))
+sb = ((y \\((((0 1) \\0) 1) 1)) \\\\\((((0 4) oncesc) 2) 1))
+sc = ((y \\((((0 1) 1) \\0) 1)) \\\\\((((0 4) 3) oncesb) 1))
+sd = ((y \\((((0 1) 1) 1) \\0)) \\\\\((((0 4) 3) 2) oncesa))
+tl = \\\\\((((0 4) 3) 2) sa)
+tr = \\\\\((((0 4) 3) sb) 1)
+bl = \\\\\((((0 4) sc) 2) 1)
+br = \\\\\((((0 sd) 3) 2) 1)
+\(y \\((((0 (1 tl)) (1 tr)) (1 bl)) (1 br)))"
+            >
+              Sierpiń-T-square v3
+            </option>
+            <option
               value="y = \(\(1 (0 0)) \(1 (0 0)))
 tl = \\\\\((((0 4) 3) 2) \((((0 \((((0 \\0) \\1) \\1) \\1)) \\1) \\1) \\0))
 tr = \\\\\((((0 4) 3) \((((0 \\1) \((((0 \\1) \\0) \\1) \\1)) \\0) \\1)) 1)
diff --git a/main.js b/main.js
index 4ea2d38..44d132d 100644
--- a/main.js
+++ b/main.js
@@ -241,7 +241,7 @@ const parse = (str) => {
     .trim()
     .split(/\r?\n/)
     .every((line) => {
-      if (line.startsWith("--") || line.length == 0) return true;
+      if (line.startsWith("--") || line.length === 0) return true;
       if (!line.includes("=")) {
         t = resolveTerm(parseTerm(line), defs);
         return false;