Magma V2.19-8 Tue Aug 20 2013 16:18:28 on localhost [Seed = 1141234036] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2653 geometric_solution 5.92305328 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 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 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 -0.400372750596 0.673600726296 0 5 2 4 0132 0132 2031 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0.726114245224 0.631715852031 5 0 3 1 2310 0132 3120 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.194725698581 0.416607945616 4 6 2 0 0321 0132 3120 0132 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 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.652034358580 1.097004770817 3 6 0 1 0321 1023 0132 0213 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 1 0 -1 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.652034358580 1.097004770817 5 1 2 5 3201 0132 3201 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.269794523231 1.127354022839 4 3 6 6 1023 0132 1230 3012 0 0 0 0 0 -1 1 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 1 -1 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 1.124779968169 1.193489117355 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0101_2']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0110_6'], 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0110_6']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : d['c_0101_6'], 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : negation(d['c_0110_6']), 'c_1010_2' : negation(d['c_0110_6']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0101_6']})} 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_3, c_0101_1, c_0101_2, c_0101_5, c_0101_6, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 2948775520797870348672093536/19879408299586900495263*c_0110_6^21 + 29691911621115925162798294160/19879408299586900495263*c_0110_6^20 + 4426647179067852142774095496/19879408299586900495263*c_0110_6^19 - 7512172487686822901075641532/2839915471369557213609*c_0110_6^18 - 5364631320205100803290782548/19879408299586900495263*c_0110_6^17 - 28103888792877672018109682905/19879408299586900495263*c_0110_6^16 - 87300994845548747830623350575/39758816599173800990526*c_0110_6^15 + 610157618763913495443814338911/79517633198347601981052*c_0110_6^14 + 124463008284603596940148619113/19879408299586900495263*c_0110_6^13 - 242723885835009973297244292853/26505877732782533993684*c_0110_6^12 - 99697204836088119900216957187/11359661885478228854436*c_0110_6^11 + 63818202248147577027347358247/13252938866391266996842*c_0110_6^10 + 176199485486273422984484205325/26505877732782533993684*c_0110_6^9 - 62696182698544533429446093599/79517633198347601981052*c_0110_6^8 - 110878696969436624954364539605/39758816599173800990526*c_0110_6^7 - 24220615757852262708834470821/79517633198347601981052*c_0110_6^6 + 51614058285820998472024657301/79517633198347601981052*c_0110_6^5 + 1104014526347419840191061269/6626469433195633498421*c_0110_6^4 - 6240284531522900269408509671/79517633198347601981052*c_0110_6^3 - 2337968566179192665105619377/79517633198347601981052*c_0110_6^2 + 23730968480728132089067793/6626469433195633498421*c_0110_6 + 158100431328763640115464629/79517633198347601981052, c_0011_0 - 1, c_0011_3 - 10880434892214395566672640/946638490456519071203*c_0110_6^21 - 109515302534401789293600896/946638490456519071203*c_0110_6^20 - 16550016640834555014975680/946638490456519071203*c_0110_6^19 + 187870131592094302949573088/946638490456519071203*c_0110_6^18 + 20224468584885385260730368/946638490456519071203*c_0110_6^17 + 111943794298808721495805336/946638490456519071203*c_0110_6^16 + 158773555330372435918357084/946638490456519071203*c_0110_6^15 - 552976551668316770965166354/946638490456519071203*c_0110_6^14 - 452058858414137970772863842/946638490456519071203*c_0110_6^13 + 642616249067270635445270035/946638490456519071203*c_0110_6^12 + 628781167106400644747606803/946638490456519071203*c_0110_6^11 - 324169282325457915996268700/946638490456519071203*c_0110_6^10 - 467262854708780418615394570/946638490456519071203*c_0110_6^9 + 44480662487655395547966594/946638490456519071203*c_0110_6^8 + 190971399906068456615747721/946638490456519071203*c_0110_6^7 + 24379896107118570679179633/946638490456519071203*c_0110_6^6 - 43051659229169341276534888/946638490456519071203*c_0110_6^5 - 11779943145880109694553242/946638490456519071203*c_0110_6^4 + 4987832261066771559660444/946638490456519071203*c_0110_6^3 + 1977169526894523233683579/946638490456519071203*c_0110_6^2 - 213711735838005150254431/946638490456519071203*c_0110_6 - 128015819988483079783383/946638490456519071203, c_0101_1 + 10122314383081386238726400/946638490456519071203*c_0110_6^21 + 102307220274542146165145344/946638490456519071203*c_0110_6^20 + 18311133848723019560881024/946638490456519071203*c_0110_6^19 - 187070021768306586766905472/946638490456519071203*c_0110_6^18 - 23202250889304987116182672/946638490456519071203*c_0110_6^17 - 86904829875290313686733912/946638490456519071203*c_0110_6^16 - 156946196205337325241703944/946638490456519071203*c_0110_6^15 + 529355649700550462102775040/946638490456519071203*c_0110_6^14 + 452507512147779784706131085/946638490456519071203*c_0110_6^13 - 646487963780850728263463369/946638490456519071203*c_0110_6^12 - 633925046290541232401472739/946638490456519071203*c_0110_6^11 + 347673849531419799993341001/946638490456519071203*c_0110_6^10 + 484812283280548319360829562/946638490456519071203*c_0110_6^9 - 60240493618837019644374596/946638490456519071203*c_0110_6^8 - 206920893710181975174502597/946638490456519071203*c_0110_6^7 - 21079896504009445961951451/946638490456519071203*c_0110_6^6 + 49276029990033496902651772/946638490456519071203*c_0110_6^5 + 12185163959108801734844340/946638490456519071203*c_0110_6^4 - 6148802134176289786038875/946638490456519071203*c_0110_6^3 - 2213270543179897975746732/946638490456519071203*c_0110_6^2 + 296276923405668546501468/946638490456519071203*c_0110_6 + 153148238263757133758737/946638490456519071203, c_0101_2 + 13371808302502026950935040/946638490456519071203*c_0110_6^21 + 135684309570783700896913024/946638490456519071203*c_0110_6^20 + 30157006772428838748065344/946638490456519071203*c_0110_6^19 - 240368756377189422646822368/946638490456519071203*c_0110_6^18 - 38892621008838056593364336/946638490456519071203*c_0110_6^17 - 124273885886000218302448208/946638490456519071203*c_0110_6^16 - 213507798316281012468235564/946638490456519071203*c_0110_6^15 + 682939651072154513121535290/946638490456519071203*c_0110_6^14 + 616125261359842753912836173/946638490456519071203*c_0110_6^13 - 804058379169913361297897801/946638490456519071203*c_0110_6^12 - 847335114640514377421008267/946638490456519071203*c_0110_6^11 + 401154805932413555292330226/946638490456519071203*c_0110_6^10 + 629212269955626463243031787/946638490456519071203*c_0110_6^9 - 46685211587618133283315767/946638490456519071203*c_0110_6^8 - 258743266137979781248473592/946638490456519071203*c_0110_6^7 - 36740266216790441660223908/946638490456519071203*c_0110_6^6 + 58908427644558883047025185/946638490456519071203*c_0110_6^5 + 16950004285269043002192377/946638490456519071203*c_0110_6^4 - 6949777247281664641947523/946638490456519071203*c_0110_6^3 - 2862678265566184054019068/946638490456519071203*c_0110_6^2 + 302210579132608621640825/946638490456519071203*c_0110_6 + 191676645879075774646703/946638490456519071203, c_0101_5 - 2149854255564452063586304/946638490456519071203*c_0110_6^21 - 21772113045739927255028992/946638490456519071203*c_0110_6^20 - 4910366876905077313305728/946638490456519071203*c_0110_6^19 + 33992268846529195385978688/946638490456519071203*c_0110_6^18 + 6757205747372919386206432/946638490456519071203*c_0110_6^17 + 26972940507889090500046752/946638490456519071203*c_0110_6^16 + 32330316896717958637377864/946638490456519071203*c_0110_6^15 - 103231494672640284359754948/946638490456519071203*c_0110_6^14 - 93691217239795729828053938/946638490456519071203*c_0110_6^13 + 105985170728137712588684320/946638490456519071203*c_0110_6^12 + 124304007875335894462396829/946638490456519071203*c_0110_6^11 - 39280319377364441871844213/946638490456519071203*c_0110_6^10 - 83838366379369295012552493/946638490456519071203*c_0110_6^9 - 5566540307498235687624404/946638490456519071203*c_0110_6^8 + 28595597211407514353262138/946638490456519071203*c_0110_6^7 + 8251339642142511084844746/946638490456519071203*c_0110_6^6 - 4514193465417477773350474/946638490456519071203*c_0110_6^5 - 2225239860748040047927713/946638490456519071203*c_0110_6^4 + 196397709823428802715267/946638490456519071203*c_0110_6^3 + 219426732315445686551083/946638490456519071203*c_0110_6^2 + 13220579752000505249507/946638490456519071203*c_0110_6 - 3914520990439456149048/946638490456519071203, c_0101_6 + 6240196998965394739628800/946638490456519071203*c_0110_6^21 + 62852689221268975172681984/946638490456519071203*c_0110_6^20 + 9681736002898017910791936/946638490456519071203*c_0110_6^19 - 110068652945917716475489856/946638490456519071203*c_0110_6^18 - 12230172160481530568088848/946638490456519071203*c_0110_6^17 - 60840996916771227974242648/946638490456519071203*c_0110_6^16 - 91992045685163251405224408/946638490456519071203*c_0110_6^15 + 320110541370375160415397124/946638490456519071203*c_0110_6^14 + 264291024991102609981068249/946638490456519071203*c_0110_6^13 - 378680933238514537734977964/946638490456519071203*c_0110_6^12 - 369421068418122724852771488/946638490456519071203*c_0110_6^11 + 195990217246521128416451268/946638490456519071203*c_0110_6^10 + 277673362670437916609700855/946638490456519071203*c_0110_6^9 - 29814482523901870361592453/946638490456519071203*c_0110_6^8 - 115301723355643168820769362/946638490456519071203*c_0110_6^7 - 13430807658687752794756551/946638490456519071203*c_0110_6^6 + 26491285853047837750684565/946638490456519071203*c_0110_6^5 + 6895588216058080139358129/946638490456519071203*c_0110_6^4 - 3154708331148941322432425/946638490456519071203*c_0110_6^3 - 1183292489332011312888569/946638490456519071203*c_0110_6^2 + 143967377698794137485882/946638490456519071203*c_0110_6 + 77731873946449808776206/946638490456519071203, c_0110_6^22 + 19/2*c_0110_6^21 - 17/4*c_0110_6^20 - 151/8*c_0110_6^19 + 67/8*c_0110_6^18 - 263/32*c_0110_6^17 - 605/64*c_0110_6^16 + 7737/128*c_0110_6^15 + 827/64*c_0110_6^14 - 347/4*c_0110_6^13 - 3121/128*c_0110_6^12 + 4303/64*c_0110_6^11 + 3443/128*c_0110_6^10 - 4023/128*c_0110_6^9 - 1037/64*c_0110_6^8 + 141/16*c_0110_6^7 + 731/128*c_0110_6^6 - 177/128*c_0110_6^5 - 77/64*c_0110_6^4 + 13/128*c_0110_6^3 + 9/64*c_0110_6^2 - 1/128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB