Magma V2.19-8 Tue Aug 20 2013 23:38:22 on localhost [Seed = 425688381] Type ? for help. Type -D to quit. Loading file "K13n62__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n62 geometric_solution 8.72265936 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 1 1 2 3 0132 3201 0132 0132 0 0 0 0 0 0 1 -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 1 -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 0 0 0 0 0.081558632664 0.860200709681 0 4 0 5 0132 0132 2310 0132 0 0 0 0 0 0 0 0 -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 1 -1 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.053943945404 0.704792050261 6 7 8 0 0132 0132 0132 0132 0 0 0 0 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 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.127272712663 0.557937543145 9 9 0 5 0132 3120 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.421488759232 0.325698767560 5 1 7 9 3201 0132 1230 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 -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.702325790924 0.519706820755 8 3 1 4 2310 2310 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 1.007315130335 2.452328308677 2 8 8 7 0132 1023 2310 2310 0 0 0 0 0 0 0 0 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 0 0 0 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.479508366761 1.105643178396 6 2 9 4 3201 0132 2031 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.459547905017 0.703317820670 6 6 5 2 1023 3201 3201 0132 0 0 0 0 0 1 0 -1 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 -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.072517890118 1.430242542382 3 3 4 7 0132 3120 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 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.901638012614 0.334218675572 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : negation(d['c_0101_4']), 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : negation(d['c_0101_0']), 's_2_8' : d['1'], 's_2_9' : 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_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_2']), 'c_1100_8' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : negation(d['c_0011_2']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_1010_7' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_9']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : negation(d['c_0101_4']), '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' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_2']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0101_7' : negation(d['c_0101_2']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_4'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_9'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : negation(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 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_9, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 172162097825865200/31195955303049537*c_1001_1^9 - 296236727486761186/31195955303049537*c_1001_1^8 + 180486594860660890/4456565043292791*c_1001_1^7 + 1224099308146431061/31195955303049537*c_1001_1^6 + 1864307285914203503/31195955303049537*c_1001_1^5 - 55794927223570254/3466217255894393*c_1001_1^4 + 84325871021925677/405142276662981*c_1001_1^3 - 163908565785457793/315110659626763*c_1001_1^2 + 1946360211565391681/4456565043292791*c_1001_1 - 1723041404976318863/31195955303049537, c_0011_0 - 1, c_0011_2 - 122712911/382423767*c_1001_1^9 + 252864850/382423767*c_1001_1^8 - 966054283/382423767*c_1001_1^7 - 575220697/382423767*c_1001_1^6 - 984373622/382423767*c_1001_1^5 + 285454616/127474589*c_1001_1^4 - 417541931/34765797*c_1001_1^3 + 398832612/11588599*c_1001_1^2 - 13158878144/382423767*c_1001_1 + 4044555266/382423767, c_0011_3 - 11571125/382423767*c_1001_1^9 + 24824548/382423767*c_1001_1^8 - 94526884/382423767*c_1001_1^7 - 48020281/382423767*c_1001_1^6 - 94685093/382423767*c_1001_1^5 + 15448170/127474589*c_1001_1^4 - 45303158/34765797*c_1001_1^3 + 32958623/11588599*c_1001_1^2 - 1294230989/382423767*c_1001_1 + 385268993/382423767, c_0011_5 - 74632231/382423767*c_1001_1^9 + 204445169/382423767*c_1001_1^8 - 658305983/382423767*c_1001_1^7 - 9059132/382423767*c_1001_1^6 - 97421815/382423767*c_1001_1^5 + 404321725/127474589*c_1001_1^4 - 253275754/34765797*c_1001_1^3 + 302956514/11588599*c_1001_1^2 - 11700412561/382423767*c_1001_1 + 4618025935/382423767, c_0101_0 - 13646203/382423767*c_1001_1^9 + 36117479/382423767*c_1001_1^8 - 109291349/382423767*c_1001_1^7 - 18849998/382423767*c_1001_1^6 + 14842526/382423767*c_1001_1^5 + 109366226/127474589*c_1001_1^4 - 37435594/34765797*c_1001_1^3 + 55114663/11588599*c_1001_1^2 - 1775941555/382423767*c_1001_1 + 335905084/382423767, c_0101_1 + 61900961/382423767*c_1001_1^9 - 141433873/382423767*c_1001_1^8 + 510697834/382423767*c_1001_1^7 + 181821913/382423767*c_1001_1^6 + 387179414/382423767*c_1001_1^5 - 201733068/127474589*c_1001_1^4 + 201804671/34765797*c_1001_1^3 - 221566511/11588599*c_1001_1^2 + 7935089357/382423767*c_1001_1 - 3101979278/382423767, c_0101_2 - 81098797/382423767*c_1001_1^9 + 169824305/382423767*c_1001_1^8 - 644729549/382423767*c_1001_1^7 - 361928327/382423767*c_1001_1^6 - 635336179/382423767*c_1001_1^5 + 190806618/127474589*c_1001_1^4 - 287281795/34765797*c_1001_1^3 + 269058844/11588599*c_1001_1^2 - 9199109527/382423767*c_1001_1 + 3097696798/382423767, c_0101_4 + 25986655/127474589*c_1001_1^9 - 48764602/127474589*c_1001_1^8 + 198911390/127474589*c_1001_1^7 + 152064227/127474589*c_1001_1^6 + 258879732/127474589*c_1001_1^5 - 114558740/127474589*c_1001_1^4 + 89659849/11588599*c_1001_1^3 - 240818562/11588599*c_1001_1^2 + 2460493579/127474589*c_1001_1 - 672065640/127474589, c_0101_9 - 5197068/127474589*c_1001_1^9 + 8123451/127474589*c_1001_1^8 - 36826609/127474589*c_1001_1^7 - 45407863/127474589*c_1001_1^6 - 62226146/127474589*c_1001_1^5 + 4258690/127474589*c_1001_1^4 - 20231480/11588599*c_1001_1^3 + 39927252/11588599*c_1001_1^2 - 205978507/127474589*c_1001_1 + 49980012/127474589, c_1001_1^10 - 3*c_1001_1^9 + 10*c_1001_1^8 - 3*c_1001_1^7 + 5*c_1001_1^6 - 13*c_1001_1^5 + 47*c_1001_1^4 - 143*c_1001_1^3 + 217*c_1001_1^2 - 152*c_1001_1 + 43 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.310 seconds, Total memory usage: 32.09MB