This commit is contained in:
2019-12-11 21:00:08 -05:00
parent 9699635647
commit 65077e0312
2 changed files with 1 additions and 6 deletions

View File

@@ -38,8 +38,3 @@ def E(n):
ngens, mults = schlafli(*[3] * (n - 2), 2)
mults = cons(mults, ((2, n - 1), 3))
return ngens, ezmults(ngens, mults)
if __name__ == '__main__':
a, b = E(8)
print(list(b))

View File

@@ -152,7 +152,7 @@ if __name__ == '__main__':
# result = solve(*init_schlafli(300, 2, 300))
# group = groups.schlafli(4, 3, 3, 3, 3)
group = groups.E(6)
group = groups.icos(4)
import time