Magma V2.19-8 Tue Aug 20 2013 16:08:58 on localhost [Seed = 3204390917] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation m225 geometric_solution 4.13025661 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 5 1 2 1 3 0132 0132 1230 0132 0 0 0 0 0 -1 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 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.806938016463 0.812868627799 0 3 2 0 0132 2031 3120 3012 0 0 0 0 0 0 0 0 1 0 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 1 -1 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.384910946365 0.619609666172 2 0 1 2 3012 0132 3120 1230 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.384910946365 0.619609666172 1 4 0 4 1302 0132 0132 2310 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 1 -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 0.748805865218 0.730523917466 3 3 4 4 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.430398135116 0.226133928821 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : 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_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_4' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_4' : d['c_0110_4'], 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_3']), '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_4' : negation(d['c_0110_4']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0110_4'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0101_4'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 6 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_2, c_0101_4, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 3032490499591/591168616566*c_0110_4^13 + 51919508225/5185689619*c_0110_4^12 - 5985701631957/197056205522*c_0110_4^11 - 5374030211035/53742601506*c_0110_4^10 - 3542036731171/13748107362*c_0110_4^9 - 54824683390130/295584308283*c_0110_4^8 + 29627262548123/591168616566*c_0110_4^7 - 541180864855/98528102761*c_0110_4^6 + 86994209082161/591168616566*c_0110_4^5 + 105407272357447/591168616566*c_0110_4^4 + 104751798968749/591168616566*c_0110_4^3 + 1464814082443/13748107362*c_0110_4^2 + 3061001953036/98528102761*c_0110_4 + 6049484477723/295584308283, c_0011_0 - 1, c_0011_3 + 17695163/208304657*c_0110_4^13 + 1665771/10963403*c_0110_4^12 - 116128821/208304657*c_0110_4^11 - 31250794/18936787*c_0110_4^10 - 806622191/208304657*c_0110_4^9 - 346608606/208304657*c_0110_4^8 + 661689705/208304657*c_0110_4^7 + 333855583/208304657*c_0110_4^6 + 438315230/208304657*c_0110_4^5 + 166295576/208304657*c_0110_4^4 + 147088948/208304657*c_0110_4^3 + 84749986/208304657*c_0110_4^2 - 365548779/208304657*c_0110_4 - 55395843/208304657, c_0101_2 - 3639879988/98528102761*c_0110_4^13 + 240047864/5185689619*c_0110_4^12 + 42459842900/98528102761*c_0110_4^11 - 941811246/8957100251*c_0110_4^10 - 1121196729/2291351227*c_0110_4^9 - 360392651079/98528102761*c_0110_4^8 - 206521544099/98528102761*c_0110_4^7 + 558414410189/98528102761*c_0110_4^6 + 37607662748/98528102761*c_0110_4^5 - 43909943842/98528102761*c_0110_4^4 + 256951014692/98528102761*c_0110_4^3 + 1544666626/2291351227*c_0110_4^2 - 33760574719/98528102761*c_0110_4 - 75443145350/98528102761, c_0101_4 + 22530173404/98528102761*c_0110_4^13 + 2573844402/5185689619*c_0110_4^12 - 135676163343/98528102761*c_0110_4^11 - 44157677525/8957100251*c_0110_4^10 - 26673380007/2291351227*c_0110_4^9 - 866391369407/98528102761*c_0110_4^8 + 531025690520/98528102761*c_0110_4^7 + 176267871654/98528102761*c_0110_4^6 + 365066436483/98528102761*c_0110_4^5 + 1003589537001/98528102761*c_0110_4^4 + 591781320367/98528102761*c_0110_4^3 + 7251257088/2291351227*c_0110_4^2 - 20194176686/98528102761*c_0110_4 + 24849312106/98528102761, c_0110_4^14 + 2*c_0110_4^13 - 6*c_0110_4^12 - 20*c_0110_4^11 - 50*c_0110_4^10 - 36*c_0110_4^9 + 15*c_0110_4^8 + c_0110_4^7 + 26*c_0110_4^6 + 38*c_0110_4^5 + 30*c_0110_4^4 + 21*c_0110_4^3 + 2*c_0110_4^2 + 4*c_0110_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB