blob: 1f8af5f1e48c602e00c59113f883d3c43d63bdbc (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
:import std/Combinator .
:import std/List .
:import Screen .
t-square-1 [[build tl tr bl br] mut]
mut y* ([[[[build 3 2 1 b]]]] : ([[[[build 3 2 b 0]]]] : ([[[[build 3 b 1 0]]]] : {}[[[[build b 2 1 0]]]])))
tl ^0
tr ^(~0)
bl ^(~(~0))
br ^(~(~(~0)))
# 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
tr ^(~0)
bl ^(~(~0))
br ^(~(~(~0)))
t-square-3 [y [[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 [y [[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]]
tl [[0 1 1 1 1]] (build 0 b b b)
tr [[0 1 1 1 1]] (build b 0 b b)
bl [[0 1 1 1 1]] (build b b 0 b)
br [[0 1 1 1 1]] (build b b b 0)
|
