Magma V2.19-8 Tue Aug 20 2013 16:14:18 on localhost [Seed = 576962054] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s280 geometric_solution 4.45036371 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 3 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 -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 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.781586322331 1.209282664072 0 4 3 4 0132 0132 1302 2310 0 0 0 0 0 0 1 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.781155531449 0.520530123202 2 0 3 2 3201 0132 3120 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.261045698810 1.105332160525 1 0 2 0 2031 1302 3120 0132 0 0 0 0 0 -1 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 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.623012451023 0.583281071487 1 1 5 5 3201 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384695522057 0.179151960405 5 4 5 4 2031 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2.897252420090 1.059783681801 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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_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_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_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], '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_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0110_4'], 'c_1010_5' : negation(d['c_0110_4']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0110_4']), 'c_1010_0' : d['c_0011_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_0, c_0101_2, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 11740480287756/1908986438393*c_0110_4^15 + 16017609141431/1908986438393*c_0110_4^14 - 17971454253600/1908986438393*c_0110_4^13 - 148162297616756/1908986438393*c_0110_4^12 - 9991061164459/44395033451*c_0110_4^11 - 46585323846497/1908986438393*c_0110_4^10 + 1254631608694114/1908986438393*c_0110_4^9 + 1185699267177191/1908986438393*c_0110_4^8 - 712710002074937/1908986438393*c_0110_4^7 - 1630500851721496/1908986438393*c_0110_4^6 - 794128144239994/1908986438393*c_0110_4^5 + 752754283922941/1908986438393*c_0110_4^4 + 733692631671938/1908986438393*c_0110_4^3 - 445451206616286/1908986438393*c_0110_4^2 + 279425891846262/1908986438393*c_0110_4 - 26874857238048/1908986438393, c_0011_0 - 1, c_0011_3 + 156431890762/1908986438393*c_0110_4^15 + 286475030019/1908986438393*c_0110_4^14 - 110181883729/1908986438393*c_0110_4^13 - 1951557068427/1908986438393*c_0110_4^12 - 150631933298/44395033451*c_0110_4^11 - 3609856191846/1908986438393*c_0110_4^10 + 14222727385029/1908986438393*c_0110_4^9 + 19030597011092/1908986438393*c_0110_4^8 - 3471051416243/1908986438393*c_0110_4^7 - 17542370952195/1908986438393*c_0110_4^6 - 8232221985596/1908986438393*c_0110_4^5 + 8607892318076/1908986438393*c_0110_4^4 + 7539637156294/1908986438393*c_0110_4^3 - 9155962312204/1908986438393*c_0110_4^2 - 1751551157950/1908986438393*c_0110_4 + 1723933386566/1908986438393, c_0011_5 + 130043139257/1908986438393*c_0110_4^15 + 202681897795/1908986438393*c_0110_4^14 - 74374379283/1908986438393*c_0110_4^13 - 1471352627430/1908986438393*c_0110_4^12 - 116691702528/44395033451*c_0110_4^11 - 2515484926505/1908986438393*c_0110_4^10 + 9488251674610/1908986438393*c_0110_4^9 + 11389978206147/1908986438393*c_0110_4^8 - 21999186851/1908986438393*c_0110_4^7 - 5729311733404/1908986438393*c_0110_4^6 - 4688818396694/1908986438393*c_0110_4^5 + 2064520979624/1908986438393*c_0110_4^4 + 386383024278/1908986438393*c_0110_4^3 - 6099840350037/1908986438393*c_0110_4^2 + 3444684184948/1908986438393*c_0110_4 - 2065418329155/1908986438393, c_0101_0 + 3702585937639/1908986438393*c_0110_4^15 + 4424819518217/1908986438393*c_0110_4^14 - 6574209689553/1908986438393*c_0110_4^13 - 45905320772503/1908986438393*c_0110_4^12 - 2965872094033/44395033451*c_0110_4^11 + 8892915388360/1908986438393*c_0110_4^10 + 400745297365446/1908986438393*c_0110_4^9 + 309054561572831/1908986438393*c_0110_4^8 - 293546018731303/1908986438393*c_0110_4^7 - 484037017403029/1908986438393*c_0110_4^6 - 162534594540020/1908986438393*c_0110_4^5 + 285797447268037/1908986438393*c_0110_4^4 + 195239858364998/1908986438393*c_0110_4^3 - 181699620604629/1908986438393*c_0110_4^2 + 108267779129326/1908986438393*c_0110_4 - 17483337455198/1908986438393, c_0101_2 + 4231868220403/1908986438393*c_0110_4^15 + 5023372849564/1908986438393*c_0110_4^14 - 7518890700680/1908986438393*c_0110_4^13 - 52285789284317/1908986438393*c_0110_4^12 - 3379443661428/44395033451*c_0110_4^11 + 10842997164609/1908986438393*c_0110_4^10 + 455747985261244/1908986438393*c_0110_4^9 + 346818315257292/1908986438393*c_0110_4^8 - 335192870811112/1908986438393*c_0110_4^7 - 541222909025225/1908986438393*c_0110_4^6 - 175194057570329/1908986438393*c_0110_4^5 + 324611143843363/1908986438393*c_0110_4^4 + 210258832275139/1908986438393*c_0110_4^3 - 215198508676329/1908986438393*c_0110_4^2 + 128026136799861/1908986438393*c_0110_4 - 20928809666431/1908986438393, c_0110_4^16 + c_0110_4^15 - 2*c_0110_4^14 - 12*c_0110_4^13 - 32*c_0110_4^12 + 9*c_0110_4^11 + 107*c_0110_4^10 + 61*c_0110_4^9 - 95*c_0110_4^8 - 112*c_0110_4^7 - 16*c_0110_4^6 + 85*c_0110_4^5 + 35*c_0110_4^4 - 61*c_0110_4^3 + 40*c_0110_4^2 - 11*c_0110_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.000 Total time: 0.200 seconds, Total memory usage: 32.09MB