Magma V2.19-8 Tue Aug 20 2013 23:29:33 on localhost [Seed = 3187399632] Type ? for help. Type -D to quit. Loading file "K12a722__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a722 geometric_solution 5.19559032 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 8 1 2 3 4 0132 0132 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 0 1 1 0 0 -1 -19 -1 0 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.865043655338 0.352587763406 0 4 2 3 0132 2103 2031 1302 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 -1 0 1 0 0 0 0 0 19 -19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.271836287163 0.106408786757 5 0 5 1 0132 0132 3012 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722323562642 0.666801405939 6 6 1 0 0132 3201 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.872146763623 0.654876933152 5 1 0 5 2031 2103 0132 2103 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 -1 1 0 0 1 -1 0 0 0 0 1 19 -20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.252543546047 0.690002431253 2 2 4 4 0132 1230 1302 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.532224200486 1.278062512381 3 7 3 7 0132 0132 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.441372821737 0.534383026849 6 6 7 7 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.387154532364 0.025592487714 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : negation(d['c_0101_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_3']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_1'], '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_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_3'], '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_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : negation(d['c_0110_7']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0101_3'], 'c_1010_7' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0110_7']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0011_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 9 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 73096695692731/5683697231597*c_0110_7^13 - 194414935545433/5683697231597*c_0110_7^12 + 955368013241667/5683697231597*c_0110_7^11 + 2214697474381228/5683697231597*c_0110_7^10 - 3395561291834498/5683697231597*c_0110_7^9 - 4634608643199910/5683697231597*c_0110_7^8 + 6751229305252431/5683697231597*c_0110_7^7 + 3109410501457980/5683697231597*c_0110_7^6 - 6998229967080633/5683697231597*c_0110_7^5 + 141465614991912/811956747371*c_0110_7^4 + 70122613958204/115993821053*c_0110_7^3 - 1878176239876796/5683697231597*c_0110_7^2 - 576512711989482/5683697231597*c_0110_7 + 585432922529712/5683697231597, c_0011_0 - 1, c_0011_3 - 620581/284911*c_0110_7^13 - 1678146/284911*c_0110_7^12 + 7989585/284911*c_0110_7^11 + 19074040/284911*c_0110_7^10 - 27237989/284911*c_0110_7^9 - 39543819/284911*c_0110_7^8 + 52091549/284911*c_0110_7^7 + 26239919/284911*c_0110_7^6 - 52791033/284911*c_0110_7^5 + 6783776/284911*c_0110_7^4 + 25124934/284911*c_0110_7^3 - 13309288/284911*c_0110_7^2 - 3988100/284911*c_0110_7 + 3571486/284911, c_0011_4 + 677701/284911*c_0110_7^13 + 2039236/284911*c_0110_7^12 - 8500859/284911*c_0110_7^11 - 24280096/284911*c_0110_7^10 + 27833242/284911*c_0110_7^9 + 60647196/284911*c_0110_7^8 - 59550310/284911*c_0110_7^7 - 57980640/284911*c_0110_7^6 + 75814824/284911*c_0110_7^5 + 9457334/284911*c_0110_7^4 - 48866294/284911*c_0110_7^3 + 17135920/284911*c_0110_7^2 + 11956228/284911*c_0110_7 - 7441949/284911, c_0101_0 + 509286/284911*c_0110_7^13 + 1413372/284911*c_0110_7^12 - 6501038/284911*c_0110_7^11 - 16212931/284911*c_0110_7^10 + 21883542/284911*c_0110_7^9 + 35227641/284911*c_0110_7^8 - 43331950/284911*c_0110_7^7 - 27893735/284911*c_0110_7^6 + 46732355/284911*c_0110_7^5 - 869115/284911*c_0110_7^4 - 25307166/284911*c_0110_7^3 + 11215750/284911*c_0110_7^2 + 5400904/284911*c_0110_7 - 4080321/284911, c_0101_1 + 436984/284911*c_0110_7^13 + 1319130/284911*c_0110_7^12 - 5421258/284911*c_0110_7^11 - 15582100/284911*c_0110_7^10 + 17202903/284911*c_0110_7^9 + 37892696/284911*c_0110_7^8 - 36169215/284911*c_0110_7^7 - 35331469/284911*c_0110_7^6 + 45345028/284911*c_0110_7^5 + 5283535/284911*c_0110_7^4 - 28890220/284911*c_0110_7^3 + 9908999/284911*c_0110_7^2 + 6978391/284911*c_0110_7 - 4059156/284911, c_0101_2 + 178031/284911*c_0110_7^13 + 384184/284911*c_0110_7^12 - 2673751/284911*c_0110_7^11 - 4614380/284911*c_0110_7^10 + 12103031/284911*c_0110_7^9 + 11549825/284911*c_0110_7^8 - 23767523/284911*c_0110_7^7 - 8670205/284911*c_0110_7^6 + 23839635/284911*c_0110_7^5 - 3175340/284911*c_0110_7^4 - 11352707/284911*c_0110_7^3 + 6841144/284911*c_0110_7^2 + 1939304/284911*c_0110_7 - 2431994/284911, c_0101_3 - 510601/284911*c_0110_7^13 - 1295939/284911*c_0110_7^12 + 6820215/284911*c_0110_7^11 + 14705319/284911*c_0110_7^10 - 25024957/284911*c_0110_7^9 - 29863000/284911*c_0110_7^8 + 46689135/284911*c_0110_7^7 + 15801246/284911*c_0110_7^6 - 44374012/284911*c_0110_7^5 + 10894219/284911*c_0110_7^4 + 18199044/284911*c_0110_7^3 - 12168754/284911*c_0110_7^2 - 2120720/284911*c_0110_7 + 2492905/284911, c_0110_7^14 + 2*c_0110_7^13 - 15*c_0110_7^12 - 22*c_0110_7^11 + 69*c_0110_7^10 + 36*c_0110_7^9 - 145*c_0110_7^8 + 16*c_0110_7^7 + 142*c_0110_7^6 - 84*c_0110_7^5 - 49*c_0110_7^4 + 68*c_0110_7^3 - 10*c_0110_7^2 - 17*c_0110_7 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB