Magma V2.19-8 Tue Aug 20 2013 23:42:21 on localhost [Seed = 1562064904] Type ? for help. Type -D to quit. Loading file "L13n2678__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2678 geometric_solution 9.35273136 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 1 0 1 1 0 -1 0 1 -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 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.821305364751 0.853417115705 0 5 3 6 0132 0132 3120 0132 1 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 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.578643262031 0.671516644104 4 0 8 7 1023 0132 0132 0132 1 1 1 1 0 1 -1 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 0 0 0 0 0 0 0 0 1 0 -1 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 -1.006161552519 0.716278655762 8 7 1 0 1302 1023 3120 0132 1 0 1 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 0 0 0 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.852845530782 0.315153999108 5 2 0 5 0132 1023 0132 2103 1 0 1 1 0 1 -1 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 -1 0 1 1 0 -1 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.438421151089 0.760894901762 4 1 9 4 0132 0132 0132 2103 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 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 1 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.438421151089 0.760894901762 8 10 1 9 2310 0132 0132 3120 1 0 1 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 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.795441882637 0.704928166230 3 10 2 10 1023 3201 0132 2310 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 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.768432271707 0.617826066704 9 3 6 2 2031 2031 3201 0132 1 1 1 0 0 -1 0 1 1 0 0 -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 0 0 0 -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.257264145937 0.734693808102 6 10 8 5 3120 0321 1302 0132 1 0 1 1 0 0 -1 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 1 -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 1.181370508398 2.100761721976 7 6 7 9 3201 0132 2310 0321 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 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.893566603540 0.431987219878 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0011_9']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0011_3'], 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0101_7']), 'c_1001_0' : negation(d['c_0101_10']), 'c_1001_3' : d['c_0101_7'], 'c_1001_2' : d['c_0011_3'], 'c_1001_9' : d['c_0011_3'], 'c_1001_8' : negation(d['c_0101_0']), 'c_1010_10' : d['c_1001_5'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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_10' : 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_0101_5']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_5']), 'c_1100_4' : negation(d['c_0101_1']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_8'], 'c_1100_1' : d['c_0011_8'], 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : d['c_0011_10'], 'c_1100_10' : d['c_0011_3'], 'c_1010_7' : d['c_0011_9'], 'c_1010_6' : negation(d['c_0011_9']), 'c_1010_5' : negation(d['c_0101_7']), 'c_1010_4' : d['c_0101_7'], 'c_1010_3' : negation(d['c_0101_10']), 'c_1010_2' : negation(d['c_0101_10']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0011_3'], 'c_1010_9' : d['c_1001_5'], 'c_1010_8' : d['c_0011_3'], 'c_1100_8' : d['c_0011_10'], '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' : 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' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_10']), '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_10' : negation(d['c_0011_9']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_8']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_8']), 'c_0101_8' : negation(d['c_0101_5']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0011_3'], '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_7'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : negation(d['c_0101_10']), 'c_0110_6' : d['c_0101_5']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_8, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_5, c_0101_7, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 894926115/3604121378*c_1001_5^7 - 607330872/1802060689*c_1001_5^6 - 2007671316/1802060689*c_1001_5^5 - 53038935/25203646*c_1001_5^4 - 3509691589/1802060689*c_1001_5^3 - 12981895923/3604121378*c_1001_5^2 - 6507550651/3604121378*c_1001_5 - 904382601/1802060689, c_0011_0 - 1, c_0011_10 - 777/74567*c_1001_5^7 - 31209/74567*c_1001_5^6 - 43768/74567*c_1001_5^5 - 134422/74567*c_1001_5^4 - 297194/74567*c_1001_5^3 - 280552/74567*c_1001_5^2 - 530983/74567*c_1001_5 - 437897/74567, c_0011_3 + 10383/74567*c_1001_5^7 - 7038/74567*c_1001_5^6 + 53687/74567*c_1001_5^5 + 34591/74567*c_1001_5^4 + 42941/74567*c_1001_5^3 + 214407/74567*c_1001_5^2 - 36166/74567*c_1001_5 + 187088/74567, c_0011_8 + 12576/372835*c_1001_5^7 - 11775/74567*c_1001_5^6 + 8794/372835*c_1001_5^5 - 200979/372835*c_1001_5^4 - 378414/372835*c_1001_5^3 - 1437/74567*c_1001_5^2 - 935183/372835*c_1001_5 - 83881/372835, c_0011_9 + 13878/74567*c_1001_5^7 + 29697/74567*c_1001_5^6 + 76089/74567*c_1001_5^5 + 175418/74567*c_1001_5^4 + 214307/74567*c_1001_5^3 + 275504/74567*c_1001_5^2 + 319346/74567*c_1001_5 + 57387/74567, c_0101_0 - 1, c_0101_1 + 38298/372835*c_1001_5^7 + 16758/74567*c_1001_5^6 + 365107/372835*c_1001_5^5 + 511973/372835*c_1001_5^4 + 1256448/372835*c_1001_5^3 + 329361/74567*c_1001_5^2 + 1295051/372835*c_1001_5 + 2581552/372835, c_0101_10 - 2103/74567*c_1001_5^7 + 10539/74567*c_1001_5^6 + 4186/74567*c_1001_5^5 + 42698/74567*c_1001_5^4 + 65094/74567*c_1001_5^3 + 49389/74567*c_1001_5^2 + 121858/74567*c_1001_5 + 43288/74567, c_0101_5 + 54183/372835*c_1001_5^7 - 9375/74567*c_1001_5^6 + 3202/372835*c_1001_5^5 - 49352/372835*c_1001_5^4 - 888797/372835*c_1001_5^3 - 104683/74567*c_1001_5^2 - 1242794/372835*c_1001_5 - 2222103/372835, c_0101_7 - 3954/74567*c_1001_5^7 - 5076/74567*c_1001_5^6 + 28613/74567*c_1001_5^5 - 22157/74567*c_1001_5^4 + 131855/74567*c_1001_5^3 + 153492/74567*c_1001_5^2 + 51153/74567*c_1001_5 + 448267/74567, c_1001_5^8 + 2*c_1001_5^7 + 22/3*c_1001_5^6 + 52/3*c_1001_5^5 + 74/3*c_1001_5^4 + 151/3*c_1001_5^3 + 161/3*c_1001_5^2 + 149/3*c_1001_5 + 169/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB