Magma V2.19-8 Tue Aug 20 2013 16:16:20 on localhost [Seed = 88381920] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0610 geometric_solution 4.61622906 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 -1 0 1 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 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 2.416651512464 0.167988304302 0 2 2 0 0132 0132 3201 3201 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 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.826339919377 0.401873578297 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 -1 -1 2 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 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.327813090328 0.362717226769 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 0 0 1 1 -2 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.276375932120 0.517123988601 3 5 6 5 0132 1230 0132 2310 0 0 0 0 0 0 1 -1 0 0 0 0 -1 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 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.671414846849 1.120125721677 4 6 4 3 3201 1023 3012 0132 0 0 0 0 0 -1 0 1 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 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.671414846849 1.120125721677 5 6 6 4 1023 1230 3012 0132 0 0 0 0 0 1 0 -1 1 0 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.004308426353 0.521618700109 ==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_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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], '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_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_5'], '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' : d['c_0011_3'], 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 37839906393649717771802650811601579201/6872275125421688803040330587\ 396491026*c_0101_3^20 + 206629606971433406833448059366132248548/343\ 6137562710844401520165293698245513*c_0101_3^19 - 268102224593753944124419413314261632899/687227512542168880304033058\ 7396491026*c_0101_3^18 - 5831673343879306476880241085662165128110/3\ 436137562710844401520165293698245513*c_0101_3^17 + 5345953166273423329121870668362103071203/98175358934595554329147579\ 8199498718*c_0101_3^16 + 84298203615729979110457100939655465068895/\ 6872275125421688803040330587396491026*c_0101_3^15 - 311391212883801101201975178350552469857544/343613756271084440152016\ 5293698245513*c_0101_3^14 + 503252444531950164190539947062512913719\ 497/3436137562710844401520165293698245513*c_0101_3^13 + 317551471844603919588388359293582500635/490876794672977771645737899\ 099749359*c_0101_3^12 - 106010521907600766238727140430827025333023/\ 490876794672977771645737899099749359*c_0101_3^11 + 756318308687084136422635995064714176074930/343613756271084440152016\ 5293698245513*c_0101_3^10 - 189558528224123070957600283210153375269\ 49/361698690811667831738964767757710054*c_0101_3^9 - 692366108035205291090313528370784258791162/343613756271084440152016\ 5293698245513*c_0101_3^8 + 1549308999472041361546647774802492632462\ 89/981753589345955543291475798199498718*c_0101_3^7 + 40072596999795156419734517221458616202459/5286365481093606771569485\ 06722807002*c_0101_3^6 - 112187779560347045648564028982574080504988\ /3436137562710844401520165293698245513*c_0101_3^5 - 27139737144661414225502308564123652820279/3436137562710844401520165\ 293698245513*c_0101_3^4 - 14341458402164763353174227370673708466799\ /6872275125421688803040330587396491026*c_0101_3^3 + 3901224468007361026621389371452681201357/34361375627108444015201652\ 93698245513*c_0101_3^2 + 1644993885246880264824093767606197856015/6\ 872275125421688803040330587396491026*c_0101_3 - 362092756735426003289418236249702869360/343613756271084440152016529\ 3698245513, c_0011_0 - 1, c_0011_3 + 509812003736197435876437195447195/59464178639973079545213555\ 3119018*c_0101_3^20 - 5768146257945793065827704736912099/5946417863\ 99730795452135553119018*c_0101_3^19 + 5888683963448688880565894171020447/59464178639973079545213555311901\ 8*c_0101_3^18 + 154689575672339140859801750841706989/59464178639973\ 0795452135553119018*c_0101_3^17 - 564565853569657885163926785370234\ 271/594641786399730795452135553119018*c_0101_3^16 - 455639979001607023949410513204517525/297320893199865397726067776559\ 509*c_0101_3^15 + 8730458107301053099935975771240350413/59464178639\ 9730795452135553119018*c_0101_3^14 - 8489654558193999080691505355777312555/29732089319986539772606777655\ 9509*c_0101_3^13 + 3408848641530683836065678826299226697/2973208931\ 99865397726067776559509*c_0101_3^12 + 8277342254310044045935829063049389994/29732089319986539772606777655\ 9509*c_0101_3^11 - 12909652918215722838842810951739735318/297320893\ 199865397726067776559509*c_0101_3^10 + 775490369609849535490707212556368237/312969361263016208132702922694\ 22*c_0101_3^9 + 11776879664448469599741088573341829737/594641786399\ 730795452135553119018*c_0101_3^8 - 17600620035538653265060916907168249207/5946417863997307954521355531\ 19018*c_0101_3^7 - 490402323819014814714447766471602086/29732089319\ 9865397726067776559509*c_0101_3^6 + 2858610320706774136084275463787381727/59464178639973079545213555311\ 9018*c_0101_3^5 + 208111176655967475140100743575321608/297320893199\ 865397726067776559509*c_0101_3^4 - 108050818342343688237448329841905827/594641786399730795452135553119\ 018*c_0101_3^3 - 59062670154474446282214615311334437/59464178639973\ 0795452135553119018*c_0101_3^2 + 380140048409651952563023174690931/\ 594641786399730795452135553119018*c_0101_3 + 1997648746119005428084939278205433/59464178639973079545213555311901\ 8, c_0011_5 - 408328181856023501316703982893570401/98175358934595554329147\ 5798199498718*c_0101_3^20 + 9293256075270640323409023990347111489/1\ 963507178691911086582951596398997436*c_0101_3^19 - 2513913256566456155176231864554613370/49087679467297777164573789909\ 9749359*c_0101_3^18 - 246965727717775940884064448214431009777/19635\ 07178691911086582951596398997436*c_0101_3^17 + 460168879684760384035687712265509023669/981753589345955543291475798\ 199498718*c_0101_3^16 + 1395040136221292537591920176427789974177/19\ 63507178691911086582951596398997436*c_0101_3^15 - 14059730565111563325680218238048862251907/1963507178691911086582951\ 596398997436*c_0101_3^14 + 1407212491133457716131173878500325134684\ 7/981753589345955543291475798199498718*c_0101_3^13 - 6507925196054540820636930171436468820195/98175358934595554329147579\ 8199498718*c_0101_3^12 - 6290592209172387347004346058001164028635/4\ 90876794672977771645737899099749359*c_0101_3^11 + 10689510221963182180279939784056525657139/4908767946729777716457378\ 99099749359*c_0101_3^10 - 352587693689922726790084023600739724319/2\ 5835620772261987981354626268407861*c_0101_3^9 - 16399805206793122492952479516198071884207/1963507178691911086582951\ 596398997436*c_0101_3^8 + 7194718123841851361207584420388978900293/\ 490876794672977771645737899099749359*c_0101_3^7 - 42139873837815891520074113356978048989/1510390137455316220448424304\ 92230572*c_0101_3^6 - 4105832797102777978499696783970136511199/1963\ 507178691911086582951596398997436*c_0101_3^5 - 100577688446165485494982913283406088154/490876794672977771645737899\ 099749359*c_0101_3^4 + 85667343397529547240889039121999635745/98175\ 3589345955543291475798199498718*c_0101_3^3 + 74151210008633560357236020673818767493/1963507178691911086582951596\ 398997436*c_0101_3^2 - 1389399340242261316497990352454572452/490876\ 794672977771645737899099749359*c_0101_3 - 2065079249903374294164957862563721881/19635071786919110865829515963\ 98997436, c_0101_0 + 733118422699877244481974730298745817/98175358934595554329147\ 5798199498718*c_0101_3^20 - 16334548257190118137173486095022048167/\ 1963507178691911086582951596398997436*c_0101_3^19 + 3512579534156996926888373630420472232/49087679467297777164573789909\ 9749359*c_0101_3^18 + 447880138432857415959578039964908171039/19635\ 07178691911086582951596398997436*c_0101_3^17 - 773298306210275568388014300108220691713/981753589345955543291475798\ 199498718*c_0101_3^16 - 2903672694346586564665633201772445361875/19\ 63507178691911086582951596398997436*c_0101_3^15 + 24661240268149286489942477820057138695089/1963507178691911086582951\ 596398997436*c_0101_3^14 - 2224078342390233433459273498144815181321\ 7/981753589345955543291475798199498718*c_0101_3^13 + 5523534091736236209738171918927002959803/98175358934595554329147579\ 8199498718*c_0101_3^12 + 12842545152688330740149137294331325847329/\ 490876794672977771645737899099749359*c_0101_3^11 - 16628202184891066752402043618346128520343/4908767946729777716457378\ 99099749359*c_0101_3^10 + 388970927458927964349032094258657940151/2\ 5835620772261987981354626268407861*c_0101_3^9 + 41872044449051023683064744904748067097781/1963507178691911086582951\ 596398997436*c_0101_3^8 - 11391976738390074349622456323752105086811\ /490876794672977771645737899099749359*c_0101_3^7 - 865817360726570643138095134411726746705/151039013745531622044842430\ 492230572*c_0101_3^6 + 8178367367297916534226013446767395585541/196\ 3507178691911086582951596398997436*c_0101_3^5 + 532878533812875086320230440061516501788/490876794672977771645737899\ 099749359*c_0101_3^4 - 74719789995473110701945785340687988409/98175\ 3589345955543291475798199498718*c_0101_3^3 - 163488756247325613843325206639121298155/196350717869191108658295159\ 6398997436*c_0101_3^2 - 3358469807600922470573231496105663213/49087\ 6794672977771645737899099749359*c_0101_3 + 4493074343479867056419724714847616219/19635071786919110865829515963\ 98997436, c_0101_1 + 459291414680403456604317582419707/11892835727994615909042711\ 06238036*c_0101_3^20 - 1268910841044678622296965205352868/297320893\ 199865397726067776559509*c_0101_3^19 + 3963985786780079647542456737098545/11892835727994615909042711062380\ 36*c_0101_3^18 + 70230190948130791003657493512824245/59464178639973\ 0795452135553119018*c_0101_3^17 - 471693640668240919182448024397300\ 851/1189283572799461590904271106238036*c_0101_3^16 - 946696094608825080471398811241161311/118928357279946159090427110623\ 8036*c_0101_3^15 + 1905364621714369114424850187035225264/2973208931\ 99865397726067776559509*c_0101_3^14 - 6640163764439041704618286066554405137/59464178639973079545213555311\ 9018*c_0101_3^13 + 640081435276918415268243451876347782/29732089319\ 9865397726067776559509*c_0101_3^12 + 3935456219379858459188192843415882587/29732089319986539772606777655\ 9509*c_0101_3^11 - 9573420833244477491296621401646584965/5946417863\ 99730795452135553119018*c_0101_3^10 + 422826637483948773173830037332532633/625938722526032416265405845388\ 44*c_0101_3^9 + 3244268459045602283140317073039042906/2973208931998\ 65397726067776559509*c_0101_3^8 - 125449005884447614374769409373292\ 77825/1189283572799461590904271106238036*c_0101_3^7 - 4346196227317245834660050360740650183/11892835727994615909042711062\ 38036*c_0101_3^6 + 806346697348473232807706181886856867/59464178639\ 9730795452135553119018*c_0101_3^5 + 208028951415647199327477153693070884/297320893199865397726067776559\ 509*c_0101_3^4 + 88218750249393792827518133687946251/11892835727994\ 61590904271106238036*c_0101_3^3 - 101731827247888214636496337807195\ 29/297320893199865397726067776559509*c_0101_3^2 - 10651903468962835856558588129719975/1189283572799461590904271106238\ 036*c_0101_3 + 186515039976144409168723801135001/594641786399730795\ 452135553119018, c_0101_2 + 76431047875448585716901955523627629/103342483089047951925418\ 505073631444*c_0101_3^20 - 215806658876264176413298065603853286/258\ 35620772261987981354626268407861*c_0101_3^19 + 864687711777239622659754420510724955/103342483089047951925418505073\ 631444*c_0101_3^18 + 11608960516659030694449284474372054245/5167124\ 1544523975962709252536815722*c_0101_3^17 - 84185993806912595076023854331189508441/1033424830890479519254185050\ 73631444*c_0101_3^16 - 138554079839845054384391981423518146365/1033\ 42483089047951925418505073631444*c_0101_3^15 + 326767992114832994086735083367174346706/258356207722619879813546262\ 68407861*c_0101_3^14 - 1259059563630059376835760401677719358725/516\ 71241544523975962709252536815722*c_0101_3^13 + 239272377662049196760618424947623596694/258356207722619879813546262\ 68407861*c_0101_3^12 + 633160530556158579403788661389504929063/2583\ 5620772261987981354626268407861*c_0101_3^11 - 1919481463583504494890029836320040815901/51671241544523975962709252\ 536815722*c_0101_3^10 + 2107745963196049255006704078438427367461/10\ 3342483089047951925418505073631444*c_0101_3^9 + 464572492482005896147147136039352414592/258356207722619879813546262\ 68407861*c_0101_3^8 - 2637806738101677060681838543352872668055/1033\ 42483089047951925418505073631444*c_0101_3^7 - 16292824764606856109403817755042958973/7949421776080611686570654236\ 433188*c_0101_3^6 + 229456296381766602584026949487144726079/5167124\ 1544523975962709252536815722*c_0101_3^5 + 16159749373368280756067509697063667421/2583562077226198798135462626\ 8407861*c_0101_3^4 - 19977066259650456198267808485637570963/1033424\ 83089047951925418505073631444*c_0101_3^3 - 2315880707267313337164337476172733078/25835620772261987981354626268\ 407861*c_0101_3^2 + 136158275512298211703261165101954303/1033424830\ 89047951925418505073631444*c_0101_3 + 168776389260718233525880576464916281/516712415445239759627092525368\ 15722, c_0101_3^21 - 11*c_0101_3^20 + 8*c_0101_3^19 + 307*c_0101_3^18 - 1012*c_0101_3^17 - 2134*c_0101_3^16 + 16558*c_0101_3^15 - 27933*c_0101_3^14 + 2988*c_0101_3^13 + 36526*c_0101_3^12 - 40394*c_0101_3^11 + 13139*c_0101_3^10 + 31971*c_0101_3^9 - 27158*c_0101_3^8 - 12654*c_0101_3^7 + 4866*c_0101_3^6 + 2547*c_0101_3^5 + 65*c_0101_3^4 - 175*c_0101_3^3 - 36*c_0101_3^2 + 3*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB