Magma V2.19-8 Tue Aug 20 2013 23:29:47 on localhost [Seed = 2395531487] Type ? for help. Type -D to quit. Loading file "K14n10164__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n10164 geometric_solution 7.26552844 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 9 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 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 0 1 1 -1 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.711087411075 1.263209128694 0 2 3 5 0132 3012 3012 0132 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 1 0 -1 0 3 -3 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.614689271663 0.726547012391 1 0 4 6 1230 0132 2031 0132 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 3 0 1 -4 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.614689271663 0.726547012391 6 1 5 0 0213 1230 3012 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 1 0 -1 0 0 0 0 4 -1 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.054219110709 0.826985708965 7 7 0 2 0132 3201 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.095208549287 0.555817245600 6 3 1 8 3201 1230 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 0 0 0 0 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.029600836343 0.476576692349 3 8 2 5 0213 2103 0132 2310 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 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.249834838913 1.467205164490 4 8 4 8 0132 0321 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.163253301112 2.577354750505 7 6 5 7 3012 2103 0132 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 0 0 0 0 0 0 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.007540255076 0.277787350243 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_7']), 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : d['c_0011_8'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_0011_8'], 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0101_7']), 'c_1001_8' : d['c_0011_6'], 's_2_8' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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_0_8' : 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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_8' : d['c_0011_5'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : d['c_0011_4'], 'c_1100_6' : d['c_0011_5'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0011_5'], 'c_1010_7' : d['c_0101_8'], 'c_1010_6' : negation(d['c_0101_8']), 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_0011_8'], 'c_1010_2' : d['c_0011_8'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_7']), 'c_1010_8' : d['c_0101_8'], '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_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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_8'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_8'], 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_8'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0101_8'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0011_8'], 'c_0110_6' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0011_5, c_0011_6, c_0011_8, c_0101_0, c_0101_2, c_0101_7, c_0101_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 6937368176200735341/1332507630757719250*c_0101_8^12 - 26161824612998367933/2665015261515438500*c_0101_8^11 - 1930504054470320243/85968234242433500*c_0101_8^10 - 3409714452478201301/1332507630757719250*c_0101_8^9 - 49233776801570459979/1332507630757719250*c_0101_8^8 - 7248082148166090777/266501526151543850*c_0101_8^7 - 167712831195949540211/2665015261515438500*c_0101_8^6 - 73858705183372605901/2665015261515438500*c_0101_8^5 - 5018784225194557967/140263961132391500*c_0101_8^4 - 29993047750005281004/666253815378859625*c_0101_8^3 - 433594170838810184/21492058560608375*c_0101_8^2 - 14756161756496280477/1332507630757719250*c_0101_8 - 32007287802061201317/2665015261515438500, c_0011_0 - 1, c_0011_4 + 816788335455/18098575629986*c_0101_8^12 + 1816519161846/9049287814993*c_0101_8^11 + 4506678443260/9049287814993*c_0101_8^10 + 6545080297600/9049287814993*c_0101_8^9 + 7193344216947/9049287814993*c_0101_8^8 + 23922877411147/18098575629986*c_0101_8^7 + 16480320797282/9049287814993*c_0101_8^6 + 49830879715305/18098575629986*c_0101_8^5 + 33547380676395/18098575629986*c_0101_8^4 + 44724782163971/18098575629986*c_0101_8^3 + 31094651270531/18098575629986*c_0101_8^2 + 15760954082039/9049287814993*c_0101_8 + 9490117819897/9049287814993, c_0011_5 - 2892594242313/9049287814993*c_0101_8^12 - 6822985920693/9049287814993*c_0101_8^11 - 30841730946505/18098575629986*c_0101_8^10 - 7327593085608/9049287814993*c_0101_8^9 - 20946803643264/9049287814993*c_0101_8^8 - 21600851256974/9049287814993*c_0101_8^7 - 42216473578415/9049287814993*c_0101_8^6 - 59843772342445/18098575629986*c_0101_8^5 - 21766722074896/9049287814993*c_0101_8^4 - 60783799039421/18098575629986*c_0101_8^3 - 20572773257257/18098575629986*c_0101_8^2 - 22519303026243/18098575629986*c_0101_8 - 8338856142601/18098575629986, c_0011_6 + 9637341605073/18098575629986*c_0101_8^12 + 6657409329159/9049287814993*c_0101_8^11 + 17914724961301/9049287814993*c_0101_8^10 - 5835170328473/9049287814993*c_0101_8^9 + 38284017977131/9049287814993*c_0101_8^8 + 9434728234401/18098575629986*c_0101_8^7 + 56252250701880/9049287814993*c_0101_8^6 - 738864519509/18098575629986*c_0101_8^5 + 61577075147553/18098575629986*c_0101_8^4 + 50437992390487/18098575629986*c_0101_8^3 - 1098626881789/18098575629986*c_0101_8^2 + 7425258001684/9049287814993*c_0101_8 + 4096941262828/9049287814993, c_0011_8 + 11592841210605/18098575629986*c_0101_8^12 + 7757732047359/9049287814993*c_0101_8^11 + 38010470865737/18098575629986*c_0101_8^10 - 16442772251723/18098575629986*c_0101_8^9 + 90319793195461/18098575629986*c_0101_8^8 + 20944871541967/9049287814993*c_0101_8^7 + 114592258380067/18098575629986*c_0101_8^6 + 20396214137055/18098575629986*c_0101_8^5 + 68717249617427/18098575629986*c_0101_8^4 + 61814810424821/9049287814993*c_0101_8^3 + 18229880884057/18098575629986*c_0101_8^2 + 28042345914011/18098575629986*c_0101_8 + 22955463074632/9049287814993, c_0101_0 + 9664868631717/18098575629986*c_0101_8^12 + 9557075485197/9049287814993*c_0101_8^11 + 43480622201247/18098575629986*c_0101_8^10 + 6157262991731/9049287814993*c_0101_8^9 + 36265712957332/9049287814993*c_0101_8^8 + 64315434527297/18098575629986*c_0101_8^7 + 54903258242688/9049287814993*c_0101_8^6 + 43275968025650/9049287814993*c_0101_8^5 + 77050922286323/18098575629986*c_0101_8^4 + 54290219819005/9049287814993*c_0101_8^3 + 19179214851807/9049287814993*c_0101_8^2 + 29804028087161/18098575629986*c_0101_8 + 40476556208371/18098575629986, c_0101_2 + 1715829552747/18098575629986*c_0101_8^12 + 2430810851982/9049287814993*c_0101_8^11 + 7828735738141/18098575629986*c_0101_8^10 + 2561515206096/9049287814993*c_0101_8^9 + 3493080781094/9049287814993*c_0101_8^8 + 28500037989579/18098575629986*c_0101_8^7 + 3540917522434/9049287814993*c_0101_8^6 + 9361155861006/9049287814993*c_0101_8^5 - 1088184286629/18098575629986*c_0101_8^4 + 23666080395174/9049287814993*c_0101_8^3 - 6326045281912/9049287814993*c_0101_8^2 + 2224789484955/18098575629986*c_0101_8 + 14222057715095/18098575629986, c_0101_7 + 9664868631717/18098575629986*c_0101_8^12 + 9557075485197/9049287814993*c_0101_8^11 + 43480622201247/18098575629986*c_0101_8^10 + 6157262991731/9049287814993*c_0101_8^9 + 36265712957332/9049287814993*c_0101_8^8 + 64315434527297/18098575629986*c_0101_8^7 + 54903258242688/9049287814993*c_0101_8^6 + 43275968025650/9049287814993*c_0101_8^5 + 77050922286323/18098575629986*c_0101_8^4 + 54290219819005/9049287814993*c_0101_8^3 + 19179214851807/9049287814993*c_0101_8^2 + 29804028087161/18098575629986*c_0101_8 + 40476556208371/18098575629986, c_0101_8^13 + 7/3*c_0101_8^12 + 46/9*c_0101_8^11 + 8/3*c_0101_8^10 + 71/9*c_0101_8^9 + 10*c_0101_8^8 + 44/3*c_0101_8^7 + 112/9*c_0101_8^6 + 101/9*c_0101_8^5 + 142/9*c_0101_8^4 + 92/9*c_0101_8^3 + 16/3*c_0101_8^2 + 6*c_0101_8 + 25/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB