Magma V2.19-8 Tue Aug 20 2013 16:14:09 on localhost [Seed = 2244221347] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s106 geometric_solution 3.97164928 oriented_manifold CS_known -0.0000000000000001 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 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.666039670683 0.083742860746 2 0 2 0 0132 2310 1023 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 -1 1 1 0 -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.855914206770 0.102095635165 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.802485296014 0.293836244467 4 2 5 2 0132 0132 0132 1023 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 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 1.442519317501 0.865380234642 3 5 5 5 0132 1230 0213 2310 0 0 0 0 0 0 0 0 1 0 -1 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.529352859708 0.865236640259 4 4 4 3 3201 0213 3012 0132 0 0 0 0 0 0 0 0 1 0 0 -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 -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.529352859708 0.865236640259 ==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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], '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_1'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_1'], 'c_1001_4' : d['c_0011_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 24041190882785270409/20992825133259745*c_0101_3^16 - 125339711937188610483/20992825133259745*c_0101_3^15 + 90967992491681796327/4198565026651949*c_0101_3^14 + 119129629925575720808/4198565026651949*c_0101_3^13 - 3393120365715934279164/20992825133259745*c_0101_3^12 + 8040558322617914106074/20992825133259745*c_0101_3^11 + 18517663422641635265151/20992825133259745*c_0101_3^10 - 28356167161456947986534/20992825133259745*c_0101_3^9 - 32870108737554351239552/20992825133259745*c_0101_3^8 + 30736847045929938104164/20992825133259745*c_0101_3^7 + 19307781581226015276094/20992825133259745*c_0101_3^6 - 7749609156420342272918/20992825133259745*c_0101_3^5 - 925419096850604462002/4198565026651949*c_0101_3^4 - 1028142099855572796951/20992825133259745*c_0101_3^3 + 83065154994967161886/20992825133259745*c_0101_3^2 + 242037432464768668036/20992825133259745*c_0101_3 + 24221118405691796421/20992825133259745, c_0011_0 - 1, c_0011_1 - 252246556361206858/4198565026651949*c_0101_3^16 + 1309893065125828643/4198565026651949*c_0101_3^15 - 4745029483580608630/4198565026651949*c_0101_3^14 - 6348897684976702884/4198565026651949*c_0101_3^13 + 35475149678775910360/4198565026651949*c_0101_3^12 - 83625384303636289880/4198565026651949*c_0101_3^11 - 196054755081112116810/4198565026651949*c_0101_3^10 + 293556782729670690955/4198565026651949*c_0101_3^9 + 351137920681704038550/4198565026651949*c_0101_3^8 - 315593857952408536960/4198565026651949*c_0101_3^7 - 209497904433442441540/4198565026651949*c_0101_3^6 + 77440234769378422708/4198565026651949*c_0101_3^5 + 50441473260071168476/4198565026651949*c_0101_3^4 + 11635139380230407309/4198565026651949*c_0101_3^3 - 681948579729153262/4198565026651949*c_0101_3^2 - 2558242091760611360/4198565026651949*c_0101_3 - 311876680772785088/4198565026651949, c_0011_5 + 266958520091677237/4198565026651949*c_0101_3^16 - 1386107807334679966/4198565026651949*c_0101_3^15 + 5020113425930237259/4198565026651949*c_0101_3^14 + 6726316925533428604/4198565026651949*c_0101_3^13 - 37553205466437403356/4198565026651949*c_0101_3^12 + 88460204784948627729/4198565026651949*c_0101_3^11 + 207644214479517145543/4198565026651949*c_0101_3^10 - 310777496782329272033/4198565026651949*c_0101_3^9 - 372353632555483996101/4198565026651949*c_0101_3^8 + 334463791649845236366/4198565026651949*c_0101_3^7 + 222718046996688681223/4198565026651949*c_0101_3^6 - 82430863895589341816/4198565026651949*c_0101_3^5 - 53672171746698428261/4198565026651949*c_0101_3^4 - 12296682383714933252/4198565026651949*c_0101_3^3 + 728108939785505099/4198565026651949*c_0101_3^2 + 2733569876100027755/4198565026651949*c_0101_3 + 331082542927409851/4198565026651949, c_0101_0 + 191408012513753666/4198565026651949*c_0101_3^16 - 994884444565243126/4198565026651949*c_0101_3^15 + 3605409470590149082/4198565026651949*c_0101_3^14 + 4800071979322809942/4198565026651949*c_0101_3^13 - 26941183139191874476/4198565026651949*c_0101_3^12 + 63585490324022403388/4198565026651949*c_0101_3^11 + 148458313775596132995/4198565026651949*c_0101_3^10 - 223450584297056664331/4198565026651949*c_0101_3^9 - 265364150058165181909/4198565026651949*c_0101_3^8 + 240699421256464755750/4198565026651949*c_0101_3^7 + 157841436348241396706/4198565026651949*c_0101_3^6 - 59443100935923992846/4198565026651949*c_0101_3^5 - 38027921811836639366/4198565026651949*c_0101_3^4 - 8685557782563154008/4198565026651949*c_0101_3^3 + 551075314915927469/4198565026651949*c_0101_3^2 + 1945240788535730718/4198565026651949*c_0101_3 + 232338507737005943/4198565026651949, c_0101_1 - 381131678652077463/4198565026651949*c_0101_3^16 + 1979380540084292753/4198565026651949*c_0101_3^15 - 7170234797157872820/4198565026651949*c_0101_3^14 - 9590535945361386491/4198565026651949*c_0101_3^13 + 53611268060880255415/4198565026651949*c_0101_3^12 - 126372797505621645654/4198565026651949*c_0101_3^11 - 296198540233143245897/4198565026651949*c_0101_3^10 + 443790680156563692193/4198565026651949*c_0101_3^9 + 530569170390060204931/4198565026651949*c_0101_3^8 - 477328496670204647298/4198565026651949*c_0101_3^7 - 316693654358547632262/4198565026651949*c_0101_3^6 + 117275065284409251732/4198565026651949*c_0101_3^5 + 76293303591600037172/4198565026651949*c_0101_3^4 + 17576107245642214799/4198565026651949*c_0101_3^3 - 1044286953723644106/4198565026651949*c_0101_3^2 - 3872813159811121593/4198565026651949*c_0101_3 - 467551014879364409/4198565026651949, c_0101_3^17 - 6*c_0101_3^16 + 23*c_0101_3^15 + 10*c_0101_3^14 - 161*c_0101_3^13 + 445*c_0101_3^12 + 510*c_0101_3^11 - 1792*c_0101_3^10 - 454*c_0101_3^9 + 2378*c_0101_3^8 - 178*c_0101_3^7 - 981*c_0101_3^6 + 48*c_0101_3^5 + 116*c_0101_3^4 + 40*c_0101_3^3 + 8*c_0101_3^2 - 7*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB