Magma V2.19-8 Tue Aug 20 2013 16:15:50 on localhost [Seed = 3852761551] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0057 geometric_solution 3.61940928 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 0 0 0 0 0 0 0 0 0 0 7.069482527946 1.509299178565 0 1 1 0 0132 1230 3012 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 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.121149927367 0.023249645479 0 3 3 0 3201 0132 3201 0132 0 0 0 0 0 1 0 -1 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 0 0 0 0 -0.272099671845 0.118819450195 2 2 4 5 2310 0132 0132 0132 0 0 0 0 0 -1 1 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 1.283404652690 0.902931290951 5 6 5 3 1302 0132 1230 0132 0 0 0 0 0 0 1 -1 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 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.994757016525 0.509951104056 6 4 3 4 2310 2031 0132 3012 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 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.994757016525 0.509951104056 6 4 5 6 3201 0132 3201 2310 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 -1 0 1 -1 0 0 1 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.203934328335 0.408094199310 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_2_6' : d['1'], 's_1_6' : 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_6' : negation(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_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0101_6']), 'c_1100_4' : negation(d['c_0101_6']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], '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' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 62405796606789871511929/7812232834158798299760*c_0101_6^16 - 15544644250187885993249/195305820853969957494*c_0101_6^15 + 7966270889212520537071/651019402846566524980*c_0101_6^14 - 3057857593979725146725003/3906116417079399149880*c_0101_6^13 + 8811363153950200731831883/7812232834158798299760*c_0101_6^12 - 9643969039979526396532957/2604077611386266099920*c_0101_6^11 + 38787534489459613414381901/7812232834158798299760*c_0101_6^10 - 12871596140315460033736711/1562446566831759659952*c_0101_6^9 + 14586888607807880827561357/1562446566831759659952*c_0101_6^8 - 37845077997549536154118129/3906116417079399149880*c_0101_6^7 + 14896167762001157553928049/1562446566831759659952*c_0101_6^6 - 16145574554924876971847849/2604077611386266099920*c_0101_6^5 + 8888873314945328185216885/1562446566831759659952*c_0101_6^4 - 13842445178154341293213103/7812232834158798299760*c_0101_6^3 + 2850436529434471794898129/1562446566831759659952*c_0101_6^2 - 133358384535072576639691/3906116417079399149880*c_0101_6 + 3008978815172406325757251/7812232834158798299760, c_0011_0 - 1, c_0011_2 - 322377245337801/5182450269436129*c_0101_6^16 + 2093523062865977/5182450269436129*c_0101_6^15 + 9406494002151845/5182450269436129*c_0101_6^14 + 41346787745493218/5182450269436129*c_0101_6^13 + 70862583133559006/5182450269436129*c_0101_6^12 + 117073648738258959/5182450269436129*c_0101_6^11 + 237887334624744862/5182450269436129*c_0101_6^10 + 148704000775611316/5182450269436129*c_0101_6^9 + 430761641049017081/5182450269436129*c_0101_6^8 + 95979208587542232/5182450269436129*c_0101_6^7 + 425806555389764303/5182450269436129*c_0101_6^6 + 20202661923860101/5182450269436129*c_0101_6^5 + 228189171305310226/5182450269436129*c_0101_6^4 - 13637979142397757/5182450269436129*c_0101_6^3 + 48389420285075932/5182450269436129*c_0101_6^2 - 4767740607683158/5182450269436129*c_0101_6 + 4454855881040634/5182450269436129, c_0011_4 + 6193599718751518/2959179103848029659*c_0101_6^16 + 28692884597630368/2959179103848029659*c_0101_6^15 - 775584649511732279/2959179103848029659*c_0101_6^14 - 1498088668294749141/2959179103848029659*c_0101_6^13 - 8841006419428306541/2959179103848029659*c_0101_6^12 - 2953909268793833099/2959179103848029659*c_0101_6^11 - 35382942856252232940/2959179103848029659*c_0101_6^10 - 6163285405440747434/2959179103848029659*c_0101_6^9 - 64586990089034911110/2959179103848029659*c_0101_6^8 - 18555978903002160212/2959179103848029659*c_0101_6^7 - 60346965142644673281/2959179103848029659*c_0101_6^6 - 29891205036755499907/2959179103848029659*c_0101_6^5 - 28202136003842673440/2959179103848029659*c_0101_6^4 - 21526615469396195278/2959179103848029659*c_0101_6^3 - 3275766802278043997/2959179103848029659*c_0101_6^2 - 4275883098696023981/2959179103848029659*c_0101_6 + 365780175055314164/2959179103848029659, c_0101_0 + 425572741732669/5182450269436129*c_0101_6^16 - 3521189172399997/5182450269436129*c_0101_6^15 - 5689445298754585/5182450269436129*c_0101_6^14 - 48179449080634148/5182450269436129*c_0101_6^13 - 14938617691576187/5182450269436129*c_0101_6^12 - 178878482196974771/5182450269436129*c_0101_6^11 - 17399543746591496/5182450269436129*c_0101_6^10 - 330933078356960329/5182450269436129*c_0101_6^9 - 24728742222822419/5182450269436129*c_0101_6^8 - 341734669228982541/5182450269436129*c_0101_6^7 - 26595031331409826/5182450269436129*c_0101_6^6 - 196587717973633568/5182450269436129*c_0101_6^5 - 3227433037209968/5182450269436129*c_0101_6^4 - 49607570507872603/5182450269436129*c_0101_6^3 + 14593064412410901/5182450269436129*c_0101_6^2 - 1580035769489570/5182450269436129*c_0101_6 + 4732221737263482/5182450269436129, c_0101_1 - 48951986874669910/2959179103848029659*c_0101_6^16 + 227839015368466954/2959179103848029659*c_0101_6^15 + 2295768994638542775/2959179103848029659*c_0101_6^14 + 6445074180463064139/2959179103848029659*c_0101_6^13 + 19415870602503310748/2959179103848029659*c_0101_6^12 + 8432115242951678834/2959179103848029659*c_0101_6^11 + 73767862076783779599/2959179103848029659*c_0101_6^10 - 13065424718683875102/2959179103848029659*c_0101_6^9 + 138160980728552065338/2959179103848029659*c_0101_6^8 - 39310843239224345205/2959179103848029659*c_0101_6^7 + 138086624959040593414/2959179103848029659*c_0101_6^6 - 38487274386591811452/2959179103848029659*c_0101_6^5 + 75047508157080694868/2959179103848029659*c_0101_6^4 - 21590001438225702525/2959179103848029659*c_0101_6^3 + 16541312662955559711/2959179103848029659*c_0101_6^2 - 2978020960262809114/2959179103848029659*c_0101_6 + 1333814856093059688/2959179103848029659, c_0101_3 + 360135530668383/5182450269436129*c_0101_6^16 - 3079465851481449/5182450269436129*c_0101_6^15 - 3997638934716994/5182450269436129*c_0101_6^14 - 39385284033861939/5182450269436129*c_0101_6^13 - 962107145027572/5182450269436129*c_0101_6^12 - 148437461427254054/5182450269436129*c_0101_6^11 + 27613049216974888/5182450269436129*c_0101_6^10 - 287649613569431439/5182450269436129*c_0101_6^9 + 76138794967025380/5182450269436129*c_0101_6^8 - 320787482449474039/5182450269436129*c_0101_6^7 + 106139043717980880/5182450269436129*c_0101_6^6 - 203208472353725206/5182450269436129*c_0101_6^5 + 81569526235308329/5182450269436129*c_0101_6^4 - 53396130026241857/5182450269436129*c_0101_6^3 + 32283431510219235/5182450269436129*c_0101_6^2 - 1153064596414297/5182450269436129*c_0101_6 + 2375064476841213/5182450269436129, c_0101_6^17 - 9*c_0101_6^16 - 7*c_0101_6^15 - 106*c_0101_6^14 + 38*c_0101_6^13 - 442*c_0101_6^12 + 200*c_0101_6^11 - 901*c_0101_6^10 + 325*c_0101_6^9 - 1027*c_0101_6^8 + 243*c_0101_6^7 - 688*c_0101_6^6 + 77*c_0101_6^5 - 247*c_0101_6^4 - 2*c_0101_6^3 - 43*c_0101_6^2 + 6*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB