Magma V2.19-8 Tue Aug 20 2013 16:18:35 on localhost [Seed = 1343343970] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2770 geometric_solution 6.00131846 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 1 -1 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.075052892722 0.541209334791 0 2 4 3 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.570541353295 1.175718889252 5 3 0 1 0132 2310 0132 3201 0 0 0 0 0 1 -1 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 -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.570541353295 1.175718889252 5 4 1 2 3012 3012 0132 3201 0 0 0 0 0 -1 1 0 0 0 1 -1 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 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.307842696548 0.251563625605 3 5 6 1 1230 0213 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 1 0 -1 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.152214563422 0.816075580396 2 6 4 3 0132 3201 0213 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 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.152214563422 0.816075580396 6 6 5 4 1230 3012 2310 0132 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 0 0 0 0 0 0 1.779126653342 1.184179361791 ==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' : negation(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' : negation(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_2']), 'c_1100_5' : d['c_0110_3'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0011_6'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0110_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0011_6'], 'c_0110_1' : d['c_0011_6'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0110_3'], 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0110_3']), 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : d['c_0011_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_2, c_0011_3, c_0011_4, c_0011_6, c_0101_6, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 1235711203673339957/7226817594545815*c_0110_3^15 - 36900307198276675997/57814540756366520*c_0110_3^14 - 59346363960094471987/28907270378183260*c_0110_3^13 - 88496559763750747009/14453635189091630*c_0110_3^12 - 400223154637575995153/57814540756366520*c_0110_3^11 + 13506581658121681099/1445363518909163*c_0110_3^10 - 126883052715510717483/57814540756366520*c_0110_3^9 + 13820580101100349827/14453635189091630*c_0110_3^8 - 756375202292188885451/57814540756366520*c_0110_3^7 + 1160866243659736174839/57814540756366520*c_0110_3^6 + 184280960716289069613/28907270378183260*c_0110_3^5 + 180113336012493692737/28907270378183260*c_0110_3^4 - 45578732514629947793/14453635189091630*c_0110_3^3 - 18186931420621312377/8259220108052360*c_0110_3^2 - 10573647005651480288/7226817594545815*c_0110_3 - 36776360920284753893/57814540756366520, c_0011_0 - 1, c_0011_2 - 2779932860101237/2890727037818326*c_0110_3^15 - 10049279325575379/2890727037818326*c_0110_3^14 - 15999703089388065/1445363518909163*c_0110_3^13 - 95117541845464945/2890727037818326*c_0110_3^12 - 99264766249584455/2890727037818326*c_0110_3^11 + 169808108045642585/2890727037818326*c_0110_3^10 - 50091930693157767/2890727037818326*c_0110_3^9 + 8553933814487325/2890727037818326*c_0110_3^8 - 102976685050918416/1445363518909163*c_0110_3^7 + 350161718847164087/2890727037818326*c_0110_3^6 + 37306389310430669/1445363518909163*c_0110_3^5 + 33554706165033553/1445363518909163*c_0110_3^4 - 59445871691121159/2890727037818326*c_0110_3^3 - 3980423392987461/412961005402618*c_0110_3^2 - 19424306083473653/2890727037818326*c_0110_3 - 5763292870369543/2890727037818326, c_0011_3 - 1382743672771056/1445363518909163*c_0110_3^15 - 4821683962228911/1445363518909163*c_0110_3^14 - 15458120574662510/1445363518909163*c_0110_3^13 - 45918430237758696/1445363518909163*c_0110_3^12 - 45347046114446568/1445363518909163*c_0110_3^11 + 84760875772178159/1445363518909163*c_0110_3^10 - 41667193667371119/1445363518909163*c_0110_3^9 + 19234530131787549/1445363518909163*c_0110_3^8 - 107058315836609962/1445363518909163*c_0110_3^7 + 186205609960090689/1445363518909163*c_0110_3^6 + 2996213317562273/1445363518909163*c_0110_3^5 + 51674002826903372/1445363518909163*c_0110_3^4 - 28982731714116620/1445363518909163*c_0110_3^3 - 1484223916336416/206480502701309*c_0110_3^2 - 10898362100214475/1445363518909163*c_0110_3 - 4112023188376101/1445363518909163, c_0011_4 - c_0110_3, c_0011_6 - 2997805524827431/2890727037818326*c_0110_3^15 - 10629870696919113/2890727037818326*c_0110_3^14 - 16978643419951830/1445363518909163*c_0110_3^13 - 100932155290118655/2890727037818326*c_0110_3^12 - 102353009444119069/2890727037818326*c_0110_3^11 + 183327901001488029/2890727037818326*c_0110_3^10 - 74947134970161261/2890727037818326*c_0110_3^9 + 23149456170321755/2890727037818326*c_0110_3^8 - 113342133709491563/1445363518909163*c_0110_3^7 + 392581558607501125/2890727037818326*c_0110_3^6 + 20756531286604917/1445363518909163*c_0110_3^5 + 43575343881165448/1445363518909163*c_0110_3^4 - 61013584735159753/2890727037818326*c_0110_3^3 - 3359180735260113/412961005402618*c_0110_3^2 - 19499826493093339/2890727037818326*c_0110_3 - 6931404761991403/2890727037818326, c_0101_6 - 94018546413787/5781454075636652*c_0110_3^15 - 310818212211775/5781454075636652*c_0110_3^14 - 494151301646859/2890727037818326*c_0110_3^13 - 2960031028093647/5781454075636652*c_0110_3^12 - 2514549823799605/5781454075636652*c_0110_3^11 + 6338599751989815/5781454075636652*c_0110_3^10 - 4012358535399699/5781454075636652*c_0110_3^9 + 3520720852542015/5781454075636652*c_0110_3^8 - 1163697131190803/2890727037818326*c_0110_3^7 + 4830864881059657/5781454075636652*c_0110_3^6 + 627112587405502/1445363518909163*c_0110_3^5 + 766209106850571/2890727037818326*c_0110_3^4 + 5816407989513599/5781454075636652*c_0110_3^3 - 2473240501989241/825922010805236*c_0110_3^2 + 714834976338081/5781454075636652*c_0110_3 - 440808651539609/5781454075636652, c_0110_3^16 + 4*c_0110_3^15 + 13*c_0110_3^14 + 39*c_0110_3^13 + 50*c_0110_3^12 - 44*c_0110_3^11 - 2*c_0110_3^10 - 2*c_0110_3^9 + 75*c_0110_3^8 - 97*c_0110_3^7 - 69*c_0110_3^6 - 46*c_0110_3^5 + 9*c_0110_3^4 + 18*c_0110_3^3 + 12*c_0110_3^2 + 6*c_0110_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB