Magma V2.19-8 Tue Aug 20 2013 18:16:07 on localhost [Seed = 139047160] Type ? for help. Type -D to quit. Loading file "11_377__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_377 geometric_solution 12.77505394 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 14 1 2 3 4 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 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.324103062070 0.796061057951 0 5 4 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.353636046326 0.575901219412 4 0 8 7 3012 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 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.748656468177 0.633972763634 9 10 7 0 0132 0132 1302 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.142783542106 0.984860654292 8 1 0 2 0132 1230 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.451656942622 1.255401597396 11 1 9 6 0132 0132 0213 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.656022039652 0.853845180462 12 5 1 8 0132 0321 0132 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 -1 0 1 0 0 0 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.790247721355 2.097321346151 3 13 2 13 2031 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.713394170736 0.739735651864 4 6 11 2 0132 1302 0213 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 0 1 -1 0 0 -1 1 0 -1 0 1 -1 -2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.608497565407 0.958435924750 3 5 12 10 0132 0213 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -0.275507181873 1.565255801776 11 3 13 9 3012 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.223849801778 1.013595280068 5 8 12 10 0132 0213 0213 1230 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 1 0 0 0 1 -1 -1 1 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.425707025058 0.817141887176 6 11 13 9 0132 0213 1023 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 0 0 0 0 0 -1 0 1 2 -3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.192898844226 0.440487375008 7 7 12 10 3012 0132 1023 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.455398488423 1.175393042622 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : d['1'], 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : d['c_1001_0'], 'c_1001_13' : d['c_0101_12'], 'c_1001_12' : d['c_0101_12'], 'c_1001_5' : d['c_0110_10'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0110_10'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_13'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0110_10'], 'c_1001_8' : d['c_0101_12'], 'c_1010_13' : d['c_1001_0'], 'c_1010_12' : d['c_0110_10'], 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : d['c_0011_13'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_12'], '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_13' : 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_0011_11' : negation(d['c_0011_0']), 'c_1100_8' : d['c_0101_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : d['c_0101_7'], 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : negation(d['c_1001_2']), 'c_1100_1' : negation(d['c_1001_2']), 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : d['c_0101_10'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_10'], 'c_1100_10' : d['c_1100_10'], 'c_1100_13' : d['c_1100_10'], 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0101_12'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0011_4']), 's_3_12' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0110_10'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0110_10'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 'c_0101_13' : d['c_0101_12'], '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_1100_10']), '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_10'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_13']), '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0110_10'], 'c_0110_13' : d['c_0101_10'], 'c_0110_12' : d['c_0101_0'], 'c_1010_4' : d['c_0101_1'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_13'], 'c_0101_2' : d['c_0101_1'], '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_0011_0']), 'c_0011_10' : d['c_0011_10'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_13'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1100_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0011_12'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : d['c_0011_13'], 'c_0110_6' : d['c_0101_12']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_7, c_0110_10, c_1001_0, c_1001_2, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 531888576/20383615*c_1100_10^9 + 786763492/20383615*c_1100_10^8 - 229291009/20383615*c_1100_10^7 + 875990898/20383615*c_1100_10^6 + 2213660996/20383615*c_1100_10^5 + 90695096/4076723*c_1100_10^4 + 11816965408/20383615*c_1100_10^3 - 3003289774/20383615*c_1100_10^2 + 9048229692/20383615*c_1100_10 + 1100076311/20383615, c_0011_0 - 1, c_0011_10 - 136378/582389*c_1100_10^9 - 92923/582389*c_1100_10^8 + 162344/582389*c_1100_10^7 - 365045/582389*c_1100_10^6 - 349934/582389*c_1100_10^5 + 279438/582389*c_1100_10^4 - 3337370/582389*c_1100_10^3 + 3030687/582389*c_1100_10^2 - 4162721/582389*c_1100_10 + 1398841/582389, c_0011_12 + 298208/2911945*c_1100_10^9 + 395211/2911945*c_1100_10^8 + 37353/2911945*c_1100_10^7 + 878749/2911945*c_1100_10^6 + 912923/2911945*c_1100_10^5 - 15500/582389*c_1100_10^4 + 7201239/2911945*c_1100_10^3 - 3557207/2911945*c_1100_10^2 + 9441351/2911945*c_1100_10 + 567843/2911945, c_0011_13 - 487749/2911945*c_1100_10^9 - 392688/2911945*c_1100_10^8 + 728576/2911945*c_1100_10^7 - 800372/2911945*c_1100_10^6 - 1209304/2911945*c_1100_10^5 + 197814/582389*c_1100_10^4 - 10316017/2911945*c_1100_10^3 + 10567821/2911945*c_1100_10^2 - 8695228/2911945*c_1100_10 + 5220636/2911945, c_0011_4 - 541888/2911945*c_1100_10^9 - 667536/2911945*c_1100_10^8 + 407397/2911945*c_1100_10^7 - 879689/2911945*c_1100_10^6 - 1784843/2911945*c_1100_10^5 + 49664/582389*c_1100_10^4 - 12111109/2911945*c_1100_10^3 + 7019237/2911945*c_1100_10^2 - 8136456/2911945*c_1100_10 + 989852/2911945, c_0101_0 - 25097/582389*c_1100_10^9 + 5281/582389*c_1100_10^8 + 48315/582389*c_1100_10^7 - 95170/582389*c_1100_10^6 - 39133/582389*c_1100_10^5 + 95554/582389*c_1100_10^4 - 506273/582389*c_1100_10^3 + 1202635/582389*c_1100_10^2 - 1123295/582389*c_1100_10 + 1014714/582389, c_0101_1 + 300898/2911945*c_1100_10^9 - 4374/2911945*c_1100_10^8 - 683832/2911945*c_1100_10^7 + 726279/2911945*c_1100_10^6 + 188348/2911945*c_1100_10^5 - 273134/582389*c_1100_10^4 + 7009989/2911945*c_1100_10^3 - 11634582/2911945*c_1100_10^2 + 9114696/2911945*c_1100_10 - 6212622/2911945, c_0101_10 + 1051218/2911945*c_1100_10^9 + 871431/2911945*c_1100_10^8 - 1460557/2911945*c_1100_10^7 + 1985344/2911945*c_1100_10^6 + 2915158/2911945*c_1100_10^5 - 384065/582389*c_1100_10^4 + 23789579/2911945*c_1100_10^3 - 21858657/2911945*c_1100_10^2 + 21770186/2911945*c_1100_10 - 8010012/2911945, c_0101_12 - 186851/2911945*c_1100_10^9 - 397062/2911945*c_1100_10^8 + 44744/2911945*c_1100_10^7 - 74093/2911945*c_1100_10^6 - 1020956/2911945*c_1100_10^5 - 75320/582389*c_1100_10^4 - 3306028/2911945*c_1100_10^3 - 1066761/2911945*c_1100_10^2 + 419468/2911945*c_1100_10 - 991986/2911945, c_0101_7 - 1318839/2911945*c_1100_10^9 - 1372978/2911945*c_1100_10^8 + 1043991/2911945*c_1100_10^7 - 2958857/2911945*c_1100_10^6 - 4035834/2911945*c_1100_10^5 + 148660/582389*c_1100_10^4 - 31074047/2911945*c_1100_10^3 + 20625171/2911945*c_1100_10^2 - 31244203/2911945*c_1100_10 + 8471806/2911945, c_0110_10 - 693778/2911945*c_1100_10^9 - 783626/2911945*c_1100_10^8 + 632277/2911945*c_1100_10^7 - 1060479/2911945*c_1100_10^6 - 2137128/2911945*c_1100_10^5 - 21294/582389*c_1100_10^4 - 15991039/2911945*c_1100_10^3 + 10000527/2911945*c_1100_10^2 - 12457116/2911945*c_1100_10 + 4027282/2911945, c_1001_0 + 1593106/2911945*c_1100_10^9 + 1538967/2911945*c_1100_10^8 - 1867954/2911945*c_1100_10^7 + 2865033/2911945*c_1100_10^6 + 4700001/2911945*c_1100_10^5 - 433729/582389*c_1100_10^4 + 35900688/2911945*c_1100_10^3 - 28877894/2911945*c_1100_10^2 + 29906642/2911945*c_1100_10 - 8999864/2911945, c_1001_2 - 688954/2911945*c_1100_10^9 - 452338/2911945*c_1100_10^8 + 973556/2911945*c_1100_10^7 - 1660822/2911945*c_1100_10^6 - 1901519/2911945*c_1100_10^5 + 281805/582389*c_1100_10^4 - 16004927/2911945*c_1100_10^3 + 17304011/2911945*c_1100_10^2 - 18691433/2911945*c_1100_10 + 7862946/2911945, c_1100_10^10 + c_1100_10^9 - c_1100_10^8 + 2*c_1100_10^7 + 3*c_1100_10^6 - c_1100_10^5 + 23*c_1100_10^4 - 17*c_1100_10^3 + 21*c_1100_10^2 - 6*c_1100_10 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 39.830 Total time: 40.030 seconds, Total memory usage: 463.31MB