Magma V2.19-8 Tue Aug 20 2013 23:56:03 on localhost [Seed = 1916017237] Type ? for help. Type -D to quit. Loading file "L14n13931__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13931 geometric_solution 10.80879637 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 1 0 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 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 1.042942014231 0.992550360770 0 5 7 6 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.274036506856 0.852037493469 8 0 5 9 0132 0132 0132 0132 1 1 1 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 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.274036506856 0.852037493469 6 9 8 0 0132 1023 1023 0132 1 1 1 1 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 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.656158066143 0.129215024047 8 7 0 10 3012 0132 0132 0132 1 1 1 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 -1 1 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 1.141149007437 1.147032631128 11 1 7 2 0132 0132 1023 0132 1 1 0 1 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 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.478402306743 0.818479704937 3 10 1 9 0132 2310 0132 1023 1 1 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 0 0 0 0 -1 0 0 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.664762746568 0.604737951598 11 4 5 1 2031 0132 1023 0132 1 1 0 1 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 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.346573285427 0.956861332497 2 11 3 4 0132 0132 1023 1230 1 1 0 1 0 -1 1 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 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.664762746568 0.604737951598 3 10 2 6 1023 2031 0132 1023 1 1 1 1 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.042942014231 0.992550360770 9 11 4 6 1302 1302 0132 3201 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 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0.564098374500 0.438149080577 5 8 7 10 0132 0132 1302 2031 1 1 1 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 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.346573285427 0.956861332497 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_1'], 'c_1001_10' : d['c_0101_5'], 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0110_10']), 'c_1001_3' : d['c_0101_8'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0110_10']), 'c_1001_8' : d['c_0011_10'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0101_7']), 's_0_10' : negation(d['1']), 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : d['c_0011_4'], 'c_0101_10' : negation(d['c_0011_3']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : negation(d['1']), 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_0011_11' : negation(d['c_0011_0']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1100_1']), 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_1100_1']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_1100_1']), 'c_1100_11' : d['c_0101_7'], 'c_1100_10' : d['c_0011_3'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0110_10']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : negation(d['c_0110_10']), 'c_1010_2' : negation(d['c_0110_10']), 'c_1010_1' : d['c_0101_7'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_0101_1'], 'c_1100_8' : negation(d['c_0011_3']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_3'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : 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_0110_11' : d['c_0101_5'], 'c_0110_10' : d['c_0110_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_10'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0110_10']), 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_7, c_0101_8, c_0110_10, c_1001_1, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 7 Groebner basis: [ t - 2198474713923237/21179078054008*c_1100_1^6 + 101202111100983909/21179078054008*c_1100_1^5 - 89273893364227823/5294769513502*c_1100_1^4 + 691367607364756713/21179078054008*c_1100_1^3 - 199439727461869033/5294769513502*c_1100_1^2 + 704427485193029055/21179078054008*c_1100_1 - 165342823816781049/21179078054008, c_0011_0 - 1, c_0011_10 - 9402045/1170891091*c_1100_1^6 + 428388356/1170891091*c_1100_1^5 - 1307827493/1170891091*c_1100_1^4 + 1527913934/1170891091*c_1100_1^3 - 721564485/1170891091*c_1100_1^2 - 381819027/1170891091*c_1100_1 + 870039688/1170891091, c_0011_3 - 3337491/1170891091*c_1100_1^6 + 144259887/1170891091*c_1100_1^5 - 121640274/1170891091*c_1100_1^4 + 19063906/1170891091*c_1100_1^3 + 710868720/1170891091*c_1100_1^2 - 13776077/1170891091*c_1100_1 + 380875340/1170891091, c_0011_4 + 21256461/1170891091*c_1100_1^6 - 971260136/1170891091*c_1100_1^5 + 3115688499/1170891091*c_1100_1^4 - 5347891992/1170891091*c_1100_1^3 + 5551164212/1170891091*c_1100_1^2 - 3336664405/1170891091*c_1100_1 + 5185686/1170891091, c_0101_0 - 1, c_0101_1 - 23236316/1170891091*c_1100_1^6 + 1063270307/1170891091*c_1100_1^5 - 3496528930/1170891091*c_1100_1^4 + 6941362091/1170891091*c_1100_1^3 - 7392408473/1170891091*c_1100_1^2 + 6374432123/1170891091*c_1100_1 - 899926563/1170891091, c_0101_5 + 5423420/1170891091*c_1100_1^6 - 261213305/1170891091*c_1100_1^5 + 1386504530/1170891091*c_1100_1^4 - 2382776851/1170891091*c_1100_1^3 + 2158862244/1170891091*c_1100_1^2 - 1901886579/1170891091*c_1100_1 + 405570198/1170891091, c_0101_7 + 13212052/1170891091*c_1100_1^6 - 595121496/1170891091*c_1100_1^5 + 1548660849/1170891091*c_1100_1^4 - 2245571865/1170891091*c_1100_1^3 + 2277486746/1170891091*c_1100_1^2 - 1837830728/1170891091*c_1100_1 - 400390843/1170891091, c_0101_8 + 716502/1170891091*c_1100_1^6 - 29334552/1170891091*c_1100_1^5 - 58882846/1170891091*c_1100_1^4 + 700479370/1170891091*c_1100_1^3 - 1825683942/1170891091*c_1100_1^2 + 781614266/1170891091*c_1100_1 - 380881671/1170891091, c_0110_10 - 358251/1170891091*c_1100_1^6 + 14667276/1170891091*c_1100_1^5 + 29441423/1170891091*c_1100_1^4 - 350239685/1170891091*c_1100_1^3 + 912841971/1170891091*c_1100_1^2 - 390807133/1170891091*c_1100_1 - 395004710/1170891091, c_1001_1 - 4706918/1170891091*c_1100_1^6 + 231878753/1170891091*c_1100_1^5 - 1445387376/1170891091*c_1100_1^4 + 3083256221/1170891091*c_1100_1^3 - 3984546186/1170891091*c_1100_1^2 + 2683500845/1170891091*c_1100_1 - 786451869/1170891091, c_1100_1^7 - 46*c_1100_1^6 + 161*c_1100_1^5 - 313*c_1100_1^4 + 365*c_1100_1^3 - 331*c_1100_1^2 + 88*c_1100_1 - 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.310 seconds, Total memory usage: 32.09MB