Magma V2.19-8 Tue Aug 20 2013 16:14:25 on localhost [Seed = 4021187564] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s405 geometric_solution 4.65869322 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 2 2 3 0132 0132 2031 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.727908406621 0.803522243135 0 2 4 4 0132 1230 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306599880777 0.433603103852 3 0 1 0 1230 0132 3012 1302 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.378072061688 1.116496497748 5 2 0 5 0132 3012 0132 3201 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384852946463 0.742707073404 1 4 1 4 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.826850066150 1.693469023635 3 3 5 5 0132 2310 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.895228851663 0.592823947331 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1494222902/884171*c_0101_5^16 + 10286772177/884171*c_0101_5^15 - 15093472899/884171*c_0101_5^14 - 44521478170/884171*c_0101_5^13 + 204869505768/884171*c_0101_5^12 - 386498085259/884171*c_0101_5^11 + 314833686786/884171*c_0101_5^10 + 379762208822/884171*c_0101_5^9 - 1420355285700/884171*c_0101_5^8 + 2051438354726/884171*c_0101_5^7 - 2008944222528/884171*c_0101_5^6 + 1515963801407/884171*c_0101_5^5 - 930783648388/884171*c_0101_5^4 + 485054514338/884171*c_0101_5^3 - 199555487574/884171*c_0101_5^2 + 52051081595/884171*c_0101_5 - 5961074375/884171, c_0011_0 - 1, c_0011_3 - 1112931007/884171*c_0101_5^16 + 7298564232/884171*c_0101_5^15 - 9010581669/884171*c_0101_5^14 - 35177342627/884171*c_0101_5^13 + 140284452658/884171*c_0101_5^12 - 247196916645/884171*c_0101_5^11 + 170620619531/884171*c_0101_5^10 + 312210987800/884171*c_0101_5^9 - 944055298948/884171*c_0101_5^8 + 1267065013557/884171*c_0101_5^7 - 1190356999563/884171*c_0101_5^6 + 866596049051/884171*c_0101_5^5 - 518447192921/884171*c_0101_5^4 + 263956274327/884171*c_0101_5^3 - 102511126967/884171*c_0101_5^2 + 24261949745/884171*c_0101_5 - 2475770771/884171, c_0011_4 - 20600392888/884171*c_0101_5^16 + 133574002910/884171*c_0101_5^15 - 157690101806/884171*c_0101_5^14 - 658152435220/884171*c_0101_5^13 + 2544468052422/884171*c_0101_5^12 - 4414201172736/884171*c_0101_5^11 + 2914125868760/884171*c_0101_5^10 + 5870328306984/884171*c_0101_5^9 - 16994613564262/884171*c_0101_5^8 + 22442228807350/884171*c_0101_5^7 - 20889230890729/884171*c_0101_5^6 + 15078034180502/884171*c_0101_5^5 - 8970567252845/884171*c_0101_5^4 + 4540079373660/884171*c_0101_5^3 - 1737123839996/884171*c_0101_5^2 + 401879378007/884171*c_0101_5 - 39949888580/884171, c_0101_0 + 6130197825/884171*c_0101_5^16 - 39781773176/884171*c_0101_5^15 + 47123666779/884171*c_0101_5^14 + 195697388893/884171*c_0101_5^13 - 758316218062/884171*c_0101_5^12 + 1317092563291/884171*c_0101_5^11 - 872503106165/884171*c_0101_5^10 - 1744894187432/884171*c_0101_5^9 + 5067713338140/884171*c_0101_5^8 - 6700390848379/884171*c_0101_5^7 + 6241086108701/884171*c_0101_5^6 - 4507809080977/884171*c_0101_5^5 + 2683013982481/884171*c_0101_5^4 - 1358505468212/884171*c_0101_5^3 + 520397068414/884171*c_0101_5^2 - 120600626895/884171*c_0101_5 + 12010486893/884171, c_0101_1 - 836818776/884171*c_0101_5^16 + 5512865473/884171*c_0101_5^15 - 6923800471/884171*c_0101_5^14 - 26339451768/884171*c_0101_5^13 + 106341065194/884171*c_0101_5^12 - 188492457835/884171*c_0101_5^11 + 132223867950/884171*c_0101_5^10 + 233359834146/884171*c_0101_5^9 - 717741655982/884171*c_0101_5^8 + 969064251706/884171*c_0101_5^7 - 913384406739/884171*c_0101_5^6 + 666955521875/884171*c_0101_5^5 - 399743858783/884171*c_0101_5^4 + 203938520325/884171*c_0101_5^3 - 79600809742/884171*c_0101_5^2 + 18971476842/884171*c_0101_5 - 1949749783/884171, c_0101_5^17 - 7*c_0101_5^16 + 11*c_0101_5^15 + 28*c_0101_5^14 - 140*c_0101_5^13 + 278*c_0101_5^12 - 252*c_0101_5^11 - 212*c_0101_5^10 + 972*c_0101_5^9 - 1515*c_0101_5^8 + 1576*c_0101_5^7 - 1255*c_0101_5^6 + 813*c_0101_5^5 - 445*c_0101_5^4 + 198*c_0101_5^3 - 63*c_0101_5^2 + 12*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB