Magma V2.19-8 Tue Aug 20 2013 23:51:05 on localhost [Seed = 2430008214] Type ? for help. Type -D to quit. Loading file "L13a5050__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a5050 geometric_solution 11.28895811 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 1 2 3 0132 1302 0132 0132 1 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 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.426338573697 0.764673770799 0 4 5 0 0132 0132 0132 2031 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 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.627766479919 0.836794212355 6 6 7 0 0132 1230 0132 0132 1 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 0 0 0 0 -1 0 1 0 0 0 0 -5 4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597111458905 1.363811777545 7 4 0 8 1302 1302 0132 0132 1 1 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 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.562300881875 0.662745405150 9 1 9 3 0132 0132 3012 2031 1 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 0 0 0 0 0 0 0 0 -4 0 5 -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.443778438206 0.997629736780 10 11 9 1 0132 0132 3120 0132 1 1 1 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 0 0 0 0 1 0 -1 0 0 0 0 -5 4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.255638543721 0.877327692026 2 9 2 11 0132 1302 3012 3012 1 1 1 0 0 -1 0 1 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 -4 0 0 1 -1 0 -5 0 5 5 -1 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.730609151358 0.615292851380 11 3 8 2 3012 2031 2310 0132 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.366473263966 0.356265333211 8 7 3 8 3012 3201 0132 1230 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.997884830001 1.139959715526 4 4 5 6 0132 1230 3120 2031 1 1 0 1 0 1 0 -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 0 0 0 0 -5 0 5 4 0 0 -4 -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.426338573697 0.764673770799 5 10 11 10 0132 2310 3201 3201 1 1 1 1 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 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.001627664061 0.877220961051 10 5 6 7 2310 0132 1230 1230 1 1 1 1 0 0 0 0 -1 0 1 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 1 0 5 0 -5 0 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.402888541095 1.363811777545 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_3'], 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : negation(d['c_0101_8']), 'c_1001_6' : negation(d['c_0011_2']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0101_9'], 'c_1001_2' : d['c_0011_3'], 'c_1001_9' : negation(d['c_0101_7']), 'c_1001_8' : negation(d['c_0101_7']), 'c_1010_11' : d['c_0101_7'], 'c_1010_10' : d['c_0101_11'], 's_0_10' : negation(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' : negation(d['c_0011_7']), '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_10' : negation(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' : negation(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_0101_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : d['c_0101_7'], 'c_1100_7' : d['c_0011_8'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0101_9']), 'c_1100_0' : d['c_0011_8'], 'c_1100_3' : d['c_0011_8'], 'c_1100_2' : d['c_0011_8'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_2'], 'c_1100_10' : negation(d['c_0011_10']), 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0101_7']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_0101_9'], 'c_1010_9' : negation(d['c_0011_2']), 'c_1010_8' : d['c_0101_8'], 'c_1100_8' : d['c_0011_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'], '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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0110_11' : d['c_0011_7'], 'c_0110_10' : negation(d['c_0101_11']), 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_11']), 'c_0101_4' : negation(d['c_0011_2']), 'c_0101_3' : negation(d['c_0011_7']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_7']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_2']), 'c_0110_8' : d['c_0011_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_7']), 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2']})} 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_2, c_0011_3, c_0011_7, c_0011_8, c_0101_0, c_0101_11, c_0101_2, c_0101_7, c_0101_8, c_0101_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 6009/1600*c_0101_9^7 + 11047/800*c_0101_9^6 + 127143/1600*c_0101_9^5 - 81749/200*c_0101_9^4 + 148051/200*c_0101_9^3 - 19257/25*c_0101_9^2 + 45047/100*c_0101_9 - 7093/50, c_0011_0 - 1, c_0011_10 + 1/16*c_0101_9^7 - 1/4*c_0101_9^6 - 19/16*c_0101_9^5 + 57/8*c_0101_9^4 - 16*c_0101_9^3 + 41/2*c_0101_9^2 - 31/2*c_0101_9 + 6, c_0011_2 + 5/32*c_0101_9^7 - 3/4*c_0101_9^6 - 89/32*c_0101_9^5 + 169/8*c_0101_9^4 - 189/4*c_0101_9^3 + 217/4*c_0101_9^2 - 137/4*c_0101_9 + 21/2, c_0011_3 - 3/32*c_0101_9^7 + 1/16*c_0101_9^6 + 85/32*c_0101_9^5 - 7/2*c_0101_9^4 - 7/2*c_0101_9^3 + 47/4*c_0101_9^2 - 43/4*c_0101_9 + 9/2, c_0011_7 + 1, c_0011_8 - 9/32*c_0101_9^7 + 15/16*c_0101_9^6 + 195/32*c_0101_9^5 - 227/8*c_0101_9^4 + 201/4*c_0101_9^3 - 189/4*c_0101_9^2 + 99/4*c_0101_9 - 11/2, c_0101_0 + 5/32*c_0101_9^7 - 3/4*c_0101_9^6 - 89/32*c_0101_9^5 + 169/8*c_0101_9^4 - 189/4*c_0101_9^3 + 217/4*c_0101_9^2 - 137/4*c_0101_9 + 21/2, c_0101_11 - 9/32*c_0101_9^7 + 15/16*c_0101_9^6 + 195/32*c_0101_9^5 - 227/8*c_0101_9^4 + 201/4*c_0101_9^3 - 189/4*c_0101_9^2 + 99/4*c_0101_9 - 11/2, c_0101_2 - 3/8*c_0101_9^7 + c_0101_9^6 + 35/4*c_0101_9^5 - 255/8*c_0101_9^4 + 187/4*c_0101_9^3 - 71/2*c_0101_9^2 + 14*c_0101_9 - 1, c_0101_7 + 1, c_0101_8 - 1/16*c_0101_9^7 + 1/4*c_0101_9^6 + 19/16*c_0101_9^5 - 57/8*c_0101_9^4 + 16*c_0101_9^3 - 41/2*c_0101_9^2 + 31/2*c_0101_9 - 6, c_0101_9^8 - 4*c_0101_9^7 - 19*c_0101_9^6 + 114*c_0101_9^5 - 256*c_0101_9^4 + 328*c_0101_9^3 - 264*c_0101_9^2 + 128*c_0101_9 - 32 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_2, c_0011_3, c_0011_7, c_0011_8, c_0101_0, c_0101_11, c_0101_2, c_0101_7, c_0101_8, c_0101_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 2088517218606318950651/482371132945263286*c_0101_9^13 + 75818331957315613739623/964742265890526572*c_0101_9^12 - 497359353979301727435583/482371132945263286*c_0101_9^11 + 2237153276598136884293945/482371132945263286*c_0101_9^10 - 2455618514968936392354306/241185566472631643*c_0101_9^9 + 11483901647959016177077219/964742265890526572*c_0101_9^8 - 3335504243422641120270867/482371132945263286*c_0101_9^7 + 707507417463273092205207/482371132945263286*c_0101_9^6 + 328169314408265168743/1262751656924773*c_0101_9^5 + 209168760218641845101639/964742265890526572*c_0101_9^4 - 103114729829196528771080/241185566472631643*c_0101_9^3 + 51562469211057770663569/241185566472631643*c_0101_9^2 - 21179122553949707776115/482371132945263286*c_0101_9 + 3457740715013980276807/964742265890526572, c_0011_0 - 1, c_0011_10 - 129067324311613/566828593355186*c_0101_9^13 - 2191752590978509/566828593355186*c_0101_9^12 + 16732111003900546/283414296677593*c_0101_9^11 - 174433350212785411/566828593355186*c_0101_9^10 + 468120406037614107/566828593355186*c_0101_9^9 - 361060658386661687/283414296677593*c_0101_9^8 + 322106308426913571/283414296677593*c_0101_9^7 - 150270727283351833/283414296677593*c_0101_9^6 + 179064504089771/2967688970446*c_0101_9^5 + 21564894293646287/566828593355186*c_0101_9^4 + 6171759392699180/283414296677593*c_0101_9^3 - 22095931947804875/566828593355186*c_0101_9^2 + 10059325937680569/566828593355186*c_0101_9 - 658940925404190/283414296677593, c_0011_2 - 442808877651585/1133657186710372*c_0101_9^13 - 3904221502603587/566828593355186*c_0101_9^12 + 109920057271848877/1133657186710372*c_0101_9^11 - 523155974030656657/1133657186710372*c_0101_9^10 + 606865605851196731/566828593355186*c_0101_9^9 - 1439433802779208177/1133657186710372*c_0101_9^8 + 171063631399701552/283414296677593*c_0101_9^7 + 39308974060796055/283414296677593*c_0101_9^6 - 1189473921886937/5935377940892*c_0101_9^5 - 9939330734727807/566828593355186*c_0101_9^4 + 76896313052915815/1133657186710372*c_0101_9^3 - 14420314124627891/1133657186710372*c_0101_9^2 - 4502203387446517/566828593355186*c_0101_9 + 2751027561684845/1133657186710372, c_0011_3 + 305516046175005/283414296677593*c_0101_9^13 + 5285697061538469/283414296677593*c_0101_9^12 - 77556437532304071/283414296677593*c_0101_9^11 + 775123170487459969/566828593355186*c_0101_9^10 - 1953489637479187279/566828593355186*c_0101_9^9 + 2727967318663121825/566828593355186*c_0101_9^8 - 1022121310637431721/283414296677593*c_0101_9^7 + 329725928289569208/283414296677593*c_0101_9^6 + 71282107620697/1483844485223*c_0101_9^5 - 1781250821457055/283414296677593*c_0101_9^4 - 50097653918443988/283414296677593*c_0101_9^3 + 69428817311493619/566828593355186*c_0101_9^2 - 18737570842920121/566828593355186*c_0101_9 + 1692994382349031/566828593355186, c_0011_7 + 1, c_0011_8 + 159285645854979/283414296677593*c_0101_9^13 + 2621381354458444/283414296677593*c_0101_9^12 - 42801763389686991/283414296677593*c_0101_9^11 + 470909906304819123/566828593355186*c_0101_9^10 - 1338929625527621971/566828593355186*c_0101_9^9 + 1091377797296606187/283414296677593*c_0101_9^8 - 2030633037905429779/566828593355186*c_0101_9^7 + 472724668186591171/283414296677593*c_0101_9^6 - 498170292142537/2967688970446*c_0101_9^5 - 18982482357165507/283414296677593*c_0101_9^4 - 67594611876781579/566828593355186*c_0101_9^3 + 74571388266901269/566828593355186*c_0101_9^2 - 13279709633286514/283414296677593*c_0101_9 + 1726438114085836/283414296677593, c_0101_0 + 132361948788853/1133657186710372*c_0101_9^13 + 1509828830809635/566828593355186*c_0101_9^12 - 20776561656859881/1133657186710372*c_0101_9^11 - 13824432145811707/1133657186710372*c_0101_9^10 + 226209449232738855/566828593355186*c_0101_9^9 - 1498640891790174409/1133657186710372*c_0101_9^8 + 1113847223347439601/566828593355186*c_0101_9^7 - 384270215957237409/283414296677593*c_0101_9^6 + 1609208193154595/5935377940892*c_0101_9^5 + 57139056184756299/566828593355186*c_0101_9^4 + 17832080878578355/1133657186710372*c_0101_9^3 - 95385059376035205/1133657186710372*c_0101_9^2 + 11156185672834119/283414296677593*c_0101_9 - 6773390507554491/1133657186710372, c_0101_11 - 17661823303560/283414296677593*c_0101_9^13 - 624371392241581/566828593355186*c_0101_9^12 + 8763964723264259/566828593355186*c_0101_9^11 - 20488891457156336/283414296677593*c_0101_9^10 + 89913387592409893/566828593355186*c_0101_9^9 - 43625968788589029/283414296677593*c_0101_9^8 - 2840787124516133/566828593355186*c_0101_9^7 + 39038010273871536/283414296677593*c_0101_9^6 - 295080746851615/2967688970446*c_0101_9^5 + 7891469483582591/566828593355186*c_0101_9^4 + 2264124202556447/283414296677593*c_0101_9^3 + 1087245427694852/283414296677593*c_0101_9^2 - 1677704423103206/283414296677593*c_0101_9 + 421351869372391/283414296677593, c_0101_2 + 346045244305344/283414296677593*c_0101_9^13 + 6045947302862353/283414296677593*c_0101_9^12 - 86820258028172102/283414296677593*c_0101_9^11 + 424030307326456288/283414296677593*c_0101_9^10 - 2064340371127561481/566828593355186*c_0101_9^9 + 2720649447762377035/566828593355186*c_0101_9^8 - 905902996491449618/283414296677593*c_0101_9^7 + 389526190889490655/566828593355186*c_0101_9^6 + 330459949479684/1483844485223*c_0101_9^5 + 10507297600273767/566828593355186*c_0101_9^4 - 54550242290289137/283414296677593*c_0101_9^3 + 56859864707381365/566828593355186*c_0101_9^2 - 9981595969895879/566828593355186*c_0101_9 + 48038081340408/283414296677593, c_0101_7 + 45020733722281/283414296677593*c_0101_9^13 + 1539109267817731/566828593355186*c_0101_9^12 - 23180761748320935/566828593355186*c_0101_9^11 + 59484742047824035/283414296677593*c_0101_9^10 - 311461960647241231/566828593355186*c_0101_9^9 + 460452259340468897/566828593355186*c_0101_9^8 - 189640935282214165/283414296677593*c_0101_9^7 + 74661369856921667/283414296677593*c_0101_9^6 - 20474547745196/1483844485223*c_0101_9^5 - 1230009171471879/566828593355186*c_0101_9^4 - 17632134286772151/566828593355186*c_0101_9^3 + 6334071755486605/283414296677593*c_0101_9^2 - 2814326887266075/566828593355186*c_0101_9 + 1657064574663/566828593355186, c_0101_8 - 568485657929849/566828593355186*c_0101_9^13 - 9754297652251995/566828593355186*c_0101_9^12 + 72849338068006580/283414296677593*c_0101_9^11 - 742000933825255819/566828593355186*c_0101_9^10 + 1923599484846299387/566828593355186*c_0101_9^9 - 1405046393522779814/283414296677593*c_0101_9^8 + 1142382491401385962/283414296677593*c_0101_9^7 - 447063001599216715/283414296677593*c_0101_9^6 + 262909561358815/2967688970446*c_0101_9^5 + 19759476055191701/566828593355186*c_0101_9^4 + 44672643075299237/283414296677593*c_0101_9^3 - 76736484929582783/566828593355186*c_0101_9^2 + 25990538292831185/566828593355186*c_0101_9 - 1721164739555795/283414296677593, c_0101_9^14 + 17*c_0101_9^13 - 259*c_0101_9^12 + 1346*c_0101_9^11 - 3593*c_0101_9^10 + 5491*c_0101_9^9 - 4829*c_0101_9^8 + 2240*c_0101_9^7 - 351*c_0101_9^6 - 21*c_0101_9^5 - 155*c_0101_9^4 + 166*c_0101_9^3 - 69*c_0101_9^2 + 13*c_0101_9 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.150 Total time: 0.360 seconds, Total memory usage: 32.09MB