Magma V2.19-8 Tue Aug 20 2013 16:14:51 on localhost [Seed = 2884253639] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s829 geometric_solution 5.39971447 oriented_manifold CS_known 0.0000000000000002 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 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.497660193255 0.257504371224 2 0 3 0 0132 2310 0132 0132 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 1 -1 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.917304341559 0.562640712435 1 4 3 5 0132 0132 3012 0132 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 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.935053721990 0.933917419744 5 2 4 1 3201 1230 1023 0132 0 0 0 0 0 0 0 0 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 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.935053721990 0.933917419744 4 2 3 4 3012 0132 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503249434901 0.795231902099 5 5 2 3 1302 2031 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.560549601740 0.831886708351 ==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_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_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_1'], '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_3'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_1'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 100267038065531820930569992626312/144673356540223929216411190081*c_\ 0101_3^20 - 368915712275495241147421001382929/144673356540223929216\ 411190081*c_0101_3^19 - 1424044523987512605614329392883395/14467335\ 6540223929216411190081*c_0101_3^18 + 5770053459823899319241255025278162/144673356540223929216411190081*c\ _0101_3^17 + 9495052080308710365583092701674867/1446733565402239292\ 16411190081*c_0101_3^16 - 33502663852821296144950863888745646/14467\ 3356540223929216411190081*c_0101_3^15 - 45534828607120138461280516938173138/144673356540223929216411190081*\ c_0101_3^14 + 73174882514635606604301195599078536/14467335654022392\ 9216411190081*c_0101_3^13 + 168731240382905570052097365897006559/14\ 4673356540223929216411190081*c_0101_3^12 + 79078423269189544125404745710118222/144673356540223929216411190081*\ c_0101_3^11 - 314842966236809440219182088936689444/1446733565402239\ 29216411190081*c_0101_3^10 - 425322517873144609443814334922704881/1\ 44673356540223929216411190081*c_0101_3^9 + 475449170221695808805284570689702226/144673356540223929216411190081\ *c_0101_3^8 + 642008970276189487740535548198437679/1446733565402239\ 29216411190081*c_0101_3^7 - 419884702023579425546809831782191446/14\ 4673356540223929216411190081*c_0101_3^6 - 468756731991811838947725596687706564/144673356540223929216411190081\ *c_0101_3^5 + 20201700649292954588517580383566786/20667622362889132\ 745201598583*c_0101_3^4 + 123925132595435928422950626268413383/1446\ 73356540223929216411190081*c_0101_3^3 - 27561942661402411213335208547831064/144673356540223929216411190081*\ c_0101_3^2 - 10659815232142103780367861269660402/144673356540223929\ 216411190081*c_0101_3 + 2466583312959189843010253802692910/14467335\ 6540223929216411190081, c_0011_0 - 1, c_0011_1 - 91399499934516726345436845672/20667622362889132745201598583*\ c_0101_3^20 + 382052533168505946986304798976/2066762236288913274520\ 1598583*c_0101_3^19 + 1096667351332548763201479248425/2066762236288\ 9132745201598583*c_0101_3^18 - 5763700481942918332222090722128/2066\ 7622362889132745201598583*c_0101_3^17 - 5659806875115905164229999466196/20667622362889132745201598583*c_010\ 1_3^16 + 32703365779196693832378570766432/2066762236288913274520159\ 8583*c_0101_3^15 + 24684781309063237861261098683882/206676223628891\ 32745201598583*c_0101_3^14 - 75299873960339550282000011428100/20667\ 622362889132745201598583*c_0101_3^13 - 114376472377078930486944287296360/20667622362889132745201598583*c_0\ 101_3^12 - 23710727522273662833471457047868/20667622362889132745201\ 598583*c_0101_3^11 + 288539363297494800741594497530871/206676223628\ 89132745201598583*c_0101_3^10 + 243563818555115196302262767019380/2\ 0667622362889132745201598583*c_0101_3^9 - 523178421813660998292355707885968/20667622362889132745201598583*c_0\ 101_3^8 - 304923538880824466012218392295492/20667622362889132745201\ 598583*c_0101_3^7 + 471773647401487108101163228652510/2066762236288\ 9132745201598583*c_0101_3^6 + 173995717188620415153428386244544/206\ 67622362889132745201598583*c_0101_3^5 - 157965844598545233920485058937684/20667622362889132745201598583*c_0\ 101_3^4 - 29659488998216932189632179714876/206676223628891327452015\ 98583*c_0101_3^3 + 20385667128702296093194527765861/206676223628891\ 32745201598583*c_0101_3^2 + 1132751643689493242997950198748/2066762\ 2362889132745201598583*c_0101_3 - 745529013741504389145584511573/20\ 667622362889132745201598583, c_0011_3 + 64111992620922971314100669620/20667622362889132745201598583*\ c_0101_3^20 - 230366169036997474443397352322/2066762236288913274520\ 1598583*c_0101_3^19 - 936739200419772401294643997187/20667622362889\ 132745201598583*c_0101_3^18 + 3636113545819678753436518698961/20667\ 622362889132745201598583*c_0101_3^17 + 6456636005675032143706923649992/20667622362889132745201598583*c_010\ 1_3^16 - 21274538007357743289364131452145/2066762236288913274520159\ 8583*c_0101_3^15 - 31282257523889675426281692565404/206676223628891\ 32745201598583*c_0101_3^14 + 46393812164559590119796525191539/20667\ 622362889132745201598583*c_0101_3^13 + 113265632056278017863094076946132/20667622362889132745201598583*c_0\ 101_3^12 + 54993479401111026548967406891205/20667622362889132745201\ 598583*c_0101_3^11 - 203693194205597678550074567842699/206676223628\ 89132745201598583*c_0101_3^10 - 290368402449500845652903518859961/2\ 0667622362889132745201598583*c_0101_3^9 + 298758288194133794268513618048446/20667622362889132745201598583*c_0\ 101_3^8 + 450298342223597842764980735576860/20667622362889132745201\ 598583*c_0101_3^7 - 267162069875628510995370029624265/2066762236288\ 9132745201598583*c_0101_3^6 - 337913400471084183186677124207776/206\ 67622362889132745201598583*c_0101_3^5 + 94891790348785157068639553131548/20667622362889132745201598583*c_01\ 01_3^4 + 93682285229792674360837202601331/2066762236288913274520159\ 8583*c_0101_3^3 - 20289494020908280043404949793800/2066762236288913\ 2745201598583*c_0101_3^2 - 8434650101001488425717909451770/20667622\ 362889132745201598583*c_0101_3 + 1943592858827787620349275503882/20\ 667622362889132745201598583, c_0011_5 - 114694849443825371278971791966/20667622362889132745201598583\ *c_0101_3^20 + 423190183664055885049666784352/206676223628891327452\ 01598583*c_0101_3^19 + 1624750418743116637966619715136/206676223628\ 89132745201598583*c_0101_3^18 - 6617619045988115237795464155656/206\ 67622362889132745201598583*c_0101_3^17 - 10796227420653661362841623411746/20667622362889132745201598583*c_01\ 01_3^16 + 38442821015933901114282643258861/206676223628891327452015\ 98583*c_0101_3^15 + 51719844307780140551446054941585/20667622362889\ 132745201598583*c_0101_3^14 - 84281852204139351505925302255041/2066\ 7622362889132745201598583*c_0101_3^13 - 192300485526215252137515691990125/20667622362889132745201598583*c_0\ 101_3^12 - 88424496411336972117262143852470/20667622362889132745201\ 598583*c_0101_3^11 + 361545574813833087161570274132859/206676223628\ 89132745201598583*c_0101_3^10 + 483288235467842581615055281794707/2\ 0667622362889132745201598583*c_0101_3^9 - 549270242003980664329040682735769/20667622362889132745201598583*c_0\ 101_3^8 - 730184166845483430417434887156528/20667622362889132745201\ 598583*c_0101_3^7 + 487837215036193374209677712926270/2066762236288\ 9132745201598583*c_0101_3^6 + 533436194678573215713248668554325/206\ 67622362889132745201598583*c_0101_3^5 - 166812551080893250793465084987589/20667622362889132745201598583*c_0\ 101_3^4 - 141797750999056214227226799182920/20667622362889132745201\ 598583*c_0101_3^3 + 32470048809182793010311923165705/20667622362889\ 132745201598583*c_0101_3^2 + 12274356610070256560972684652298/20667\ 622362889132745201598583*c_0101_3 - 2872307198915293031364023001004/20667622362889132745201598583, c_0101_0 - 28594288475782973675172979190/20667622362889132745201598583*\ c_0101_3^20 + 158242970590752952090040904806/2066762236288913274520\ 1598583*c_0101_3^19 + 169197191857740663970349789442/20667622362889\ 132745201598583*c_0101_3^18 - 2215197594767109883825901158324/20667\ 622362889132745201598583*c_0101_3^17 + 805655951712047468273468919450/20667622362889132745201598583*c_0101\ _3^16 + 11846610377600283189301707654328/20667622362889132745201598\ 583*c_0101_3^15 - 6731898117600684967015829156840/20667622362889132\ 745201598583*c_0101_3^14 - 29623321535376032711425949722106/2066762\ 2362889132745201598583*c_0101_3^13 - 1442104170577098295863243343002/20667622362889132745201598583*c_010\ 1_3^12 + 30827843817031146146807325822442/2066762236288913274520159\ 8583*c_0101_3^11 + 87173848399285721974543375869028/206676223628891\ 32745201598583*c_0101_3^10 - 47162421139998172612105699771493/20667\ 622362889132745201598583*c_0101_3^9 - 229157230554525763370478047877756/20667622362889132745201598583*c_0\ 101_3^8 + 151446321906727233384590257752980/20667622362889132745201\ 598583*c_0101_3^7 + 204656979578938584463458708202282/2066762236288\ 9132745201598583*c_0101_3^6 - 171550232186369098681492957483819/206\ 67622362889132745201598583*c_0101_3^5 - 58695058918715189844007428763138/20667622362889132745201598583*c_01\ 01_3^4 + 67696652083850358814874982774658/2066762236288913274520159\ 8583*c_0101_3^3 - 1661556797373604007113884825898/20667622362889132\ 745201598583*c_0101_3^2 - 7747141031344315952425251292491/206676223\ 62889132745201598583*c_0101_3 + 1361878453522721656939284124356/206\ 67622362889132745201598583, c_0101_3^21 - 4*c_0101_3^20 - 13*c_0101_3^19 + 62*c_0101_3^18 + 76*c_0101_3^17 - 363*c_0101_3^16 - 346*c_0101_3^15 + 867*c_0101_3^14 + 1445*c_0101_3^13 + 269*c_0101_3^12 - 3370*c_0101_3^11 - 3236*c_0101_3^10 + 6030*c_0101_3^9 + 4842*c_0101_3^8 - 6098*c_0101_3^7 - 3295*c_0101_3^6 + 2779*c_0101_3^5 + 775*c_0101_3^4 - 627*c_0101_3^3 - 22*c_0101_3^2 + 54*c_0101_3 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB