Magma V2.19-8 Tue Aug 20 2013 16:18:35 on localhost [Seed = 1831661663] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2766 geometric_solution 5.99985661 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 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 1 -1 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.729260140611 0.725885760801 0 5 1 1 0132 0132 2031 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 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.425502016386 0.644742305657 6 0 6 5 0132 0132 2310 2310 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 -1 0 1 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.115883522453 2.060968742175 5 3 3 0 3201 1230 3012 0132 0 0 0 0 0 0 1 -1 0 0 0 0 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 0 -1 1 0 0 0 0 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.921536802423 0.496625795866 5 4 0 4 2310 1302 0132 2031 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 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.854490360913 0.568939142793 2 1 4 3 3201 0132 3201 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 1 0 -1 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.729260140611 0.725885760801 2 2 6 6 0132 3201 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.219412911521 0.184928180804 ==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_2_6' : 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_0_6' : 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_6' : d['c_0101_2'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : 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_1']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_5'])})} 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_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 215930905329315360/9630038458091*c_0101_5^16 + 391421873932883416/9630038458091*c_0101_5^15 + 556768906099786356/9630038458091*c_0101_5^14 - 642141655506999206/9630038458091*c_0101_5^13 + 1492428104730507857/9630038458091*c_0101_5^12 - 2247659875662845780/9630038458091*c_0101_5^11 - 2453563151996394703/9630038458091*c_0101_5^10 + 4844369888131657810/9630038458091*c_0101_5^9 - 1321344704786602158/9630038458091*c_0101_5^8 - 1103107965900619201/9630038458091*c_0101_5^7 + 2444287163793108942/9630038458091*c_0101_5^6 - 2307928983746979596/9630038458091*c_0101_5^5 - 95033146426881538/9630038458091*c_0101_5^4 + 1101557258188914864/9630038458091*c_0101_5^3 - 399865269035141069/9630038458091*c_0101_5^2 - 9020186595409073/9630038458091*c_0101_5 + 13887369313307732/9630038458091, c_0011_0 - 1, c_0011_3 + 4927667425361820/9630038458091*c_0101_5^16 - 8466958023535272/9630038458091*c_0101_5^15 - 13249399710576969/9630038458091*c_0101_5^14 + 13142037181236809/9630038458091*c_0101_5^13 - 33708122278572405/9630038458091*c_0101_5^12 + 48204203406867113/9630038458091*c_0101_5^11 + 58886859763685540/9630038458091*c_0101_5^10 - 103673802677780351/9630038458091*c_0101_5^9 + 24512896511346292/9630038458091*c_0101_5^8 + 24762712515005407/9630038458091*c_0101_5^7 - 54112343358256352/9630038458091*c_0101_5^6 + 48594135058844919/9630038458091*c_0101_5^5 + 4476920463611751/9630038458091*c_0101_5^4 - 23667442887927272/9630038458091*c_0101_5^3 + 7885784126138616/9630038458091*c_0101_5^2 + 308439724921306/9630038458091*c_0101_5 - 275924640225262/9630038458091, c_0101_0 + 2352561077906600/9630038458091*c_0101_5^16 - 5152615388836420/9630038458091*c_0101_5^15 - 5043001065065494/9630038458091*c_0101_5^14 + 9941010160938777/9630038458091*c_0101_5^13 - 16955620770563791/9630038458091*c_0101_5^12 + 30262978675010437/9630038458091*c_0101_5^11 + 21352831908702189/9630038458091*c_0101_5^10 - 66269514271456377/9630038458091*c_0101_5^9 + 25473475508752023/9630038458091*c_0101_5^8 + 13435312978376294/9630038458091*c_0101_5^7 - 30211628873491322/9630038458091*c_0101_5^6 + 32936687280130143/9630038458091*c_0101_5^5 - 3420302844781325/9630038458091*c_0101_5^4 - 15112275489691874/9630038458091*c_0101_5^3 + 6844892508750465/9630038458091*c_0101_5^2 + 9695679078835/9630038458091*c_0101_5 - 248527010392885/9630038458091, c_0101_1 - 3182088659665240/9630038458091*c_0101_5^16 + 5559808288074464/9630038458091*c_0101_5^15 + 8561784697224282/9630038458091*c_0101_5^14 - 8810458405815870/9630038458091*c_0101_5^13 + 21398460824965326/9630038458091*c_0101_5^12 - 32020548390662384/9630038458091*c_0101_5^11 - 38354946269862441/9630038458091*c_0101_5^10 + 68186324620808658/9630038458091*c_0101_5^9 - 15021659814065731/9630038458091*c_0101_5^8 - 15901697415881548/9630038458091*c_0101_5^7 + 34921739917530841/9630038458091*c_0101_5^6 - 31943938877225826/9630038458091*c_0101_5^5 - 3273274857459725/9630038458091*c_0101_5^4 + 15418891754220333/9630038458091*c_0101_5^3 - 4953566689855128/9630038458091*c_0101_5^2 - 159595630254232/9630038458091*c_0101_5 + 162278441642886/9630038458091, c_0101_2 - 1087096285498580/9630038458091*c_0101_5^16 + 2206911154915108/9630038458091*c_0101_5^15 + 2523663450095467/9630038458091*c_0101_5^14 - 4034929185332608/9630038458091*c_0101_5^13 + 7742148440851962/9630038458091*c_0101_5^12 - 12779588027113574/9630038458091*c_0101_5^11 - 10834962305965321/9630038458091*c_0101_5^10 + 28164404321392745/9630038458091*c_0101_5^9 - 9786083888261335/9630038458091*c_0101_5^8 - 6132214083836553/9630038458091*c_0101_5^7 + 13306818564858350/9630038458091*c_0101_5^6 - 13788268316549590/9630038458091*c_0101_5^5 + 793569958421797/9630038458091*c_0101_5^4 + 6479155574686542/9630038458091*c_0101_5^3 - 2699774708120216/9630038458091*c_0101_5^2 - 30089633633034/9630038458091*c_0101_5 + 84438394749253/9630038458091, c_0101_3 + 2073848370134500/9630038458091*c_0101_5^16 - 4130176285584020/9630038458091*c_0101_5^15 - 4915885145165883/9630038458091*c_0101_5^14 + 7399308974148772/9630038458091*c_0101_5^13 - 14613409753115095/9630038458091*c_0101_5^12 + 23953653806644712/9630038458091*c_0101_5^11 + 21199558245154967/9630038458091*c_0101_5^10 - 52225311313528067/9630038458091*c_0101_5^9 + 17140406367984948/9630038458091*c_0101_5^8 + 11334170764949026/9630038458091*c_0101_5^7 - 24705140178822375/9630038458091*c_0101_5^6 + 25355473223466413/9630038458091*c_0101_5^5 - 862001234648035/9630038458091*c_0101_5^4 - 11916605361931850/9630038458091*c_0101_5^3 + 4744722349311009/9630038458091*c_0101_5^2 + 71438959053360/9630038458091*c_0101_5 - 156167454041380/9630038458091, c_0101_5^17 - 13/5*c_0101_5^16 - 23/20*c_0101_5^15 + 5*c_0101_5^14 - 37/4*c_0101_5^13 + 317/20*c_0101_5^12 + 63/20*c_0101_5^11 - 627/20*c_0101_5^10 + 95/4*c_0101_5^9 + 3/10*c_0101_5^8 - 153/10*c_0101_5^7 + 391/20*c_0101_5^6 - 159/20*c_0101_5^5 - 109/20*c_0101_5^4 + 117/20*c_0101_5^3 - 7/5*c_0101_5^2 - 1/10*c_0101_5 + 1/20 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB