Magma V2.19-8 Tue Aug 20 2013 17:57:01 on localhost [Seed = 4021181436] Type ? for help. Type -D to quit. Loading file "11_332__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_332 geometric_solution 11.19714155 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444661756606 0.811191282784 0 5 7 6 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 0 0 0 1 0 -1 0 -8 0 0 8 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.628562568993 0.985107847368 8 0 5 6 0132 0132 0132 0213 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 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444661756606 0.811191282784 9 7 10 0 0132 0213 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 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 -0.383061030481 1.448219476589 6 7 0 10 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 0 1 -1 0 0 0 0 -8 -1 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.071879995857 0.811583795454 9 1 10 2 2103 0132 2103 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 1 -1 0 0 0 0 1 -1 0 0 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444661756606 0.811191282784 4 11 1 2 0132 0132 0132 0213 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 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.223471528017 0.834389136184 8 4 3 1 2310 0132 0213 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 0 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.847827263777 1.627679359923 2 9 7 11 0132 2103 3201 2310 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 1 -1 0 0 0 0 8 -9 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.246001078898 0.557638218206 3 8 5 11 0132 2103 2103 1302 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 -1 0 0 1 0 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.039670882377 0.708131062955 5 11 4 3 2103 1302 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 1 0 0 0 0 0 -1 0 0 1 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.136301191174 0.875128234305 8 6 9 10 3201 0132 2031 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.610970220589 1.113690275837 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : negation(d['c_0101_3']), 'c_1001_10' : d['c_0110_11'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0110_11'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0110_11'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_0011_0'], 'c_1001_8' : negation(d['c_0011_3']), 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_0110_11'], 's_0_10' : d['1'], 's_3_10' : 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_0'], 's_2_0' : negation(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_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1001_0'], 'c_1100_6' : d['c_1001_0'], 'c_1100_1' : d['c_1001_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_3']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_11']), 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0110_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_0110_11'], 'c_1010_8' : negation(d['c_0110_11']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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'], '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' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_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_0110_11'], 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0101_1']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0101_11']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0101_11']), 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : d['c_0011_11']})} 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_11, c_0011_3, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0110_11, c_1001_0, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 653690015/50350724151*c_1100_0^9 + 119218889/16783574717*c_1100_0^8 + 33594762/16783574717*c_1100_0^7 + 1038982212/16783574717*c_1100_0^6 + 11734982926/50350724151*c_1100_0^5 + 4880238175/16783574717*c_1100_0^4 + 23896684502/50350724151*c_1100_0^3 + 748909493/2397653531*c_1100_0^2 + 3154324735/50350724151*c_1100_0 + 472976909/16783574717, c_0011_0 - 1, c_0011_10 - 67798/2026757*c_1100_0^9 + 162390/2026757*c_1100_0^8 - 301239/2026757*c_1100_0^7 + 449456/2026757*c_1100_0^6 + 687335/2026757*c_1100_0^5 + 733641/2026757*c_1100_0^4 + 3229766/2026757*c_1100_0^3 + 2410256/2026757*c_1100_0^2 + 5539571/2026757*c_1100_0 + 1736886/2026757, c_0011_11 + 275894/2026757*c_1100_0^9 - 372524/2026757*c_1100_0^8 + 570630/2026757*c_1100_0^7 - 1667926/2026757*c_1100_0^6 - 3344907/2026757*c_1100_0^5 - 6355640/2026757*c_1100_0^4 - 12432357/2026757*c_1100_0^3 - 9423506/2026757*c_1100_0^2 - 15449329/2026757*c_1100_0 - 2369016/2026757, c_0011_3 + 138494/2026757*c_1100_0^9 - 388520/2026757*c_1100_0^8 + 547734/2026757*c_1100_0^7 - 1218858/2026757*c_1100_0^6 - 183954/2026757*c_1100_0^5 - 980936/2026757*c_1100_0^4 - 1958628/2026757*c_1100_0^3 + 3143851/2026757*c_1100_0^2 - 4070866/2026757*c_1100_0 + 4668904/2026757, c_0101_0 - 71644/2026757*c_1100_0^9 + 24583/2026757*c_1100_0^8 - 341884/2026757*c_1100_0^7 + 613900/2026757*c_1100_0^6 + 1352068/2026757*c_1100_0^5 + 3994848/2026757*c_1100_0^4 + 8401582/2026757*c_1100_0^3 + 9661768/2026757*c_1100_0^2 + 11936658/2026757*c_1100_0 + 4769576/2026757, c_0101_1 - 30710/2026757*c_1100_0^9 - 93850/2026757*c_1100_0^8 - 15738/2026757*c_1100_0^7 + 170584/2026757*c_1100_0^6 + 1240624/2026757*c_1100_0^5 + 3031566/2026757*c_1100_0^4 + 4788559/2026757*c_1100_0^3 + 7801896/2026757*c_1100_0^2 + 5515607/2026757*c_1100_0 + 4310776/2026757, c_0101_11 - 40934/2026757*c_1100_0^9 + 118433/2026757*c_1100_0^8 - 326146/2026757*c_1100_0^7 + 443316/2026757*c_1100_0^6 + 111444/2026757*c_1100_0^5 + 963282/2026757*c_1100_0^4 + 3613023/2026757*c_1100_0^3 + 1859872/2026757*c_1100_0^2 + 6421051/2026757*c_1100_0 + 458800/2026757, c_0101_3 - 248577/2026757*c_1100_0^9 + 238876/2026757*c_1100_0^8 - 415266/2026757*c_1100_0^7 + 1594989/2026757*c_1100_0^6 + 3492254/2026757*c_1100_0^5 + 6455691/2026757*c_1100_0^4 + 12734485/2026757*c_1100_0^3 + 10254445/2026757*c_1100_0^2 + 12881838/2026757*c_1100_0 + 3845003/2026757, c_0110_11 - 71121/2026757*c_1100_0^9 - 105812/2026757*c_1100_0^8 + 72051/2026757*c_1100_0^7 + 353344/2026757*c_1100_0^6 + 1976783/2026757*c_1100_0^5 + 4131574/2026757*c_1100_0^4 + 6656982/2026757*c_1100_0^3 + 8102316/2026757*c_1100_0^2 + 6424599/2026757*c_1100_0 + 3363294/2026757, c_1001_0 + 24060/2026757*c_1100_0^9 - 92784/2026757*c_1100_0^8 + 111985/2026757*c_1100_0^7 - 4292/2026757*c_1100_0^6 + 12033/2026757*c_1100_0^5 + 43012/2026757*c_1100_0^4 - 792346/2026757*c_1100_0^3 - 2040466/2026757*c_1100_0^2 - 4090919/2026757*c_1100_0 - 4294666/2026757, c_1001_1 + 43738/2026757*c_1100_0^9 - 69606/2026757*c_1100_0^8 + 189254/2026757*c_1100_0^7 - 445164/2026757*c_1100_0^6 - 699368/2026757*c_1100_0^5 - 776653/2026757*c_1100_0^4 - 2437420/2026757*c_1100_0^3 - 369790/2026757*c_1100_0^2 - 1448652/2026757*c_1100_0 + 2557780/2026757, c_1100_0^10 - c_1100_0^9 + 2*c_1100_0^8 - 6*c_1100_0^7 - 14*c_1100_0^6 - 28*c_1100_0^5 - 59*c_1100_0^4 - 53*c_1100_0^3 - 82*c_1100_0^2 - 34*c_1100_0 - 13 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0110_11, c_1001_0, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 2048487963385/67136703*c_1100_0^11 + 1971153502880/22378901*c_1100_0^10 + 11611089289679/268546812*c_1100_0^9 - 1994754677440/22378901*c_1100_0^8 - 1819496829153/22378901*c_1100_0^7 + 121131772695241/2148374496*c_1100_0^6 + 191090585250505/2148374496*c_1100_0^5 + 59504869352525/2148374496*c_1100_0^4 + 494141121149/44757802*c_1100_0^3 + 11151587659675/358062416*c_1100_0^2 + 59914744659667/2148374496*c_1100_0 + 17645813388083/2148374496, c_0011_0 - 1, c_0011_10 + 434689088/67136703*c_1100_0^11 + 144272256/22378901*c_1100_0^10 - 946702256/67136703*c_1100_0^9 - 287050112/22378901*c_1100_0^8 + 296054328/22378901*c_1100_0^7 + 1005397210/67136703*c_1100_0^6 - 398676050/67136703*c_1100_0^5 - 371513731/67136703*c_1100_0^4 + 33361316/22378901*c_1100_0^3 + 63405693/22378901*c_1100_0^2 - 100357235/67136703*c_1100_0 - 90544213/67136703, c_0011_11 - 962779360/67136703*c_1100_0^11 - 1886792192/67136703*c_1100_0^10 + 161573832/22378901*c_1100_0^9 + 829159328/22378901*c_1100_0^8 + 46461816/22378901*c_1100_0^7 - 1999263215/67136703*c_1100_0^6 - 277274445/22378901*c_1100_0^5 - 64057612/67136703*c_1100_0^4 - 352751522/67136703*c_1100_0^3 - 547653556/67136703*c_1100_0^2 - 292206820/67136703*c_1100_0 + 5307441/22378901, c_0011_3 + 165262080/22378901*c_1100_0^11 + 250074976/22378901*c_1100_0^10 - 201929888/22378901*c_1100_0^9 - 364721208/22378901*c_1100_0^8 + 115723672/22378901*c_1100_0^7 + 327947712/22378901*c_1100_0^6 + 48768971/22378901*c_1100_0^5 - 35373212/22378901*c_1100_0^4 + 37268875/22378901*c_1100_0^3 + 96463517/22378901*c_1100_0^2 + 12463167/22378901*c_1100_0 - 23283707/22378901, c_0101_0 - 436811104/22378901*c_1100_0^11 - 3162766784/67136703*c_1100_0^10 - 426046264/67136703*c_1100_0^9 + 1307643632/22378901*c_1100_0^8 + 574491072/22378901*c_1100_0^7 - 1028924931/22378901*c_1100_0^6 - 2423562775/67136703*c_1100_0^5 - 47514201/22378901*c_1100_0^4 - 402920387/67136703*c_1100_0^3 - 1123725766/67136703*c_1100_0^2 - 649205057/67136703*c_1100_0 - 81842366/67136703, c_0101_1 - 648254368/67136703*c_1100_0^11 - 412442368/22378901*c_1100_0^10 + 415358728/67136703*c_1100_0^9 + 587008736/22378901*c_1100_0^8 - 10016776/22378901*c_1100_0^7 - 1531821317/67136703*c_1100_0^6 - 332699501/67136703*c_1100_0^5 + 140198114/67136703*c_1100_0^4 - 119306034/22378901*c_1100_0^3 - 143961105/22378901*c_1100_0^2 - 65506493/67136703*c_1100_0 + 28728002/67136703, c_0101_11 + 436811104/22378901*c_1100_0^11 + 3162766784/67136703*c_1100_0^10 + 426046264/67136703*c_1100_0^9 - 1307643632/22378901*c_1100_0^8 - 574491072/22378901*c_1100_0^7 + 1028924931/22378901*c_1100_0^6 + 2423562775/67136703*c_1100_0^5 + 47514201/22378901*c_1100_0^4 + 402920387/67136703*c_1100_0^3 + 1123725766/67136703*c_1100_0^2 + 649205057/67136703*c_1100_0 + 81842366/67136703, c_0101_3 + c_1100_0, c_0110_11 + 1577675648/67136703*c_1100_0^11 + 3562234688/67136703*c_1100_0^10 + 176137472/67136703*c_1100_0^9 - 1435561552/22378901*c_1100_0^8 - 475472552/22378901*c_1100_0^7 + 3374509636/67136703*c_1100_0^6 + 2252770646/67136703*c_1100_0^5 + 321321773/67136703*c_1100_0^4 + 659680256/67136703*c_1100_0^3 + 1264752016/67136703*c_1100_0^2 + 242728286/22378901*c_1100_0 + 114013429/67136703, c_1001_0 - 546257600/22378901*c_1100_0^11 - 3879642848/67136703*c_1100_0^10 - 517050064/67136703*c_1100_0^9 + 1513232648/22378901*c_1100_0^8 + 655803208/22378901*c_1100_0^7 - 1117651854/22378901*c_1100_0^6 - 2797753609/67136703*c_1100_0^5 - 195571956/22378901*c_1100_0^4 - 671402933/67136703*c_1100_0^3 - 1363925488/67136703*c_1100_0^2 - 865931594/67136703*c_1100_0 - 134706521/67136703, c_1001_1 - 546257600/22378901*c_1100_0^11 - 3879642848/67136703*c_1100_0^10 - 517050064/67136703*c_1100_0^9 + 1513232648/22378901*c_1100_0^8 + 655803208/22378901*c_1100_0^7 - 1117651854/22378901*c_1100_0^6 - 2797753609/67136703*c_1100_0^5 - 195571956/22378901*c_1100_0^4 - 671402933/67136703*c_1100_0^3 - 1363925488/67136703*c_1100_0^2 - 865931594/67136703*c_1100_0 - 134706521/67136703, c_1100_0^12 + 3*c_1100_0^11 + 7/4*c_1100_0^10 - 11/4*c_1100_0^9 - 3*c_1100_0^8 + 49/32*c_1100_0^7 + 25/8*c_1100_0^6 + 5/4*c_1100_0^5 + 15/32*c_1100_0^4 + 17/16*c_1100_0^3 + 33/32*c_1100_0^2 + 3/8*c_1100_0 + 1/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.770 Total time: 0.980 seconds, Total memory usage: 64.12MB