Magma V2.19-8 Tue Aug 20 2013 16:18:20 on localhost [Seed = 458917428] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2539 geometric_solution 5.84510277 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 0132 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 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 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.250881309303 1.519756584181 0 3 4 4 0132 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0.316479824773 0.411751869466 4 3 3 0 3012 1302 3201 0132 0 0 0 0 0 0 0 0 -1 0 0 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 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.105741022508 0.640544389779 2 1 5 2 2310 0132 0132 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 0 -1 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.853842172595 0.913085942177 1 5 1 2 2031 3201 0132 1230 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 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.542864102613 0.560954233509 6 6 4 3 0132 3201 2310 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 -1 0 1 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.476236640764 1.383517037097 5 6 5 6 0132 2310 2310 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 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.673009546308 0.480101103336 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : 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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0101_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0011_2'], 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : d['c_0011_4']})} 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_2, c_0011_4, c_0011_5, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 9909377669759297606765711933320554111880114431/64507116735010381606\ 066922086799095784558396*c_0101_5^21 + 1326621175974558444291914945105285854882474963991/10321138677601661\ 05697070753388785532552934336*c_0101_5^20 + 7136203262794090884595175795072144894120567885969/20642277355203322\ 11394141506777571065105868672*c_0101_5^19 + 4051855033650190870170530549944260002598851434637/20642277355203322\ 11394141506777571065105868672*c_0101_5^18 - 28998731502600349316737354773995831390704688946693/8256910942081328\ 845576566027110284260423474688*c_0101_5^17 + 14014462105887331307492900649744873040662294722269/8256910942081328\ 845576566027110284260423474688*c_0101_5^16 + 8827396522598355613814053378079913008632488053929/10321138677601661\ 05697070753388785532552934336*c_0101_5^15 - 95147786862372428852719874929374253309958733232373/8256910942081328\ 845576566027110284260423474688*c_0101_5^14 - 77226236329511969586010843177059292479252326744499/4128455471040664\ 422788283013555142130211737344*c_0101_5^13 + 81400056514867480792281373640627447726462453348297/8256910942081328\ 845576566027110284260423474688*c_0101_5^12 + 2993700323105517185164529081899806072233529676555/10321138677601661\ 05697070753388785532552934336*c_0101_5^11 - 10259728813049777725338780890636305547105598760011/5160569338800830\ 52848535376694392766276467168*c_0101_5^10 + 9938262262936407929385753139828127196590727395693/41284554710406644\ 22788283013555142130211737344*c_0101_5^9 + 122997363625892596970845055594528027249028656871829/825691094208132\ 8845576566027110284260423474688*c_0101_5^8 - 5293383481825030348967079134003830484799592773225/82569109420813288\ 45576566027110284260423474688*c_0101_5^7 - 1923012227998040221316391251330997013941984195569/20642277355203322\ 11394141506777571065105868672*c_0101_5^6 + 17112910819884252606000906870762989382123606728393/4128455471040664\ 422788283013555142130211737344*c_0101_5^5 + 15534872252821836884185768341652058317549568165/1612677918375259540\ 1516730521699773946139599*c_0101_5^4 - 2062598803807208182673742058591800388529994447155/20642277355203322\ 11394141506777571065105868672*c_0101_5^3 - 3210562529428191045073861795121054375107318569113/82569109420813288\ 45576566027110284260423474688*c_0101_5^2 - 207875702610471473133604436748013973732584692435/206422773552033221\ 1394141506777571065105868672*c_0101_5 + 55175942161924562837674453883250262204995465547/2064227735520332211\ 394141506777571065105868672, c_0011_0 - 1, c_0011_2 - 111805521222285480401442881467530658388647552/16126779183752\ 595401516730521699773946139599*c_0101_5^21 - 923630046533077098034451120306649204813277096/161267791837525954015\ 16730521699773946139599*c_0101_5^20 - 2420090957328625876206841433448930846730924100/16126779183752595401\ 516730521699773946139599*c_0101_5^19 - 1186972091434182595251130907780170622514379568/16126779183752595401\ 516730521699773946139599*c_0101_5^18 + 2650685032619275556975405428485556970948142731/16126779183752595401\ 516730521699773946139599*c_0101_5^17 - 1500340207564868493286392205406778842353160902/16126779183752595401\ 516730521699773946139599*c_0101_5^16 - 5972878455202335607728037608017130682916145707/16126779183752595401\ 516730521699773946139599*c_0101_5^15 + 9010692308300802209725370771309772699092425124/16126779183752595401\ 516730521699773946139599*c_0101_5^14 + 12593286081457323421029702067038951189844757545/1612677918375259540\ 1516730521699773946139599*c_0101_5^13 - 8272419801787764877888668498491943255195220146/16126779183752595401\ 516730521699773946139599*c_0101_5^12 - 1052319910012653189076699960330382483864901336/16126779183752595401\ 516730521699773946139599*c_0101_5^11 + 14325398606678537114920897173154445195794315062/1612677918375259540\ 1516730521699773946139599*c_0101_5^10 - 3333511753354766505062009626186034630678041864/16126779183752595401\ 516730521699773946139599*c_0101_5^9 - 10364987050335671835588926875381870324080934214/1612677918375259540\ 1516730521699773946139599*c_0101_5^8 + 1357360191172683872386244955096393121405422886/16126779183752595401\ 516730521699773946139599*c_0101_5^7 + 295519299245824789916736306207864389527174876/161267791837525954015\ 16730521699773946139599*c_0101_5^6 - 3103254490130223089555508278694451888789290679/16126779183752595401\ 516730521699773946139599*c_0101_5^5 - 398129442416824629382846202965494861570294677/161267791837525954015\ 16730521699773946139599*c_0101_5^4 + 774538417654478569585203367847236368209466347/161267791837525954015\ 16730521699773946139599*c_0101_5^3 + 209516259292025651807988136296394436260634472/161267791837525954015\ 16730521699773946139599*c_0101_5^2 + 60931846128636473382478500314304572861525243/1612677918375259540151\ 6730521699773946139599*c_0101_5 - 106260135511449384810521889394380\ 0565917715/16126779183752595401516730521699773946139599, c_0011_4 - 43658729929485181357956753961591248856118188/161267791837525\ 95401516730521699773946139599*c_0101_5^21 - 1392817183643316122764950072310366938867859427/64507116735010381606\ 066922086799095784558396*c_0101_5^20 - 6687415029820843608328025645139762749376760357/12901423347002076321\ 2133844173598191569116792*c_0101_5^19 - 1148553791667410923538371719753622751485183729/12901423347002076321\ 2133844173598191569116792*c_0101_5^18 + 41384288031156750072586043444911685238500397801/5160569338800830528\ 48535376694392766276467168*c_0101_5^17 - 27081784902524291395351530463351606424876445505/5160569338800830528\ 48535376694392766276467168*c_0101_5^16 - 9418496707117394200525305391279567058631388753/64507116735010381606\ 066922086799095784558396*c_0101_5^15 + 136933475581367864628084094949919667468159279033/516056933880083052\ 848535376694392766276467168*c_0101_5^14 + 68335070575685305514379990161366506020839404783/2580284669400415264\ 24267688347196383138233584*c_0101_5^13 - 167250175058622311858094560461715736012808596893/516056933880083052\ 848535376694392766276467168*c_0101_5^12 - 681040996297695363883094635310379203638400579/645071167350103816060\ 66922086799095784558396*c_0101_5^11 + 12853221324052217836603052491796930140664966331/3225355836750519080\ 3033461043399547892279198*c_0101_5^10 - 45624620576168205364203664155810862885155374449/2580284669400415264\ 24267688347196383138233584*c_0101_5^9 - 146333927524856031927404732152919494417597752377/516056933880083052\ 848535376694392766276467168*c_0101_5^8 + 67425203581823365205411012360171990510096585117/5160569338800830528\ 48535376694392766276467168*c_0101_5^7 + 4473689905823480085460996935475356622184500957/12901423347002076321\ 2133844173598191569116792*c_0101_5^6 - 23835621324669968899917339710614033615389806589/2580284669400415264\ 24267688347196383138233584*c_0101_5^5 + 205778290073135047882237726073310277255422510/161267791837525954015\ 16730521699773946139599*c_0101_5^4 + 3970126458602237688979193418796162224492467959/12901423347002076321\ 2133844173598191569116792*c_0101_5^3 - 1572939355158976618494060203520665985666187667/51605693388008305284\ 8535376694392766276467168*c_0101_5^2 - 282356649853228647527513844765472664546899841/129014233470020763212\ 133844173598191569116792*c_0101_5 - 128331859067717197844389419748947664750495751/129014233470020763212\ 133844173598191569116792, c_0011_5 - 41398479419628121476445063085695884240114116/161267791837525\ 95401516730521699773946139599*c_0101_5^21 - 1372043189377299315798720242409383046756718169/64507116735010381606\ 066922086799095784558396*c_0101_5^20 - 7193595273032145773091794532174616722985578863/12901423347002076321\ 2133844173598191569116792*c_0101_5^19 - 3362438801265262620690738706770693870838267499/12901423347002076321\ 2133844173598191569116792*c_0101_5^18 + 34109928557075642551011473010713100660939056235/5160569338800830528\ 48535376694392766276467168*c_0101_5^17 - 16655151182727662274017907032163996047139165067/5160569338800830528\ 48535376694392766276467168*c_0101_5^16 - 4730842613681470490424247998727480283365387435/32253558367505190803\ 033461043399547892279198*c_0101_5^15 + 108533846874423861839670363503701250960479835755/516056933880083052\ 848535376694392766276467168*c_0101_5^14 + 79511796275825498886434451133414146405466672849/2580284669400415264\ 24267688347196383138233584*c_0101_5^13 - 110157620516006942021474806955665271392427052391/516056933880083052\ 848535376694392766276467168*c_0101_5^12 - 1713719338742592091945771928835495740622339683/32253558367505190803\ 033461043399547892279198*c_0101_5^11 + 5810763513185773027276580663021425821457844662/16126779183752595401\ 516730521699773946139599*c_0101_5^10 - 18642999970236156865043988768448195082807184947/2580284669400415264\ 24267688347196383138233584*c_0101_5^9 - 141152625911242318108897149950914681716000441643/516056933880083052\ 848535376694392766276467168*c_0101_5^8 + 22227494900812711764474591742664771081822587487/5160569338800830528\ 48535376694392766276467168*c_0101_5^7 + 4033419947624926153093851892048468890568422045/12901423347002076321\ 2133844173598191569116792*c_0101_5^6 - 19966504774022490486759892570154826549754948447/2580284669400415264\ 24267688347196383138233584*c_0101_5^5 - 441649703284448034279667137525747255486591381/322535583675051908030\ 33461043399547892279198*c_0101_5^4 + 2907534650005577143045478407438923789866607093/12901423347002076321\ 2133844173598191569116792*c_0101_5^3 + 2588615028904238122186907740889048861366519703/51605693388008305284\ 8535376694392766276467168*c_0101_5^2 - 71396826622323880961790731414868921878569409/1290142334700207632121\ 33844173598191569116792*c_0101_5 - 85372229768857755870488748560981707076021425/1290142334700207632121\ 33844173598191569116792, c_0101_0 - 14028535582317016155666639299907107596817974/161267791837525\ 95401516730521699773946139599*c_0101_5^21 - 987592786766938744436635466665720578314705363/129014233470020763212\ 133844173598191569116792*c_0101_5^20 - 5919097758348854410963312107736606860823792957/25802846694004152642\ 4267688347196383138233584*c_0101_5^19 - 5461953752282785367633536600680304569974060461/25802846694004152642\ 4267688347196383138233584*c_0101_5^18 + 12222780182148819119519698334212550691183797033/1032113867760166105\ 697070753388785532552934336*c_0101_5^17 - 302727485986303917513042453608102279001579717/103211386776016610569\ 7070753388785532552934336*c_0101_5^16 - 12344990087032250341018391866842549797291081899/2580284669400415264\ 24267688347196383138233584*c_0101_5^15 + 38079841159651628296504063531870927457150231953/1032113867760166105\ 697070753388785532552934336*c_0101_5^14 + 66407945872082107093064403366036513727674092637/5160569338800830528\ 48535376694392766276467168*c_0101_5^13 + 14946101573219257765357258678653801694986843107/1032113867760166105\ 697070753388785532552934336*c_0101_5^12 - 9536408475979703562219650486720015343179039797/25802846694004152642\ 4267688347196383138233584*c_0101_5^11 + 10463202918216489905738390524833157153206824889/1290142334700207632\ 12133844173598191569116792*c_0101_5^10 + 29354033875780946922180380510332052416273630791/5160569338800830528\ 48535376694392766276467168*c_0101_5^9 - 77693493689133122036538790810615453882167309697/1032113867760166105\ 697070753388785532552934336*c_0101_5^8 - 62419019663001033731801237643972344069541802479/1032113867760166105\ 697070753388785532552934336*c_0101_5^7 + 1022711634611075987507010959678119970930132353/12901423347002076321\ 2133844173598191569116792*c_0101_5^6 - 6432704928220781067867665480594048425921329833/51605693388008305284\ 8535376694392766276467168*c_0101_5^5 - 3281171165044923557308289168467748275538805273/12901423347002076321\ 2133844173598191569116792*c_0101_5^4 + 446579517543523777560655484350805914440206883/258028466940041526424\ 267688347196383138233584*c_0101_5^3 + 7107210001793039705320360077051805934196950541/10321138677601661056\ 97070753388785532552934336*c_0101_5^2 + 145553357992399706352375008844055821472975843/129014233470020763212\ 133844173598191569116792*c_0101_5 + 23029280585709176907512188608979965313784879/2580284669400415264242\ 67688347196383138233584, c_0101_2 + 33303921516008350595532183919591968181849580/161267791837525\ 95401516730521699773946139599*c_0101_5^21 + 1123242949616058082209648241252488579884649715/64507116735010381606\ 066922086799095784558396*c_0101_5^20 + 6133731492294155937733974545297105897942692117/12901423347002076321\ 2133844173598191569116792*c_0101_5^19 + 3740620146161968515389317194971699720871428513/12901423347002076321\ 2133844173598191569116792*c_0101_5^18 - 24042975548884602287190429392167852553201437337/5160569338800830528\ 48535376694392766276467168*c_0101_5^17 + 9706809483284356991863525605374106531393669681/51605693388008305284\ 8535376694392766276467168*c_0101_5^16 + 7479049374623318495381696737216128251648226237/64507116735010381606\ 066922086799095784558396*c_0101_5^15 - 77395527121607395944754916730872802415566415273/5160569338800830528\ 48535376694392766276467168*c_0101_5^14 - 67925126375836945629426119316575855597160994719/2580284669400415264\ 24267688347196383138233584*c_0101_5^13 + 61428502914108770645887727355620640982308517005/5160569338800830528\ 48535376694392766276467168*c_0101_5^12 + 3050384093026215088314899086760130607317175099/64507116735010381606\ 066922086799095784558396*c_0101_5^11 - 8476295360825218862147887839008698489691174721/32253558367505190803\ 033461043399547892279198*c_0101_5^10 + 6052752506871436628032039918059642533449787681/25802846694004152642\ 4267688347196383138233584*c_0101_5^9 + 103892204026417381554005744908800274866263263145/516056933880083052\ 848535376694392766276467168*c_0101_5^8 + 4019931361828625089138933596484704675881201427/51605693388008305284\ 8535376694392766276467168*c_0101_5^7 - 512660087590139241209334694794803309451732469/129014233470020763212\ 133844173598191569116792*c_0101_5^6 + 12836826729874674319542693879131542595080811069/2580284669400415264\ 24267688347196383138233584*c_0101_5^5 + 233680613609514768972012556097913643356822820/161267791837525954015\ 16730521699773946139599*c_0101_5^4 - 1170772836920417492119894541366937211805869471/12901423347002076321\ 2133844173598191569116792*c_0101_5^3 - 4423618022443940778711543505688268997083498749/51605693388008305284\ 8535376694392766276467168*c_0101_5^2 - 461193894806144977543616732118474580964689871/129014233470020763212\ 133844173598191569116792*c_0101_5 + 37466523627095378615878568341667250516511927/1290142334700207632121\ 33844173598191569116792, c_0101_5^22 + 137/16*c_0101_5^21 + 771/32*c_0101_5^20 + 537/32*c_0101_5^19 - 2755/128*c_0101_5^18 + 709/128*c_0101_5^17 + 3731/64*c_0101_5^16 - 8283/128*c_0101_5^15 - 2227/16*c_0101_5^14 + 5459/128*c_0101_5^13 + 2383/64*c_0101_5^12 - 253/2*c_0101_5^11 - 637/64*c_0101_5^10 + 13575/128*c_0101_5^9 + 2087/128*c_0101_5^8 - 633/64*c_0101_5^7 + 1643/64*c_0101_5^6 + 379/32*c_0101_5^5 - 205/32*c_0101_5^4 - 559/128*c_0101_5^3 - 69/64*c_0101_5^2 + 3/32*c_0101_5 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB