Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 947495940] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0188 geometric_solution 4.00068613 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 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 0 -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.434987630877 0.502917949627 0 3 4 2 0132 1230 3012 2310 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 1 0 -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.740858172284 0.148744113457 1 0 3 3 3201 0132 3201 2031 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 -1 1 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 1.510236039543 0.883211200574 2 2 1 0 2310 1302 3012 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 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.003636155209 0.594662591542 5 1 0 5 0132 1230 0132 3201 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 0 0 0 0 1.309349098605 0.890354966137 4 4 6 6 0132 2310 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.475366364355 0.616457127949 5 6 6 5 3201 1230 3012 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 -0.296196056150 0.059489659779 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(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_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : 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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : d['c_0011_0'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0011_0'], '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_0011_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 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_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 3866501547749443/1439416486181232*c_0101_5^12 - 36503473252953923/1439416486181232*c_0101_5^11 + 65772132836865737/719708243090616*c_0101_5^10 - 42196331707844771/479805495393744*c_0101_5^9 - 160752282112091759/479805495393744*c_0101_5^8 + 152308796272000105/359854121545308*c_0101_5^7 + 39508975474854773/159935165131248*c_0101_5^6 - 235974712754672861/719708243090616*c_0101_5^5 - 152634154366850339/719708243090616*c_0101_5^4 + 10188985607028019/359854121545308*c_0101_5^3 + 127368041678657993/479805495393744*c_0101_5^2 - 5890124055797497/719708243090616*c_0101_5 - 120124928946397813/1439416486181232, c_0011_0 - 1, c_0011_3 - 6300256345688/29987843462109*c_0101_5^12 + 58965986718841/29987843462109*c_0101_5^11 - 209861199624056/29987843462109*c_0101_5^10 + 64149108036499/9995947820703*c_0101_5^9 + 263064263024545/9995947820703*c_0101_5^8 - 917043159904595/29987843462109*c_0101_5^7 - 66691694170267/3331982606901*c_0101_5^6 + 635085155483312/29987843462109*c_0101_5^5 + 463326216626486/29987843462109*c_0101_5^4 + 68271054301330/29987843462109*c_0101_5^3 - 184108486293244/9995947820703*c_0101_5^2 - 53045582360804/29987843462109*c_0101_5 + 140450071866029/29987843462109, c_0011_4 + 43370039678/243803605383*c_0101_5^12 - 408475850428/243803605383*c_0101_5^11 + 1479018843683/243803605383*c_0101_5^10 - 502549004710/81267868461*c_0101_5^9 - 1665764163961/81267868461*c_0101_5^8 + 6230589203585/243803605383*c_0101_5^7 + 304098749277/27089289487*c_0101_5^6 - 3349074199931/243803605383*c_0101_5^5 - 2775262958870/243803605383*c_0101_5^4 - 548532633712/243803605383*c_0101_5^3 + 1067695637116/81267868461*c_0101_5^2 - 121365878209/243803605383*c_0101_5 - 527204141921/243803605383, c_0011_6 - 106770479363/731410816149*c_0101_5^12 + 964745063098/731410816149*c_0101_5^11 - 3275878356974/731410816149*c_0101_5^10 + 829503123052/243803605383*c_0101_5^9 + 4393721040508/243803605383*c_0101_5^8 - 10373619912035/731410816149*c_0101_5^7 - 1113160780432/81267868461*c_0101_5^6 + 4403144348417/731410816149*c_0101_5^5 + 8046950719112/731410816149*c_0101_5^4 + 4207278210121/731410816149*c_0101_5^3 - 2119985682583/243803605383*c_0101_5^2 - 1212459239912/731410816149*c_0101_5 + 281430895955/731410816149, c_0101_0 - 5079133002782/29987843462109*c_0101_5^12 + 46954565262013/29987843462109*c_0101_5^11 - 165071627351222/29987843462109*c_0101_5^10 + 49317391679941/9995947820703*c_0101_5^9 + 203851238506999/9995947820703*c_0101_5^8 - 628107322867262/29987843462109*c_0101_5^7 - 46576252325944/3331982606901*c_0101_5^6 + 327239921105564/29987843462109*c_0101_5^5 + 356633290692713/29987843462109*c_0101_5^4 + 105446611561138/29987843462109*c_0101_5^3 - 130157526594700/9995947820703*c_0101_5^2 - 26505346964219/29987843462109*c_0101_5 + 72776053399202/29987843462109, c_0101_1 - 363432263306/3331982606901*c_0101_5^12 + 3493378859170/3331982606901*c_0101_5^11 - 13077570097691/3331982606901*c_0101_5^10 + 5051017159303/1110660868967*c_0101_5^9 + 13108966269648/1110660868967*c_0101_5^8 - 61235933130800/3331982606901*c_0101_5^7 - 3586222096302/1110660868967*c_0101_5^6 + 39363086760644/3331982606901*c_0101_5^5 + 19650361664477/3331982606901*c_0101_5^4 - 8098945103825/3331982606901*c_0101_5^3 - 10860965141320/1110660868967*c_0101_5^2 + 9660684024571/3331982606901*c_0101_5 + 6921256182455/3331982606901, c_0101_5^13 - 9*c_0101_5^12 + 30*c_0101_5^11 - 19*c_0101_5^10 - 135*c_0101_5^9 + 100*c_0101_5^8 + 143*c_0101_5^7 - 70*c_0101_5^6 - 114*c_0101_5^5 - 28*c_0101_5^4 + 89*c_0101_5^3 + 34*c_0101_5^2 - 23*c_0101_5 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB