Magma V2.19-8 Tue Aug 20 2013 23:54:50 on localhost [Seed = 509113947] Type ? for help. Type -D to quit. Loading file "K12n564__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n564 geometric_solution 11.32743025 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 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 1 0 -1 0 0 0 0 1 -1 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.616970329886 0.868201864085 0 4 4 5 0132 1023 0132 0132 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 -1 1 0 0 0 1 -1 -4 4 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.041506488124 0.706660068409 6 0 8 7 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 -1 1 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 1.870775289821 0.987444713769 6 9 10 0 2031 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 0 0 0 0 0 0 0 -5 1 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.670658968022 0.491716356150 1 5 0 1 1023 0132 0132 0132 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 1 -1 1 0 0 -1 -4 5 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.041506488124 0.706660068409 6 4 1 10 1023 0132 0132 0132 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 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.616970329886 0.868201864085 2 5 3 11 0132 1023 1302 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.670658968022 0.491716356150 12 9 2 12 0132 0213 0132 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 -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.689479351335 0.696904607813 11 9 10 2 0132 2310 2310 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.090827957674 0.373006792546 11 3 7 8 3120 0132 0213 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.300832285718 1.194049560407 12 8 5 3 1230 3201 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 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.870775289821 0.987444713769 8 12 6 9 0132 2310 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.300832285718 1.194049560407 7 10 7 11 0132 3012 2031 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.533449795160 1.197226728340 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_8']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_8']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_1001_3']), 'c_1010_12' : negation(d['c_0101_10']), 'c_1010_11' : d['c_0011_3'], 'c_1010_10' : d['c_1001_3'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_10'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], '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_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : 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_1100_9' : d['c_0011_11'], 'c_1100_8' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_12'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0011_10'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : negation(d['c_0101_8']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_8']), 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : negation(d['c_0101_8']), '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_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_11']), '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' : d['1'], 's_1_1' : d['1'], 's_1_0' : 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_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_12']), 'c_0110_6' : d['c_0101_11'], '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_8'], 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_12'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_8'], 'c_0110_8' : d['c_0101_11'], '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_3']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_8, c_1001_0, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 321598806/3011054875*c_1001_3^9 + 70083457/3011054875*c_1001_3^8 + 110020437/177120875*c_1001_3^7 - 55890751/35424175*c_1001_3^6 + 4797283721/3011054875*c_1001_3^5 - 14100325928/3011054875*c_1001_3^4 + 27003479934/3011054875*c_1001_3^3 - 19246547441/3011054875*c_1001_3^2 + 5647072363/3011054875*c_1001_3 - 32658120/24088439, c_0011_0 - 1, c_0011_10 - 892/2083775*c_1001_3^9 - 40322/2083775*c_1001_3^8 - 3458/122575*c_1001_3^7 - 6487/122575*c_1001_3^6 + 182832/2083775*c_1001_3^5 + 9449/2083775*c_1001_3^4 - 645292/2083775*c_1001_3^3 - 803056/2083775*c_1001_3^2 - 162859/416755*c_1001_3 + 46941/83351, c_0011_11 - 75167/2083775*c_1001_3^9 - 210517/2083775*c_1001_3^8 - 38938/122575*c_1001_3^7 - 18117/122575*c_1001_3^6 - 227978/2083775*c_1001_3^5 + 1076109/2083775*c_1001_3^4 - 1537377/2083775*c_1001_3^3 - 2717896/2083775*c_1001_3^2 - 45326/83351*c_1001_3 - 50553/83351, c_0011_12 + 10622/416755*c_1001_3^9 + 14812/416755*c_1001_3^8 + 5406/24515*c_1001_3^7 - 3388/24515*c_1001_3^6 + 149176/416755*c_1001_3^5 - 88325/83351*c_1001_3^4 + 618037/416755*c_1001_3^3 - 78956/416755*c_1001_3^2 + 358568/416755*c_1001_3 + 14568/83351, c_0011_3 - 10622/416755*c_1001_3^9 - 14812/416755*c_1001_3^8 - 5406/24515*c_1001_3^7 + 3388/24515*c_1001_3^6 - 149176/416755*c_1001_3^5 + 88325/83351*c_1001_3^4 - 618037/416755*c_1001_3^3 + 78956/416755*c_1001_3^2 - 358568/416755*c_1001_3 - 14568/83351, c_0101_0 - 32492/2083775*c_1001_3^9 - 108242/2083775*c_1001_3^8 - 16688/122575*c_1001_3^7 - 13242/122575*c_1001_3^6 + 201072/2083775*c_1001_3^5 + 140484/2083775*c_1001_3^4 + 143098/2083775*c_1001_3^3 - 2749871/2083775*c_1001_3^2 - 16407/83351*c_1001_3 - 36760/83351, c_0101_1 - 22617/2083775*c_1001_3^9 - 87017/2083775*c_1001_3^8 - 15618/122575*c_1001_3^7 - 18792/122575*c_1001_3^6 - 221383/2083775*c_1001_3^5 + 21394/2083775*c_1001_3^4 + 157198/2083775*c_1001_3^3 - 1125651/2083775*c_1001_3^2 + 17734/416755*c_1001_3 - 88745/83351, c_0101_10 + 10531/2083775*c_1001_3^9 + 22846/2083775*c_1001_3^8 + 10319/122575*c_1001_3^7 + 6916/122575*c_1001_3^6 + 336399/2083775*c_1001_3^5 - 660532/2083775*c_1001_3^4 + 339156/2083775*c_1001_3^3 + 1332708/2083775*c_1001_3^2 + 390727/416755*c_1001_3 - 13995/83351, c_0101_11 - c_1001_3, c_0101_8 + 32492/2083775*c_1001_3^9 + 108242/2083775*c_1001_3^8 + 16688/122575*c_1001_3^7 + 13242/122575*c_1001_3^6 - 201072/2083775*c_1001_3^5 - 140484/2083775*c_1001_3^4 - 143098/2083775*c_1001_3^3 + 2749871/2083775*c_1001_3^2 + 16407/83351*c_1001_3 + 36760/83351, c_1001_0 + 10531/2083775*c_1001_3^9 + 22846/2083775*c_1001_3^8 + 10319/122575*c_1001_3^7 + 6916/122575*c_1001_3^6 + 336399/2083775*c_1001_3^5 - 660532/2083775*c_1001_3^4 + 339156/2083775*c_1001_3^3 + 1332708/2083775*c_1001_3^2 + 390727/416755*c_1001_3 - 13995/83351, c_1001_3^10 + 2*c_1001_3^9 + 9*c_1001_3^8 + 11*c_1001_3^6 - 28*c_1001_3^5 + 34*c_1001_3^4 + 4*c_1001_3^3 + 33*c_1001_3^2 + 10*c_1001_3 + 25, c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.060 Total time: 5.269 seconds, Total memory usage: 64.12MB