Magma V2.19-8 Tue Aug 20 2013 18:01:57 on localhost [Seed = 2176857338] Type ? for help. Type -D to quit. Loading file "11_304__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_304 geometric_solution 11.39518474 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 1230 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 -1 0 1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.496897203148 0.646196389189 0 4 0 5 0132 0132 3012 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 1 0 -1 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.252197593966 0.972489302707 6 7 6 0 0132 0132 3012 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 1 -1 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.825749974589 1.000134780165 5 8 0 9 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 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.282234624022 1.574996528056 10 1 8 10 0132 0132 3201 2031 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 -2 -1 0 3 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.272868018263 0.565541939242 3 11 1 7 0132 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.958315325492 2.103266410639 2 2 9 10 0132 1230 2103 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 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.169070934670 0.970408593507 12 2 5 8 0132 0132 1230 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1.006373479534 0.486364176788 4 3 12 7 2310 0132 2310 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440803445128 0.302557559312 6 12 3 11 2103 2310 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607955555788 0.258766753591 4 4 6 11 0132 1302 0132 3120 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 0 2 -3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.307959098902 1.434313026983 10 5 9 12 3120 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 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.794901181328 1.006654457299 7 8 11 9 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.711949667362 0.394488421855 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_7']), 'c_1001_10' : d['c_0101_10'], 'c_1001_12' : negation(d['c_0101_8']), 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : negation(d['c_0101_8']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_9'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_12'], 'c_1001_9' : d['c_1001_8'], 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : negation(d['c_1001_8']), 'c_1010_11' : negation(d['c_0101_8']), 'c_1010_10' : negation(d['c_0011_11']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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' : negation(d['c_0011_9']), 'c_0011_10' : negation(d['c_0011_0']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : d['c_0011_11'], 'c_1100_7' : d['c_0101_1'], 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : negation(d['c_0011_9']), 'c_1100_3' : negation(d['c_0011_9']), 'c_1100_2' : negation(d['c_0011_9']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_9']), 'c_1100_10' : negation(d['c_0101_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : negation(d['c_0101_7']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_8'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_8']), 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : d['c_0101_1'], 'c_1100_8' : d['c_0011_12'], '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_9']), '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' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : d['c_0011_12'], 'c_0110_11' : d['c_0101_12'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_12'], 'c_0101_3' : d['c_0101_1'], '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_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : negation(d['c_0101_12']), '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_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0101_10']})} 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_11, c_0011_12, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_7, c_0101_8, c_1001_0, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 496009690227/1040654321311*c_1001_8^7 + 1685354271303/1040654321311*c_1001_8^6 + 4977916701073/1040654321311*c_1001_8^5 + 6475732206233/1040654321311*c_1001_8^4 + 62208665849168/1040654321311*c_1001_8^3 + 142356839085172/1040654321311*c_1001_8^2 + 112808160531826/1040654321311*c_1001_8 + 29847835304783/1040654321311, c_0011_0 - 1, c_0011_11 - 6721711/11394067*c_1001_8^7 - 13593109/11394067*c_1001_8^6 - 46919469/11394067*c_1001_8^5 - 20824018/11394067*c_1001_8^4 - 803971059/11394067*c_1001_8^3 - 825819947/11394067*c_1001_8^2 - 172856099/11394067*c_1001_8 - 72543940/11394067, c_0011_12 + 7453098/11394067*c_1001_8^7 + 16012996/11394067*c_1001_8^6 + 53716938/11394067*c_1001_8^5 + 29226163/11394067*c_1001_8^4 + 893401805/11394067*c_1001_8^3 + 1028718312/11394067*c_1001_8^2 + 278238209/11394067*c_1001_8 + 91253935/11394067, c_0011_9 + 2202906/11394067*c_1001_8^7 + 4383508/11394067*c_1001_8^6 + 15272091/11394067*c_1001_8^5 + 6549895/11394067*c_1001_8^4 + 263411280/11394067*c_1001_8^3 + 262776109/11394067*c_1001_8^2 + 48993602/11394067*c_1001_8 + 30769432/11394067, c_0101_0 - 7590915/11394067*c_1001_8^7 - 16110032/11394067*c_1001_8^6 - 54470275/11394067*c_1001_8^5 - 28619936/11394067*c_1001_8^4 - 910705081/11394067*c_1001_8^3 - 1023201739/11394067*c_1001_8^2 - 287483378/11394067*c_1001_8 - 92862123/11394067, c_0101_1 + 5381402/11394067*c_1001_8^7 + 11524278/11394067*c_1001_8^6 + 38700575/11394067*c_1001_8^5 + 20836486/11394067*c_1001_8^4 + 645094841/11394067*c_1001_8^3 + 736516572/11394067*c_1001_8^2 + 201270502/11394067*c_1001_8 + 65646612/11394067, c_0101_10 + 8756713/11394067*c_1001_8^7 + 18507233/11394067*c_1001_8^6 + 62512651/11394067*c_1001_8^5 + 32363404/11394067*c_1001_8^4 + 1049434876/11394067*c_1001_8^3 + 1171815622/11394067*c_1001_8^2 + 294495144/11394067*c_1001_8 + 113963989/11394067, c_0101_11 - 17687937/11394067*c_1001_8^7 - 36686096/11394067*c_1001_8^6 - 125201820/11394067*c_1001_8^5 - 60970872/11394067*c_1001_8^4 - 2119016175/11394067*c_1001_8^3 - 2284320736/11394067*c_1001_8^2 - 553564119/11394067*c_1001_8 - 213723440/11394067, c_0101_12 - 8756713/11394067*c_1001_8^7 - 18507233/11394067*c_1001_8^6 - 62512651/11394067*c_1001_8^5 - 32363404/11394067*c_1001_8^4 - 1049434876/11394067*c_1001_8^3 - 1171815622/11394067*c_1001_8^2 - 294495144/11394067*c_1001_8 - 113963989/11394067, c_0101_7 + 4412419/11394067*c_1001_8^7 + 8969262/11394067*c_1001_8^6 + 31041791/11394067*c_1001_8^5 + 14333345/11394067*c_1001_8^4 + 529021520/11394067*c_1001_8^3 + 549461276/11394067*c_1001_8^2 + 135206478/11394067*c_1001_8 + 57984943/11394067, c_0101_8 + 9059914/11394067*c_1001_8^7 + 18589757/11394067*c_1001_8^6 + 63501830/11394067*c_1001_8^5 + 29544509/11394067*c_1001_8^4 + 1083629609/11394067*c_1001_8^3 + 1146956771/11394067*c_1001_8^2 + 235492972/11394067*c_1001_8 + 99799684/11394067, c_1001_0 - 5381402/11394067*c_1001_8^7 - 11524278/11394067*c_1001_8^6 - 38700575/11394067*c_1001_8^5 - 20836486/11394067*c_1001_8^4 - 645094841/11394067*c_1001_8^3 - 736516572/11394067*c_1001_8^2 - 201270502/11394067*c_1001_8 - 54252545/11394067, c_1001_8^8 + 3*c_1001_8^7 + 9*c_1001_8^6 + 10*c_1001_8^5 + 123*c_1001_8^4 + 240*c_1001_8^3 + 151*c_1001_8^2 + 41*c_1001_8 + 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.570 Total time: 2.770 seconds, Total memory usage: 64.12MB