Magma V2.19-8 Tue Aug 20 2013 16:14:45 on localhost [Seed = 3785391609] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s724 geometric_solution 5.23793239 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 1 1 0 0 0132 3201 2031 1302 0 0 0 0 0 0 1 -1 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 1 1 -2 -1 0 2 -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.564890096531 0.153596176370 0 2 0 3 0132 0132 2310 0132 0 0 0 0 0 1 -1 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 1 -1 0 1 0 0 -1 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.780480846962 0.581219369768 4 1 5 3 0132 0132 0132 1230 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 -1 1 0 1 0 0 -1 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.796820066775 1.038975205360 2 5 1 4 3012 1023 0132 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 0 0 0 0 0 1 -1 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.796820066775 1.038975205360 2 4 3 4 0132 2310 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 0 0 0 -1 0 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.121363398275 1.018568819953 3 5 5 2 1023 3201 2310 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 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.638900156055 0.889970010670 ==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' : negation(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' : 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_0011_3'], 'c_1100_4' : d['c_0011_0'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(d['c_0101_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_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 222909177805/25171865673*c_0101_5^21 + 205492602112/25171865673*c_0101_5^20 - 6451535667065/25171865673*c_0101_5^19 - 28927667402056/25171865673*c_0101_5^18 - 15342744705134/8390621891*c_0101_5^17 + 10197215659712/25171865673*c_0101_5^16 + 55504934942911/8390621891*c_0101_5^15 + 296043070097758/25171865673*c_0101_5^14 + 67413164397328/8390621891*c_0101_5^13 - 129761194051249/25171865673*c_0101_5^12 - 451531658432002/25171865673*c_0101_5^11 - 491190415041010/25171865673*c_0101_5^10 - 234740718033998/25171865673*c_0101_5^9 + 84701904732175/25171865673*c_0101_5^8 + 245955696888928/25171865673*c_0101_5^7 + 223848807499918/25171865673*c_0101_5^6 + 127554267872767/25171865673*c_0101_5^5 + 48657737694425/25171865673*c_0101_5^4 + 9194389293283/25171865673*c_0101_5^3 - 3502872230899/25171865673*c_0101_5^2 - 1209153532425/8390621891*c_0101_5 - 1106885305390/25171865673, c_0011_0 - 1, c_0011_3 + 257709903458/729984104517*c_0101_5^21 - 481152864976/729984104517*c_0101_5^20 - 2552120385025/243328034839*c_0101_5^19 - 414723841693/25171865673*c_0101_5^18 + 8609830550972/243328034839*c_0101_5^17 + 3280749869810/25171865673*c_0101_5^16 + 22071712215492/243328034839*c_0101_5^15 - 134088588419762/729984104517*c_0101_5^14 - 316408324588670/729984104517*c_0101_5^13 - 220581277284298/729984104517*c_0101_5^12 + 120261544007476/729984104517*c_0101_5^11 + 130959753235698/243328034839*c_0101_5^10 + 118613904639281/243328034839*c_0101_5^9 + 92175399990484/729984104517*c_0101_5^8 - 130388551211044/729984104517*c_0101_5^7 - 172883073373393/729984104517*c_0101_5^6 - 109127397121999/729984104517*c_0101_5^5 - 46823750690563/729984104517*c_0101_5^4 - 11793111630082/729984104517*c_0101_5^3 + 853339360070/729984104517*c_0101_5^2 + 3560896016734/729984104517*c_0101_5 + 622380303664/729984104517, c_0101_0 - 418758385535/729984104517*c_0101_5^21 + 291157258594/729984104517*c_0101_5^20 + 11800672601707/729984104517*c_0101_5^19 + 399442680310/8390621891*c_0101_5^18 + 8683094569956/243328034839*c_0101_5^17 - 2142383502497/25171865673*c_0101_5^16 - 60602412096893/243328034839*c_0101_5^15 - 201904237648811/729984104517*c_0101_5^14 - 57114578137585/729984104517*c_0101_5^13 + 57461954267281/243328034839*c_0101_5^12 + 109394804919450/243328034839*c_0101_5^11 + 307272954402713/729984104517*c_0101_5^10 + 48423099857672/243328034839*c_0101_5^9 - 39916882031398/729984104517*c_0101_5^8 - 50819840314887/243328034839*c_0101_5^7 - 167818096639556/729984104517*c_0101_5^6 - 115017783154721/729984104517*c_0101_5^5 - 52531496887381/729984104517*c_0101_5^4 - 14541363923392/729984104517*c_0101_5^3 + 397440541820/729984104517*c_0101_5^2 + 1865178604714/729984104517*c_0101_5 + 573594040167/243328034839, c_0101_1 + 11469748373/729984104517*c_0101_5^21 + 352284461957/729984104517*c_0101_5^20 - 496840615925/729984104517*c_0101_5^19 - 390781558205/25171865673*c_0101_5^18 - 10908808940829/243328034839*c_0101_5^17 - 759824588470/25171865673*c_0101_5^16 + 23424687681594/243328034839*c_0101_5^15 + 62743198186095/243328034839*c_0101_5^14 + 179063454425365/729984104517*c_0101_5^13 - 15105007667108/729984104517*c_0101_5^12 - 252849276043930/729984104517*c_0101_5^11 - 333801751777876/729984104517*c_0101_5^10 - 67561365896419/243328034839*c_0101_5^9 + 9746127226690/729984104517*c_0101_5^8 + 141143998588333/729984104517*c_0101_5^7 + 148850167934798/729984104517*c_0101_5^6 + 96298886084675/729984104517*c_0101_5^5 + 14196587681522/243328034839*c_0101_5^4 + 3328762139545/243328034839*c_0101_5^3 - 500617109988/243328034839*c_0101_5^2 - 818258952914/243328034839*c_0101_5 - 451194778243/729984104517, c_0101_2 + 330525910471/729984104517*c_0101_5^21 - 78874917701/243328034839*c_0101_5^20 - 9640607056535/729984104517*c_0101_5^19 - 310871221060/8390621891*c_0101_5^18 - 3472275924086/243328034839*c_0101_5^17 + 2683375653004/25171865673*c_0101_5^16 + 160182937527553/729984104517*c_0101_5^15 + 30826064699806/243328034839*c_0101_5^14 - 119298849895340/729984104517*c_0101_5^13 - 92539067136999/243328034839*c_0101_5^12 - 220935418816697/729984104517*c_0101_5^11 - 7215276370211/729984104517*c_0101_5^10 + 161902531273702/729984104517*c_0101_5^9 + 167857145647163/729984104517*c_0101_5^8 + 25010582968951/243328034839*c_0101_5^7 + 748304613004/729984104517*c_0101_5^6 - 7521891931201/243328034839*c_0101_5^5 - 20300075499631/729984104517*c_0101_5^4 - 12009711020567/729984104517*c_0101_5^3 - 4594467378161/729984104517*c_0101_5^2 - 464577800738/729984104517*c_0101_5 + 229648926087/243328034839, c_0101_5^22 - 29*c_0101_5^20 - 103*c_0101_5^19 - 110*c_0101_5^18 + 152*c_0101_5^17 + 613*c_0101_5^16 + 762*c_0101_5^15 + 185*c_0101_5^14 - 797*c_0101_5^13 - 1343*c_0101_5^12 - 982*c_0101_5^11 - 94*c_0101_5^10 + 573*c_0101_5^9 + 671*c_0101_5^8 + 417*c_0101_5^7 + 153*c_0101_5^6 + 17*c_0101_5^5 - 21*c_0101_5^4 - 19*c_0101_5^3 - 6*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB