Magma V2.19-8 Tue Aug 20 2013 16:17:56 on localhost [Seed = 3650635038] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2169 geometric_solution 5.63986232 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 0132 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 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.539700429275 1.056731252855 3 3 4 0 0132 0321 0132 0132 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 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.242163808666 0.455304539032 4 3 0 5 1302 3201 0132 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 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.027820028441 0.673419557255 1 6 2 1 0132 0132 2310 0321 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 1 0 -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.104172887487 0.573084806018 6 2 5 1 3012 2031 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 0 0 0 0 0 0 0 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.127576662450 0.660828658158 5 4 2 5 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.190049489880 0.662565344694 6 3 6 4 2310 0132 3201 1230 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 1 -1 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 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.441157600068 1.026410729336 ==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' : 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_1']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_1']), 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_2'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0011_2'], 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : negation(d['c_0011_1']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : d['c_0011_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_2, c_0011_4, c_0011_5, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 704945544355171783960730416437849/795473743135973077795322832726604\ *c_0101_5^15 - 17264301695610475650284754772867375/7159263688223757\ 700157905494539436*c_0101_5^14 - 3715133312634015273224200534702058\ 3/795473743135973077795322832726604*c_0101_5^13 + 572783035007732668293651474639088624/178981592205593942503947637363\ 4859*c_0101_5^12 - 373160209208138017371215908171455436/17898159220\ 55939425039476373634859*c_0101_5^11 - 35573224687829753364256136724370043/3140027933431472675507853287078\ 7*c_0101_5^10 + 1337097206430016189457054586682762883/1789815922055\ 939425039476373634859*c_0101_5^9 + 17300071269443946538059603944199562831/7159263688223757700157905494\ 539436*c_0101_5^8 - 206742970747617195642213849338359633/1256011173\ 37258907020314131483148*c_0101_5^7 - 195407808897540898331589765687934243/967468065976183472994311553316\ 14*c_0101_5^6 + 1604339472480166876282085296363068980/1789815922055\ 939425039476373634859*c_0101_5^5 + 1604156097508160506284815903630354749/11932106147039596166929842490\ 89906*c_0101_5^4 - 591551585881204068589607000278095251/17898159220\ 55939425039476373634859*c_0101_5^3 - 653236496937997356249380740590057535/119321061470395961669298424908\ 9906*c_0101_5^2 + 381359801762903550754547021721672293/357963184411\ 1878850078952747269718*c_0101_5 + 109725027762748299671988219056894\ 6737/7159263688223757700157905494539436, c_0011_0 - 1, c_0011_1 - 129664381748652415842844023/115975177596730292724205107556*c\ _0101_5^15 + 326083070906802874641015105/11597517759673029272420510\ 7556*c_0101_5^14 + 7789911665226383911757493029/1159751775967302927\ 24205107556*c_0101_5^13 - 11740798621332576052157622043/28993794399\ 182573181051276889*c_0101_5^12 - 6682201061267988452467543416/28993\ 794399182573181051276889*c_0101_5^11 + 111046107300680611848284306869/28993794399182573181051276889*c_0101\ _5^10 - 11584154599010784880455547071/28993794399182573181051276889\ *c_0101_5^9 - 1322922251475408221971302325233/115975177596730292724\ 205107556*c_0101_5^8 + 15994501190862575388704105679/11597517759673\ 0292724205107556*c_0101_5^7 + 26995179520477659236785063283/1567232\ 129685544496273041994*c_0101_5^6 - 36910698259832653771451677947/28993794399182573181051276889*c_0101_\ 5^5 - 575320204699130297871686482171/57987588798365146362102553778*\ c_0101_5^4 - 16687804084358352791083118678/289937943991825731810512\ 76889*c_0101_5^3 + 194546807686461137463385293663/57987588798365146\ 362102553778*c_0101_5^2 - 9613829719410521809281313945/579875887983\ 65146362102553778*c_0101_5 - 135485714096503195065681674251/1159751\ 77596730292724205107556, c_0011_2 - 323804591842974928865462359/115975177596730292724205107556*c\ _0101_5^15 + 1060630358898724342859548657/1159751775967302927242051\ 07556*c_0101_5^14 + 16417589704287311410267706713/11597517759673029\ 2724205107556*c_0101_5^13 - 31522993007503859711564376286/289937943\ 99182573181051276889*c_0101_5^12 + 37401010623866358120792135066/28993794399182573181051276889*c_0101_\ 5^11 + 80415107674762702185266015904/28993794399182573181051276889*\ c_0101_5^10 - 126433605688169460005733065340/2899379439918257318105\ 1276889*c_0101_5^9 - 544617967892610924789144421177/115975177596730\ 292724205107556*c_0101_5^8 + 1154922662087372469718931730803/115975\ 177596730292724205107556*c_0101_5^7 + 741341457797836262064106141/1567232129685544496273041994*c_0101_5^6 - 211498052827294151802139995030/28993794399182573181051276889*c_01\ 01_5^5 - 60693092429785315810184818765/5798758879836514636210255377\ 8*c_0101_5^4 + 139894848299664378383439318409/289937943991825731810\ 51276889*c_0101_5^3 + 48997969964154034057120460429/579875887983651\ 46362102553778*c_0101_5^2 - 114576474041993547045069694827/57987588\ 798365146362102553778*c_0101_5 - 33996322524470536761099232835/1159\ 75177596730292724205107556, c_0011_4 - 276664993352961053640923019/57987588798365146362102553778*c_\ 0101_5^15 + 1265049509262611826019847821/11597517759673029272420510\ 7556*c_0101_5^14 + 14733460659746412420220274771/579875887983651463\ 62102553778*c_0101_5^13 - 186853677941385511485589035313/1159751775\ 96730292724205107556*c_0101_5^12 + 62666265101296961011901989505/115975177596730292724205107556*c_0101\ _5^11 + 674062638003734913522734871239/1159751775967302927242051075\ 56*c_0101_5^10 - 272767376757161683409296189871/1159751775967302927\ 24205107556*c_0101_5^9 - 1335336179443947446122630817611/1159751775\ 96730292724205107556*c_0101_5^8 + 191987578809363588963068240938/28\ 993794399182573181051276889*c_0101_5^7 + 27698264365464285384435333559/3134464259371088992546083988*c_0101_5\ ^6 - 551848406275852522659367507033/115975177596730292724205107556*\ c_0101_5^5 - 528353415482012091055811210831/11597517759673029272420\ 5107556*c_0101_5^4 + 203059846493500806536351138701/115975177596730\ 292724205107556*c_0101_5^3 + 312620470528006904639796393891/1159751\ 77596730292724205107556*c_0101_5^2 - 53888788217274766009366287505/115975177596730292724205107556*c_0101\ _5 - 118536042628029723066058919879/115975177596730292724205107556, c_0011_5 - 1977240644417041460586015/115975177596730292724205107556*c_0\ 101_5^15 + 178768752601464627383153642/2899379439918257318105127688\ 9*c_0101_5^14 - 1108278599723341997475749931/1159751775967302927242\ 05107556*c_0101_5^13 - 39221765858088135156396476181/11597517759673\ 0292724205107556*c_0101_5^12 + 217722963243092895533876888257/11597\ 5177596730292724205107556*c_0101_5^11 + 48462813786793235699028640371/115975177596730292724205107556*c_0101\ _5^10 - 834167438616296557418623150051/1159751775967302927242051075\ 56*c_0101_5^9 - 88896179814082272108113271089/579875887983651463621\ 02553778*c_0101_5^8 + 1559168934422192779379278734001/1159751775967\ 30292724205107556*c_0101_5^7 + 2600180869995947316144476357/3134464\ 259371088992546083988*c_0101_5^6 - 1165419475351653487858707269601/115975177596730292724205107556*c_01\ 01_5^5 - 218547031471318405334582869509/115975177596730292724205107\ 556*c_0101_5^4 + 454702959551462332832497833045/1159751775967302927\ 24205107556*c_0101_5^3 + 174615573316893507859301959369/11597517759\ 6730292724205107556*c_0101_5^2 - 129596129556718826378449239547/115\ 975177596730292724205107556*c_0101_5 + 9128858935910224913314998219/28993794399182573181051276889, c_0101_4 - 346380105803793217159652247/115975177596730292724205107556*c\ _0101_5^15 + 169330388284647194168844839/11597517759673029272420510\ 7556*c_0101_5^14 + 20240956014739218489930813261/115975177596730292\ 724205107556*c_0101_5^13 - 42192028254705236311155285447/5798758879\ 8365146362102553778*c_0101_5^12 - 95509257385315950470376025747/579\ 87588798365146362102553778*c_0101_5^11 + 301253812439453264851862034617/57987588798365146362102553778*c_0101\ _5^10 + 308811219879024754708868507683/5798758879836514636210255377\ 8*c_0101_5^9 - 1509465785350875985494816037843/11597517759673029272\ 4205107556*c_0101_5^8 - 1126849548348366974877590029989/11597517759\ 6730292724205107556*c_0101_5^7 + 14802869683570789593528196917/7836\ 16064842772248136520997*c_0101_5^6 + 402054981853153107448397105383/57987588798365146362102553778*c_0101\ _5^5 - 367952188504045679228431565523/28993794399182573181051276889\ *c_0101_5^4 - 267444610600703067061898622823/5798758879836514636210\ 2553778*c_0101_5^3 + 152366189719110602713345710672/289937943991825\ 73181051276889*c_0101_5^2 + 66304234054444685875042911465/289937943\ 99182573181051276889*c_0101_5 - 138242302131256803027727366917/1159\ 75177596730292724205107556, c_0101_5^16 - 3*c_0101_5^15 - 52*c_0101_5^14 + 376*c_0101_5^13 - 333*c_0101_5^12 - 1235*c_0101_5^11 + 1223*c_0101_5^10 + 2556*c_0101_5^9 - 2698*c_0101_5^8 - 1880*c_0101_5^7 + 1815*c_0101_5^6 + 1277*c_0101_5^5 - 891*c_0101_5^4 - 529*c_0101_5^3 + 329*c_0101_5^2 + 144*c_0101_5 - 57 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB