Magma V2.19-8 Tue Aug 20 2013 16:14:15 on localhost [Seed = 1579139697] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s233 geometric_solution 4.38820050 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 0 -1 1 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 -1 0 1 0 0 -1 1 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.735765446534 0.109581800479 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -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 1 -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.600921733065 0.328585613810 3 1 4 1 0132 0132 0132 1023 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 0 0 0 -1 0 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 1.802060722415 1.822918328663 2 4 4 5 0132 3201 2310 0132 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 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.100335831524 0.759131137787 5 3 3 2 1023 3201 2310 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 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.100335831524 0.759131137787 5 4 3 5 3012 1023 0132 1230 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.685187700372 1.196329377885 ==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' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 38344882076/125817895*c_0101_3^16 + 27229371822/17973985*c_0101_3^15 + 18605014403/125817895*c_0101_3^14 - 1320353588019/125817895*c_0101_3^13 + 1773583358409/125817895*c_0101_3^12 + 797285223584/125817895*c_0101_3^11 - 2913811762049/125817895*c_0101_3^10 + 107976465107/17973985*c_0101_3^9 + 2681683308811/125817895*c_0101_3^8 - 1706281348927/125817895*c_0101_3^7 - 1157865073726/125817895*c_0101_3^6 + 261076488363/25163579*c_0101_3^5 + 38750662424/125817895*c_0101_3^4 - 510927373176/125817895*c_0101_3^3 + 13398658263/17973985*c_0101_3^2 + 127484128622/125817895*c_0101_3 - 44903991616/125817895, c_0011_0 - 1, c_0011_4 + 123645096/3594797*c_0101_3^16 - 524795612/3594797*c_0101_3^15 - 307159882/3594797*c_0101_3^14 + 3670078318/3594797*c_0101_3^13 - 3941956682/3594797*c_0101_3^12 - 2816843098/3594797*c_0101_3^11 + 7077287323/3594797*c_0101_3^10 - 733047969/3594797*c_0101_3^9 - 6800063503/3594797*c_0101_3^8 + 3374480209/3594797*c_0101_3^7 + 3159517971/3594797*c_0101_3^6 - 2876053671/3594797*c_0101_3^5 - 332808744/3594797*c_0101_3^4 + 1173536450/3594797*c_0101_3^3 - 141161559/3594797*c_0101_3^2 - 300544581/3594797*c_0101_3 + 93014030/3594797, c_0101_0 - 142547744/3594797*c_0101_3^16 + 626605648/3594797*c_0101_3^15 + 310416180/3594797*c_0101_3^14 - 4409031038/3594797*c_0101_3^13 + 4855230403/3594797*c_0101_3^12 + 3446120840/3594797*c_0101_3^11 - 8657981869/3594797*c_0101_3^10 + 906059598/3594797*c_0101_3^9 + 8408307460/3594797*c_0101_3^8 - 4043714518/3594797*c_0101_3^7 - 3964836180/3594797*c_0101_3^6 + 3457245477/3594797*c_0101_3^5 + 451585550/3594797*c_0101_3^4 - 1433879552/3594797*c_0101_3^3 + 138244183/3594797*c_0101_3^2 + 361783224/3594797*c_0101_3 - 102953067/3594797, c_0101_1 + 715278672/3594797*c_0101_3^16 - 1944371228/3594797*c_0101_3^15 - 4759050186/3594797*c_0101_3^14 + 14003084507/3594797*c_0101_3^13 - 1320855186/3594797*c_0101_3^12 - 18561469921/3594797*c_0101_3^11 + 12557291966/3594797*c_0101_3^10 + 15319710800/3594797*c_0101_3^9 - 16179019057/3594797*c_0101_3^8 - 5537861452/3594797*c_0101_3^7 + 10143025308/3594797*c_0101_3^6 - 1077151726/3594797*c_0101_3^5 - 3773772193/3594797*c_0101_3^4 + 1093117504/3594797*c_0101_3^3 + 936874822/3594797*c_0101_3^2 - 354082350/3594797*c_0101_3 - 6947333/3594797, c_0101_2 + 372056120/3594797*c_0101_3^16 - 1053785396/3594797*c_0101_3^15 - 2358639318/3594797*c_0101_3^14 + 7562254222/3594797*c_0101_3^13 - 1530755628/3594797*c_0101_3^12 - 9545077668/3594797*c_0101_3^11 + 7653572658/3594797*c_0101_3^10 + 7153859267/3594797*c_0101_3^9 - 9312467271/3594797*c_0101_3^8 - 1850241287/3594797*c_0101_3^7 + 5554866671/3594797*c_0101_3^6 - 1206223341/3594797*c_0101_3^5 - 1867661859/3594797*c_0101_3^4 + 797878894/3594797*c_0101_3^3 + 407702060/3594797*c_0101_3^2 - 234489358/3594797*c_0101_3 + 21502491/3594797, c_0101_3^17 - 5/2*c_0101_3^16 - 31/4*c_0101_3^15 + 39/2*c_0101_3^14 + 23/4*c_0101_3^13 - 145/4*c_0101_3^12 + 13*c_0101_3^11 + 153/4*c_0101_3^10 - 27*c_0101_3^9 - 93/4*c_0101_3^8 + 24*c_0101_3^7 + 21/4*c_0101_3^6 - 51/4*c_0101_3^5 + 5/4*c_0101_3^4 + 17/4*c_0101_3^3 - c_0101_3^2 - 3/4*c_0101_3 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.200 seconds, Total memory usage: 32.09MB