Magma V2.19-8 Tue Aug 20 2013 16:17:45 on localhost [Seed = 88381925] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1990 geometric_solution 5.55604029 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.257682505594 0.248642578989 2 0 3 0 0132 2310 0132 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 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.732680454780 1.690493084158 1 4 5 3 0132 0132 0132 1230 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 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.644126471464 1.236452338561 2 5 4 1 3012 3201 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.644126471464 1.236452338561 3 2 6 6 2310 0132 3201 0132 0 0 0 0 0 -1 0 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 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.224776054073 0.358631319189 5 5 3 2 1302 2031 2310 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.406078029231 0.950761424724 4 6 4 6 2310 2310 0132 3201 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 -1 0 1 -1 0 0 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 -1.344881930934 0.744285911402 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['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_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0101_0']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0011_6, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 692578579877589787979591099153126342152226434/295996414886616375891\ 17341027098729140266023*c_0101_3^23 + 3397534604193531095212715061302839419519745/89695883298974659360961\ 6394760567549705031*c_0101_3^22 + 145563428768103315085657864205595\ 13104375786617/29599641488661637589117341027098729140266023*c_0101_\ 3^21 - 1693192671760682302778788629023954267827142269/2959964148866\ 1637589117341027098729140266023*c_0101_3^20 - 30816126153674540509166993767118397510237538344/9866547162887212529\ 705780342366243046755341*c_0101_3^19 + 115264827221650774296608457520904495880597300364/295996414886616375\ 89117341027098729140266023*c_0101_3^18 + 321437131718339795374044549307225505754883878008/295996414886616375\ 89117341027098729140266023*c_0101_3^17 - 717223573522658412870924726289960425850314234017/295996414886616375\ 89117341027098729140266023*c_0101_3^16 - 231175986412492142810373913138175190789249961181/295996414886616375\ 89117341027098729140266023*c_0101_3^15 + 55116746651315827466953131546140071515317362396/8969588329897465936\ 09616394760567549705031*c_0101_3^14 - 499400344751824108277510826329319011594763689288/986654716288721252\ 9705780342366243046755341*c_0101_3^13 - 591494245768863850662725128940272346521614444442/986654716288721252\ 9705780342366243046755341*c_0101_3^12 + 109169598750681373383671356858299542430749356597/896958832989746593\ 609616394760567549705031*c_0101_3^11 - 356527615479061476380708250389135392757168060621/986654716288721252\ 9705780342366243046755341*c_0101_3^10 - 3891226468284774513633447596451750163676689106287/29599641488661637\ 589117341027098729140266023*c_0101_3^9 + 3072035193530666513160696327431068528495764669038/29599641488661637\ 589117341027098729140266023*c_0101_3^8 + 394322901850578812077974288887527926414186326657/269087649896923978\ 0828849184281702649115093*c_0101_3^7 - 622953941885884261523060389162124687917493405791/295996414886616375\ 89117341027098729140266023*c_0101_3^6 - 3093856132984115086238668791267554183613265347113/29599641488661637\ 589117341027098729140266023*c_0101_3^5 - 39331648375301891488416260293147137474186655069/8969588329897465936\ 09616394760567549705031*c_0101_3^4 + 290256911597138946798448410584425522106715216373/986654716288721252\ 9705780342366243046755341*c_0101_3^3 + 1016168948251027766571749178386109326664809901806/29599641488661637\ 589117341027098729140266023*c_0101_3^2 + 119314620634237030900458942767854909625062053169/986654716288721252\ 9705780342366243046755341*c_0101_3 + 37145219495860656515040162034807741881988688860/2959964148866163758\ 9117341027098729140266023, c_0011_0 - 1, c_0011_1 + 10521776599098348882186109566822082653627/815417120899769630\ 55419672250960686336821*c_0101_3^23 - 9751103368918039978028246825908124458446/81541712089976963055419672\ 250960686336821*c_0101_3^22 - 2132728926079717429312681616057862413\ 28183/81541712089976963055419672250960686336821*c_0101_3^21 + 188263711258396862420156307444572867728405/815417120899769630554196\ 72250960686336821*c_0101_3^20 + 12522348242309878455630880208400144\ 23558501/81541712089976963055419672250960686336821*c_0101_3^19 - 2697501838907477904919459517318449995574390/81541712089976963055419\ 672250960686336821*c_0101_3^18 - 2772602013767795743015499941657037\ 020884313/81541712089976963055419672250960686336821*c_0101_3^17 + 12888717084296669695082312112539112414757599/8154171208997696305541\ 9672250960686336821*c_0101_3^16 - 641393005088983295935575421249649\ 1625723208/81541712089976963055419672250960686336821*c_0101_3^15 - 22159648145720667174323961479640321507824909/8154171208997696305541\ 9672250960686336821*c_0101_3^14 + 392597181524823422710653771499040\ 62896167522/81541712089976963055419672250960686336821*c_0101_3^13 - 3873145664115916576773782586168030815601949/81541712089976963055419\ 672250960686336821*c_0101_3^12 - 4985495843763133173051675092926954\ 0283896462/81541712089976963055419672250960686336821*c_0101_3^11 + 53653519478709657454502063193952191027052516/8154171208997696305541\ 9672250960686336821*c_0101_3^10 + 160997514063428451747921017751242\ 53660126999/81541712089976963055419672250960686336821*c_0101_3^9 - 56120497073774036000645977637207561670680454/8154171208997696305541\ 9672250960686336821*c_0101_3^8 - 2313281296880895387779431039806531\ 9050758595/81541712089976963055419672250960686336821*c_0101_3^7 + 24569834022082873911487584807231267366338370/8154171208997696305541\ 9672250960686336821*c_0101_3^6 + 2797888966677165746360741409092513\ 4718852413/81541712089976963055419672250960686336821*c_0101_3^5 - 391909555759721365046245768886055501577591/815417120899769630554196\ 72250960686336821*c_0101_3^4 - 119535207811267340502214236184994587\ 51899773/81541712089976963055419672250960686336821*c_0101_3^3 - 6539862362638438258116301752868048040791238/81541712089976963055419\ 672250960686336821*c_0101_3^2 - 98291822755867523653249434573121740\ 2391328/81541712089976963055419672250960686336821*c_0101_3 + 39898652474350476535724032860884323005638/8154171208997696305541967\ 2250960686336821, c_0011_3 + 4676547963548832241166672980017442338955/8154171208997696305\ 5419672250960686336821*c_0101_3^23 + 934057371569132028152899969813100853212/815417120899769630554196722\ 50960686336821*c_0101_3^22 - 99888306214625540482570241242477306409\ 985/81541712089976963055419672250960686336821*c_0101_3^21 - 22610497202120438935826221804611884720952/8154171208997696305541967\ 2250960686336821*c_0101_3^20 + 654938755841813343455157314154344060\ 520915/81541712089976963055419672250960686336821*c_0101_3^19 - 581616162146404095438168842970687875396772/815417120899769630554196\ 72250960686336821*c_0101_3^18 - 26038958847314652555415653936674035\ 46679966/81541712089976963055419672250960686336821*c_0101_3^17 + 4426601638113303212367582428818773029418242/81541712089976963055419\ 672250960686336821*c_0101_3^16 + 3587101472926312624365615237900516\ 417918467/81541712089976963055419672250960686336821*c_0101_3^15 - 13385338220189855237012666744897174214393530/8154171208997696305541\ 9672250960686336821*c_0101_3^14 + 680177161319851969858154713745787\ 6281470026/81541712089976963055419672250960686336821*c_0101_3^13 + 18163834965161450059554557149082670466427134/8154171208997696305541\ 9672250960686336821*c_0101_3^12 - 253506673627448935844252946829004\ 79489058143/81541712089976963055419672250960686336821*c_0101_3^11 - 2003637266741681649947493319774516906359/81541712089976963055419672\ 250960686336821*c_0101_3^10 + 3461753500589047427440020959230339658\ 2446848/81541712089976963055419672250960686336821*c_0101_3^9 - 18892472206568153115242726162604009658888217/8154171208997696305541\ 9672250960686336821*c_0101_3^8 - 3712520258488084325199351525910874\ 7413789874/81541712089976963055419672250960686336821*c_0101_3^7 + 290261411062884721133563328782156610546165/815417120899769630554196\ 72250960686336821*c_0101_3^6 + 243352225173261441102015903970350700\ 31728246/81541712089976963055419672250960686336821*c_0101_3^5 + 13238313960912616608777882563144079549622277/8154171208997696305541\ 9672250960686336821*c_0101_3^4 - 6015288465216919800614247740433388\ 299691749/81541712089976963055419672250960686336821*c_0101_3^3 - 8602187722234639946543428528770803671147105/81541712089976963055419\ 672250960686336821*c_0101_3^2 - 34215932391852378889104760425903860\ 91950713/81541712089976963055419672250960686336821*c_0101_3 - 424994043037950637654442246414553368418011/815417120899769630554196\ 72250960686336821, c_0011_5 - 27836601397424188560514533595507173609944/815417120899769630\ 55419672250960686336821*c_0101_3^23 + 11952420269529983246933510172593031992160/8154171208997696305541967\ 2250960686336821*c_0101_3^22 + 577685227727375718543327775936006811\ 099404/81541712089976963055419672250960686336821*c_0101_3^21 - 218293240571145040082743812180960190270307/815417120899769630554196\ 72250960686336821*c_0101_3^20 - 35730217667195719695519337932701293\ 36837301/81541712089976963055419672250960686336821*c_0101_3^19 + 5505566690279726796467506335688373269882496/81541712089976963055419\ 672250960686336821*c_0101_3^18 + 1095578217243422967980397455410811\ 5715977441/81541712089976963055419672250960686336821*c_0101_3^17 - 30640870581394034250652285362463657040779964/8154171208997696305541\ 9672250960686336821*c_0101_3^16 - 946296337363399899113115502642919\ 58059056/81541712089976963055419672250960686336821*c_0101_3^15 + 67910495287822493246071930670118782376078611/8154171208997696305541\ 9672250960686336821*c_0101_3^14 - 753756675618740769103627685355745\ 26397459468/81541712089976963055419672250960686336821*c_0101_3^13 - 42617118092026241386175452890940807601133331/8154171208997696305541\ 9672250960686336821*c_0101_3^12 + 139852236517321668427969119802330\ 819065065354/81541712089976963055419672250960686336821*c_0101_3^11 - 77437615652264986019191826229241573334493111/8154171208997696305541\ 9672250960686336821*c_0101_3^10 - 116144510149926694051701283665574\ 207409949800/81541712089976963055419672250960686336821*c_0101_3^9 + 131598966062708487148779785065816093499680412/815417120899769630554\ 19672250960686336821*c_0101_3^8 + 134747439495622572308336704451223\ 884678446895/81541712089976963055419672250960686336821*c_0101_3^7 - 38337211908732913603054498406805180718418926/8154171208997696305541\ 9672250960686336821*c_0101_3^6 - 1066548592043004935432994541428390\ 83887184089/81541712089976963055419672250960686336821*c_0101_3^5 - 34022321469972852375955463018908742408029671/8154171208997696305541\ 9672250960686336821*c_0101_3^4 + 3376459201608223040737659028618827\ 4015431435/81541712089976963055419672250960686336821*c_0101_3^3 + 32697616033469602220662465078772309382267270/8154171208997696305541\ 9672250960686336821*c_0101_3^2 + 1036312115391295446935836672315530\ 2708119332/81541712089976963055419672250960686336821*c_0101_3 + 1051299413818147944614329786565483374577463/81541712089976963055419\ 672250960686336821, c_0011_6 + 5366576682360838341988486327092337702635/8154171208997696305\ 5419672250960686336821*c_0101_3^23 - 2776227384120485584098893169062541005753/81541712089976963055419672\ 250960686336821*c_0101_3^22 - 1110284869385732513494075277777853433\ 70679/81541712089976963055419672250960686336821*c_0101_3^21 + 51901475304183839065636279010414010106307/8154171208997696305541967\ 2250960686336821*c_0101_3^20 + 682330022490510610861293571566860979\ 436167/81541712089976963055419672250960686336821*c_0101_3^19 - 1122433031796037632388847586403516027320516/81541712089976963055419\ 672250960686336821*c_0101_3^18 - 2002794813515293186368878725085956\ 519377065/81541712089976963055419672250960686336821*c_0101_3^17 + 6072433541729691951625545742802624910421521/81541712089976963055419\ 672250960686336821*c_0101_3^16 - 5589616706076874733356272828481732\ 15348802/81541712089976963055419672250960686336821*c_0101_3^15 - 12976075592816837193062153156854145117658907/8154171208997696305541\ 9672250960686336821*c_0101_3^14 + 157021278772361839526073366383842\ 75645082892/81541712089976963055419672250960686336821*c_0101_3^13 + 6646576353872192977775910683128850389700408/81541712089976963055419\ 672250960686336821*c_0101_3^12 - 2739179545725849207768333771036437\ 5864443771/81541712089976963055419672250960686336821*c_0101_3^11 + 17497102681361959108301827047302036559008372/8154171208997696305541\ 9672250960686336821*c_0101_3^10 + 205301870658522830449501098831912\ 42012629861/81541712089976963055419672250960686336821*c_0101_3^9 - 26976694291484528115250909802126356606646244/8154171208997696305541\ 9672250960686336821*c_0101_3^8 - 2325364502324652978466306701312729\ 1221860327/81541712089976963055419672250960686336821*c_0101_3^7 + 9355874933496196809758363016370669156936550/81541712089976963055419\ 672250960686336821*c_0101_3^6 + 19532456734469000420118232716548318\ 725924977/81541712089976963055419672250960686336821*c_0101_3^5 + 4690183680795155738354302197256454899138256/81541712089976963055419\ 672250960686336821*c_0101_3^4 - 67548285784582220029768308883627130\ 32713959/81541712089976963055419672250960686336821*c_0101_3^3 - 5670435067520054644585945590046842046789170/81541712089976963055419\ 672250960686336821*c_0101_3^2 - 15094305634810334692557346711182215\ 49798807/81541712089976963055419672250960686336821*c_0101_3 - 63162656348630886765329525536183425450021/8154171208997696305541967\ 2250960686336821, c_0101_0 - 17147700527062241864393186771631352862199/815417120899769630\ 55419672250960686336821*c_0101_3^23 + 8011908214675292539856967770320455919892/81541712089976963055419672\ 250960686336821*c_0101_3^22 + 3550241381102549718308170011542574840\ 36559/81541712089976963055419672250960686336821*c_0101_3^21 - 147692832824658306040268989904318473919475/815417120899769630554196\ 72250960686336821*c_0101_3^20 - 21846558919024467154261557403665105\ 68217514/81541712089976963055419672250960686336821*c_0101_3^19 + 3469904751134607843299664451881592931160485/81541712089976963055419\ 672250960686336821*c_0101_3^18 + 6554997691090995723523859806183503\ 100165162/81541712089976963055419672250960686336821*c_0101_3^17 - 19012300658187827547651760240750964394610248/8154171208997696305541\ 9672250960686336821*c_0101_3^16 + 840561683906834016044612648057077\ 993438337/81541712089976963055419672250960686336821*c_0101_3^15 + 41232685754586437456557657462691049526281726/8154171208997696305541\ 9672250960686336821*c_0101_3^14 - 478413069305032034262174878050148\ 70806344592/81541712089976963055419672250960686336821*c_0101_3^13 - 23284710267299552832125422836334990172106008/8154171208997696305541\ 9672250960686336821*c_0101_3^12 + 853626870115849507050653767433154\ 16664779452/81541712089976963055419672250960686336821*c_0101_3^11 - 51163111060847324212720489052028565073196243/8154171208997696305541\ 9672250960686336821*c_0101_3^10 - 670982806831799408618995928456943\ 98769873553/81541712089976963055419672250960686336821*c_0101_3^9 + 81235280727019049815484634601030208650816586/8154171208997696305541\ 9672250960686336821*c_0101_3^8 + 7862057633261473258680826895201620\ 4477378139/81541712089976963055419672250960686336821*c_0101_3^7 - 24151353619276646400241870852059211536374133/8154171208997696305541\ 9672250960686336821*c_0101_3^6 - 6388905164084762705466282425523836\ 7368372460/81541712089976963055419672250960686336821*c_0101_3^5 - 19230193423169360253962585909870502385147090/8154171208997696305541\ 9672250960686336821*c_0101_3^4 + 2043772751019638536732113134917684\ 1788687507/81541712089976963055419672250960686336821*c_0101_3^3 + 19234765715692997543155013726511883167782478/8154171208997696305541\ 9672250960686336821*c_0101_3^2 + 6074938635890588251774006025106657\ 758775846/81541712089976963055419672250960686336821*c_0101_3 + 598879618054521994743577804452391408964740/815417120899769630554196\ 72250960686336821, c_0101_3^24 - 21*c_0101_3^22 - c_0101_3^21 + 133*c_0101_3^20 - 144*c_0101_3^19 - 486*c_0101_3^18 + 949*c_0101_3^17 + 491*c_0101_3^16 - 2519*c_0101_3^15 + 1707*c_0101_3^14 + 2826*c_0101_3^13 - 4620*c_0101_3^12 + 669*c_0101_3^11 + 5674*c_0101_3^10 - 3290*c_0101_3^9 - 6941*c_0101_3^8 - 335*c_0101_3^7 + 4542*c_0101_3^6 + 2695*c_0101_3^5 - 855*c_0101_3^4 - 1679*c_0101_3^3 - 798*c_0101_3^2 - 158*c_0101_3 - 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB