extra tes files

This commit is contained in:
Zeno Rogue 2020-01-16 17:25:25 +01:00
parent 0d307c011c
commit 72424bdb0f
49 changed files with 530 additions and 0 deletions

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 1
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1)(2 4)(3 1')(5)(0' 2')(3')(4' 5')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 2
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1)(2 4)(3 1')(5)(0' 2')(3' 4')(5')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 3
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1)(2 0')(3)(4 5')(5 1')(2')(3' 4')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 4
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1)(2 0')(3 3')(4)(5 1')(2')(4' 5')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 5
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1)(2 0')(3 3')[4 2'](5 1')(4' 5')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 6
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1)(2 1')(3 5')(4)(5 2')(0')(3' 4')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 7
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 2)(3 5)(4 0')(1' 5')(2')[3' 4']")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 8
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 2)(3 5)(4 0')(1' 5')[2' 3'](4')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 9
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 2)(3 5)(4 0')(1' 5')[2' 4'](3')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 10
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 2)(3 5)(4 1')[0' 3'][2' 4'](5')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 11
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 2)(3 5)(4 1')[0' 4'][2' 5'](3')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 12
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 2)(3 5)(4 2')(0')(1' 3')[4' 5']")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 13
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 2)(3 5)(4 2')[0' 4'](1' 3')(5')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 14
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 2)(3 5)(4 2')[0' 5'](1' 3')(4')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 15
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 0')(2 3')(3 4)(5 2')(1')[4' 5']")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 16
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 0')[2 2'](3 4)[5 3'][1' 4'](5')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 17
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 0')[2 3'](3 1')(4 5)[2' 5'](4')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 18
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 0')(2 3')(3 1')(4 5)(2')[4' 5']")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 19
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 0')(2)(3 5')(4)(5 2')(1')(3' 4')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 20
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 0')(2)(3 5')(4 1')(5)(2')(3' 4')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 21
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 0')[2 4][3 3'](5 2')(1')(4' 5')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 22
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 0')[2 2'][3 5'](4 1')(5)(3' 4')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 23
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 1')(2 3')[3 5][4 2'](0')(4' 5')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 24
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 1')(2 4')(3 2')(4 5)[0' 5'](3')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 25
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 2')[2 0'](3 4)(5 3')[1' 4'](5')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 26
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 2')(2 5')(3 4)(5 3')[0' 1'](4')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 27
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 2')[2 1'](3 0')(4)(5 3')(4' 5')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 28
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 2')[2 4][3 5'](5 3')(0' 1')(4')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 29
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0 1)(2 0')[3 2'](4 3')[5 4'][1' 5']")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 30
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0 1)(2 0')[3 4'](4)(5 2')(1')[3' 5']")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 31
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0 1)(2 1')(3 3')[4 0'][5 4'][2' 5']")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 32
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0 1)(2 2')[3 0'](4)(5 3')[1' 5'](4')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 33
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0 1)(2 2')[3 0'][4 4'](5 3')[1' 5']")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 34
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0 1)(2 2')[3 1'](4 0')(5 3')[4' 5']")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 35
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0 1)(2 2')[3 4'][4 1'](5 3')[0' 5']")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1F + domino 1F, solution 36
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0 1)(2 2')[3 5'](4)(5 3')[0' 4'](1')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1S + domino 1F, solution 1
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 2')(2 3')(0' 1')(4' 5')(3)(4 2')(5 3')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1S + domino 1F, solution 2
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0 1)(2 1')(0' 2')(3')(4' 5')(3 4)(5 1')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1S + domino 1F, solution 3
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0 1)(2 1')(0' 2')(3' 4')(5')(3 4)(5 1')")
sublines(1)

View File

@ -0,0 +1,11 @@
## {4,5}, domino 1S + domino 1F, solution 4
h2.
angleunit(2*pi/5)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(4,5))
unittile(1,1,2,1,1,2)
unittile(1,1,2,1,1,2)
# the Conway notation
conway("(0 0')(1)(2 3')(1' 2')(4' 5')(3 0')(4)(5 3')")
sublines(1)

View File

@ -0,0 +1,10 @@
## {5,3}, dipent 1F, solution 1
s2.
angleunit(2*pi/3)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(5,3))
unittile(1,1,1,2,1,1,1,2)
# the Conway notation
conway("(0)(1 7)(2)(3 6)(4 5)")
sublines(1)

View File

@ -0,0 +1,10 @@
## {5,3}, dipent 1F, solution 2
s2.
angleunit(2*pi/3)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(5,3))
unittile(1,1,1,2,1,1,1,2)
# the Conway notation
conway("(0)(1 7)(2 4)(3)(5 6)")
sublines(1)

View File

@ -0,0 +1,10 @@
## {5,3}, dipent 1F, solution 3
s2.
angleunit(2*pi/3)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(5,3))
unittile(1,1,1,2,1,1,1,2)
# the Conway notation
conway("(0 1)(2 7)[3 5][4 6]")
sublines(1)

View File

@ -0,0 +1,10 @@
## {5,3}, dipent 1S, solution 1
s2.
angleunit(2*pi/3)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(5,3))
unittile(1,1,1,2,1,1,1,2)
# the Conway notation
conway("(0 1)(2 3)(4 5)(6 7)")
sublines(1)

View File

@ -0,0 +1,10 @@
## {5,3}, tripent 1, solution 1
s2.
angleunit(2*pi/3)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(5,3))
unittile(1,1,1,2,1,2,1,1,1,2,2)
# the Conway notation
conway("(0)(1 10)(2 9)(3 7)(4 6)(5)(8)")
sublines(1)

View File

@ -0,0 +1,10 @@
## {5,3}, tripent 1, solution 1
s2.
angleunit(2*pi/3)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(5,3))
unittile(1,1,2,1,1,2,1,1,2)
# the Conway notation
conway("(0)(1 8)(2 4)(3)(5 7)(6)")
sublines(1)

View File

@ -0,0 +1,10 @@
## {5,3}, tetrapent 1S, solution 1
s2.
angleunit(2*pi/3)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(5,3))
unittile(1,1,1,2,1,2,2,1,1,1,2,1,2,2)
# the Conway notation
conway("(0 1)(2 13)(3 12)(4 11)(5 10)(6 9)(7 8)")
sublines(1)

View File

@ -0,0 +1,10 @@
## {5,3}, tetrapent 2, solution 1
s2.
angleunit(2*pi/3)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(5,3))
unittile(1,1,1,2,2,1,1,2,1,1,2,2)
# the Conway notation
conway("(0 1)(2 11)(3 10)(4 9)(5 8)(6 7)")
sublines(1)

View File

@ -0,0 +1,10 @@
## {5,3}, tetrapent 3S, solution 1
s2.
angleunit(2*pi/3)
# the line below lets us specify internal angles
angleofs(pi)
distunit(edge(5,3))
unittile(1,1,2,1,2,1,1,2,1,2)
# the Conway notation
conway("(0 1)(2 9)(3 8)(4 7)(5 6)")
sublines(1)