From 0041afc9c49e1e82def7850c38056a354b24de6f Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 2 Nov 2024 23:28:57 +0100
Subject: Sierpiń-T-squares

---
 index.html | 50 ++++++++++++++++++++++++++++++++++++++++++++++++++
 main.js    |  2 +-
 2 files changed, 51 insertions(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 253ad14..ec4788e 100644
--- a/index.html
+++ b/index.html
@@ -74,6 +74,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))
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;
-- 
cgit v1.2.3