Magma V2.19-8 Tue Aug 20 2013 23:53:16 on localhost [Seed = 2295260006] Type ? for help. Type -D to quit. Loading file "L13n4__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4 geometric_solution 11.49723398 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 3 0132 0132 0132 3120 1 1 0 0 0 0 0 0 0 0 1 -1 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 0 -1 1 -1 0 3 -2 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.544841639884 0.758773326582 0 4 5 5 0132 0132 2103 0132 0 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 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.789786348762 0.878804809559 6 0 8 7 0132 0132 0132 0132 1 1 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 -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.869565169443 0.624396372814 0 9 8 0 3120 0132 3120 0132 1 1 0 1 0 0 0 0 1 0 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 -1 0 1 2 0 1 -3 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.581370312038 0.969175399807 10 1 7 11 0132 0132 2103 0132 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.541019066345 0.392864645908 1 10 1 6 2103 3120 0132 2031 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 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.434274931273 0.629489116980 2 5 9 11 0132 1302 2031 2103 1 1 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 -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.000000000000 1.000000000000 4 10 2 8 2103 1230 0132 3120 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 0 0.855071699006 0.765546057797 7 11 3 2 3120 2031 3120 0132 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 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.371228637506 0.606325930545 11 3 10 6 1023 0132 1230 1302 1 0 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 1 0 -1 -1 0 0 1 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.544762820604 1.310308878401 4 5 7 9 0132 3120 3012 3012 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.718148458748 0.794981978885 8 9 4 6 1302 1023 0132 2103 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 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.349295044691 0.729468469093 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_5'], 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_0011_7'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0110_11'], 'c_1001_2' : d['c_0011_11'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0110_11']), 'c_1010_11' : negation(d['c_0110_5']), 'c_1010_10' : negation(d['c_0011_5']), 's_0_10' : negation(d['1']), 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : negation(d['c_0011_8']), 'c_0101_10' : negation(d['c_0011_8']), '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' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_3']), 'c_1100_5' : negation(d['c_0110_5']), 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : negation(d['c_0110_11']), 'c_1100_1' : negation(d['c_0110_5']), 'c_1100_0' : negation(d['c_0101_3']), 'c_1100_3' : negation(d['c_0101_3']), 'c_1100_2' : negation(d['c_0101_3']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_2']), 'c_1100_10' : negation(d['c_1001_0']), 's_3_10' : negation(d['1']), 'c_1010_7' : negation(d['c_0011_8']), 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_7'], 'c_1010_0' : d['c_0011_11'], 'c_1010_9' : d['c_0110_11'], 'c_1010_8' : d['c_0011_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' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_4'], 'c_0110_0' : d['c_0101_0'], 'c_0101_7' : d['c_0101_4'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_5'], 'c_0101_8' : d['c_0101_3'], 'c_0011_10' : negation(d['c_0011_0']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0110_5']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_4'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_8']), '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_11, c_0011_5, c_0011_7, c_0011_8, c_0101_0, c_0101_2, c_0101_3, c_0101_4, c_0110_11, c_0110_5, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 8618070397/14157210275*c_1001_0^11 - 11023448927/14157210275*c_1001_0^10 - 127258614523/28314420550*c_1001_0^9 - 3560728381/534234350*c_1001_0^8 - 904189172933/56628841100*c_1001_0\ ^7 - 325740661247/14157210275*c_1001_0^6 - 411471403186/14157210275*c_1001_0^5 - 2220622385493/56628841100*c_1001_0^4 - 24605720891/832777075*c_1001_0^3 - 1386412334183/56628841100*c_1001_0^2 - 733825879127/56628841100*c_1001_0 - 117502132017/28314420550, c_0011_0 - 1, c_0011_11 + 10682168/64059775*c_1001_0^11 - 28089512/64059775*c_1001_0^10 + 84445356/64059775*c_1001_0^9 - 3101368/1208675*c_1001_0^8 + 253699838/64059775*c_1001_0^7 - 428739282/64059775*c_1001_0^6 + 323649284/64059775*c_1001_0^5 - 406746177/64059775*c_1001_0^4 - 75176632/64059775*c_1001_0^3 - 55759537/64059775*c_1001_0^2 - 130778753/64059775*c_1001_0 - 61223576/64059775, c_0011_5 + 30091088/64059775*c_1001_0^11 - 42695292/64059775*c_1001_0^10 + 221610396/64059775*c_1001_0^9 - 4013138/1208675*c_1001_0^8 + 686948358/64059775*c_1001_0^7 - 465020087/64059775*c_1001_0^6 + 980260644/64059775*c_1001_0^5 - 166506082/64059775*c_1001_0^4 + 349034938/64059775*c_1001_0^3 + 221953233/64059775*c_1001_0^2 + 59939052/64059775*c_1001_0 - 33415741/64059775, c_0011_7 - 18050412/64059775*c_1001_0^11 - 5791192/64059775*c_1001_0^10 - 128541954/64059775*c_1001_0^9 - 1520288/1208675*c_1001_0^8 - 373408167/64059775*c_1001_0^7 - 321613087/64059775*c_1001_0^6 - 482631731/64059775*c_1001_0^5 - 663585657/64059775*c_1001_0^4 - 203748937/64059775*c_1001_0^3 - 486660367/64059775*c_1001_0^2 - 266172373/64059775*c_1001_0 - 48187141/64059775, c_0011_8 + 47500944/64059775*c_1001_0^11 - 55091196/64059775*c_1001_0^10 + 393898848/64059775*c_1001_0^9 - 4977794/1208675*c_1001_0^8 + 1305683104/64059775*c_1001_0^7 - 543307131/64059775*c_1001_0^6 + 2074665947/64059775*c_1001_0^5 - 42330841/64059775*c_1001_0^4 + 1039187394/64059775*c_1001_0^3 + 615374229/64059775*c_1001_0^2 + 414790026/64059775*c_1001_0 + 28048967/64059775, c_0101_0 - 1, c_0101_2 + 43048008/64059775*c_1001_0^11 - 36179672/64059775*c_1001_0^10 + 294913536/64059775*c_1001_0^9 - 2378308/1208675*c_1001_0^8 + 850898128/64059775*c_1001_0^7 - 127567892/64059775*c_1001_0^6 + 1077166529/64059775*c_1001_0^5 + 514138463/64059775*c_1001_0^4 + 313240033/64059775*c_1001_0^3 + 609930878/64059775*c_1001_0^2 + 299346982/64059775*c_1001_0 - 1326856/64059775, c_0101_3 + 10682168/64059775*c_1001_0^11 - 28089512/64059775*c_1001_0^10 + 84445356/64059775*c_1001_0^9 - 3101368/1208675*c_1001_0^8 + 253699838/64059775*c_1001_0^7 - 428739282/64059775*c_1001_0^6 + 323649284/64059775*c_1001_0^5 - 406746177/64059775*c_1001_0^4 - 75176632/64059775*c_1001_0^3 - 55759537/64059775*c_1001_0^2 - 194838528/64059775*c_1001_0 - 61223576/64059775, c_0101_4 + 17407344/64059775*c_1001_0^11 - 4329096/64059775*c_1001_0^10 + 116302748/64059775*c_1001_0^9 - 100744/1208675*c_1001_0^8 + 337940854/64059775*c_1001_0^7 + 34203344/64059775*c_1001_0^6 + 433451597/64059775*c_1001_0^5 + 224726984/64059775*c_1001_0^4 + 178604469/64059775*c_1001_0^3 + 269613704/64059775*c_1001_0^2 + 61223576/64059775*c_1001_0 + 66730317/64059775, c_0110_11 + 60455352/64059775*c_1001_0^11 - 40508768/64059775*c_1001_0^10 + 411216284/64059775*c_1001_0^9 - 2479052/1208675*c_1001_0^8 + 1188838982/64059775*c_1001_0^7 - 93364548/64059775*c_1001_0^6 + 1510618126/64059775*c_1001_0^5 + 738865447/64059775*c_1001_0^4 + 491844502/64059775*c_1001_0^3 + 879544582/64059775*c_1001_0^2 + 360570558/64059775*c_1001_0 + 65403461/64059775, c_0110_5 + 1925660/2562391*c_1001_0^11 - 1476164/2562391*c_1001_0^10 + 14006094/2562391*c_1001_0^9 - 99714/48347*c_1001_0^8 + 42414261/2562391*c_1001_0^7 - 5736280/2562391*c_1001_0^6 + 58515695/2562391*c_1001_0^5 + 19883183/2562391*c_1001_0^4 + 22111355/2562391*c_1001_0^3 + 28344544/2562391*c_1001_0^2 + 13044457/2562391*c_1001_0 + 590856/2562391, c_1001_0^12 - c_1001_0^11 + 15/2*c_1001_0^10 - 9/2*c_1001_0^9 + 93/4*c_1001_0^8 - 17/2*c_1001_0^7 + 67/2*c_1001_0^6 + 5/2*c_1001_0^5 + 14*c_1001_0^4 + 23/2*c_1001_0^3 + 7*c_1001_0^2 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB