Magma V2.19-8 Tue Aug 20 2013 16:09:05 on localhost [Seed = 829468603] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation m401 geometric_solution 4.94831336 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 5 1 0 2 0 0132 1302 0132 2031 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 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.345686432805 1.142768321454 0 2 4 3 0132 3201 0132 0132 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 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.220663506365 0.935483128769 3 4 1 0 3201 0132 2310 0132 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 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.220663506365 0.935483128769 3 3 1 2 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 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.471235690849 1.070298598290 4 2 4 1 2310 0132 3201 0132 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 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.326623405008 0.904950896216 ==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_4' : d['1'], 's_3_0' : negation(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_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_4' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_4' : 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_3'], 'c_0011_2' : d['c_0011_2'], 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_0']})} 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_2, c_0011_3, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 155414074/2294395*c_0101_2^13 - 86514046/2294395*c_0101_2^12 - 120085707/2294395*c_0101_2^11 - 571389352/2294395*c_0101_2^10 - 371939382/2294395*c_0101_2^9 - 469244512/2294395*c_0101_2^8 + 3459194478/2294395*c_0101_2^7 + 1560686749/2294395*c_0101_2^6 - 1406650268/2294395*c_0101_2^5 + 215139484/2294395*c_0101_2^4 - 873178008/2294395*c_0101_2^3 - 1631143226/2294395*c_0101_2^2 + 48980679/458879*c_0101_2 + 319150662/2294395, c_0011_0 - 1, c_0011_2 - 4935019/458879*c_0101_2^13 - 2646197/458879*c_0101_2^12 - 3647801/458879*c_0101_2^11 - 17935458/458879*c_0101_2^10 - 11297245/458879*c_0101_2^9 - 14153533/458879*c_0101_2^8 + 110731917/458879*c_0101_2^7 + 47958752/458879*c_0101_2^6 - 47643796/458879*c_0101_2^5 + 5466979/458879*c_0101_2^4 - 27749248/458879*c_0101_2^3 - 51465976/458879*c_0101_2^2 + 8822762/458879*c_0101_2 + 11101002/458879, c_0011_3 + 5927016/458879*c_0101_2^13 + 3292523/458879*c_0101_2^12 + 4481390/458879*c_0101_2^11 + 21743436/458879*c_0101_2^10 + 14106686/458879*c_0101_2^9 + 17555089/458879*c_0101_2^8 - 132092346/458879*c_0101_2^7 - 59557423/458879*c_0101_2^6 + 55990429/458879*c_0101_2^5 - 7325806/458879*c_0101_2^4 + 32309526/458879*c_0101_2^3 + 62324385/458879*c_0101_2^2 - 9924502/458879*c_0101_2 - 13135607/458879, c_0101_1 - 5173986/458879*c_0101_2^13 - 2873460/458879*c_0101_2^12 - 3973415/458879*c_0101_2^11 - 19012771/458879*c_0101_2^10 - 12361864/458879*c_0101_2^9 - 15551674/458879*c_0101_2^8 + 115182229/458879*c_0101_2^7 + 51730700/458879*c_0101_2^6 - 47473333/458879*c_0101_2^5 + 7014984/458879*c_0101_2^4 - 28662463/458879*c_0101_2^3 - 54239393/458879*c_0101_2^2 + 8238468/458879*c_0101_2 + 11344637/458879, c_0101_2^14 + c_0101_2^13 + c_0101_2^12 + 4*c_0101_2^11 + 4*c_0101_2^10 + 4*c_0101_2^9 - 21*c_0101_2^8 - 20*c_0101_2^7 + 5*c_0101_2^6 + 3*c_0101_2^5 + 5*c_0101_2^4 + 13*c_0101_2^3 + 3*c_0101_2^2 - 3*c_0101_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.200 seconds, Total memory usage: 32.09MB