Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 3414841098] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0402 geometric_solution 4.46569704 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 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 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 8.699115195174 3.162430227558 0 2 2 0 3201 0132 3201 0132 0 0 0 0 0 1 0 -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 0 0 -1 0 1 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.133605013827 0.071989327808 1 1 3 3 2310 0132 0132 2310 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 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 3.762955927264 2.800284473097 2 4 5 2 3201 0132 0132 0132 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 0 0 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.044965870066 0.525202218646 5 3 6 5 2310 0132 0132 2031 0 0 0 0 0 -1 0 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 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.203507035298 0.851972614321 6 4 4 3 2310 1302 3201 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 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.203507035298 0.851972614321 6 6 5 4 1302 2031 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 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 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.585545347389 0.626331458690 ==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_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_6'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0011_6']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0011_6'], '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_1, c_0011_3, c_0011_5, c_0011_6, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 1070960814457346009092/5463766901895340667*c_0101_4^18 + 3517174213883860511119/5463766901895340667*c_0101_4^17 + 6574244246963619823111/5463766901895340667*c_0101_4^16 - 55637972836056283170813/5463766901895340667*c_0101_4^15 + 53805416391840644819254/5463766901895340667*c_0101_4^14 + 249790229902020466205278/5463766901895340667*c_0101_4^13 - 567065164409220646702043/5463766901895340667*c_0101_4^12 - 168206511773960653420198/5463766901895340667*c_0101_4^11 + 1716234477027282887164924/5463766901895340667*c_0101_4^10 - 1006937283861848669829741/5463766901895340667*c_0101_4^9 - 2318958942965866062597688/5463766901895340667*c_0101_4^8 + 1933038175909208090017802/5463766901895340667*c_0101_4^7 + 1562783675524111263689948/5463766901895340667*c_0101_4^6 - 1177981559488573581743972/5463766901895340667*c_0101_4^5 - 564537214590047546476109/5463766901895340667*c_0101_4^4 + 283234918055933370570537/5463766901895340667*c_0101_4^3 + 105174390295394981328277/5463766901895340667*c_0101_4^2 - 23961495824791409446178/5463766901895340667*c_0101_4 - 7482529136338000927920/5463766901895340667, c_0011_0 - 1, c_0011_1 + 47901486450345469754/27318834509476703335*c_0101_4^18 - 31354949546182634966/5463766901895340667*c_0101_4^17 - 295041089105368914558/27318834509476703335*c_0101_4^16 + 2483183905108663304266/27318834509476703335*c_0101_4^15 - 2385662113484093638856/27318834509476703335*c_0101_4^14 - 11160137932416598891194/27318834509476703335*c_0101_4^13 + 25228393375167964033317/27318834509476703335*c_0101_4^12 + 7570315416167297370461/27318834509476703335*c_0101_4^11 - 15270143994040814622960/5463766901895340667*c_0101_4^10 + 44687928781413104404422/27318834509476703335*c_0101_4^9 + 102755540974063270972273/27318834509476703335*c_0101_4^8 - 85367964341108472572717/27318834509476703335*c_0101_4^7 - 67956011696107097005561/27318834509476703335*c_0101_4^6 + 50968742258325359566208/27318834509476703335*c_0101_4^5 + 4629157802827988182542/5463766901895340667*c_0101_4^4 - 11572039001313755037703/27318834509476703335*c_0101_4^3 - 3844167489032907166536/27318834509476703335*c_0101_4^2 + 181830765997347959363/5463766901895340667*c_0101_4 + 238324567695804180732/27318834509476703335, c_0011_3 - 11583127209119900946/27318834509476703335*c_0101_4^18 + 6674416783012128889/5463766901895340667*c_0101_4^17 + 83083438975888509202/27318834509476703335*c_0101_4^16 - 563822038706766499549/27318834509476703335*c_0101_4^15 + 364825785547541229544/27318834509476703335*c_0101_4^14 + 2774650713813538073831/27318834509476703335*c_0101_4^13 - 4958350673896018633648/27318834509476703335*c_0101_4^12 - 3461233647580568698184/27318834509476703335*c_0101_4^11 + 3292739930389180561040/5463766901895340667*c_0101_4^10 - 4627442204582382060688/27318834509476703335*c_0101_4^9 - 24651424546704718697252/27318834509476703335*c_0101_4^8 + 9967248584661719657718/27318834509476703335*c_0101_4^7 + 17641672633745934246724/27318834509476703335*c_0101_4^6 - 3451923327860001711512/27318834509476703335*c_0101_4^5 - 1083637335237325066571/5463766901895340667*c_0101_4^4 - 334458123493613938493/27318834509476703335*c_0101_4^3 + 468502550101169714139/27318834509476703335*c_0101_4^2 + 17691832848958246049/5463766901895340667*c_0101_4 + 16373863666837015187/27318834509476703335, c_0011_5 + 47716993523218218772/27318834509476703335*c_0101_4^18 - 31226816251790696908/5463766901895340667*c_0101_4^17 - 289458031448842357769/27318834509476703335*c_0101_4^16 + 2457939912342679996068/27318834509476703335*c_0101_4^15 - 2399443299188073634113/27318834509476703335*c_0101_4^14 - 10884627925364223357732/27318834509476703335*c_0101_4^13 + 24860821340749081803431/27318834509476703335*c_0101_4^12 + 6603829043383062613163/27318834509476703335*c_0101_4^11 - 14725223969125737895258/5463766901895340667*c_0101_4^10 + 44591641861456944471336/27318834509476703335*c_0101_4^9 + 95902863182838449882989/27318834509476703335*c_0101_4^8 - 79940988585998713468356/27318834509476703335*c_0101_4^7 - 60654181700206082406058/27318834509476703335*c_0101_4^6 + 43453327624023538268819/27318834509476703335*c_0101_4^5 + 3940242402678603480290/5463766901895340667*c_0101_4^4 - 8607826952772852752089/27318834509476703335*c_0101_4^3 - 2949653107265834419258/27318834509476703335*c_0101_4^2 + 119877872663985225712/5463766901895340667*c_0101_4 + 140939379388624945821/27318834509476703335, c_0011_6 + 45951724216153356848/27318834509476703335*c_0101_4^18 - 29952621111094855044/5463766901895340667*c_0101_4^17 - 280864274113963861871/27318834509476703335*c_0101_4^16 + 2364366070949813732422/27318834509476703335*c_0101_4^15 - 2280246803065576515942/27318834509476703335*c_0101_4^14 - 10523455835886279736943/27318834509476703335*c_0101_4^13 + 23834489883393572527444/27318834509476703335*c_0101_4^12 + 6692980378367554029727/27318834509476703335*c_0101_4^11 - 14201568677195171785810/5463766901895340667*c_0101_4^10 + 42191711701380621384324/27318834509476703335*c_0101_4^9 + 93277704423295897103926/27318834509476703335*c_0101_4^8 - 76565399550744265016034/27318834509476703335*c_0101_4^7 - 59481489715138650111692/27318834509476703335*c_0101_4^6 + 42226971760685296586781/27318834509476703335*c_0101_4^5 + 3843771548614021020751/5463766901895340667*c_0101_4^4 - 8669525873790332552931/27318834509476703335*c_0101_4^3 - 2827241847694818729637/27318834509476703335*c_0101_4^2 + 126790431582839230301/5463766901895340667*c_0101_4 + 139913884756476139109/27318834509476703335, c_0101_2 + 10564332097915984123/5463766901895340667*c_0101_4^18 - 35124356657213216418/5463766901895340667*c_0101_4^17 - 63241682062804537527/5463766901895340667*c_0101_4^16 + 550785616065388862307/5463766901895340667*c_0101_4^15 - 554170315747133617431/5463766901895340667*c_0101_4^14 - 2431950045857724131769/5463766901895340667*c_0101_4^13 + 5682134112327256251581/5463766901895340667*c_0101_4^12 + 1387601851661028272782/5463766901895340667*c_0101_4^11 - 16884086140997285554670/5463766901895340667*c_0101_4^10 + 10632831765899156536912/5463766901895340667*c_0101_4^9 + 22149648893423778896319/5463766901895340667*c_0101_4^8 - 19756177633216240287748/5463766901895340667*c_0101_4^7 - 14247773156586676634371/5463766901895340667*c_0101_4^6 + 11815588170253620192402/5463766901895340667*c_0101_4^5 + 4867178455796280271103/5463766901895340667*c_0101_4^4 - 2751184652587067061893/5463766901895340667*c_0101_4^3 - 844654314788389290142/5463766901895340667*c_0101_4^2 + 219623699946973756446/5463766901895340667*c_0101_4 + 53622556382138171462/5463766901895340667, c_0101_4^19 - 3*c_0101_4^18 - 7*c_0101_4^17 + 50*c_0101_4^16 - 36*c_0101_4^15 - 244*c_0101_4^14 + 461*c_0101_4^13 + 290*c_0101_4^12 - 1527*c_0101_4^11 + 508*c_0101_4^10 + 2328*c_0101_4^9 - 1164*c_0101_4^8 - 1810*c_0101_4^7 + 624*c_0101_4^6 + 714*c_0101_4^5 - 92*c_0101_4^4 - 128*c_0101_4^3 - 3*c_0101_4^2 + 8*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB