Magma V2.19-8 Tue Aug 20 2013 16:18:48 on localhost [Seed = 1545453856] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2968 geometric_solution 6.15108501 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 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 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.643401049415 1.391183307626 0 3 5 4 0132 0132 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 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.809823600708 0.682251127244 4 5 3 0 1023 1023 1023 0132 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 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.809823600708 0.682251127244 5 1 2 5 1230 0132 1023 3012 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 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.471277984562 0.490403155551 6 2 1 6 0132 1023 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.728426915612 0.240836897314 2 3 3 1 1023 3012 1230 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 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.708626495996 0.880550541783 4 6 6 4 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.959244881293 0.445474048009 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_2']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : 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_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 550189132148335490715864800486548650718282326217265/447242188813386\ 048954114116587391913061675100256*c_0101_6^17 - 219026036668163809182673101900002682423643973014289/745403648022310\ 08159019019431231985510279183376*c_0101_6^16 - 4403409610764234288990748627140247352299642745187125/33543164161003\ 9536715585587440543934796256325192*c_0101_6^15 - 5048001482133597040176894091694322231999627805394537/16771582080501\ 9768357792793720271967398128162596*c_0101_6^14 - 79920069655476069783993117601285037334915506392197343/1341726566440\ 158146862342349762175739185025300768*c_0101_6^13 - 159615981956103582947785943077000521537680884661206249/134172656644\ 0158146862342349762175739185025300768*c_0101_6^12 - 1943970068164469462160227164079166021060789395003525/18635091200557\ 752039754754857807996377569795844*c_0101_6^11 - 170145242471583522148971926150328911496099486945868967/134172656644\ 0158146862342349762175739185025300768*c_0101_6^10 - 615901305583333915885558066757914939371412759700627/745403648022310\ 08159019019431231985510279183376*c_0101_6^9 - 15400567424586770302051804991998818044196385179602069/2236210944066\ 93024477057058293695956530837550128*c_0101_6^8 + 49558126286587029136675441430918496434794782632285629/6708632832200\ 79073431171174881087869592512650384*c_0101_6^7 - 1965862925455620365845044158686535873281361772652523/14908072960446\ 2016318038038862463971020558366752*c_0101_6^6 + 27670501478565214227009416185716597313912552701692225/1341726566440\ 158146862342349762175739185025300768*c_0101_6^5 - 44597560524140765450588086054693281225903703443257/8385791040250988\ 4178896396860135983699064081298*c_0101_6^4 - 2370136076177212277508491601217353782935178775244709/67086328322007\ 9073431171174881087869592512650384*c_0101_6^3 + 922101228675042647823427997011917010198819661992267/670863283220079\ 073431171174881087869592512650384*c_0101_6^2 - 338332481148508270508926059512635685034378513181231/447242188813386\ 048954114116587391913061675100256*c_0101_6 + 510289789128123463359415865850005340559920031148933/134172656644015\ 8146862342349762175739185025300768, c_0011_0 - 1, c_0011_2 + 245766149119750897986413994953177245927563/10500258638703350\ 9253387256322514394659008*c_0101_6^17 + 337675782213968954909529985743250671079719/525012931935167546266936\ 28161257197329504*c_0101_6^16 + 34344540472431216785724583671527720\ 4400517/13125323298379188656673407040314299332376*c_0101_6^15 + 421196064615357762204772864799996258818315/656266164918959432833670\ 3520157149666188*c_0101_6^14 + 131372144973347044003967042462854878\ 03407023/105002586387033509253387256322514394659008*c_0101_6^13 + 25869265087135121642456291374908826884417481/1050025863870335092533\ 87256322514394659008*c_0101_6^12 + 6289547609976382163467817653876094346017747/26250646596758377313346\ 814080628598664752*c_0101_6^11 + 2445150015344167204397022995103173\ 6901183675/105002586387033509253387256322514394659008*c_0101_6^10 + 1651604332872447887572305328174901439534177/52501293193516754626693\ 628161257197329504*c_0101_6^9 + 31725441475774888484833331896592553\ 95311505/52501293193516754626693628161257197329504*c_0101_6^8 - 5079159056077489734263259325719700220747651/52501293193516754626693\ 628161257197329504*c_0101_6^7 - 61030702227597219259315662882772904\ 96608801/105002586387033509253387256322514394659008*c_0101_6^6 + 1016176817516716044695608787478872825153383/10500258638703350925338\ 7256322514394659008*c_0101_6^5 - 2288660751486780337009339547841926\ 86716089/26250646596758377313346814080628598664752*c_0101_6^4 + 507364574610801812834945432818272063265301/525012931935167546266936\ 28161257197329504*c_0101_6^3 + 106311118856572682057380857082580485\ 605007/52501293193516754626693628161257197329504*c_0101_6^2 - 65928666720969494561480041799808675616259/1050025863870335092533872\ 56322514394659008*c_0101_6 + 12629446368207906034367300771337964572\ 363/105002586387033509253387256322514394659008, c_0101_0 - 106750449506451089435996448022837708287375/52501293193516754\ 626693628161257197329504*c_0101_6^17 - 42689783725869500699489254843898151947781/1312532329837918865667340\ 7040314299332376*c_0101_6^16 - 439537107864794524502422937609189125\ 245205/26250646596758377313346814080628598664752*c_0101_6^15 - 786200779084033877023433209306225993304677/262506465967583773133468\ 14080628598664752*c_0101_6^14 - 24828826230882094219700237209232309\ 77267525/52501293193516754626693628161257197329504*c_0101_6^13 - 4805248350618832388175047315386961917346949/52501293193516754626693\ 628161257197329504*c_0101_6^12 + 9654806023466585278207461909742425\ 67600501/26250646596758377313346814080628598664752*c_0101_6^11 + 1838434039389400708382973458892950926679975/52501293193516754626693\ 628161257197329504*c_0101_6^10 + 6512347932453150013771724253738080\ 830257939/26250646596758377313346814080628598664752*c_0101_6^9 + 403977613137573650500485305097893888668649/262506465967583773133468\ 14080628598664752*c_0101_6^8 + 608004090100261244785197148045233972\ 5275515/26250646596758377313346814080628598664752*c_0101_6^7 - 2125591396269397104992494287316962727333071/52501293193516754626693\ 628161257197329504*c_0101_6^6 + 24814585908079119001724105666293700\ 4729811/52501293193516754626693628161257197329504*c_0101_6^5 - 114387297464044123485705068586087598003807/131253232983791886566734\ 07040314299332376*c_0101_6^4 - 356562539480751759967755873731177746\ 275125/26250646596758377313346814080628598664752*c_0101_6^3 + 141784464710790243108774712446225982422455/262506465967583773133468\ 14080628598664752*c_0101_6^2 - 105548172290031738162573257285098539\ 643361/52501293193516754626693628161257197329504*c_0101_6 + 2629656020920334958713719479857515235511/52501293193516754626693628\ 161257197329504, c_0101_1 + 360225438028176106353917040529404975035061/10500258638703350\ 9253387256322514394659008*c_0101_6^17 + 443732482623375781827713953170243919238745/525012931935167546266936\ 28161257197329504*c_0101_6^16 + 49212804344531834751181408929257320\ 7622509/13125323298379188656673407040314299332376*c_0101_6^15 + 573485703459910683517634285268440576818121/656266164918959432833670\ 3520157149666188*c_0101_6^14 + 184111708476401554857119253786585926\ 81574529/105002586387033509253387256322514394659008*c_0101_6^13 + 36882964765228651064863588959584880460088471/1050025863870335092533\ 87256322514394659008*c_0101_6^12 + 8648303545914085278655393166965895472259829/26250646596758377313346\ 814080628598664752*c_0101_6^11 + 4227437960190852220820528183079655\ 0633944533/105002586387033509253387256322514394659008*c_0101_6^10 + 3929171641080966829379973319162740533912703/52501293193516754626693\ 628161257197329504*c_0101_6^9 + 11561058068962814014707250756138985\ 450974703/52501293193516754626693628161257197329504*c_0101_6^8 - 9817083888739918862338033825669470416669581/52501293193516754626693\ 628161257197329504*c_0101_6^7 + 34421191575688186486576886545260847\ 58234881/105002586387033509253387256322514394659008*c_0101_6^6 - 6785223129915033119588503390085108664987559/10500258638703350925338\ 7256322514394659008*c_0101_6^5 - 1939744800886278417605068698053112\ 98034955/26250646596758377313346814080628598664752*c_0101_6^4 + 601061945567431869523048096830133417360483/525012931935167546266936\ 28161257197329504*c_0101_6^3 - 265508590971610995153773407700073610\ 091767/52501293193516754626693628161257197329504*c_0101_6^2 + 273685657817202908249501194500119189365651/105002586387033509253387\ 256322514394659008*c_0101_6 - 6050833643296473656804473682499471495\ 6731/105002586387033509253387256322514394659008, c_0101_2 + 851344713843850433240970020116971456803043/10500258638703350\ 9253387256322514394659008*c_0101_6^17 + 1038189301364977583746116347558227762593615/52501293193516754626693\ 628161257197329504*c_0101_6^16 + 1110306586348643862023280446893440\ 212212163/13125323298379188656673407040314299332376*c_0101_6^15 + 1282503128090555697951166724293046439411977/65626616491895943283367\ 03520157149666188*c_0101_6^14 + 38982644429806141225689577721581733\ 014581111/105002586387033509253387256322514394659008*c_0101_6^13 + 76667262829637188602608730378511126809372145/1050025863870335092533\ 87256322514394659008*c_0101_6^12 + 15307423083673590397691792797689387305560667/2625064659675837731334\ 6814080628598664752*c_0101_6^11 + 614117993676740659294798392657718\ 23013664899/105002586387033509253387256322514394659008*c_0101_6^10 - 8408187255190386586304998124000926562217207/52501293193516754626693\ 628161257197329504*c_0101_6^9 + 92597366582607572464091498689599813\ 13384057/52501293193516754626693628161257197329504*c_0101_6^8 - 25236998862635113119011873799521313705169483/5250129319351675462669\ 3628161257197329504*c_0101_6^7 - 5965408223210868946114992536702278\ 177379401/105002586387033509253387256322514394659008*c_0101_6^6 + 1865149138234739197638172415304388118095103/10500258638703350925338\ 7256322514394659008*c_0101_6^5 + 2631968227207660980496968704329168\ 89807819/26250646596758377313346814080628598664752*c_0101_6^4 + 2025992690376120659860794877935583035165013/52501293193516754626693\ 628161257197329504*c_0101_6^3 - 71832157858218981746679614153028075\ 598273/52501293193516754626693628161257197329504*c_0101_6^2 - 366109589855875708585288004464566568534219/105002586387033509253387\ 256322514394659008*c_0101_6 - 8513140979029153110443281241205864223\ 5885/105002586387033509253387256322514394659008, c_0101_3 + 183241644883949217847901788514257778010291/52501293193516754\ 626693628161257197329504*c_0101_6^17 + 118005713198244134987977281844322573058291/131253232983791886566734\ 07040314299332376*c_0101_6^16 + 10177199518210352053418793875540789\ 21654785/26250646596758377313346814080628598664752*c_0101_6^15 + 2422371743168480172370530635816995093776157/26250646596758377313346\ 814080628598664752*c_0101_6^14 + 9686747682613934847767463943757334\ 341151313/52501293193516754626693628161257197329504*c_0101_6^13 + 19322603896484569023361114149708915473333409/5250129319351675462669\ 3628161257197329504*c_0101_6^12 + 935970942034256812036619074978472\ 9352487939/26250646596758377313346814080628598664752*c_0101_6^11 + 21516968350910221165704703120945452408349397/5250129319351675462669\ 3628161257197329504*c_0101_6^10 + 222267604982722814487956103174967\ 5762241145/26250646596758377313346814080628598664752*c_0101_6^9 + 5008470055729963939810152765374803884452747/26250646596758377313346\ 814080628598664752*c_0101_6^8 - 45877869719685255951609960365096813\ 08200679/26250646596758377313346814080628598664752*c_0101_6^7 - 158214712458439369157231090470767225632701/525012931935167546266936\ 28161257197329504*c_0101_6^6 - 213028195988532599758465112134009852\ 7434767/52501293193516754626693628161257197329504*c_0101_6^5 - 69164674262092120381795205278372473355099/1312532329837918865667340\ 7040314299332376*c_0101_6^4 + 5010122331924490887143812410824771521\ 02973/26250646596758377313346814080628598664752*c_0101_6^3 - 2383341496242154224117261274316628857031/26250646596758377313346814\ 080628598664752*c_0101_6^2 + 73152046027177797375117016739863677208\ 309/52501293193516754626693628161257197329504*c_0101_6 - 42321297966981433908717630361715820838315/5250129319351675462669362\ 8161257197329504, c_0101_6^18 + 105/41*c_0101_6^17 + 1370/123*c_0101_6^16 + 3256/123*c_0101_6^15 + 6559/123*c_0101_6^14 + 13138/123*c_0101_6^13 + 4313/41*c_0101_6^12 + 15407/123*c_0101_6^11 + 1381/41*c_0101_6^10 + 2800/41*c_0101_6^9 - 5336/123*c_0101_6^8 + 311/41*c_0101_6^7 - 1712/123*c_0101_6^6 - 163/123*c_0101_6^5 + 334/123*c_0101_6^4 - 92/123*c_0101_6^3 + 21/41*c_0101_6^2 - 26/123*c_0101_6 - 1/41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB