Magma V2.19-8 Tue Aug 20 2013 16:14:29 on localhost [Seed = 3398129358] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s476 geometric_solution 4.84786602 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 0 1 0 1 2031 0132 1302 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.826550838016 0.622981641385 0 0 3 2 3201 0132 0132 0132 0 0 0 0 0 1 -1 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 0 0 0 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.028658449709 1.478867004522 4 3 1 3 0132 2031 0132 3012 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 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.667670312074 0.677412283690 2 4 2 1 1302 3201 1230 0132 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 0 0 0 0 0 0 0 0 -1 1 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.667670312074 0.677412283690 2 5 3 5 0132 0132 2310 2310 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 -1 0 0 1 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.692572715812 0.978454744940 4 4 5 5 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.371317426326 0.232182422631 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0110_5'], 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_2, c_0101_1, c_0101_2, c_0101_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 196584966343452020309245863010139166825517388093/398135134669595983\ 087644315031380560147183682*c_0110_5^25 + 146020396119766233585913770541720340680229829519/132711711556531994\ 362548105010460186715727894*c_0110_5^24 + 1751341413968030102235621299445824854695502965272/66355855778265997\ 181274052505230093357863947*c_0110_5^23 + 581176455385594254674410429009014484261268876399/132711711556531994\ 362548105010460186715727894*c_0110_5^22 - 87673341482674957359851777683240393450305581325277/1990675673347979\ 91543822157515690280073591841*c_0110_5^21 - 258795161099307790504871318558844118120553927778625/398135134669595\ 983087644315031380560147183682*c_0110_5^20 + 952200752674862310474413969979357913226046621618239/398135134669595\ 983087644315031380560147183682*c_0110_5^19 + 1062540386126222837294641107937951138328867850204937/19906756733479\ 7991543822157515690280073591841*c_0110_5^18 - 1131095511914235639287963565725949866295261646998475/19906756733479\ 7991543822157515690280073591841*c_0110_5^17 - 1231470883067155223462325079246957882569952129431509/66355855778265\ 997181274052505230093357863947*c_0110_5^16 + 1373644074719536265371648118284542259616958675679052/19906756733479\ 7991543822157515690280073591841*c_0110_5^15 + 2282537326686635139906385975192277000827693774721907/66355855778265\ 997181274052505230093357863947*c_0110_5^14 - 1102794360835983127773170030289887240541250504418458/19906756733479\ 7991543822157515690280073591841*c_0110_5^13 - 14971393457248764057728345460425840251993943703685805/3981351346695\ 95983087644315031380560147183682*c_0110_5^12 + 1642248116490715001867925368416012879563787403518693/39813513466959\ 5983087644315031380560147183682*c_0110_5^11 + 10306848542773111107859637575388167169861087227593523/3981351346695\ 95983087644315031380560147183682*c_0110_5^10 - 153896552777226212746696319398787329438242972148789/663558557782659\ 97181274052505230093357863947*c_0110_5^9 - 2272028731126927362247019623338095599609696650368755/19906756733479\ 7991543822157515690280073591841*c_0110_5^8 + 281886522966662394104184644665064323553227436267833/398135134669595\ 983087644315031380560147183682*c_0110_5^7 + 592519239825402005239475501175101541411240386326676/199067567334797\ 991543822157515690280073591841*c_0110_5^6 - 6514808973552257626795628736228718469373877207200/66355855778265997\ 181274052505230093357863947*c_0110_5^5 - 71823357292077615536518325982259984303485541791748/1990675673347979\ 91543822157515690280073591841*c_0110_5^4 - 1606656499110997384982232285024141624645541848916/66355855778265997\ 181274052505230093357863947*c_0110_5^3 + 3940342487338443645068818454533958827859246919119/13271171155653199\ 4362548105010460186715727894*c_0110_5^2 + 538642449588266584831927073619612783457583154110/199067567334797991\ 543822157515690280073591841*c_0110_5 - 526703900985755941329557398892766192266886004583/398135134669595983\ 087644315031380560147183682, c_0011_0 - 1, c_0011_2 + 119410219488115833417918775568288751816488581/66355855778265\ 997181274052505230093357863947*c_0110_5^25 - 275991805247586618286634650628321764840519627/663558557782659971812\ 74052505230093357863947*c_0110_5^24 - 6363812885650340572670696690026422972754849964/66355855778265997181\ 274052505230093357863947*c_0110_5^23 - 525040797937340301120928918915122779532110447/663558557782659971812\ 74052505230093357863947*c_0110_5^22 + 106764632160280030850938122462395118556380744179/663558557782659971\ 81274052505230093357863947*c_0110_5^21 + 148507162191139171296535720353368980825664588562/663558557782659971\ 81274052505230093357863947*c_0110_5^20 - 594090284410889037662267807917319785846491219670/663558557782659971\ 81274052505230093357863947*c_0110_5^19 - 1248735944048704691455183754476417378663051149372/66355855778265997\ 181274052505230093357863947*c_0110_5^18 + 1492522790219196239346746442213608120998589442773/66355855778265997\ 181274052505230093357863947*c_0110_5^17 + 4415965173672695044980205256214368239241774175346/66355855778265997\ 181274052505230093357863947*c_0110_5^16 - 2050812753901216063011127418270702938890063660265/66355855778265997\ 181274052505230093357863947*c_0110_5^15 - 8309120833057674597650391173257302166806153114881/66355855778265997\ 181274052505230093357863947*c_0110_5^14 + 1992784962192266821864653140086000773104559145013/66355855778265997\ 181274052505230093357863947*c_0110_5^13 + 9194490195315444974815177539137288026605146034775/66355855778265997\ 181274052505230093357863947*c_0110_5^12 - 1654784589142526223856072594576145527969169339986/66355855778265997\ 181274052505230093357863947*c_0110_5^11 - 6386555340365800431049486815666787968382748328324/66355855778265997\ 181274052505230093357863947*c_0110_5^10 + 978889940205005238176892746984105004530755797572/663558557782659971\ 81274052505230093357863947*c_0110_5^9 + 2846652136090319909285631687521878717916910604499/66355855778265997\ 181274052505230093357863947*c_0110_5^8 - 337183927150289708856820234159080121842305821032/663558557782659971\ 81274052505230093357863947*c_0110_5^7 - 758335837497713137071931506189330373830029411734/663558557782659971\ 81274052505230093357863947*c_0110_5^6 + 59030325491571076906463895858187383607955882825/6635585577826599718\ 1274052505230093357863947*c_0110_5^5 + 96158724736754185350659932804040996481005090964/6635585577826599718\ 1274052505230093357863947*c_0110_5^4 + 3378314320534888414833100835132280936218131574/66355855778265997181\ 274052505230093357863947*c_0110_5^3 - 8254841417297841418554964734373985481693038955/66355855778265997181\ 274052505230093357863947*c_0110_5^2 - 462591208798986944012562610817448304967668867/663558557782659971812\ 74052505230093357863947*c_0110_5 + 358925675627346457176165726206330613522527738/663558557782659971812\ 74052505230093357863947, c_0101_1 - 886593852512871370756732536086350959568500132/66355855778265\ 997181274052505230093357863947*c_0110_5^25 + 2011824995095817114184506034028956818071451822/66355855778265997181\ 274052505230093357863947*c_0110_5^24 + 47317346282095199755094977357400130964067252292/6635585577826599718\ 1274052505230093357863947*c_0110_5^23 + 5916189325081807372091797121677115494517406510/66355855778265997181\ 274052505230093357863947*c_0110_5^22 - 791504446381698501033017304075347372411060154086/663558557782659971\ 81274052505230093357863947*c_0110_5^21 - 1135065238155427732689141557484339656495224971485/66355855778265997\ 181274052505230093357863947*c_0110_5^20 + 4348185365130187172739595491298982732425084187283/66355855778265997\ 181274052505230093357863947*c_0110_5^19 + 9419823688497232330679719199035233601721378264771/66355855778265997\ 181274052505230093357863947*c_0110_5^18 - 10624413524446665262334070864129799013702775838519/6635585577826599\ 7181274052505230093357863947*c_0110_5^17 - 32992503657033768692960385441413526183364241136708/6635585577826599\ 7181274052505230093357863947*c_0110_5^16 + 13807591945926285453674035156961199103264094844274/6635585577826599\ 7181274052505230093357863947*c_0110_5^15 + 61546548135323796375519320044267234203533778919147/6635585577826599\ 7181274052505230093357863947*c_0110_5^14 - 12485690066970575893797818120919867522777824364846/6635585577826599\ 7181274052505230093357863947*c_0110_5^13 - 67633201573007633455697777464434950553358800991388/6635585577826599\ 7181274052505230093357863947*c_0110_5^12 + 10091380905249241848956050269912018667870475535619/6635585577826599\ 7181274052505230093357863947*c_0110_5^11 + 46738886983518128473964353626006540103411746566679/6635585577826599\ 7181274052505230093357863947*c_0110_5^10 - 5957150026220814188199731480508811047838020769839/66355855778265997\ 181274052505230093357863947*c_0110_5^9 - 20703965183880580891714313925989412937639702969375/6635585577826599\ 7181274052505230093357863947*c_0110_5^8 + 2030224086588936273034574784055737025914176628702/66355855778265997\ 181274052505230093357863947*c_0110_5^7 + 5457788531373805835476317866610292334424746127998/66355855778265997\ 181274052505230093357863947*c_0110_5^6 - 356947529139044703174724968389803701792654245617/663558557782659971\ 81274052505230093357863947*c_0110_5^5 - 681174167432523260117522792352466254439659249091/663558557782659971\ 81274052505230093357863947*c_0110_5^4 - 27372774694274694309518473116980958344027638813/6635585577826599718\ 1274052505230093357863947*c_0110_5^3 + 58749982988070372904848598679710576988635564265/6635585577826599718\ 1274052505230093357863947*c_0110_5^2 + 4110981179269429517981965569073817133503336357/66355855778265997181\ 274052505230093357863947*c_0110_5 - 2674279800950714387811434960536796935970142597/66355855778265997181\ 274052505230093357863947, c_0101_2 - 473067908430178214825177567140951847095044870/66355855778265\ 997181274052505230093357863947*c_0110_5^25 + 1086898352731093196541055062109862581475824661/66355855778265997181\ 274052505230093357863947*c_0110_5^24 + 25219722660721592505784214497971355204534340485/6635585577826599718\ 1274052505230093357863947*c_0110_5^23 + 2434133579278002152578171200770747056706478877/66355855778265997181\ 274052505230093357863947*c_0110_5^22 - 422562630667081111824783453679527599455391729010/663558557782659971\ 81274052505230093357863947*c_0110_5^21 - 593684169298193628839490292348640537972532793180/663558557782659971\ 81274052505230093357863947*c_0110_5^20 + 2339703191208201493524012320514357175146868736767/66355855778265997\ 181274052505230093357863947*c_0110_5^19 + 4963976289013107400990904991695831013263636993594/66355855778265997\ 181274052505230093357863947*c_0110_5^18 - 5825024553408779872252052596927838142511880979855/66355855778265997\ 181274052505230093357863947*c_0110_5^17 - 17473987206199143502801277992571342015625352636870/6635585577826599\ 7181274052505230093357863947*c_0110_5^16 + 7898712639173408716590329650768941104979285020067/66355855778265997\ 181274052505230093357863947*c_0110_5^15 + 32742314199866696626322843811231640890698715432880/6635585577826599\ 7181274052505230093357863947*c_0110_5^14 - 7625262833470788673822322049787418737530164503438/66355855778265997\ 181274052505230093357863947*c_0110_5^13 - 36112749295290024348338430427297848716938519113808/6635585577826599\ 7181274052505230093357863947*c_0110_5^12 + 6410705821433535754434991238820972800039667310447/66355855778265997\ 181274052505230093357863947*c_0110_5^11 + 25025236069103544031333010599865321710564046139143/6635585577826599\ 7181274052505230093357863947*c_0110_5^10 - 3863753312685728924847407189638069491360147649666/66355855778265997\ 181274052505230093357863947*c_0110_5^9 - 11122597688220484301376575514916848123774294952280/6635585577826599\ 7181274052505230093357863947*c_0110_5^8 + 1371633195684242769323394112679602911391041954847/66355855778265997\ 181274052505230093357863947*c_0110_5^7 + 2954681387759532965403389508262496370628126663180/66355855778265997\ 181274052505230093357863947*c_0110_5^6 - 256889210696258444534133352493307456983680325913/663558557782659971\ 81274052505230093357863947*c_0110_5^5 - 376169323570713183552622560220907091597872374828/663558557782659971\ 81274052505230093357863947*c_0110_5^4 - 9711937459441606988226913486803013863989334818/66355855778265997181\ 274052505230093357863947*c_0110_5^3 + 33279570999551088666745508831821556811082392170/6635585577826599718\ 1274052505230093357863947*c_0110_5^2 + 2055862291392068397038096032452340753658732634/66355855778265997181\ 274052505230093357863947*c_0110_5 - 1551787564898514902967333286829027215556725229/66355855778265997181\ 274052505230093357863947, c_0101_4 - 435896542158823263374380467649207585887502405/66355855778265\ 997181274052505230093357863947*c_0110_5^25 + 1002559386023178764644137871448692956140291251/66355855778265997181\ 274052505230093357863947*c_0110_5^24 + 23237148849408500305128849129952414195920190731/6635585577826599718\ 1274052505230093357863947*c_0110_5^23 + 2183417202397294710423596545289195120633548950/66355855778265997181\ 274052505230093357863947*c_0110_5^22 - 389446849016796100492664716393529388768177185871/663558557782659971\ 81274052505230093357863947*c_0110_5^21 - 546134459484410760731036720207378369190109808747/663558557782659971\ 81274052505230093357863947*c_0110_5^20 + 2158501756886719079799618737560516750807469128664/66355855778265997\ 181274052505230093357863947*c_0110_5^19 + 4571221620279457987423190472466162296494907381831/66355855778265997\ 181274052505230093357863947*c_0110_5^18 - 5384337280060827740458665413228766267873431588769/66355855778265997\ 181274052505230093357863947*c_0110_5^17 - 16106200907769950006940645970551250737125603659925/6635585577826599\ 7181274052505230093357863947*c_0110_5^16 + 7324907244510146466281743109501243024156852594358/66355855778265997\ 181274052505230093357863947*c_0110_5^15 + 30207645661637360152407675267616745761850931107289/6635585577826599\ 7181274052505230093357863947*c_0110_5^14 - 7092477139064829742580418212356336752412334241372/66355855778265997\ 181274052505230093357863947*c_0110_5^13 - 33346494383152115947028369869732071487061474061874/6635585577826599\ 7181274052505230093357863947*c_0110_5^12 + 5962100788080097764809389422183344325694792773750/66355855778265997\ 181274052505230093357863947*c_0110_5^11 + 23125812746864653833337382012025278718279979870642/6635585577826599\ 7181274052505230093357863947*c_0110_5^10 - 3589738772673629643589149596458289969304945678311/66355855778265997\ 181274052505230093357863947*c_0110_5^9 - 10286876094707310987999944392760162463098149305573/6635585577826599\ 7181274052505230093357863947*c_0110_5^8 + 1272245426598819874954415053961915180923233889258/66355855778265997\ 181274052505230093357863947*c_0110_5^7 + 2735283137495422324216660696816097193330626616072/66355855778265997\ 181274052505230093357863947*c_0110_5^6 - 236861791871075923969158316669403497947242027564/663558557782659971\ 81274052505230093357863947*c_0110_5^5 - 348262160385361723611960941857147719558170498180/663558557782659971\ 81274052505230093357863947*c_0110_5^4 - 9338170528359410575254587939936086002184542209/66355855778265997181\ 274052505230093357863947*c_0110_5^3 + 30571140645880797944710909225358267475463493984/6635585577826599718\ 1274052505230093357863947*c_0110_5^2 + 1935757054740953606697767857382587643769182058/66355855778265997181\ 274052505230093357863947*c_0110_5 - 1366021489632133072368140458755508370382372701/66355855778265997181\ 274052505230093357863947, c_0110_5^26 - 2*c_0110_5^25 - 54*c_0110_5^24 - 21*c_0110_5^23 + 892*c_0110_5^22 + 1521*c_0110_5^21 - 4577*c_0110_5^20 - 11975*c_0110_5^19 + 9210*c_0110_5^18 + 40672*c_0110_5^17 - 5720*c_0110_5^16 - 74390*c_0110_5^15 - 4538*c_0110_5^14 + 81461*c_0110_5^13 + 9308*c_0110_5^12 - 57241*c_0110_5^11 - 7709*c_0110_5^10 + 26134*c_0110_5^9 + 4175*c_0110_5^8 - 7183*c_0110_5^7 - 1343*c_0110_5^6 + 973*c_0110_5^5 + 262*c_0110_5^4 - 66*c_0110_5^3 - 26*c_0110_5^2 + 2*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB