Magma V2.19-8 Tue Aug 20 2013 16:16:18 on localhost [Seed = 913812180] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0578 geometric_solution 4.59761121 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1023 0132 0 0 0 0 0 0 1 -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 -1 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.625006137525 0.251991916833 0 3 4 3 0132 0321 0132 3201 0 0 0 0 0 0 0 0 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 1 -1 0 -1 0 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.489252221752 1.139002990358 5 0 0 5 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 -1 1 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 1 0 0 0 1 -1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.036480013475 0.340231225391 4 1 0 1 1023 2310 0132 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.489252221752 1.139002990358 4 3 4 1 2310 1023 3201 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 1 0 0 -1 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.318379409779 0.741202765535 2 6 6 2 0132 0132 3201 1023 0 0 0 0 0 0 1 -1 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 -1 1 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 1.123364430317 0.154934654764 5 5 6 6 2310 0132 1230 3012 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.387995355858 0.155262707666 ==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_0101_5']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : 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_5'], 'c_0101_4' : negation(d['c_0101_1']), '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_0'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_0']), '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_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : 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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 140294142639887/4527763661947*c_0101_6^20 + 41790314653502/4527763661947*c_0101_6^19 + 3901090650838557/4527763661947*c_0101_6^18 + 1233133652783892/4527763661947*c_0101_6^17 - 38351260451854940/4527763661947*c_0101_6^16 - 24281212165174322/4527763661947*c_0101_6^15 + 171081648647321565/4527763661947*c_0101_6^14 + 139806630679023832/4527763661947*c_0101_6^13 - 391297993411078777/4527763661947*c_0101_6^12 - 371221896386887144/4527763661947*c_0101_6^11 + 481038404196988395/4527763661947*c_0101_6^10 + 511250551362705184/4527763661947*c_0101_6^9 - 315681045183824046/4527763661947*c_0101_6^8 - 380507699831355252/4527763661947*c_0101_6^7 + 96461107339140719/4527763661947*c_0101_6^6 + 145779422553753602/4527763661947*c_0101_6^5 - 4090548307428255/4527763661947*c_0101_6^4 - 22803492082559233/4527763661947*c_0101_6^3 - 3700361418739230/4527763661947*c_0101_6^2 + 165911441817402/4527763661947*c_0101_6 + 412900061525300/4527763661947, c_0011_0 - 1, c_0011_3 + 5466327090589/4527763661947*c_0101_6^20 - 38922336057350/4527763661947*c_0101_6^19 - 74458876152233/4527763661947*c_0101_6^18 + 860169381691142/4527763661947*c_0101_6^17 + 192742580170365/4527763661947*c_0101_6^16 - 7166008781141042/4527763661947*c_0101_6^15 + 1454918558069503/4527763661947*c_0101_6^14 + 27674712262383086/4527763661947*c_0101_6^13 - 6819154163714857/4527763661947*c_0101_6^12 - 58524779190551419/4527763661947*c_0101_6^11 + 11011601282065565/4527763661947*c_0101_6^10 + 71172086723795731/4527763661947*c_0101_6^9 - 7633301323931456/4527763661947*c_0101_6^8 - 49688550686736433/4527763661947*c_0101_6^7 + 1416589421191270/4527763661947*c_0101_6^6 + 18449360342308940/4527763661947*c_0101_6^5 + 887567460631343/4527763661947*c_0101_6^4 - 2761983574009918/4527763661947*c_0101_6^3 - 457294334510816/4527763661947*c_0101_6^2 - 23915493914047/4527763661947*c_0101_6 + 55264621121762/4527763661947, c_0101_0 - 2736633909670/4527763661947*c_0101_6^20 - 7264307066590/4527763661947*c_0101_6^19 + 88204020548992/4527763661947*c_0101_6^18 + 228983319226241/4527763661947*c_0101_6^17 - 915410543109048/4527763661947*c_0101_6^16 - 2351611319064799/4527763661947*c_0101_6^15 + 4091697177189894/4527763661947*c_0101_6^14 + 10515309395951167/4527763661947*c_0101_6^13 - 8526038911468697/4527763661947*c_0101_6^12 - 24127503566689586/4527763661947*c_0101_6^11 + 8134301525796694/4527763661947*c_0101_6^10 + 29994564959700817/4527763661947*c_0101_6^9 - 2536056516961920/4527763661947*c_0101_6^8 - 20440594230144165/4527763661947*c_0101_6^7 - 1083638239279916/4527763661947*c_0101_6^6 + 7143205098462149/4527763661947*c_0101_6^5 + 890855367030897/4527763661947*c_0101_6^4 - 978146078922541/4527763661947*c_0101_6^3 - 195631345601603/4527763661947*c_0101_6^2 - 10099980043454/4527763661947*c_0101_6 + 25131091270236/4527763661947, c_0101_1 - 33272668390500/4527763661947*c_0101_6^20 + 12328134892498/4527763661947*c_0101_6^19 + 920016173738131/4527763661947*c_0101_6^18 + 234622567532154/4527763661947*c_0101_6^17 - 9009288952437261/4527763661947*c_0101_6^16 - 5254409429881450/4527763661947*c_0101_6^15 + 40048604327404667/4527763661947*c_0101_6^14 + 31178898810756518/4527763661947*c_0101_6^13 - 91464898467294461/4527763661947*c_0101_6^12 - 83904223057870568/4527763661947*c_0101_6^11 + 112530943418124307/4527763661947*c_0101_6^10 + 116479472036722575/4527763661947*c_0101_6^9 - 74208462992341863/4527763661947*c_0101_6^8 - 87248586503967180/4527763661947*c_0101_6^7 + 23060812256080163/4527763661947*c_0101_6^6 + 33643757711210325/4527763661947*c_0101_6^5 - 1225904545413682/4527763661947*c_0101_6^4 - 5296267792916688/4527763661947*c_0101_6^3 - 808342072860444/4527763661947*c_0101_6^2 + 31994866188088/4527763661947*c_0101_6 + 98569988607019/4527763661947, c_0101_2 + 55855451296237/4527763661947*c_0101_6^20 - 65215552453764/4527763661947*c_0101_6^19 - 1453940665091939/4527763661947*c_0101_6^18 + 695952671602300/4527763661947*c_0101_6^17 + 13615952871105406/4527763661947*c_0101_6^16 - 964499188302056/4527763661947*c_0101_6^15 - 57897603990628032/4527763661947*c_0101_6^14 - 12112174508345646/4527763661947*c_0101_6^13 + 128416540958106019/4527763661947*c_0101_6^12 + 51608523843943195/4527763661947*c_0101_6^11 - 155496851408436203/4527763661947*c_0101_6^10 - 83256138713660830/4527763661947*c_0101_6^9 + 102755851096797758/4527763661947*c_0101_6^8 + 66058748279127534/4527763661947*c_0101_6^7 - 33582213231160931/4527763661947*c_0101_6^6 - 25931133445854736/4527763661947*c_0101_6^5 + 3219436750764992/4527763661947*c_0101_6^4 + 4170519692183685/4527763661947*c_0101_6^3 + 592190404718912/4527763661947*c_0101_6^2 - 79956632563104/4527763661947*c_0101_6 - 68553961061234/4527763661947, c_0101_5 - 46495350138710/4527763661947*c_0101_6^20 + 57554382686014/4527763661947*c_0101_6^19 + 1203132672469758/4527763661947*c_0101_6^18 - 657488170378422/4527763661947*c_0101_6^17 - 11211989194277610/4527763661947*c_0101_6^16 + 1483598181428662/4527763661947*c_0101_6^15 + 47412819727567430/4527763661947*c_0101_6^14 + 7423916594342365/4527763661947*c_0101_6^13 - 104671202575368345/4527763661947*c_0101_6^12 - 37483732820062632/4527763661947*c_0101_6^11 + 126153125309170846/4527763661947*c_0101_6^10 + 63134839253026132/4527763661947*c_0101_6^9 - 82871239119294871/4527763661947*c_0101_6^8 - 51262217287823072/4527763661947*c_0101_6^7 + 26824820666594528/4527763661947*c_0101_6^6 + 20519130050135733/4527763661947*c_0101_6^5 - 2494856153296575/4527763661947*c_0101_6^4 - 3384962969530762/4527763661947*c_0101_6^3 - 474070116737319/4527763661947*c_0101_6^2 + 68553961061234/4527763661947*c_0101_6 + 51327687634290/4527763661947, c_0101_6^21 - 2*c_0101_6^20 - 25*c_0101_6^19 + 34*c_0101_6^18 + 232*c_0101_6^17 - 218*c_0101_6^16 - 1010*c_0101_6^15 + 632*c_0101_6^14 + 2432*c_0101_6^13 - 950*c_0101_6^12 - 3455*c_0101_6^11 + 768*c_0101_6^10 + 2970*c_0101_6^9 - 301*c_0101_6^8 - 1519*c_0101_6^7 + 16*c_0101_6^6 + 425*c_0101_6^5 + 30*c_0101_6^4 - 50*c_0101_6^3 - 10*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB