Magma V2.19-8 Tue Aug 20 2013 16:14:45 on localhost [Seed = 1014866010] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s738 geometric_solution 5.25598996 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.226106443977 0.219424738602 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 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.496232710884 1.990928609926 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 -1 1 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 -1 1 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 0.121960663643 0.859653579080 5 4 2 1 1023 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.121960663643 0.859653579080 4 4 3 2 1230 3012 2310 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 -1 0 1 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.497029525831 0.831999673996 5 3 2 5 3012 1023 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.972749910318 0.987189274251 ==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' : 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' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0011_4'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_4'])})} 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_1, c_0011_3, c_0011_4, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 74670295503719027/84873813881883*c_0101_3^16 + 45530165601553007/84873813881883*c_0101_3^15 + 498819855795019730/84873813881883*c_0101_3^14 - 1051941552504332002/84873813881883*c_0101_3^13 + 1374945788616733005/28291271293961*c_0101_3^12 - 2117374203498465422/28291271293961*c_0101_3^11 - 4998507203009434227/28291271293961*c_0101_3^10 + 9683490509650852995/28291271293961*c_0101_3^9 + 20325272585335121186/84873813881883*c_0101_3^8 - 38530803722254073168/84873813881883*c_0101_3^7 - 6110253209422165207/28291271293961*c_0101_3^6 + 20668812605896585145/84873813881883*c_0101_3^5 + 12869317482274967060/84873813881883*c_0101_3^4 - 2523876048554149277/84873813881883*c_0101_3^3 - 3923811299804694349/84873813881883*c_0101_3^2 - 61755418812287893/28291271293961*c_0101_3 + 460615261597170220/84873813881883, c_0011_0 - 1, c_0011_1 + 24100901035607/2176251637997*c_0101_3^16 - 10311738007110/2176251637997*c_0101_3^15 - 165816540573838/2176251637997*c_0101_3^14 + 314182778085954/2176251637997*c_0101_3^13 - 1258961378321370/2176251637997*c_0101_3^12 + 1763525287635914/2176251637997*c_0101_3^11 + 5379380599064097/2176251637997*c_0101_3^10 - 8863465077765843/2176251637997*c_0101_3^9 - 8321059491837436/2176251637997*c_0101_3^8 + 12289308577408463/2176251637997*c_0101_3^7 + 7606848961985424/2176251637997*c_0101_3^6 - 6468505432558048/2176251637997*c_0101_3^5 - 4839547924361805/2176251637997*c_0101_3^4 + 455433416325363/2176251637997*c_0101_3^3 + 1330634647416976/2176251637997*c_0101_3^2 + 133848991672184/2176251637997*c_0101_3 - 148043013606048/2176251637997, c_0011_3 - 35260262390859/2176251637997*c_0101_3^16 + 23103670951124/2176251637997*c_0101_3^15 + 231320201768516/2176251637997*c_0101_3^14 - 503344146494230/2176251637997*c_0101_3^13 + 1988713503243444/2176251637997*c_0101_3^12 - 3145100872133315/2176251637997*c_0101_3^11 - 6723732111150561/2176251637997*c_0101_3^10 + 13606889923414890/2176251637997*c_0101_3^9 + 8651566603100206/2176251637997*c_0101_3^8 - 17245711151437875/2176251637997*c_0101_3^7 - 7928105876020186/2176251637997*c_0101_3^6 + 8836552434233054/2176251637997*c_0101_3^5 + 5701738616543137/2176251637997*c_0101_3^4 - 903412839418579/2176251637997*c_0101_3^3 - 1622070404169392/2176251637997*c_0101_3^2 - 101504275729264/2176251637997*c_0101_3 + 170418991349110/2176251637997, c_0011_4 + 23915950234765/2176251637997*c_0101_3^16 - 15767476171332/2176251637997*c_0101_3^15 - 157085753434583/2176251637997*c_0101_3^14 + 342321398865619/2176251637997*c_0101_3^13 - 1348857634033582/2176251637997*c_0101_3^12 + 2134550348814140/2176251637997*c_0101_3^11 + 4568587334955969/2176251637997*c_0101_3^10 - 9279689935341299/2176251637997*c_0101_3^9 - 5856421025504784/2176251637997*c_0101_3^8 + 11816876782366950/2176251637997*c_0101_3^7 + 5335679381831256/2176251637997*c_0101_3^6 - 6100438402896741/2176251637997*c_0101_3^5 - 3861287327503456/2176251637997*c_0101_3^4 + 663505623831036/2176251637997*c_0101_3^3 + 1121914100746581/2176251637997*c_0101_3^2 + 62914390488010/2176251637997*c_0101_3 - 119080808563516/2176251637997, c_0101_1 + 29647624534606/2176251637997*c_0101_3^16 - 18763241194527/2176251637997*c_0101_3^15 - 195167325878467/2176251637997*c_0101_3^14 + 419345585494729/2176251637997*c_0101_3^13 - 1661606678694269/2176251637997*c_0101_3^12 + 2602040181557092/2176251637997*c_0101_3^11 + 5731531162630368/2176251637997*c_0101_3^10 - 11357920959071727/2176251637997*c_0101_3^9 - 7528774292817016/2176251637997*c_0101_3^8 + 14451424708004788/2176251637997*c_0101_3^7 + 6913563759821786/2176251637997*c_0101_3^6 - 7368951091257620/2176251637997*c_0101_3^5 - 4896394357388842/2176251637997*c_0101_3^4 + 695407170369521/2176251637997*c_0101_3^3 + 1371350487709881/2176251637997*c_0101_3^2 + 96520519565849/2176251637997*c_0101_3 - 143616428814121/2176251637997, c_0101_3^17 - 7*c_0101_3^15 + 10*c_0101_3^14 - 47*c_0101_3^13 + 52*c_0101_3^12 + 250*c_0101_3^11 - 263*c_0101_3^10 - 498*c_0101_3^9 + 334*c_0101_3^8 + 541*c_0101_3^7 - 108*c_0101_3^6 - 322*c_0101_3^5 - 78*c_0101_3^4 + 62*c_0101_3^3 + 32*c_0101_3^2 - 3*c_0101_3 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB