Magma V2.19-8 Tue Aug 20 2013 17:56:20 on localhost [Seed = 290497827] Type ? for help. Type -D to quit. Loading file "11_315__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_315 geometric_solution 9.31376810 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.541685314898 0.434130129641 0 5 7 6 0132 0132 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 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.917702689512 0.269639118999 5 0 4 8 2031 0132 0132 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 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.005596036603 0.929825886448 9 7 8 0 0132 3120 0132 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 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.313341573563 0.574745974995 10 5 0 2 0132 3012 0132 0132 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 -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.006472343390 1.075431212557 4 1 2 9 1230 0132 1302 2031 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 0 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.541685314898 0.434130129641 9 8 1 7 2103 1023 0132 1302 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 1 -1 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.766562976379 0.627306429823 10 3 6 1 3120 3120 2031 0132 0 0 0 0 0 0 -1 1 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 1 -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.766562976379 0.627306429823 6 10 2 3 1023 0132 0132 0132 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 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.521057572765 1.400218185755 3 5 6 10 0132 1302 2103 3012 0 0 0 0 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 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.731225119113 1.341247793089 4 8 9 7 0132 0132 1230 3120 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 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.766562976379 0.627306429823 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0110_6'], 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : negation(d['c_0110_6']), 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0011_7']), 'c_1001_3' : d['c_0110_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : negation(d['c_0011_7']), 'c_1010_10' : negation(d['c_0011_7']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : 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_1100_9' : negation(d['c_0110_6']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 'c_1100_10' : d['c_0101_3'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0011_7']), 'c_1010_2' : negation(d['c_0011_7']), 'c_1010_1' : d['c_0101_8'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : d['c_0110_6'], 'c_1100_8' : d['c_1100_0'], 's_3_1' : d['1'], 's_3_0' : negation(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_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' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), '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_10' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_3']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_3'], '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' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_8, c_0110_6, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 9136670861647/68604463656*c_1100_0^12 - 950071054829/5717038638*c_1100_0^11 - 8697934800329/11434077276*c_1100_0^10 + 4504475870855/7622718184*c_1100_0^9 + 33581401618513/22868154552*c_1100_0^8 + 211988918499833/68604463656*c_1100_0^7 - 219275884023301/68604463656*c_1100_0^6 - 172990094016925/11434077276*c_1100_0^5 + 44941458794081/3811359092*c_1100_0^4 + 1019355595260683/68604463656*c_1100_0^3 - 958839585130793/68604463656*c_1100_0^2 + 77124490026355/22868154552*c_1100_0 + 29924455093697/68604463656, c_0011_0 - 1, c_0011_10 - 270759782/952839773*c_1100_0^12 + 351695777/952839773*c_1100_0^11 + 1531578252/952839773*c_1100_0^10 - 1278122542/952839773*c_1100_0^9 - 2964666074/952839773*c_1100_0^8 - 6117091651/952839773*c_1100_0^7 + 6925626721/952839773*c_1100_0^6 + 30546336818/952839773*c_1100_0^5 - 25569937737/952839773*c_1100_0^4 - 30103021044/952839773*c_1100_0^3 + 29799901101/952839773*c_1100_0^2 - 6562585928/952839773*c_1100_0 - 777467882/952839773, c_0011_3 + 213311125/952839773*c_1100_0^12 - 226641368/952839773*c_1100_0^11 - 1261766516/952839773*c_1100_0^10 + 706257936/952839773*c_1100_0^9 + 2470138252/952839773*c_1100_0^8 + 5462877063/952839773*c_1100_0^7 - 3981551569/952839773*c_1100_0^6 - 25054267770/952839773*c_1100_0^5 + 13970409540/952839773*c_1100_0^4 + 25814121447/952839773*c_1100_0^3 - 17352366730/952839773*c_1100_0^2 + 3992393651/952839773*c_1100_0 + 928288402/952839773, c_0011_7 - 270759782/952839773*c_1100_0^12 + 351695777/952839773*c_1100_0^11 + 1531578252/952839773*c_1100_0^10 - 1278122542/952839773*c_1100_0^9 - 2964666074/952839773*c_1100_0^8 - 6117091651/952839773*c_1100_0^7 + 6925626721/952839773*c_1100_0^6 + 30546336818/952839773*c_1100_0^5 - 25569937737/952839773*c_1100_0^4 - 30103021044/952839773*c_1100_0^3 + 29799901101/952839773*c_1100_0^2 - 6562585928/952839773*c_1100_0 - 777467882/952839773, c_0101_0 - 213311125/952839773*c_1100_0^12 + 226641368/952839773*c_1100_0^11 + 1261766516/952839773*c_1100_0^10 - 706257936/952839773*c_1100_0^9 - 2470138252/952839773*c_1100_0^8 - 5462877063/952839773*c_1100_0^7 + 3981551569/952839773*c_1100_0^6 + 25054267770/952839773*c_1100_0^5 - 13970409540/952839773*c_1100_0^4 - 25814121447/952839773*c_1100_0^3 + 17352366730/952839773*c_1100_0^2 - 3992393651/952839773*c_1100_0 - 928288402/952839773, c_0101_1 - 80935995/952839773*c_1100_0^12 + 92980440/952839773*c_1100_0^11 + 465843196/952839773*c_1100_0^10 - 284451310/952839773*c_1100_0^9 - 922662681/952839773*c_1100_0^8 - 2051950645/952839773*c_1100_0^7 + 1674077240/952839773*c_1100_0^6 + 9324350817/952839773*c_1100_0^5 - 5366510398/952839773*c_1100_0^4 - 9222157669/952839773*c_1100_0^3 + 6021066364/952839773*c_1100_0^2 - 2341450147/952839773*c_1100_0 - 270759782/952839773, c_0101_10 - c_1100_0, c_0101_3 - 15040132/952839773*c_1100_0^12 + 21942275/952839773*c_1100_0^11 + 123802531/952839773*c_1100_0^10 - 115634917/952839773*c_1100_0^9 - 305857179/952839773*c_1100_0^8 - 369937512/952839773*c_1100_0^7 + 566785765/952839773*c_1100_0^6 + 2763844535/952839773*c_1100_0^5 - 1625344840/952839773*c_1100_0^4 - 3440174815/952839773*c_1100_0^3 + 2267489993/952839773*c_1100_0^2 - 456312365/952839773*c_1100_0 - 487737762/952839773, c_0101_8 - 80935995/952839773*c_1100_0^12 + 92980440/952839773*c_1100_0^11 + 465843196/952839773*c_1100_0^10 - 284451310/952839773*c_1100_0^9 - 922662681/952839773*c_1100_0^8 - 2051950645/952839773*c_1100_0^7 + 1674077240/952839773*c_1100_0^6 + 9324350817/952839773*c_1100_0^5 - 5366510398/952839773*c_1100_0^4 - 9222157669/952839773*c_1100_0^3 + 6021066364/952839773*c_1100_0^2 - 2341450147/952839773*c_1100_0 - 270759782/952839773, c_0110_6 + 226023333/952839773*c_1100_0^12 - 264504536/952839773*c_1100_0^11 - 1293882128/952839773*c_1100_0^10 + 863349847/952839773*c_1100_0^9 + 2567325803/952839773*c_1100_0^8 + 5508361649/952839773*c_1100_0^7 - 5116798658/952839773*c_1100_0^6 - 25726591105/952839773*c_1100_0^5 + 17252816506/952839773*c_1100_0^4 + 27209308984/952839773*c_1100_0^3 - 19599676037/952839773*c_1100_0^2 + 1292635665/952839773*c_1100_0 + 1473240067/952839773, c_1100_0^13 - c_1100_0^12 - 6*c_1100_0^11 + 3*c_1100_0^10 + 12*c_1100_0^9 + 26*c_1100_0^8 - 18*c_1100_0^7 - 119*c_1100_0^6 + 60*c_1100_0^5 + 131*c_1100_0^4 - 76*c_1100_0^3 + 2*c_1100_0^2 + 8*c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.160 Total time: 0.380 seconds, Total memory usage: 32.09MB