Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 2715827561] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1589 geometric_solution 5.36124605 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 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 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.253945310619 0.651987851270 0 1 0 1 0132 2310 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.986887411326 0.674716673848 4 3 5 0 0132 3012 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 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.178005577906 0.961208257263 2 4 0 5 1230 2310 0132 2310 0 0 0 0 0 -1 0 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 -1 1 0 1 0 0 -1 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.178005577906 0.961208257263 2 6 6 3 0132 0132 1023 3201 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 1 0 -1 0 0 -1 1 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.742033376213 0.474243042522 3 5 5 2 3201 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 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 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.216437601187 0.591423376810 6 4 4 6 3012 0132 1023 1230 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 -1 1 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 1.572808146271 0.533787976763 ==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' : d['c_0011_2'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], '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_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : 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_0011_5']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), '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_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 360491594924808802291164419303805734/258029886400848433863040215680\ 04425*c_0101_6^20 - 35550400167782771919528334382085236/51605977280\ 16968677260804313600885*c_0101_6^19 - 4235211304463706253261911002761361323/25802988640084843386304021568\ 004425*c_0101_6^18 - 8008436376898533428644671283804899872/25802988\ 640084843386304021568004425*c_0101_6^17 + 31307789780637345701821139390822836944/2580298864008484338630402156\ 8004425*c_0101_6^16 + 11917649598157870053139851543801073489/258029\ 88640084843386304021568004425*c_0101_6^15 - 71519019420620612128207554615518282072/2580298864008484338630402156\ 8004425*c_0101_6^14 + 55437944412106750274737856043476523914/258029\ 88640084843386304021568004425*c_0101_6^13 + 334661650987577387821534790381285258093/258029886400848433863040215\ 68004425*c_0101_6^12 + 480076141757514753048239064070963967919/2580\ 2988640084843386304021568004425*c_0101_6^11 + 724299308018877492519834163772329042697/258029886400848433863040215\ 68004425*c_0101_6^10 + 1409617063567153589270470258725023930728/258\ 02988640084843386304021568004425*c_0101_6^9 + 1931631096850529763356378038253138456746/25802988640084843386304021\ 568004425*c_0101_6^8 + 1540763493532288682252235461829497229902/258\ 02988640084843386304021568004425*c_0101_6^7 + 487777871709599864132614723919702008371/258029886400848433863040215\ 68004425*c_0101_6^6 - 300423447963393611883190671527294242614/25802\ 988640084843386304021568004425*c_0101_6^5 - 85580539451005407208320212400206277589/5160597728016968677260804313\ 600885*c_0101_6^4 - 257615771156543913521996088322537688126/2580298\ 8640084843386304021568004425*c_0101_6^3 - 91999072269165667687235887026717305316/2580298864008484338630402156\ 8004425*c_0101_6^2 - 21665541109827733383274767139136747668/2580298\ 8640084843386304021568004425*c_0101_6 - 3478783451299972898197109583318910628/25802988640084843386304021568\ 004425, c_0011_0 - 1, c_0011_2 + 35004566750798541091815947551017/166470894452160279911638848\ 825835*c_0101_6^20 - 12867149932533268420227251902061/1664708944521\ 60279911638848825835*c_0101_6^19 - 413627082925334630446546606389381/166470894452160279911638848825835\ *c_0101_6^18 - 827778591051733920636215220247783/166470894452160279\ 911638848825835*c_0101_6^17 + 2942272929293781824026411195969601/16\ 6470894452160279911638848825835*c_0101_6^16 + 1529997552308830802724134730604084/16647089445216027991163884882583\ 5*c_0101_6^15 - 6826356183136749630705855470525938/1664708944521602\ 79911638848825835*c_0101_6^14 + 4650545574269244310653970555841456/\ 166470894452160279911638848825835*c_0101_6^13 + 33060830437490799357726737198866291/1664708944521602799116388488258\ 35*c_0101_6^12 + 50477859147323455064794349899185494/16647089445216\ 0279911638848825835*c_0101_6^11 + 765450572575060635665913286970920\ 59/166470894452160279911638848825835*c_0101_6^10 + 146094846085188258663084287429958197/166470894452160279911638848825\ 835*c_0101_6^9 + 204692528214439600435288718940475067/1664708944521\ 60279911638848825835*c_0101_6^8 + 347134679371326018277079037472264\ 51/33294178890432055982327769765167*c_0101_6^7 + 67619120299742934197697792502785498/1664708944521602799116388488258\ 35*c_0101_6^6 - 22467892702796013307527556819017021/166470894452160\ 279911638848825835*c_0101_6^5 - 45838133073300937632790930812833862\ /166470894452160279911638848825835*c_0101_6^4 - 31526822393329854944335963987003962/1664708944521602799116388488258\ 35*c_0101_6^3 - 12623888953802453411322032115474592/166470894452160\ 279911638848825835*c_0101_6^2 - 3113297884037046844049350046280828/\ 166470894452160279911638848825835*c_0101_6 - 108698952528377108051222102010500/33294178890432055982327769765167, c_0011_5 - 5459578441480292692978494456457/3329417889043205598232776976\ 5167*c_0101_6^20 + 146877997204331554597406657892/33294178890432055\ 982327769765167*c_0101_6^19 + 67205900910684275333341197887148/3329\ 4178890432055982327769765167*c_0101_6^18 + 149249320113711073066979687935281/33294178890432055982327769765167*\ c_0101_6^17 - 437627625383640260317958887725496/3329417889043205598\ 2327769765167*c_0101_6^16 - 430669615474472002818615251235262/33294\ 178890432055982327769765167*c_0101_6^15 + 1172462240510237565968476173956719/33294178890432055982327769765167\ *c_0101_6^14 - 373373290435173803688053566603482/332941788904320559\ 82327769765167*c_0101_6^13 - 5782439865994569323730162079766231/332\ 94178890432055982327769765167*c_0101_6^12 - 9212005077134703470633979713828007/33294178890432055982327769765167\ *c_0101_6^11 - 12897820001108966199023083298280497/3329417889043205\ 5982327769765167*c_0101_6^10 - 24831117351632686395675965334863450/\ 33294178890432055982327769765167*c_0101_6^9 - 36558738651882947832758672515024684/3329417889043205598232776976516\ 7*c_0101_6^8 - 31508041949221707839875567465005310/3329417889043205\ 5982327769765167*c_0101_6^7 - 11689168612135576532756648389083724/3\ 3294178890432055982327769765167*c_0101_6^6 + 5017183396525215595866461845661439/33294178890432055982327769765167\ *c_0101_6^5 + 8470911303578983725531328515891398/332941788904320559\ 82327769765167*c_0101_6^4 + 5184659266129830669135262639090357/3329\ 4178890432055982327769765167*c_0101_6^3 + 2020333333187375574703810469026212/33294178890432055982327769765167\ *c_0101_6^2 + 546642793465198172083128347356301/3329417889043205598\ 2327769765167*c_0101_6 + 97737979955639194337538573896156/332941788\ 90432055982327769765167, c_0101_0 - 2318012159179062672738883919177/3329417889043205598232776976\ 5167*c_0101_6^20 - 1065154595789765434385416511426/3329417889043205\ 5982327769765167*c_0101_6^19 + 28858652354476036553524362763459/332\ 94178890432055982327769765167*c_0101_6^18 + 76578612269504909969281329384902/33294178890432055982327769765167*c\ _0101_6^17 - 157521290550786070239924236545131/33294178890432055982\ 327769765167*c_0101_6^16 - 274374585711578356718942585992530/332941\ 78890432055982327769765167*c_0101_6^15 + 438678015025131202668783358555685/33294178890432055982327769765167*\ c_0101_6^14 + 38065906357709847782749543170243/33294178890432055982\ 327769765167*c_0101_6^13 - 2542906155274587375440133587232603/33294\ 178890432055982327769765167*c_0101_6^12 - 4975207213454878515568529451434547/33294178890432055982327769765167\ *c_0101_6^11 - 7313987622043477118747117967286964/33294178890432055\ 982327769765167*c_0101_6^10 - 13116744745331385031910409550241881/3\ 3294178890432055982327769765167*c_0101_6^9 - 20235843499418812067640542497942493/3329417889043205598232776976516\ 7*c_0101_6^8 - 20320722913974823036406463327293839/3329417889043205\ 5982327769765167*c_0101_6^7 - 11027492498451327513040305559339509/3\ 3294178890432055982327769765167*c_0101_6^6 + 73067783521768956572304335640115/33294178890432055982327769765167*c\ _0101_6^5 + 4952431838901765457753391631801309/33294178890432055982\ 327769765167*c_0101_6^4 + 4098510082751535157405157251132251/332941\ 78890432055982327769765167*c_0101_6^3 + 1821033407994228352494102803604383/33294178890432055982327769765167\ *c_0101_6^2 + 464058697641384612564532715921876/3329417889043205598\ 2327769765167*c_0101_6 + 81649891784597372520456481357036/332941788\ 90432055982327769765167, c_0101_1 + 6516995624383789661810868273722/3329417889043205598232776976\ 5167*c_0101_6^20 - 3786145441548579199776226707342/3329417889043205\ 5982327769765167*c_0101_6^19 - 76560782437308454806925132020075/332\ 94178890432055982327769765167*c_0101_6^18 - 138502211710608028411147695851665/33294178890432055982327769765167*\ c_0101_6^17 + 583361436166228471674772053673743/3329417889043205598\ 2327769765167*c_0101_6^16 + 177210570087666929115467335667897/33294\ 178890432055982327769765167*c_0101_6^15 - 1334172670367956068034245935573040/33294178890432055982327769765167\ *c_0101_6^14 + 1042534618822340797008597632800373/33294178890432055\ 982327769765167*c_0101_6^13 + 6106430367438197347446500271242007/33\ 294178890432055982327769765167*c_0101_6^12 + 8150080927827108254431397102221933/33294178890432055982327769765167\ *c_0101_6^11 + 11827210147453067992739800886383946/3329417889043205\ 5982327769765167*c_0101_6^10 + 23732016748298112418407280256218141/\ 33294178890432055982327769765167*c_0101_6^9 + 32050719416471291319640980857220523/3329417889043205598232776976516\ 7*c_0101_6^8 + 23206373831310610008698079810309335/3329417889043205\ 5982327769765167*c_0101_6^7 + 3927225509197095020630192682143702/33\ 294178890432055982327769765167*c_0101_6^6 - 7801931621178408234493163521332572/33294178890432055982327769765167\ *c_0101_6^5 - 7293340587562696509287750568391395/332941788904320559\ 82327769765167*c_0101_6^4 - 3206340855534046838909096281445433/3329\ 4178890432055982327769765167*c_0101_6^3 - 808280147072687545102985746177469/33294178890432055982327769765167*\ c_0101_6^2 - 135300398281357853658106623391193/33294178890432055982\ 327769765167*c_0101_6 - 7438468033585415835412969108107/33294178890\ 432055982327769765167, c_0101_2 + 36722335727489431373511850090413/166470894452160279911638848\ 825835*c_0101_6^20 - 23398287773995857378755163359679/1664708944521\ 60279911638848825835*c_0101_6^19 - 424571283464617322235736749066484/166470894452160279911638848825835\ *c_0101_6^18 - 758515146189647128275718672654572/166470894452160279\ 911638848825835*c_0101_6^17 + 3260447931542617998488904620626274/16\ 6470894452160279911638848825835*c_0101_6^16 + 688461096898854513533884150618466/166470894452160279911638848825835\ *c_0101_6^15 - 7049111022944352520855359614546922/16647089445216027\ 9911638848825835*c_0101_6^14 + 6576293692681460985013506282914019/1\ 66470894452160279911638848825835*c_0101_6^13 + 32560386619411884866802784263763804/1664708944521602799116388488258\ 35*c_0101_6^12 + 44944119931860675763062349830563246/16647089445216\ 0279911638848825835*c_0101_6^11 + 701857814473338475684508137752000\ 11/166470894452160279911638848825835*c_0101_6^10 + 136577667682572840889830164929586598/166470894452160279911638848825\ 835*c_0101_6^9 + 181989519807142563663912761510642673/1664708944521\ 60279911638848825835*c_0101_6^8 + 282049896280656654437110396856770\ 58/33294178890432055982327769765167*c_0101_6^7 + 41718653699708936199169327450822527/1664708944521602799116388488258\ 35*c_0101_6^6 - 29694255580149804638542817768957404/166470894452160\ 279911638848825835*c_0101_6^5 - 40360805270496966777930049345094548\ /166470894452160279911638848825835*c_0101_6^4 - 24245269248850460046914407662127218/1664708944521602799116388488258\ 35*c_0101_6^3 - 8428541077195684361381761260777523/1664708944521602\ 79911638848825835*c_0101_6^2 - 1718875435448949259338496393001957/1\ 66470894452160279911638848825835*c_0101_6 - 57536806064910419924299243960036/33294178890432055982327769765167, c_0101_6^21 - 12*c_0101_6^19 - 28*c_0101_6^18 + 76*c_0101_6^17 + 76*c_0101_6^16 - 183*c_0101_6^15 + 56*c_0101_6^14 + 1007*c_0101_6^13 + 1786*c_0101_6^12 + 2658*c_0101_6^11 + 4897*c_0101_6^10 + 7279*c_0101_6^9 + 6893*c_0101_6^8 + 3439*c_0101_6^7 - 166*c_0101_6^6 - 1585*c_0101_6^5 - 1294*c_0101_6^4 - 614*c_0101_6^3 - 192*c_0101_6^2 - 42*c_0101_6 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB