Magma V2.19-8 Tue Aug 20 2013 16:18:13 on localhost [Seed = 2867541905] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2425 geometric_solution 5.77451882 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 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 0 -1 -1 0 1 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 1.113564096840 1.085464581946 3 4 2 0 0132 0132 1230 0132 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 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.806907728561 0.980613177848 4 3 0 1 2310 3201 0132 3012 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.806907728561 0.980613177848 1 5 2 5 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.795786332800 0.478221893598 6 1 2 6 0132 0132 3201 1023 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.339323330631 0.586093131266 5 3 5 3 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.752656592279 0.193513519850 4 6 6 4 0132 3201 2310 1023 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 0 0 0 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.471110718207 0.657946785618 ==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' : 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' : negation(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' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 901018789464806640946892023/5063716678657690535072*c_0101_6^13 + 7218242478240083799716550067/5063716678657690535072*c_0101_6^12 - 798497796013974203829467421/632964584832211316884*c_0101_6^11 - 15281542120489545345651903891/2531858339328845267536*c_0101_6^10 - 4162764771288929540546214629/5063716678657690535072*c_0101_6^9 - 29496712241045082251826299781/1265929169664422633768*c_0101_6^8 + 387858600749305842778146154543/5063716678657690535072*c_0101_6^7 + 118073629677259767210465864549/1265929169664422633768*c_0101_6^6 - 452253327008554146601350081575/2531858339328845267536*c_0101_6^5 - 174577373749184041747841634389/5063716678657690535072*c_0101_6^4 + 251010313631661181957596470447/2531858339328845267536*c_0101_6^3 - 53268589089839241262483559563/2531858339328845267536*c_0101_6^2 - 102423955641723428129706638327/5063716678657690535072*c_0101_6 + 80436960972299548962687732003/5063716678657690535072, c_0011_0 - 1, c_0011_1 - 3589108887899837171/158241146208052829221*c_0101_5*c_0101_6^\ 13 + 30404162607999702842/158241146208052829221*c_0101_5*c_0101_6^1\ 2 - 37154022372291829607/158241146208052829221*c_0101_5*c_0101_6^11 - 120911721817910598426/158241146208052829221*c_0101_5*c_0101_6^10 + 40971714154004669859/158241146208052829221*c_0101_5*c_0101_6^9 - 409991388846656655840/158241146208052829221*c_0101_5*c_0101_6^8 + 1813100718529324746723/158241146208052829221*c_0101_5*c_0101_6^7 + 1419023063490018857796/158241146208052829221*c_0101_5*c_0101_6^6 - 4917925140938922993814/158241146208052829221*c_0101_5*c_0101_6^5 - 206727660535442302348/158241146208052829221*c_0101_5*c_0101_6^4 + 2807570490669438270295/158241146208052829221*c_0101_5*c_0101_6^3 - 741864187816332396846/158241146208052829221*c_0101_5*c_0101_6^2 - 311432713325222515062/158241146208052829221*c_0101_5*c_0101_6 + 529413443838568536972/158241146208052829221*c_0101_5, c_0101_0 - 167099535215871146711/158241146208052829221*c_0101_5*c_0101_\ 6^13 + 1337007769721474598829/158241146208052829221*c_0101_5*c_0101\ _6^12 - 1172247441389963264044/158241146208052829221*c_0101_5*c_010\ 1_6^11 - 5674222422457228494151/158241146208052829221*c_0101_5*c_01\ 01_6^10 - 825467049647687841455/158241146208052829221*c_0101_5*c_01\ 01_6^9 - 21921607337108784919235/158241146208052829221*c_0101_5*c_0\ 101_6^8 + 71666802840467460686478/158241146208052829221*c_0101_5*c_\ 0101_6^7 + 88164802378517013497893/158241146208052829221*c_0101_5*c\ _0101_6^6 - 166688426470653986774420/158241146208052829221*c_0101_5\ *c_0101_6^5 - 33176312928481134475615/158241146208052829221*c_0101_\ 5*c_0101_6^4 + 92795835728616781112280/158241146208052829221*c_0101\ _5*c_0101_6^3 - 19712191684939541632936/158241146208052829221*c_010\ 1_5*c_0101_6^2 - 19175034514580247131306/158241146208052829221*c_01\ 01_5*c_0101_6 + 14902424779965431119816/158241146208052829221*c_010\ 1_5, c_0101_1 - 17707689521173136986/158241146208052829221*c_0101_5*c_0101_6\ ^13 + 143659729371290647758/158241146208052829221*c_0101_5*c_0101_6\ ^12 - 138605566629218948277/158241146208052829221*c_0101_5*c_0101_6\ ^11 - 597498781263115183453/158241146208052829221*c_0101_5*c_0101_6\ ^10 - 20107099636702581600/158241146208052829221*c_0101_5*c_0101_6^\ 9 - 2263866749332433998157/158241146208052829221*c_0101_5*c_0101_6^\ 8 + 7910321563022291828029/158241146208052829221*c_0101_5*c_0101_6^\ 7 + 8725042721816139287256/158241146208052829221*c_0101_5*c_0101_6^\ 6 - 19102543965746811363960/158241146208052829221*c_0101_5*c_0101_6\ ^5 - 2685370298381813430880/158241146208052829221*c_0101_5*c_0101_6\ ^4 + 10590249628328300527927/158241146208052829221*c_0101_5*c_0101_\ 6^3 - 2292401553930078029342/158241146208052829221*c_0101_5*c_0101_\ 6^2 - 1949488173589027299996/158241146208052829221*c_0101_5*c_0101_\ 6 + 1614201926695319900479/158241146208052829221*c_0101_5, c_0101_4 + 5663912028858/1444583728540481*c_0101_6^13 - 37385039757582/1444583728540481*c_0101_6^12 - 18767597241533/1444583728540481*c_0101_6^11 + 209187857996193/1444583728540481*c_0101_6^10 + 329795080024887/1444583728540481*c_0101_6^9 + 915360183275593/1444583728540481*c_0101_6^8 - 1298602281118281/1444583728540481*c_0101_6^7 - 5592953900187538/1444583728540481*c_0101_6^6 - 388884134744492/1444583728540481*c_0101_6^5 + 7013404987222432/1444583728540481*c_0101_6^4 + 760124148132284/1444583728540481*c_0101_6^3 - 3901589295633525/1444583728540481*c_0101_6^2 + 339388198532797/1444583728540481*c_0101_6 + 166340602683913/1444583728540481, c_0101_5^2 + 5255643952984400613/158241146208052829221*c_0101_6^13 - 37583314514367515883/158241146208052829221*c_0101_6^12 + 4667283402686678553/158241146208052829221*c_0101_6^11 + 184085098968870646693/158241146208052829221*c_0101_6^10 + 184522968875345003124/158241146208052829221*c_0101_6^9 + 825861134275518607970/158241146208052829221*c_0101_6^8 - 1545745976638766091052/158241146208052829221*c_0101_6^7 - 4129667593580785825673/158241146208052829221*c_0101_6^6 + 1876194068780609111694/158241146208052829221*c_0101_6^5 + 2955095431864310153839/158241146208052829221*c_0101_6^4 - 773566153704059858793/158241146208052829221*c_0101_6^3 - 691251553030146024496/158241146208052829221*c_0101_6^2 + 209794945178530712307/158241146208052829221*c_0101_6 + 2416339951418364865/158241146208052829221, c_0101_6^14 - 8*c_0101_6^13 + 7*c_0101_6^12 + 34*c_0101_6^11 + 5*c_0101_6^10 + 131*c_0101_6^9 - 429*c_0101_6^8 - 529*c_0101_6^7 + 998*c_0101_6^6 + 205*c_0101_6^5 - 555*c_0101_6^4 + 112*c_0101_6^3 + 115*c_0101_6^2 - 88*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB