Massive code reduction

2 files changed, 26 insertions, 12 deletions

diff --git a/bruijn/Experiments.bruijn b/bruijn/Experiments.bruijn
index 6b837c6..07519d5 100644
--- a/bruijn/Experiments.bruijn
+++ b/bruijn/Experiments.bruijn
@@ -9,7 +9,7 @@ t-square-1 [[build tl tr bl br] mut]
 	bl ^(~(~0))
 	br ^(~(~(~0)))
 
-# TODO: 1/2
+# TODO: 1/2??
 t-square-2 [[build tl tr bl br] mut]
 	mut y* ([[[[build 3 2 1 (build b w w b)]]]] : ([[[[build 3 2 (build w b b w) 0]]]] : ([[[[build 3 (build w b b w) 1 0]]]] : {}[[[[build (build b w w b) 2 1 0]]]])))
 	tl ^0
@@ -17,13 +17,25 @@ t-square-2 [[build tl tr bl br] mut]
 	bl ^(~(~0))
 	br ^(~(~(~0)))
 
-sierpinski-carpet [[build tl tr bl br] mut]
+t-square-3 [[0 0] [[0 (1 1 0)]] [[0 (1 tl) (1 tr) (1 bl) (1 br)]]]
+	tl [[[[[0 4 3 2 b]]]]]
+	tr [[[[[0 4 3 b 1]]]]]
+	bl [[[[[0 4 b 2 1]]]]]
+	br [[[[[0 b 3 2 1]]]]]
+
+sierpinski-carpet-1 [[build tl tr bl br] mut]
 	mut y* ([[[[build 3 2 1 (build (build b w w w) w w b)]]]] : ([[[[build 3 2 (build w (build w b w w) b w) 0]]]] : ([[[[build 3 (build w b (build w w b w) w) 1 0]]]] : {}[[[[build (build b w w (build w w w b)) 2 1 0]]]])))
 	tl ^0
 	tr ^(~0)
 	bl ^(~(~0))
 	br ^(~(~(~0)))
 
+sierpinski-carpet-2 [[0 0] [[0 (1 1 0)]] [[0 (1 tl) (1 tr) (1 bl) (1 br)]]]
+	tl [[[[build 3 2 1 (build (build b w w w) w w b)]]]]
+	tr [[[[build 3 2 (build w (build w b w w) b w) 0]]]]
+	bl [[[[build 3 (build w b (build w w b w) w) 1 0]]]]
+	br [[[[build (build b w w (build w w w b)) 2 1 0]]]]
+
 sierpinski-triangle [y [build 0 b 0 0]]
 
 cantor-dust [y [build tl tr bl br]]
diff --git a/index.html b/index.html
index 369bf0c..5591f8e 100644
--- a/index.html
+++ b/index.html
@@ -55,20 +55,22 @@ y = \(\(1 (0 0)) \(1 (0 0)))
               Sierpiński triangle
             </option>
             <option
-              value="y = \(\(1 (0 0)) \(1 (0 0)))
-vfix = (y \\((\(y \\((0 \\\\((0 (6 3)) (5 2))) 0)) \(0 (2 1))) 0))
-mut = \((0 \\((((0 (1 \\1)) ((1 \\0) \\1)) (((1 \\0) \\0) \\1)) \\0)) \((0 \\((((0 (1 \\1)) ((1 \\0) \\1)) \\0) ((((1 \\0) \\0) \\0) \\1))) \((0 \\((((0 (1 \\1)) \\0) (((1 \\0) \\0) \\1)) ((((1 \\0) \\0) \\0) \\1))) \((0 \\((((0 \\0) ((1 \\0) \\1)) (((1 \\0) \\0) \\1)) ((((1 \\0) \\0) \\0) \\1))) \\0))))
-build = \\((((0 (1 \\1)) ((1 \\0) \\1)) (((1 \\0) \\0) \\1)) ((((1 \\0) \\0) \\0) \\1))
-\(build (vfix mut))"
+              value="vfix = (\(0 0) \\(0 ((1 1) 0)))
+tl = \\\\\((((0 4) 3) 2) \\0)
+tr = \\\\\((((0 4) 3) \\0) 1)
+bl = \\\\\((((0 4) \\0) 2) 1)
+br = \\\\\((((0 \\0) 3) 2) 1)
+\(vfix \\((((0 (1 tl)) (1 tr)) (1 bl)) (1 br)))"
             >
               T-square
             </option>
             <option
-              value="y = \(\(1 (0 0)) \(1 (0 0)))
-vfix = (y \\((\(y \\((0 \\\\((0 (6 3)) (5 2))) 0)) \(0 (2 1))) 0))
-mut = \((0 \\((((0 (1 \\1)) ((1 \\0) \\1)) (((1 \\0) \\0) \\1)) \((((0 \((((0 \\0) \\1) \\1) \\1)) \\1) \\1) \\0))) \((0 \\((((0 (1 \\1)) ((1 \\0) \\1)) \((((0 \\1) \((((0 \\1) \\0) \\1) \\1)) \\0) \\1)) ((((1 \\0) \\0) \\0) \\1))) \((0 \\((((0 (1 \\1)) \((((0 \\1) \\0) \((((0 \\1) \\1) \\0) \\1)) \\1)) (((1 \\0) \\0) \\1)) ((((1 \\0) \\0) \\0) \\1))) \((0 \\((((0 \((((0 \\0) \\1) \\1) \((((0 \\1) \\1) \\1) \\0))) ((1 \\0) \\1)) (((1 \\0) \\0) \\1)) ((((1 \\0) \\0) \\0) \\1))) \\0))))
-build = \\((((0 (1 \\1)) ((1 \\0) \\1)) (((1 \\0) \\0) \\1)) ((((1 \\0) \\0) \\0) \\1))
-\(build (vfix mut))"
+              value="vfix = (\(0 0) \\(0 ((1 1) 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)
+bl = \\\\\((((0 4) \((((0 \\1) \\0) \((((0 \\1) \\1) \\0) \\1)) \\1)) 2) 1)
+br = \\\\\((((0 \((((0 \\0) \\1) \\1) \((((0 \\1) \\1) \\1) \\0))) 3) 2) 1)
+\(vfix \\((((0 (1 tl)) (1 tr)) (1 bl)) (1 br)))"
             >
               Sierpiński carpet (variant)
             </option>