Magma V2.19-8 Tue Aug 20 2013 16:17:31 on localhost [Seed = 3170705508] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1745 geometric_solution 5.44216343 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 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 0 1 -1 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.475673000001 0.504176667011 0 3 2 4 0132 0132 1230 0132 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 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.009961131624 1.049364788138 3 0 4 1 2310 0132 2310 3012 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 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.009961131624 1.049364788138 3 1 2 3 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.141926675605 0.624832296986 5 2 1 5 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.643554174190 0.316702388814 4 6 6 4 0132 0132 1023 1023 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 0 0 0 0 0 0 0 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.104925926084 0.375752710664 6 5 5 6 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 -1 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 1.191764138514 0.199397902204 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(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' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 284380959525117839429/67522871145274183580*c_0101_6^14 - 1270207694610260730683/67522871145274183580*c_0101_6^13 - 1260210473199186136438/16880717786318545895*c_0101_6^12 + 6374361208244848203541/33761435572637091790*c_0101_6^11 + 1726371765259908933489/6752287114527418358*c_0101_6^10 - 18725586863157892737452/16880717786318545895*c_0101_6^9 + 20240727920386712076061/67522871145274183580*c_0101_6^8 + 194593704475957464145727/67522871145274183580*c_0101_6^7 - 385213516802510063794/101082142433045185*c_0101_6^6 + 1858735920431581768472/3376143557263709179*c_0101_6^5 + 78517946452677491985241/67522871145274183580*c_0101_6^4 + 4325723820333880821289/33761435572637091790*c_0101_6^3 - 19462465688883905913191/67522871145274183580*c_0101_6^2 - 13088051703790366366657/67522871145274183580*c_0101_6 + 806673086154868199047/67522871145274183580, c_0011_0 - 1, c_0011_4 + 2320775356574645/20216428486609037*c_0101_1*c_0101_6^14 - 15452518367733977/40432856973218074*c_0101_1*c_0101_6^13 - 49234450586970090/20216428486609037*c_0101_1*c_0101_6^12 + 46052996250914324/20216428486609037*c_0101_1*c_0101_6^11 + 177436250158354857/20216428486609037*c_0101_1*c_0101_6^10 - 401965355573706634/20216428486609037*c_0101_1*c_0101_6^9 - 229884354339840113/20216428486609037*c_0101_1*c_0101_6^8 + 2459448522113418797/40432856973218074*c_0101_1*c_0101_6^7 - 834669398890699520/20216428486609037*c_0101_1*c_0101_6^6 - 293076673729988230/20216428486609037*c_0101_1*c_0101_6^5 + 247958664473552708/20216428486609037*c_0101_1*c_0101_6^4 + 192262968919645079/40432856973218074*c_0101_1*c_0101_6^3 - 7906722799387681/40432856973218074*c_0101_1*c_0101_6^2 - 21044834371569401/20216428486609037*c_0101_1*c_0101_6 + 29026920815390577/40432856973218074*c_0101_1, c_0101_0 + 1725356089913236/20216428486609037*c_0101_6^14 - 5694071435844855/20216428486609037*c_0101_6^13 - 37306769332305472/20216428486609037*c_0101_6^12 + 34933389112099655/20216428486609037*c_0101_6^11 + 144281091955732011/20216428486609037*c_0101_6^10 - 304623197185483902/20216428486609037*c_0101_6^9 - 218077897198660684/20216428486609037*c_0101_6^8 + 1000917479843731526/20216428486609037*c_0101_6^7 - 540244800574008592/20216428486609037*c_0101_6^6 - 498178988222087697/20216428486609037*c_0101_6^5 + 374375935916246883/20216428486609037*c_0101_6^4 + 120280298736231260/20216428486609037*c_0101_6^3 - 11355397446037609/20216428486609037*c_0101_6^2 - 39258374292710447/20216428486609037*c_0101_6 - 9656608442992588/20216428486609037, c_0101_1^2 - 82037178875974/20216428486609037*c_0101_6^14 - 249973132324897/20216428486609037*c_0101_6^13 + 3906964164027441/20216428486609037*c_0101_6^12 + 8233823401871904/20216428486609037*c_0101_6^11 - 25705993593327098/20216428486609037*c_0101_6^10 - 22637883060450850/20216428486609037*c_0101_6^9 + 121814298828992793/20216428486609037*c_0101_6^8 - 49779189809558403/20216428486609037*c_0101_6^7 - 277507214919920882/20216428486609037*c_0101_6^6 + 340967645163983382/20216428486609037*c_0101_6^5 - 94892849988321533/20216428486609037*c_0101_6^4 + 42818080163469433/20216428486609037*c_0101_6^3 - 52468777331681634/20216428486609037*c_0101_6^2 - 8705575494271709/20216428486609037*c_0101_6 + 7036919179563495/20216428486609037, c_0101_2 + 1688875271892004/20216428486609037*c_0101_6^14 - 5794373861327266/20216428486609037*c_0101_6^13 - 35137063306092744/20216428486609037*c_0101_6^12 + 36531283301253509/20216428486609037*c_0101_6^11 + 123712692085301604/20216428486609037*c_0101_6^10 - 298062885993917259/20216428486609037*c_0101_6^9 - 127322861771921950/20216428486609037*c_0101_6^8 + 877958865612360769/20216428486609037*c_0101_6^7 - 687232822299320862/20216428486609037*c_0101_6^6 - 57118542755709310/20216428486609037*c_0101_6^5 + 93550834045350928/20216428486609037*c_0101_6^4 + 71476054157340758/20216428486609037*c_0101_6^3 - 27870983859770947/20216428486609037*c_0101_6^2 - 8940116610362626/20216428486609037*c_0101_6 + 22397534649514163/20216428486609037, c_0101_5 + 2181106162905126/20216428486609037*c_0101_6^14 - 7035549379728500/20216428486609037*c_0101_6^13 - 47235390956524660/20216428486609037*c_0101_6^12 + 39020546232681540/20216428486609037*c_0101_6^11 + 176122077727181573/20216428486609037*c_0101_6^10 - 360492876079636368/20216428486609037*c_0101_6^9 - 269708505876150621/20216428486609037*c_0101_6^8 + 1159529774342102390/20216428486609037*c_0101_6^7 - 624823280629271045/20216428486609037*c_0101_6^6 - 434224507402326246/20216428486609037*c_0101_6^5 + 224244152259051944/20216428486609037*c_0101_6^4 + 156802912769599582/20216428486609037*c_0101_6^3 + 21310612410522860/20216428486609037*c_0101_6^2 - 51276678631264430/20216428486609037*c_0101_6 - 215691958742122/20216428486609037, c_0101_6^15 - 4*c_0101_6^14 - 19*c_0101_6^13 + 34*c_0101_6^12 + 64*c_0101_6^11 - 222*c_0101_6^10 + 13*c_0101_6^9 + 590*c_0101_6^8 - 689*c_0101_6^7 + 116*c_0101_6^6 + 129*c_0101_6^5 + 29*c_0101_6^4 - 23*c_0101_6^3 - 20*c_0101_6^2 + 4*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB