Magma V2.19-8 Tue Aug 20 2013 16:17:04 on localhost [Seed = 1831662015] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1322 geometric_solution 5.20588574 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 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 1 0 -1 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.009366116452 1.020916638658 3 4 2 0 0132 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -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 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.909436585717 0.842856774887 4 3 0 1 2310 3201 0132 3012 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 1 -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.909436585717 0.842856774887 1 5 2 5 0132 0132 2310 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 0 0 0 0 -1 1 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.863904531478 0.427247611368 4 1 2 4 3012 0132 3201 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.510742501652 0.890111487563 6 3 6 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 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.737982103391 0.148592067720 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.647885493086 0.059258355962 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_1']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 193456504901115074503062204321969303153/194908351740845913186301171\ 0211354527040*c_0101_6^17 - 2372001981769816455320067248832451429/2\ 7844050248692273312328738717305064672*c_0101_6^16 - 7544756901597186165480875148679818236829/19490835174084591318630117\ 10211354527040*c_0101_6^15 + 22908427922421858854711867966270001589\ 3/69610125621730683280821846793262661680*c_0101_6^14 - 58963243234794921518393376870952755204853/1949083517408459131863011\ 710211354527040*c_0101_6^13 - 2726046806484620771722766769823049603\ 9333/1949083517408459131863011710211354527040*c_0101_6^12 + 28811896059784362126771802731254338227237/2436354396760573914828764\ 63776419315880*c_0101_6^11 - 38413130055254145232724962057432715790\ 977/278440502486922733123287387173050646720*c_0101_6^10 + 269661218564003210410488245005962279054761/974541758704229565931505\ 855105677263520*c_0101_6^9 + 20187864153288096214841533437880269906\ 9767/1949083517408459131863011710211354527040*c_0101_6^8 + 3286883759638372574310521235155925410959/39777214640988961874755341\ 02472152096*c_0101_6^7 + 472100464635142562045244882504473280043087\ /278440502486922733123287387173050646720*c_0101_6^6 + 69693717007837975934856439263850856509861/2784405024869227331232873\ 8717305064672*c_0101_6^5 + 9555431644680567705241833537674698102144\ 09/389816703481691826372602342042270905408*c_0101_6^4 + 3139082024049206723601524549047039703242519/19490835174084591318630\ 11710211354527040*c_0101_6^3 + 455913004517680421724241121993224882\ 20217/60908859919014347870719115944104828970*c_0101_6^2 + 19158095114590732851428010376954041567715/9745417587042295659315058\ 5510567726352*c_0101_6 + 1693398641110156574927759340340510790033/3\ 9777214640988961874755341024721520960, c_0011_0 - 1, c_0011_1 + 57556492602465238082355806282937771/318217717127911694998042\ 72819777216768*c_0101_6^17 - 5700645865452597480753938485503569/159\ 10885856395584749902136409888608384*c_0101_6^16 - 2284319000350544227427277931361952643/31821771712791169499804272819\ 777216768*c_0101_6^15 + 105354693731247274528602908729082375/795544\ 2928197792374951068204944304192*c_0101_6^14 - 15995506622914351857885557742147771399/3182177171279116949980427281\ 9777216768*c_0101_6^13 - 19487286499751839945506559400649074679/318\ 21771712791169499804272819777216768*c_0101_6^12 + 16204126004515600765459241014973306755/7955442928197792374951068204\ 944304192*c_0101_6^11 - 30593551627181089086958458062538317353/3182\ 1771712791169499804272819777216768*c_0101_6^10 + 50215239910747204484517036466570096217/1591088585639558474990213640\ 9888608384*c_0101_6^9 + 158404698115366816781795133722371757781/318\ 21771712791169499804272819777216768*c_0101_6^8 + 260989762077116916678956984343918055127/159108858563955847499021364\ 09888608384*c_0101_6^7 + 1267454517515040230030319801378770451791/3\ 1821771712791169499804272819777216768*c_0101_6^6 + 1005355131910872767039258747400224811335/15910885856395584749902136\ 409888608384*c_0101_6^5 + 2225194693741998945886878885796382154983/\ 31821771712791169499804272819777216768*c_0101_6^4 + 1506865528338907282624097923761608997961/31821771712791169499804272\ 819777216768*c_0101_6^3 + 185380108754955224797809964607562810583/7\ 955442928197792374951068204944304192*c_0101_6^2 + 50302488472879321335403515856343041157/7955442928197792374951068204\ 944304192*c_0101_6 + 33774821824625541372647066891753514423/3182177\ 1712791169499804272819777216768, c_0101_0 + 130213340925861565854458961168919749/31821771712791169499804\ 272819777216768*c_0101_6^17 - 111121331785701972397556240572614649/\ 15910885856395584749902136409888608384*c_0101_6^16 - 4914995257887792843728972358454364833/31821771712791169499804272819\ 777216768*c_0101_6^15 + 2150477998018981707416037001734757139/79554\ 42928197792374951068204944304192*c_0101_6^14 - 46130484724514932855427784171248965921/3182177171279116949980427281\ 9777216768*c_0101_6^13 + 16366682503023112819782242031481996803/318\ 21771712791169499804272819777216768*c_0101_6^12 + 38518325446542066670653579568630340023/7955442928197792374951068204\ 944304192*c_0101_6^11 - 337236539515735063332854062461532206111/318\ 21771712791169499804272819777216768*c_0101_6^10 + 309460598740045739509225289863579479761/159108858563955847499021364\ 09888608384*c_0101_6^9 - 227583476649538353812351194708701923665/31\ 821771712791169499804272819777216768*c_0101_6^8 + 502984286480447508594330978863586442697/159108858563955847499021364\ 09888608384*c_0101_6^7 + 1645875983930621748024157418908814763321/3\ 1821771712791169499804272819777216768*c_0101_6^6 + 862143775161500045341499339637599024267/159108858563955847499021364\ 09888608384*c_0101_6^5 + 1883102516405850702426647654414621485469/3\ 1821771712791169499804272819777216768*c_0101_6^4 + 1172470874449119438852816963869997432847/31821771712791169499804272\ 819777216768*c_0101_6^3 + 20664402321727097067082699973720104317/99\ 4430366024724046868883525618038024*c_0101_6^2 + 3558110126977021534462721623211758447/49721518301236202343444176280\ 9019012*c_0101_6 + 33909192246022345068829705278082403733/318217717\ 12791169499804272819777216768, c_0101_1 - 270478833468126973656126100621527943/31821771712791169499804\ 272819777216768*c_0101_6^17 + 202507390107235913692421474426105731/\ 15910885856395584749902136409888608384*c_0101_6^16 + 10376584630198064082280562160602952139/3182177171279116949980427281\ 9777216768*c_0101_6^15 - 3936791491026198439560465152786911713/7955\ 442928197792374951068204944304192*c_0101_6^14 + 89181452364665156805609623677449278107/3182177171279116949980427281\ 9777216768*c_0101_6^13 - 13145792733622521772240984874485027985/318\ 21771712791169499804272819777216768*c_0101_6^12 - 85715628027323420397656739355151803321/7955442928197792374951068204\ 944304192*c_0101_6^11 + 603953018317438344050207622492328666517/318\ 21771712791169499804272819777216768*c_0101_6^10 - 512829206634533083143311722326267658979/159108858563955847499021364\ 09888608384*c_0101_6^9 + 156784249566377879941567338149495077867/31\ 821771712791169499804272819777216768*c_0101_6^8 - 1003307506896676875642049116353512905419/15910885856395584749902136\ 409888608384*c_0101_6^7 - 3416442210148055871326027927923742736659/\ 31821771712791169499804272819777216768*c_0101_6^6 - 2018208098176179087562215699255832514033/15910885856395584749902136\ 409888608384*c_0101_6^5 - 3127037632619226615426536660611189871375/\ 31821771712791169499804272819777216768*c_0101_6^4 - 1420882738525377763529042898923880391077/31821771712791169499804272\ 819777216768*c_0101_6^3 - 35126896458845691037916087751828197027/19\ 88860732049448093737767051236076048*c_0101_6^2 - 3879665262225787256103887599554951537/99443036602472404686888352561\ 8038024*c_0101_6 - 35096814814794515882788126575972415783/318217717\ 12791169499804272819777216768, c_0101_4 + 133212964654200349605510448861443793/31821771712791169499804\ 272819777216768*c_0101_6^17 - 144357168488048612352295680871833759/\ 15910885856395584749902136409888608384*c_0101_6^16 - 5021139989860937300547394376082514657/31821771712791169499804272819\ 777216768*c_0101_6^15 + 2819522170677077837554643596268777265/79554\ 42928197792374951068204944304192*c_0101_6^14 - 47483312751809906225166205768515406101/3182177171279116949980427281\ 9777216768*c_0101_6^13 + 32090024600608317430552131649490647667/318\ 21771712791169499804272819777216768*c_0101_6^12 + 45376154151627262234601772345708321329/7955442928197792374951068204\ 944304192*c_0101_6^11 - 424190944627696104610866519208848287435/318\ 21771712791169499804272819777216768*c_0101_6^10 + 326849139287369098870626924339878980655/159108858563955847499021364\ 09888608384*c_0101_6^9 - 275090237534176523756785502266443158137/31\ 821771712791169499804272819777216768*c_0101_6^8 + 390202114273053147297816196164011691213/159108858563955847499021364\ 09888608384*c_0101_6^7 + 1196746732476450993227867541090559281949/3\ 1821771712791169499804272819777216768*c_0101_6^6 + 241510254030022014514031378765394778521/159108858563955847499021364\ 09888608384*c_0101_6^5 - 130987047539682183960508591808904500995/31\ 821771712791169499804272819777216768*c_0101_6^4 - 645710686923584404353752599128106186357/318217717127911694998042728\ 19777216768*c_0101_6^3 - 93706550731412173764480626367118918093/795\ 5442928197792374951068204944304192*c_0101_6^2 - 36233677919718350347732042704587863275/7955442928197792374951068204\ 944304192*c_0101_6 - 12508455305466913905627366471495085299/3182177\ 1712791169499804272819777216768, c_0101_5 + 278610750416211746597698379192546239/31821771712791169499804\ 272819777216768*c_0101_6^17 - 194529362383664532969392612939878225/\ 15910885856395584749902136409888608384*c_0101_6^16 - 10744557429282423316210888834330087279/3182177171279116949980427281\ 9777216768*c_0101_6^15 + 3795816016687575672054846936246803743/7955\ 442928197792374951068204944304192*c_0101_6^14 - 89732787427942886879845366458929036603/3182177171279116949980427281\ 9777216768*c_0101_6^13 + 2648666799858884202749603972022793021/3182\ 1771712791169499804272819777216768*c_0101_6^12 + 90176115269855956291083282776639281647/7955442928197792374951068204\ 944304192*c_0101_6^11 - 594251072812524802038969159693189678885/318\ 21771712791169499804272819777216768*c_0101_6^10 + 489423542278322047893619885223280368609/159108858563955847499021364\ 09888608384*c_0101_6^9 + 6515796655809415025936985862488415977/3182\ 1771712791169499804272819777216768*c_0101_6^8 + 967705233072984941449908375024917256611/159108858563955847499021364\ 09888608384*c_0101_6^7 + 3822782815117548831909864986101956935923/3\ 1821771712791169499804272819777216768*c_0101_6^6 + 2204493285546233361873611297229340960855/15910885856395584749902136\ 409888608384*c_0101_6^5 + 3564034535263882916395664416972674463571/\ 31821771712791169499804272819777216768*c_0101_6^4 + 1820154126919282118949239205384293685861/31821771712791169499804272\ 819777216768*c_0101_6^3 + 179261447851207861017886845926417375725/7\ 955442928197792374951068204944304192*c_0101_6^2 + 43689271813182130767234796831281684955/7955442928197792374951068204\ 944304192*c_0101_6 + 34648824712781489581648240002356788099/3182177\ 1712791169499804272819777216768, c_0101_6^18 - c_0101_6^17 - 39*c_0101_6^16 + 39*c_0101_6^15 - 305*c_0101_6^14 - 110*c_0101_6^13 + 1259*c_0101_6^12 - 1607*c_0101_6^11 + 2831*c_0101_6^10 + 1101*c_0101_6^9 + 7429*c_0101_6^8 + 16415*c_0101_6^7 + 21931*c_0101_6^6 + 20455*c_0101_6^5 + 12708*c_0101_6^4 + 5755*c_0101_6^3 + 1664*c_0101_6^2 + 305*c_0101_6 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB