Magma V2.19-8 Tue Aug 20 2013 16:17:50 on localhost [Seed = 1511769784] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2077 geometric_solution 5.59210452 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 0 0 0 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 0 1 -1 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.410078460483 0.914727233438 0 3 4 3 0132 0132 0132 1023 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.903568093823 1.453039171595 5 4 5 0 0132 1023 1023 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 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.903568093823 1.453039171595 5 1 5 1 3201 0132 2310 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539854398635 0.280211845524 2 6 6 1 1023 0132 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 -1 1 0 -1 0 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.153263767761 0.535479983331 2 3 2 3 0132 3201 1023 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 0.539854398635 0.280211845524 4 4 6 6 2310 0132 2031 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 -1 0 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 2.251715336212 1.945788300712 ==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' : 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' : 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' : 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' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_0'], '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' : negation(d['c_0011_2']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(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' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0110_3'], '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_0110_3'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0110_3']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0110_3'], '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_2, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 26428250857985420328802557124/324368043187993006186858511*c_0110_3^\ 20 + 151416171566844384064720377884/324368043187993006186858511*c_0\ 110_3^19 - 40755561783183110857098927727/32436804318799300618685851\ 1*c_0110_3^18 + 170724957912239094154865809934/32436804318799300618\ 6858511*c_0110_3^17 + 2013823806755071029330340541213/3243680431879\ 93006186858511*c_0110_3^16 - 5326711374877457427182291274156/324368\ 043187993006186858511*c_0110_3^15 + 6954639974510101480959517375027/324368043187993006186858511*c_0110_\ 3^14 - 8231869712198764102630633179367/324368043187993006186858511*\ c_0110_3^13 + 3516600020104058654979210350972/324368043187993006186\ 858511*c_0110_3^12 + 1427616846152064261084614347818/32436804318799\ 3006186858511*c_0110_3^11 + 3240615104166543308484938871382/3243680\ 43187993006186858511*c_0110_3^10 - 3247736991564250027710390433473/324368043187993006186858511*c_0110_\ 3^9 - 266245702877722043667515917373/29488003926181182380623501*c_0\ 110_3^8 + 1174342023193861370968565785389/3243680431879930061868585\ 11*c_0110_3^7 + 2197245203569970723982592961674/3243680431879930061\ 86858511*c_0110_3^6 - 714249002752371635936466327250/32436804318799\ 3006186858511*c_0110_3^5 - 2030021163676611953648643637/49979667671\ 4935294586839*c_0110_3^4 + 1001402098926026535226674830373/32436804\ 3187993006186858511*c_0110_3^3 + 14389242566626468436748945445/3243\ 68043187993006186858511*c_0110_3^2 - 203821063262896308566283602836/324368043187993006186858511*c_0110_3 + 101401711527090027094589351218/324368043187993006186858511, c_0011_0 - 1, c_0011_2 + 125978628416195405776322/1552000206641114862138079*c_0110_3^\ 20 + 659288924569831946854365/1552000206641114862138079*c_0110_3^19 - 647636430955776208237260/1552000206641114862138079*c_0110_3^18 + 245324125969790209228281/1552000206641114862138079*c_0110_3^17 + 8579548134992031864297563/1552000206641114862138079*c_0110_3^16 - 31142079413239569329693770/1552000206641114862138079*c_0110_3^15 + 37385598413743748077703398/1552000206641114862138079*c_0110_3^14 - 46290909705316473156064817/1552000206641114862138079*c_0110_3^13 + 27914324912278614370407727/1552000206641114862138079*c_0110_3^12 + 8299579247094350535999028/1552000206641114862138079*c_0110_3^11 + 23436790222792415978786648/1552000206641114862138079*c_0110_3^10 - 28016331604821862488404889/1552000206641114862138079*c_0110_3^9 - 22707563098183168661729333/1552000206641114862138079*c_0110_3^8 + 6530410965528231508592288/1552000206641114862138079*c_0110_3^7 + 19734766021782491833861492/1552000206641114862138079*c_0110_3^6 - 1787320210592184834259118/1552000206641114862138079*c_0110_3^5 - 129809014582179562030697/26305088248154489188781*c_0110_3^4 + 4150483521110946091097926/1552000206641114862138079*c_0110_3^3 + 4390666327294753718527947/1552000206641114862138079*c_0110_3^2 - 335240045137995348281783/1552000206641114862138079*c_0110_3 + 60176618044474053322420/1552000206641114862138079, c_0101_0 - 60176618044474053322420/1552000206641114862138079*c_0110_3^2\ 0 - 235081079850648914158198/1552000206641114862138079*c_0110_3^19 + 659288924569831946854365/1552000206641114862138079*c_0110_3^18 - 1008696139222620528171780/1552000206641114862138079*c_0110_3^17 - 4448452081499185949920479/1552000206641114862138079*c_0110_3^16 + 19471516001041835515655583/1552000206641114862138079*c_0110_3^15 - 43658815966490172420757130/1552000206641114862138079*c_0110_3^14 + 51707633508328572768439358/1552000206641114862138079*c_0110_3^13 - 48998857517317805555573717/1552000206641114862138079*c_0110_3^12 + 22197546198053579304777827/1552000206641114862138079*c_0110_3^11 + 296089047179301444117168/1552000206641114862138079*c_0110_3^10 + 28732332610706132671159608/1552000206641114862138079*c_0110_3^9 - 19230545370328650703331569/1552000206641114862138079*c_0110_3^8 - 23730565604939227568210473/1552000206641114862138079*c_0110_3^7 + 813632251303196442962388/1552000206641114862138079*c_0110_3^6 + 20035649112004862100473592/1552000206641114862138079*c_0110_3^5 + 28863112474361190821038/26305088248154489188781*c_0110_3^4 - 9163147311460445492871623/1552000206641114862138079*c_0110_3^3 + 3488540722621731504551306/1552000206641114862138079*c_0110_3^2 + 3320079065009431282969228/1552000206641114862138079*c_0110_3 - 455593281226943454926623/1552000206641114862138079, c_0101_1 + 146755173590407406900322/1552000206641114862138079*c_0110_3^\ 20 + 668119235364359833317905/1552000206641114862138079*c_0110_3^19 - 1096708828905100500998748/1552000206641114862138079*c_0110_3^18 + 2095141526739682011406598/1552000206641114862138079*c_0110_3^17 + 11220874775775476661525596/1552000206641114862138079*c_0110_3^16 - 41006047556175453804374288/1552000206641114862138079*c_0110_3^15 + 84386803665400992306101709/1552000206641114862138079*c_0110_3^14 - 98232308100773311413859881/1552000206641114862138079*c_0110_3^13 + 80859631084836155938054740/1552000206641114862138079*c_0110_3^12 - 27662434524434159463219159/1552000206641114862138079*c_0110_3^11 - 5099442562153127853258806/1552000206641114862138079*c_0110_3^10 - 44363676211191947920328231/1552000206641114862138079*c_0110_3^9 + 29698279222863763239770597/1552000206641114862138079*c_0110_3^8 + 45050927965270925474114762/1552000206641114862138079*c_0110_3^7 - 2295636456887433184890014/1552000206641114862138079*c_0110_3^6 - 39313129407330564768968786/1552000206641114862138079*c_0110_3^5 - 121814193767661222778603/26305088248154489188781*c_0110_3^4 + 19581478755632438528647534/1552000206641114862138079*c_0110_3^3 - 4452147963429164817496047/1552000206641114862138079*c_0110_3^2 - 2950778929267149634918945/1552000206641114862138079*c_0110_3 + 805753560267003907655544/1552000206641114862138079, c_0101_2 + c_0110_3, c_0101_6 + 286228864032620731122897/1552000206641114862138079*c_0110_3^\ 20 + 1920833101442572548194067/1552000206641114862138079*c_0110_3^1\ 9 + 1241934566394106832888398/1552000206641114862138079*c_0110_3^18 + 1873306372553399992171876/1552000206641114862138079*c_0110_3^17 + 23785390579071347820146268/1552000206641114862138079*c_0110_3^16 - 35324524238274859938836854/1552000206641114862138079*c_0110_3^15 + 25163578500021151679392440/1552000206641114862138079*c_0110_3^14 - 26488381763414565468561686/1552000206641114862138079*c_0110_3^13 - 30190826237451901342681326/1552000206641114862138079*c_0110_3^12 + 33498569716125919417549722/1552000206641114862138079*c_0110_3^11 + 54580548173551122584372687/1552000206641114862138079*c_0110_3^10 + 2726677091495833447356602/1552000206641114862138079*c_0110_3^9 - 68023088954684468955337056/1552000206641114862138079*c_0110_3^8 - 17938153095870879514826970/1552000206641114862138079*c_0110_3^7 + 32665140862875983950708038/1552000206641114862138079*c_0110_3^6 + 24797072011333567448934703/1552000206641114862138079*c_0110_3^5 - 343955377819567364501391/26305088248154489188781*c_0110_3^4 - 9448794147465027059032933/1552000206641114862138079*c_0110_3^3 + 7125318468789461830649862/1552000206641114862138079*c_0110_3^2 + 676070289911169581229013/1552000206641114862138079*c_0110_3 - 1102835555996539820470225/1552000206641114862138079, c_0110_3^21 + 6*c_0110_3^20 + 6*c_0110_3^18 + 78*c_0110_3^17 - 181*c_0110_3^16 + 208*c_0110_3^15 - 238*c_0110_3^14 + 45*c_0110_3^13 + 95*c_0110_3^12 + 133*c_0110_3^11 - 88*c_0110_3^10 - 146*c_0110_3^9 + 17*c_0110_3^8 + 95*c_0110_3^7 - 5*c_0110_3^6 - 58*c_0110_3^5 + 25*c_0110_3^4 + 11*c_0110_3^3 - 8*c_0110_3^2 + 2*c_0110_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB