Magma V2.19-8 Tue Aug 20 2013 16:16:21 on localhost [Seed = 593674176] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0635 geometric_solution 4.62616970 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 -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.523975023700 0.498568282678 3 2 2 0 0132 3012 2031 0132 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 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.697854753603 0.752118713456 1 3 0 1 1230 2310 0132 1302 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 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 0.697854753603 0.752118713456 1 4 4 2 0132 0132 1023 3201 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 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.578768048778 0.530802102887 5 3 3 5 0132 0132 1023 1023 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 1.301484607445 0.363759471866 4 6 6 4 0132 0132 1023 1023 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 1.323288357529 0.116501121085 6 5 5 6 3012 0132 1023 1230 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 0 0 0 0 0 0 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.504382910130 0.065445166220 ==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_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_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_1, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 1003157855871865076/31259058729798635*c_0101_6^15 + 2837890842527174321/31259058729798635*c_0101_6^14 + 25544563918803051102/31259058729798635*c_0101_6^13 + 31500231142046420271/31259058729798635*c_0101_6^12 - 62303824531436276161/31259058729798635*c_0101_6^11 - 29638503920876684068/6251811745959727*c_0101_6^10 + 14864335551797584527/6251811745959727*c_0101_6^9 + 239402533172069935739/31259058729798635*c_0101_6^8 - 125782728378821300283/31259058729798635*c_0101_6^7 - 33415270716102929213/6251811745959727*c_0101_6^6 + 120283181295901079144/31259058729798635*c_0101_6^5 + 56018330849412015116/31259058729798635*c_0101_6^4 - 37595251012051291826/31259058729798635*c_0101_6^3 - 22616236956883698044/31259058729798635*c_0101_6^2 + 23144778466868712259/31259058729798635*c_0101_6 - 7334157734162125438/31259058729798635, c_0011_0 - 1, c_0011_1 - 60084880744527/271817901998249*c_0101_6^15 + 179005486100514/271817901998249*c_0101_6^14 + 1503025094959535/271817901998249*c_0101_6^13 + 1661564955724310/271817901998249*c_0101_6^12 - 3987766832675013/271817901998249*c_0101_6^11 - 8260582562736038/271817901998249*c_0101_6^10 + 5845814572265715/271817901998249*c_0101_6^9 + 13670601509629677/271817901998249*c_0101_6^8 - 9859085213202997/271817901998249*c_0101_6^7 - 9305271062152285/271817901998249*c_0101_6^6 + 8860733688080310/271817901998249*c_0101_6^5 + 2725930820005047/271817901998249*c_0101_6^4 - 3246315244180709/271817901998249*c_0101_6^3 - 1005717797881291/271817901998249*c_0101_6^2 + 1632328700476820/271817901998249*c_0101_6 - 415158698178747/271817901998249, c_0101_0 - 89814346827554/271817901998249*c_0101_6^15 + 237836946603438/271817901998249*c_0101_6^14 + 2317469016527647/271817901998249*c_0101_6^13 + 3265764016732360/271817901998249*c_0101_6^12 - 4653515853574482/271817901998249*c_0101_6^11 - 13448085214018074/271817901998249*c_0101_6^10 + 4072583203478415/271817901998249*c_0101_6^9 + 20308741258038406/271817901998249*c_0101_6^8 - 8463782503601223/271817901998249*c_0101_6^7 - 14728168886204154/271817901998249*c_0101_6^6 + 8774996963725739/271817901998249*c_0101_6^5 + 6014670461478414/271817901998249*c_0101_6^4 - 2722437435849051/271817901998249*c_0101_6^3 - 2396713392625304/271817901998249*c_0101_6^2 + 1875368241513495/271817901998249*c_0101_6 - 410553109046906/271817901998249, c_0101_1 - 9970373957787/271817901998249*c_0101_6^15 + 24550951407881/271817901998249*c_0101_6^14 + 267954147681227/271817901998249*c_0101_6^13 + 403907498722059/271817901998249*c_0101_6^12 - 624651538332471/271817901998249*c_0101_6^11 - 2024012756477460/271817901998249*c_0101_6^10 + 207253429458858/271817901998249*c_0101_6^9 + 3805072649742890/271817901998249*c_0101_6^8 + 712460745801371/271817901998249*c_0101_6^7 - 3519418426075269/271817901998249*c_0101_6^6 - 1149922924024532/271817901998249*c_0101_6^5 + 1811925775576273/271817901998249*c_0101_6^4 + 618470329340514/271817901998249*c_0101_6^3 - 283785766777778/271817901998249*c_0101_6^2 - 262870723212299/271817901998249*c_0101_6 - 63632721599146/271817901998249, c_0101_4 + 46634350740661/271817901998249*c_0101_6^15 - 113322260786884/271817901998249*c_0101_6^14 - 1234301082038487/271817901998249*c_0101_6^13 - 1954698157812441/271817901998249*c_0101_6^12 + 2160972208529116/271817901998249*c_0101_6^11 + 7867689161845419/271817901998249*c_0101_6^10 - 268233042425305/271817901998249*c_0101_6^9 - 11434987868378057/271817901998249*c_0101_6^8 + 1142389982902722/271817901998249*c_0101_6^7 + 8517817891835003/271817901998249*c_0101_6^6 - 2090308751687793/271817901998249*c_0101_6^5 - 3860422676564871/271817901998249*c_0101_6^4 + 45515021984084/271817901998249*c_0101_6^3 + 972557802306872/271817901998249*c_0101_6^2 - 309727950029788/271817901998249*c_0101_6 + 92045815913355/271817901998249, c_0101_5 + 14502472511395/271817901998249*c_0101_6^15 - 72204013608773/271817901998249*c_0101_6^14 - 298571862703789/271817901998249*c_0101_6^13 + 371255698927997/271817901998249*c_0101_6^12 + 2365608068919343/271817901998249*c_0101_6^11 + 1181216397660993/271817901998249*c_0101_6^10 - 6032551754287274/271817901998249*c_0101_6^9 - 4160015071112970/271817901998249*c_0101_6^8 + 8312330675277622/271817901998249*c_0101_6^7 + 2415486601488193/271817901998249*c_0101_6^6 - 6700791587877590/271817901998249*c_0101_6^5 - 415776646603223/271817901998249*c_0101_6^4 + 2948013247800113/271817901998249*c_0101_6^3 + 481520316969308/271817901998249*c_0101_6^2 - 982891319686765/271817901998249*c_0101_6 + 336753320630831/271817901998249, c_0101_6^16 - 3*c_0101_6^15 - 25*c_0101_6^14 - 27*c_0101_6^13 + 68*c_0101_6^12 + 138*c_0101_6^11 - 100*c_0101_6^10 - 229*c_0101_6^9 + 166*c_0101_6^8 + 149*c_0101_6^7 - 149*c_0101_6^6 - 38*c_0101_6^5 + 48*c_0101_6^4 + 17*c_0101_6^3 - 27*c_0101_6^2 + 11*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB