Magma V2.19-8 Tue Aug 20 2013 23:29:44 on localhost [Seed = 2177361884] Type ? for help. Type -D to quit. Loading file "K13n2769__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2769 geometric_solution 8.58116869 oriented_manifold CS_known -0.0000000000000004 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 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.394944529206 1.088972389158 0 5 7 6 0132 0132 0132 0132 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 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.844519493621 0.979214891504 8 0 6 3 0132 0132 1230 3201 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 -1 1 0 1 0 -1 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.265823221159 0.991536363130 7 2 4 0 2031 2310 2310 0132 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 -1 1 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.375359529916 0.685891078407 5 3 0 8 2031 3201 0132 3012 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 1 0 -1 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.340916468800 0.784006314299 8 1 4 7 1023 0132 1302 1230 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 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.241234342542 0.781795046470 7 8 1 2 1023 0321 0132 3012 0 0 0 0 0 0 -1 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 0 0 5 -5 1 0 0 -1 -6 5 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.725800944935 0.796971084443 5 6 3 1 3012 1023 1302 0132 0 0 0 0 0 0 -1 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 0 -1 6 -5 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444954520894 0.365520821513 2 5 4 6 0132 1023 1230 0321 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 -1 0 1 0 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.039751139870 0.793880674013 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0110_4'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : d['c_0110_4'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0101_8']), 'c_1001_3' : d['c_0101_8'], 'c_1001_2' : negation(d['c_0101_3']), 'c_1001_8' : negation(d['c_0011_4']), 's_2_8' : d['1'], '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_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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_8' : d['c_0110_4'], 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_0011_4'], 'c_1100_7' : d['c_0101_3'], 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_3']), 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_8']), 'c_1010_3' : negation(d['c_0101_8']), 'c_1010_2' : negation(d['c_0101_8']), 'c_1010_1' : d['c_0110_4'], 'c_1010_0' : negation(d['c_0101_3']), 'c_1010_8' : d['c_0011_6'], '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_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_8' : d['1'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_6'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 'c_0110_8' : negation(d['c_0011_6']), '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_8'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_3'])})} 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_3, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_8, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 4312615090927/584235120609*c_0110_4^11 + 7918795410124/584235120609*c_0110_4^10 - 33149958877243/584235120609*c_0110_4^9 + 2268583012750/83462160087*c_0110_4^8 + 20748954307688/584235120609*c_0110_4^7 + 40863766592248/194745040203*c_0110_4^6 - 220102937312234/584235120609*c_0110_4^5 + 149631019576232/584235120609*c_0110_4^4 - 281631220848283/584235120609*c_0110_4^3 + 183304853214191/584235120609*c_0110_4^2 - 21871061515103/194745040203*c_0110_4 + 14152969803253/584235120609, c_0011_0 - 1, c_0011_3 + 480788119/403198841*c_0110_4^11 - 851130120/403198841*c_0110_4^10 + 3641232864/403198841*c_0110_4^9 - 1543250186/403198841*c_0110_4^8 - 2364744615/403198841*c_0110_4^7 - 13906177597/403198841*c_0110_4^6 + 23718224673/403198841*c_0110_4^5 - 14893214987/403198841*c_0110_4^4 + 30442868808/403198841*c_0110_4^3 - 19783417711/403198841*c_0110_4^2 + 6965916704/403198841*c_0110_4 - 1025121246/403198841, c_0011_4 - 481354375/806397682*c_0110_4^11 + 797483839/806397682*c_0110_4^10 - 3586054615/806397682*c_0110_4^9 + 598666672/403198841*c_0110_4^8 + 1126316905/403198841*c_0110_4^7 + 7161442302/403198841*c_0110_4^6 - 11029012935/403198841*c_0110_4^5 + 13330379091/806397682*c_0110_4^4 - 30721881899/806397682*c_0110_4^3 + 8864365766/403198841*c_0110_4^2 - 3699489771/403198841*c_0110_4 + 1976048393/806397682, c_0011_6 - 34857793/806397682*c_0110_4^11 + 182625791/806397682*c_0110_4^10 - 476993503/806397682*c_0110_4^9 + 502978853/403198841*c_0110_4^8 - 100156930/403198841*c_0110_4^7 + 147760729/403198841*c_0110_4^6 - 2669049200/403198841*c_0110_4^5 + 7033817573/806397682*c_0110_4^4 - 5021354133/806397682*c_0110_4^3 + 4138933264/403198841*c_0110_4^2 - 2682902004/403198841*c_0110_4 + 1024747543/806397682, c_0101_0 - 800669573/806397682*c_0110_4^11 + 1467340205/806397682*c_0110_4^10 - 6128322217/806397682*c_0110_4^9 + 1457752578/403198841*c_0110_4^8 + 1969258216/403198841*c_0110_4^7 + 11457186860/403198841*c_0110_4^6 - 20569296349/403198841*c_0110_4^5 + 26551709755/806397682*c_0110_4^4 - 51620145667/806397682*c_0110_4^3 + 17963734553/403198841*c_0110_4^2 - 6369127476/403198841*c_0110_4 + 2158297483/806397682, c_0101_1 - 805524787/806397682*c_0110_4^11 + 1288454717/806397682*c_0110_4^10 - 5860630995/806397682*c_0110_4^9 + 780415861/403198841*c_0110_4^8 + 2178894215/403198841*c_0110_4^7 + 12032934381/403198841*c_0110_4^6 - 17862232101/403198841*c_0110_4^5 + 18119081531/806397682*c_0110_4^4 - 46896438423/806397682*c_0110_4^3 + 12481122030/403198841*c_0110_4^2 - 3535100931/403198841*c_0110_4 + 173476297/806397682, c_0101_3 + 208074473/806397682*c_0110_4^11 - 155686807/806397682*c_0110_4^10 + 1277256121/806397682*c_0110_4^9 + 412150716/403198841*c_0110_4^8 - 573223479/403198841*c_0110_4^7 - 3595249262/403198841*c_0110_4^6 + 1870552933/403198841*c_0110_4^5 + 1549475271/806397682*c_0110_4^4 + 9998734485/806397682*c_0110_4^3 + 1809313397/403198841*c_0110_4^2 - 624823227/403198841*c_0110_4 + 455269375/806397682, c_0101_8 + 157994207/806397682*c_0110_4^11 - 376925279/806397682*c_0110_4^10 + 1288443011/806397682*c_0110_4^9 - 566951590/403198841*c_0110_4^8 - 508704439/403198841*c_0110_4^7 - 2041903213/403198841*c_0110_4^6 + 5561436351/403198841*c_0110_4^5 - 7232949109/806397682*c_0110_4^4 + 10108734435/806397682*c_0110_4^3 - 5670221120/403198841*c_0110_4^2 + 1157233963/403198841*c_0110_4 - 556494329/806397682, c_0110_4^12 - 2*c_0110_4^11 + 8*c_0110_4^10 - 5*c_0110_4^9 - 4*c_0110_4^8 - 28*c_0110_4^7 + 56*c_0110_4^6 - 43*c_0110_4^5 + 72*c_0110_4^4 - 57*c_0110_4^3 + 26*c_0110_4^2 - 7*c_0110_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB