Created
May 22, 2016 16:05
-
-
Save vampjaz/b265c6b5c4f2909629a8fcb5e9c20977 to your computer and use it in GitHub Desktop.
Thue solutions - lines starting with a space are comments
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
ab=ba; | |
that was easy |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
r0=0ar; | |
r1=1ar; | |
0r=0; | |
1r=1; | |
pk=k; | |
0a=a0; | |
1a=a1; | |
aaaa=pppp; | |
aaa=ppp; | |
aa=pp; | |
a=p; | |
0p00=00p0; | |
0p01=01p0; | |
0p10=00p1; | |
0p11=01p1; | |
1p00=10p0; | |
1p01=11p0; | |
1p10=10p1; | |
1p11=11p1; | |
p00=z0p0; | |
p01=z1p0; | |
p10=z0p1; | |
p11=z1p1; | |
p1=k1; | |
p0=k0; | |
z1=1; | |
z0=0; | |
k0=0; | |
k1=1; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
$=Az; | |
0A=B; | |
1A=B.; | |
0B=C; | |
1B=C..; | |
0C=D; | |
1C=D....; | |
0D=E; | |
1D=E........; | |
0E=F; | |
1E=F,......; | |
0F=G; | |
1F=G,,,..; | |
0G=H; | |
1G=H,,,,,,....; | |
0H=I; | |
1H=I:,,........; | |
0I=; | |
1I=::,,,,,......; | |
A=; | |
B=; | |
C=; | |
D=; | |
E=; | |
F=; | |
G=; | |
H=; | |
I=; | |
z=[{(; | |
.,=,.; | |
,:=:,; | |
..........=,; | |
,,,,,,,,,,=:; | |
.[=[.; | |
,[=[,; | |
.{={.; | |
{(={0; | |
[{=[0; | |
#[=#0; | |
[=; | |
{=; | |
(=; | |
#0=#; | |
.........=9; | |
........=8; | |
.......=7; | |
......=6; | |
.....=5; | |
....=4; | |
...=3; | |
..=2; | |
.=1; | |
,,,,,,,,,=9; | |
,,,,,,,,=8; | |
,,,,,,,=7; | |
,,,,,,=6; | |
,,,,,=5; | |
,,,,=4; | |
,,,=3; | |
,,=2; | |
,=1; | |
:::::::::=9; | |
::::::::=8; | |
:::::::=7; | |
::::::=6; | |
:::::=5; | |
::::=4; | |
:::=3; | |
::=2; | |
:=1; | |
#=; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
sBX=hello; | |
p=sP; | |
P1=1P; | |
P2=2P; | |
P3=3P; | |
P4=4P; | |
P5=5P; | |
P6=6P; | |
P7=7P; | |
P8=8P; | |
P9=9P; | |
P0=0P; | |
P=Az; | |
convert to dots | |
0A=B; | |
1A=B.; | |
2A=B..; | |
3A=B...; | |
4A=B....; | |
5A=B.....; | |
6A=B......; | |
7A=B.......; | |
8A=B........; | |
9A=B.........; | |
0B=C; | |
1B=C,; | |
2B=C,,; | |
3B=C,,,; | |
4B=C,,,,; | |
5B=C,,,,,; | |
6B=C,,,,,,; | |
7B=C,,,,,,,; | |
8B=C,,,,,,,,; | |
9B=C,,,,,,,,,; | |
0C=; | |
1C=-; | |
2C=--; | |
3C=---; | |
4C=----; | |
5C=-----; | |
6C=------; | |
7C=-------; | |
8C=--------; | |
9C=---------; | |
dots to unary | |
-=,,,,,,,,,,; | |
,=..........; | |
dj=j; | |
division area | |
z=X$$ZY%%k; | |
duplicate dividend | |
>>>>>>>>>>>>|=|>>>>>>>>>>>>; | |
>>>>|=|>>>>; | |
>|=|>; | |
>Z=Z>; | |
|EY=#FY; | |
duplicate the divisor | |
____________<=<____________; | |
____<=<____; | |
_<=<_; | |
Y<=<Y; | |
____________(=(____________; | |
____(=(____; | |
_(=(_; | |
Y(=(Y; | |
k=j; | |
annihilate the things (division) | |
><=; | |
>(=; | |
Z(=:E~; | |
if we run out of divisor and we still have dividend, duplicate it again | |
>Y=>*Yd; | |
d_=<_d; | |
*=; | |
i need to make it so the first time the divisor is sent over, it is a different character, | |
and so when that char hits Z it marks it as prime because it's dividing by 1 + dividend | |
(but it would be better not to loop until that point) | |
or i could duplicate the dividend, and anihilate one of the duplicates for every two of the unary items in | |
the dividend, and then if there are any left over, it would reset and increment. | |
i'd just have to make sure to save the divisor first | |
increment the number to be checked | |
|ZY=@$$ZY; | |
|@=@$; | |
X@=X; | |
]_=]; | |
]j=%%j; | |
)_=%); | |
)j=j; | |
used for incrementing | |
|#D=#||>>D; | |
|#=#|>; | |
X#=X; | |
have to make sure these duplicate after other things | |
%=<_; | |
$=|>; | |
decrement counter | |
|:=:|; | |
.X:=X; | |
~=; | |
reset the number to divide by and increment the tested number if we encounter a composite number | |
ZY=#DY]; | |
>D=Z>*; | |
if it isn't divisible, increment divisor | |
Z<=|E}; | |
}<=}; | |
}Y=Y%); | |
F=Z; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
this can only add integers | |
any integer though | |
it uses simple add-and-carry logic | |
0p=p0; | |
1p=p1; | |
2p=p2; | |
3p=p3; | |
4p=p4; | |
5p=p5; | |
6p=p6; | |
7p=p7; | |
8p=p8; | |
9p=p9; | |
q0=0q; | |
q1=1q; | |
q2=2q; | |
q3=3q; | |
q4=4q; | |
q5=5q; | |
q6=6q; | |
q7=7q; | |
q8=8q; | |
q9=9q; | |
q=tc; | |
00t=0t0; | |
01t=1t0; | |
02t=2t0; | |
03t=3t0; | |
04t=4t0; | |
05t=5t0; | |
06t=6t0; | |
07t=7t0; | |
08t=8t0; | |
09t=9t0; | |
10t=0t1; | |
11t=1t1; | |
12t=2t1; | |
13t=3t1; | |
14t=4t1; | |
15t=5t1; | |
16t=6t1; | |
17t=7t1; | |
18t=8t1; | |
19t=9t1; | |
20t=0t2; | |
21t=1t2; | |
22t=2t2; | |
23t=3t2; | |
24t=4t2; | |
25t=5t2; | |
26t=6t2; | |
27t=7t2; | |
28t=8t2; | |
29t=9t2; | |
30t=0t3; | |
31t=1t3; | |
32t=2t3; | |
33t=3t3; | |
34t=4t3; | |
35t=5t3; | |
36t=6t3; | |
37t=7t3; | |
38t=8t3; | |
39t=9t3; | |
40t=0t4; | |
41t=1t4; | |
42t=2t4; | |
43t=3t4; | |
44t=4t4; | |
45t=5t4; | |
46t=6t4; | |
47t=7t4; | |
48t=8t4; | |
49t=9t4; | |
50t=0t5; | |
51t=1t5; | |
52t=2t5; | |
53t=3t5; | |
54t=4t5; | |
55t=5t5; | |
56t=6t5; | |
57t=7t5; | |
58t=8t5; | |
59t=9t5; | |
60t=0t6; | |
61t=1t6; | |
62t=2t6; | |
63t=3t6; | |
64t=4t6; | |
65t=5t6; | |
66t=6t6; | |
67t=7t6; | |
68t=8t6; | |
69t=9t6; | |
70t=0t7; | |
71t=1t7; | |
72t=2t7; | |
73t=3t7; | |
74t=4t7; | |
75t=5t7; | |
76t=6t7; | |
77t=7t7; | |
78t=8t7; | |
79t=9t7; | |
80t=0t8; | |
81t=1t8; | |
82t=2t8; | |
83t=3t8; | |
84t=4t8; | |
85t=5t8; | |
86t=6t8; | |
87t=7t8; | |
88t=8t8; | |
89t=9t8; | |
90t=0t9; | |
91t=1t9; | |
92t=2t9; | |
93t=3t9; | |
94t=4t9; | |
95t=5t9; | |
96t=6t9; | |
97t=7t9; | |
98t=8t9; | |
99t=9t9; | |
a0t=0ua; | |
a1t=1ua; | |
a2t=2ua; | |
a3t=3ua; | |
a4t=4ua; | |
a5t=5ua; | |
a6t=6ua; | |
a7t=7ua; | |
a8t=8ua; | |
a9t=9ua; | |
A0u=0uA; | |
A1u=1uA; | |
A2u=2uA; | |
A3u=3uA; | |
A4u=4uA; | |
A5u=5uA; | |
A6u=6uA; | |
A7u=7uA; | |
A8u=8uA; | |
A9u=9uA; | |
B0u=0uB; | |
B1u=1uB; | |
B2u=2uB; | |
B3u=3uB; | |
B4u=4uB; | |
B5u=5uB; | |
B6u=6uB; | |
B7u=7uB; | |
B8u=8uB; | |
B9u=9uB; | |
C0u=0uC; | |
C1u=1uC; | |
C2u=2uC; | |
C3u=3uC; | |
C4u=4uC; | |
C5u=5uC; | |
C6u=6uC; | |
C7u=7uC; | |
C8u=8uC; | |
C9u=9uC; | |
D0u=0uD; | |
D1u=1uD; | |
D2u=2uD; | |
D3u=3uD; | |
D4u=4uD; | |
D5u=5uD; | |
D6u=6uD; | |
D7u=7uD; | |
D8u=8uD; | |
D9u=9uD; | |
E0u=0uE; | |
E1u=1uE; | |
E2u=2uE; | |
E3u=3uE; | |
E4u=4uE; | |
E5u=5uE; | |
E6u=6uE; | |
E7u=7uE; | |
E8u=8uE; | |
E9u=9uE; | |
F0u=0uF; | |
F1u=1uF; | |
F2u=2uF; | |
F3u=3uF; | |
F4u=4uF; | |
F5u=5uF; | |
F6u=6uF; | |
F7u=7uF; | |
F8u=8uF; | |
F9u=9uF; | |
G0u=0uG; | |
G1u=1uG; | |
G2u=2uG; | |
G3u=3uG; | |
G4u=4uG; | |
G5u=5uG; | |
G6u=6uG; | |
G7u=7uG; | |
G8u=8uG; | |
G9u=9uG; | |
H0u=0uH; | |
H1u=1uH; | |
H2u=2uH; | |
H3u=3uH; | |
H4u=4uH; | |
H5u=5uH; | |
H6u=6uH; | |
H7u=7uH; | |
H8u=8uH; | |
H9u=9uH; | |
I0u=0uI; | |
I1u=1uI; | |
I2u=2uI; | |
I3u=3uI; | |
I4u=4uI; | |
I5u=5uI; | |
I6u=6uI; | |
I7u=7uI; | |
I8u=8uI; | |
I9u=9uI; | |
J0u=0uJ; | |
J1u=1uJ; | |
J2u=2uJ; | |
J3u=3uJ; | |
J4u=4uJ; | |
J5u=5uJ; | |
J6u=6uJ; | |
J7u=7uJ; | |
J8u=8uJ; | |
J9u=9uJ; | |
00u=0vA; | |
01u=0vB; | |
02u=0vC; | |
03u=0vD; | |
04u=0vE; | |
05u=0vF; | |
06u=0vG; | |
07u=0vH; | |
08u=0vI; | |
09u=0vJ; | |
10u=0vB; | |
11u=0vC; | |
12u=0vD; | |
13u=0vE; | |
14u=0vF; | |
15u=0vG; | |
16u=0vH; | |
17u=0vI; | |
18u=0vJ; | |
19u=1vA; | |
20u=0vC; | |
21u=0vD; | |
22u=0vE; | |
23u=0vF; | |
24u=0vG; | |
25u=0vH; | |
26u=0vI; | |
27u=0vJ; | |
28u=1vA; | |
29u=1vB; | |
30u=0vD; | |
31u=0vE; | |
32u=0vF; | |
33u=0vG; | |
34u=0vH; | |
35u=0vI; | |
36u=0vJ; | |
37u=1vA; | |
38u=1vB; | |
39u=1vC; | |
40u=0vE; | |
41u=0vF; | |
42u=0vG; | |
43u=0vH; | |
44u=0vI; | |
45u=0vJ; | |
46u=1vA; | |
47u=1vB; | |
48u=1vC; | |
49u=1vD; | |
50u=0vF; | |
51u=0vG; | |
52u=0vH; | |
53u=0vI; | |
54u=0vJ; | |
55u=1vA; | |
56u=1vB; | |
57u=1vC; | |
58u=1vD; | |
59u=1vE; | |
60u=0vG; | |
61u=0vH; | |
62u=0vI; | |
63u=0vJ; | |
64u=1vA; | |
65u=1vB; | |
66u=1vC; | |
67u=1vD; | |
68u=1vE; | |
69u=1vF; | |
70u=0vH; | |
71u=0vI; | |
72u=0vJ; | |
73u=1vA; | |
74u=1vB; | |
75u=1vC; | |
76u=1vD; | |
77u=1vE; | |
78u=1vF; | |
79u=1vG; | |
80u=0vI; | |
81u=0vJ; | |
82u=1vA; | |
83u=1vB; | |
84u=1vC; | |
85u=1vD; | |
86u=1vE; | |
87u=1vF; | |
88u=1vG; | |
89u=1vH; | |
90u=0vJ; | |
91u=1vA; | |
92u=1vB; | |
93u=1vC; | |
94u=1vD; | |
95u=1vE; | |
96u=1vF; | |
97u=1vG; | |
98u=1vH; | |
99u=1vI; | |
00v=0v0; | |
01v=0v1; | |
02v=0v2; | |
03v=0v3; | |
04v=0v4; | |
05v=0v5; | |
06v=0v6; | |
07v=0v7; | |
08v=0v8; | |
09v=0v9; | |
10v=0v1; | |
11v=0v2; | |
12v=0v3; | |
13v=0v4; | |
14v=0v5; | |
15v=0v6; | |
16v=0v7; | |
17v=0v8; | |
18v=0v9; | |
19v=1v0; | |
20v=0v2; | |
21v=0v3; | |
22v=0v4; | |
23v=0v5; | |
24v=0v6; | |
25v=0v7; | |
26v=0v8; | |
27v=0v9; | |
28v=1v0; | |
29v=1v1; | |
30v=0v3; | |
31v=0v4; | |
32v=0v5; | |
33v=0v6; | |
34v=0v7; | |
35v=0v8; | |
36v=0v9; | |
37v=1v0; | |
38v=1v1; | |
39v=1v2; | |
40v=0v4; | |
41v=0v5; | |
42v=0v6; | |
43v=0v7; | |
44v=0v8; | |
45v=0v9; | |
46v=1v0; | |
47v=1v1; | |
48v=1v2; | |
49v=1v3; | |
50v=0v5; | |
51v=0v6; | |
52v=0v7; | |
53v=0v8; | |
54v=0v9; | |
55v=1v0; | |
56v=1v1; | |
57v=1v2; | |
58v=1v3; | |
59v=1v4; | |
60v=0v6; | |
61v=0v7; | |
62v=0v8; | |
63v=0v9; | |
64v=1v0; | |
65v=1v1; | |
66v=1v2; | |
67v=1v3; | |
68v=1v4; | |
69v=1v5; | |
70v=0v7; | |
71v=0v8; | |
72v=0v9; | |
73v=1v0; | |
74v=1v1; | |
75v=1v2; | |
76v=1v3; | |
77v=1v4; | |
78v=1v5; | |
79v=1v6; | |
80v=0v8; | |
81v=0v9; | |
82v=1v0; | |
83v=1v1; | |
84v=1v2; | |
85v=1v3; | |
86v=1v4; | |
87v=1v5; | |
88v=1v6; | |
89v=1v7; | |
90v=0v9; | |
91v=1v0; | |
92v=1v1; | |
93v=1v2; | |
94v=1v3; | |
95v=1v4; | |
96v=1v5; | |
97v=1v6; | |
98v=1v7; | |
99v=1v8; | |
p0v=p; | |
p1v=p1; | |
ac=k; | |
c=tc; | |
A=0; | |
B=1; | |
C=2; | |
D=3; | |
E=4; | |
F=5; | |
G=6; | |
H=7; | |
I=8; | |
J=9; | |
u=_; | |
p=; | |
ak=; | |
k=; | |
_=; | |
+=paq; |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment