Magma V2.19-8 Tue Aug 20 2013 16:16:19 on localhost [Seed = 155751914] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0583 geometric_solution 4.60066502 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.402219939612 0.179983823861 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 0 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 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.117703369992 0.185878145547 3 1 1 3 0132 0132 1023 1023 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 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.968437559414 0.363130833808 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 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.604592149009 0.166724360996 5 3 5 6 2103 0132 3201 0132 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 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 0.690252483609 1.198903760070 4 6 4 3 2310 0132 2103 0132 0 0 0 0 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 -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.690252483609 1.198903760070 6 5 4 6 3012 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.031122046189 0.481871112594 ==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' : 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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_1']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_5']), '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' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_1001_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : d['c_1001_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_0011_5, c_0101_0, c_0101_2, c_0101_3, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 199955685190894539080481643816040204916965625445098575067/179504985\ 41320397186989202289445306222413676514504510090*c_1001_3^20 - 1359355078133159553283210209147674015942239738951733717099/89752492\ 70660198593494601144722653111206838257252255045*c_1001_3^19 + 11302757040743914330590229908256326158764949467729876156579/1795049\ 8541320397186989202289445306222413676514504510090*c_1001_3^18 + 2129261594906192295021879392343336171167606539984221157461/17950498\ 541320397186989202289445306222413676514504510090*c_1001_3^17 - 153581510658173449305864722765908314179875245262487523584551/179504\ 98541320397186989202289445306222413676514504510090*c_1001_3^16 + 163241661144548950541262515278555492908986906855288924349867/179504\ 98541320397186989202289445306222413676514504510090*c_1001_3^15 + 1279203888425788796073831541244807910305765195481248648612009/17950\ 498541320397186989202289445306222413676514504510090*c_1001_3^14 - 1153581909325332902296049998869020514479343787660017587233137/89752\ 49270660198593494601144722653111206838257252255045*c_1001_3^13 - 2605677096328101543033034596195759479611112603450973692671849/89752\ 49270660198593494601144722653111206838257252255045*c_1001_3^12 + 4534438609260763410303930833036010850061111162271856622929478/89752\ 49270660198593494601144722653111206838257252255045*c_1001_3^11 + 392648642324024202899034437895846475365504969055324032925639/815931\ 751878199872135872831338423010109712568841114095*c_1001_3^10 - 1952830546144551712607997806077319036885587898006549704966039/35900\ 99708264079437397840457889061244482735302900902018*c_1001_3^9 - 2230245508427413648798006753029236033824418937380758230037555/35900\ 99708264079437397840457889061244482735302900902018*c_1001_3^8 + 717968200232344831657226766526819339512594802579707069598291/179504\ 9854132039718698920228944530622241367651450451009*c_1001_3^7 + 212851412533786716674563043409916701330763468104953868567391/179504\ 9854132039718698920228944530622241367651450451009*c_1001_3^6 - 95037253698849726764258864701515158235784137988576948387301/8159317\ 51878199872135872831338423010109712568841114095*c_1001_3^5 + 2724317435879197608202936379634817437672170472369658558164807/17950\ 498541320397186989202289445306222413676514504510090*c_1001_3^4 - 324090765299342289135459865675292846824149636650006218908739/897524\ 9270660198593494601144722653111206838257252255045*c_1001_3^3 - 70721135970716486976376610972272367121440919717781633632068/1795049\ 854132039718698920228944530622241367651450451009*c_1001_3^2 + 156229134167536675204290632851529957297909853023945946714931/897524\ 9270660198593494601144722653111206838257252255045*c_1001_3 - 2948381179420186578976071639844669964909284670977962920221/16318635\ 03756399744271745662676846020219425137682228190, c_0011_0 - 1, c_0011_1 + 293707040352007526401943057150127913381911369839090095/32637\ 2700751279948854349132535369204043885027536445638*c_1001_3^20 - 3978336604112509623869914607687596569966839746472884811/32637270075\ 1279948854349132535369204043885027536445638*c_1001_3^19 + 8200086386056249201611298645778109147024961340775156049/16318635037\ 5639974427174566267684602021942513768222819*c_1001_3^18 + 3940426194978764332537905731363910908321358849977679925/32637270075\ 1279948854349132535369204043885027536445638*c_1001_3^17 - 112635274259468687121720656927432592681482093739962399888/163186350\ 375639974427174566267684602021942513768222819*c_1001_3^16 + 228254662355001987505004632223919711593440490008750757327/326372700\ 751279948854349132535369204043885027536445638*c_1001_3^15 + 944530081914571602406974531630133811705280407919415467434/163186350\ 375639974427174566267684602021942513768222819*c_1001_3^14 - 1645205387589376778535411014059280459217073202160540016814/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^13 - 3904935663128133998908003756028452487351293267547727548235/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^12 + 6448584161941070838133966854978027646345741036182839112595/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^11 + 6646329898701838419198354291055772466835591244559499030170/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^10 - 13570443416212044143438437870676853138981980662715452485839/3263727\ 00751279948854349132535369204043885027536445638*c_1001_3^9 - 8487499287902768252543251000160381602699428838738328473027/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^8 + 4792162867840915414199471403139720188358788714544842861452/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^7 + 1744237391299941395158868457280737028883810334075824484620/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^6 - 1415979940876487312428573126713962351947395058800872237186/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^5 + 3886049725778971893852883321539591891490076952057191322761/32637270\ 0751279948854349132535369204043885027536445638*c_1001_3^4 - 768123175552690085570586052102065676704241773817728828869/326372700\ 751279948854349132535369204043885027536445638*c_1001_3^3 - 1053012591409989926094401142364481460118678961267728984587/32637270\ 0751279948854349132535369204043885027536445638*c_1001_3^2 + 401468330222889182383368248827699043001515103852055820681/326372700\ 751279948854349132535369204043885027536445638*c_1001_3 - 17517295280302224368987580661641820157931746051487755582/1631863503\ 75639974427174566267684602021942513768222819, c_0011_5 + 378507444174939976003989058923961567507794456000246791/32637\ 2700751279948854349132535369204043885027536445638*c_1001_3^20 - 2567405460492566224075934227988481084617856867175678013/16318635037\ 5639974427174566267684602021942513768222819*c_1001_3^19 + 21239163638634069152968031409436626951638230066131068367/3263727007\ 51279948854349132535369204043885027536445638*c_1001_3^18 + 4670342501769431220240330371593768528837315647117203217/32637270075\ 1279948854349132535369204043885027536445638*c_1001_3^17 - 290533605403070040512912790519520236639848464026001270887/326372700\ 751279948854349132535369204043885027536445638*c_1001_3^16 + 300106904208878467863336894385446026218230154696900782353/326372700\ 751279948854349132535369204043885027536445638*c_1001_3^15 + 2430077924887237907159928849375098871338077358172925685475/32637270\ 0751279948854349132535369204043885027536445638*c_1001_3^14 - 2146063962480814989505051435126890322127484547685102329440/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^13 - 4995800846573091872073833096859996217905104107709859520463/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^12 + 8425263009343169294699156212494894903472852112401311950517/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^11 + 8425321788627469008236379215272968598996222258173101874430/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^10 - 17925046829111443186312688275656187747911138265305951011125/3263727\ 00751279948854349132535369204043885027536445638*c_1001_3^9 - 21634129749526513051036779337610385345712864060809957890625/3263727\ 00751279948854349132535369204043885027536445638*c_1001_3^8 + 6438575501266298450581941585116527945099048820780572081137/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^7 + 2193279145766854821767565726911171711168293578154346170575/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^6 - 1889261854974675168994701023426531682790774887186663290338/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^5 + 5048794847069152161495728793864891162637374027001775099845/32637270\ 0751279948854349132535369204043885027536445638*c_1001_3^4 - 541200709251976931464137688197446668903121879639191757344/163186350\ 375639974427174566267684602021942513768222819*c_1001_3^3 - 681655791627782033861129946684719336266265762221379298903/163186350\ 375639974427174566267684602021942513768222819*c_1001_3^2 + 272308485743091115814135603110498970341105446735888500122/163186350\ 375639974427174566267684602021942513768222819*c_1001_3 - 48381087050988924646921617858978240320981179152792170109/3263727007\ 51279948854349132535369204043885027536445638, c_0101_0 + 568965535702564822793326017360118258019353320397501095/32637\ 2700751279948854349132535369204043885027536445638*c_1001_3^20 - 3858834135783086306945864551189122125884065937283950433/16318635037\ 5639974427174566267684602021942513768222819*c_1001_3^19 + 31914787650986757444896704704583374089819743398084269685/3263727007\ 51279948854349132535369204043885027536445638*c_1001_3^18 + 7063541857009650628333182717273884991681982893603804915/32637270075\ 1279948854349132535369204043885027536445638*c_1001_3^17 - 436687105475294519969700260867006032522931041847037150715/326372700\ 751279948854349132535369204043885027536445638*c_1001_3^16 + 450443127561237815000699069197277839781449264324485144243/326372700\ 751279948854349132535369204043885027536445638*c_1001_3^15 + 3653178655420678189375253173572065962398651383187583960875/32637270\ 0751279948854349132535369204043885027536445638*c_1001_3^14 - 3222902771247114924527133327423532614563929290279611369777/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^13 - 7513040922971685542632148960473468139800539016536734718224/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^12 + 12650389244841753702111419845120097862523638090495378728551/1631863\ 50375639974427174566267684602021942513768222819*c_1001_3^11 + 12677827250954060602649770893798891319501998193677278537326/1631863\ 50375639974427174566267684602021942513768222819*c_1001_3^10 - 26884845715118081197602897511266144512701713798359685609051/3263727\ 00751279948854349132535369204043885027536445638*c_1001_3^9 - 32537907848077897792000894890380417028317586304022481562545/3263727\ 00751279948854349132535369204043885027536445638*c_1001_3^8 + 9643067415880356474238894514886644744898123427536936071093/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^7 + 3296176591210722242287479675303885178091818630607157511903/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^6 - 2828739093004343435615776235708785884737028542146478153719/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^5 + 7588417497681839538667491981326338015110476013789344985589/32637270\ 0751279948854349132535369204043885027536445638*c_1001_3^4 - 808726323788136975838194846879462202262579333154526759441/163186350\ 375639974427174566267684602021942513768222819*c_1001_3^3 - 1023138977800781624812598126291109369889458122469019112887/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^2 + 407617658755986707297958273211163919660932928676442018691/163186350\ 375639974427174566267684602021942513768222819*c_1001_3 - 72843515691932491796973558246161862487288833644583358009/3263727007\ 51279948854349132535369204043885027536445638, c_0101_2 + 558927954208483651892713776038315864203049299409928381/32637\ 2700751279948854349132535369204043885027536445638*c_1001_3^20 - 7573835322791060068442169608312771370229062273222865609/32637270075\ 1279948854349132535369204043885027536445638*c_1001_3^19 + 15624884552130660811269272998173323989994702406455398272/1631863503\ 75639974427174566267684602021942513768222819*c_1001_3^18 + 7340727760038645589733328372772773129188045982403543861/32637270075\ 1279948854349132535369204043885027536445638*c_1001_3^17 - 214386942547711550089993984324552114420020483585043754524/163186350\ 375639974427174566267684602021942513768222819*c_1001_3^16 + 436662808869187979616074009705851145380873769120031418169/326372700\ 751279948854349132535369204043885027536445638*c_1001_3^15 + 1796576305881396686890531434218795885884635443620621013367/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^14 - 3140768757143970310263163629566256679072111834334694651425/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^13 - 7416811166229978261891019761387602979188981144043829778142/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^12 + 12315540052664091787397644964956318371368477406926270750389/1631863\ 50375639974427174566267684602021942513768222819*c_1001_3^11 + 12593107346930678890404185781964172850839170518733617367455/1631863\ 50375639974427174566267684602021942513768222819*c_1001_3^10 - 25989752052068230048409639314809310631604329230127139009259/3263727\ 00751279948854349132535369204043885027536445638*c_1001_3^9 - 16103311400701829419828579320803182623574846011549466362242/1631863\ 50375639974427174566267684602021942513768222819*c_1001_3^8 + 9219218799746834789555844310550821243966107140103679420240/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^7 + 3295891267199791282141616295532404174666116201861952528050/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^6 - 2718469439482959676139883966993129745989329115370754945377/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^5 + 7412661976572282627705898082452071517343185816999595634359/32637270\ 0751279948854349132535369204043885027536445638*c_1001_3^4 - 1498180163157807435488397328589075317612841917630039962465/32637270\ 0751279948854349132535369204043885027536445638*c_1001_3^3 - 2005980312994585225621454102852775372764256138112139568127/32637270\ 0751279948854349132535369204043885027536445638*c_1001_3^2 + 774426338553045883557759765705506700635437554805699040531/326372700\ 751279948854349132535369204043885027536445638*c_1001_3 - 34020555578593473459551615306078883291967421008383669656/1631863503\ 75639974427174566267684602021942513768222819, c_0101_3 - 44672443564866685390259671224350246122380107256245189/163186\ 350375639974427174566267684602021942513768222819*c_1001_3^20 + 603971269065141332780545666056123385569603824694802267/163186350375\ 639974427174566267684602021942513768222819*c_1001_3^19 - 2479412753765803944804644076470546234200622216519863814/16318635037\ 5639974427174566267684602021942513768222819*c_1001_3^18 - 658994652113674620013646135146328593255760807830123993/163186350375\ 639974427174566267684602021942513768222819*c_1001_3^17 + 34235128149906132400438805560617291326036983575975267662/1631863503\ 75639974427174566267684602021942513768222819*c_1001_3^16 - 33859377157417125840976060692874631549920085992074788120/1631863503\ 75639974427174566267684602021942513768222819*c_1001_3^15 - 288007672054762708404242093832816330589314334953614159065/163186350\ 375639974427174566267684602021942513768222819*c_1001_3^14 + 493070631551797565507454352361816484585080732707556398159/163186350\ 375639974427174566267684602021942513768222819*c_1001_3^13 + 1198829737174449293871658491279785153446240548027626108985/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^12 - 1929287388986482521279740290353582285720071745518492314587/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^11 - 2063795422564139839615865743151737190235655821763236452677/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^10 + 2003848284138586923908860377221198143219346620606343506505/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^9 + 2619367012094554650949672211820549487036698451928408814893/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^8 - 1384173938395639473381214577066669565258304488877549930202/16318635\ 0375639974427174566267684602021942513768222819*c_1001_3^7 - 549687925832760053726508657535530456555744730787569689233/163186350\ 375639974427174566267684602021942513768222819*c_1001_3^6 + 413407097529847119204565153453639292651841529220242645680/163186350\ 375639974427174566267684602021942513768222819*c_1001_3^5 - 585265842997120208937363613581411541721237949419565829011/163186350\ 375639974427174566267684602021942513768222819*c_1001_3^4 + 103604945822032706515374817855868405735928556747680794506/163186350\ 375639974427174566267684602021942513768222819*c_1001_3^3 + 160035932846519134082213975293527942128695065589501611612/163186350\ 375639974427174566267684602021942513768222819*c_1001_3^2 - 57325236137084036057210610699391026696652366635535046098/1631863503\ 75639974427174566267684602021942513768222819*c_1001_3 + 4900422602388634474297309129305065288765117722228554918/16318635037\ 5639974427174566267684602021942513768222819, c_1001_3^21 - 14*c_1001_3^20 + 62*c_1001_3^19 - 12*c_1001_3^18 - 773*c_1001_3^17 + 1126*c_1001_3^16 + 6077*c_1001_3^15 - 14127*c_1001_3^14 - 21484*c_1001_3^13 + 55988*c_1001_3^12 + 25234*c_1001_3^11 - 66725*c_1001_3^10 - 36675*c_1001_3^9 + 58865*c_1001_3^8 - 3090*c_1001_3^7 - 15026*c_1001_3^6 + 17651*c_1001_3^5 - 8644*c_1001_3^4 - 2375*c_1001_3^3 + 3001*c_1001_3^2 - 748*c_1001_3 + 55 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB