Magma V2.19-8 Tue Aug 20 2013 16:17:08 on localhost [Seed = 4155927331] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1377 geometric_solution 5.23280960 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 0 0 0 0 0 0 1 -1 1 0 0 -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 1 0 -1 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.709251037686 1.398084890146 0 2 3 0 3201 0132 0132 0132 0 0 0 0 0 0 1 -1 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 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.443677385059 0.524440688114 3 1 4 5 2310 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.344521562142 0.917046324033 4 5 2 1 2310 2310 3201 0132 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 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 0 0 0 -0.344521562142 0.917046324033 6 6 3 2 0132 2310 3201 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 -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.006452609926 2.092914376555 5 5 2 3 1302 2031 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.328978042744 0.373708818742 4 6 6 4 0132 3201 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.488020120185 0.489527041730 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0110_5']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), 'c_1010_1' : d['c_0101_1'], '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_1, c_0011_3, c_0011_4, c_0011_5, c_0101_1, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 75808229082136379099231723/33717007679406456381178375*c_0110_5^17 - 222709774675837708859395331/33717007679406456381178375*c_0110_5^16 + 680496110691557857028501608/33717007679406456381178375*c_0110_5^15 - 195205644249475288136713439/33717007679406456381178375*c_0110_5^14 - 1266298153058805869528676464/33717007679406456381178375*c_0110_5^13 + 150541929013922295762243456/6743401535881291276235675*c_0110_5^12 + 5313937594543590436517803544/33717007679406456381178375*c_0110_5^\ 11 - 1305273850882424227054064711/6743401535881291276235675*c_0110_\ 5^10 - 11417816268890483519243896692/33717007679406456381178375*c_0\ 110_5^9 + 865548257660356181068034692/6743401535881291276235675*c_0\ 110_5^8 + 45906247289247641556579271068/33717007679406456381178375*\ c_0110_5^7 + 2736429823971195503842289484/3371700767940645638117837\ 5*c_0110_5^6 - 76969146316007435864172553449/3371700767940645638117\ 8375*c_0110_5^5 + 2870004594622041984917411431/33717007679406456381\ 178375*c_0110_5^4 + 53031974383260048512536397401/33717007679406456\ 381178375*c_0110_5^3 - 11454271214511864637031966138/33717007679406\ 456381178375*c_0110_5^2 - 13691629234402884893601775803/33717007679\ 406456381178375*c_0110_5 + 998743589628849448305213677/674340153588\ 1291276235675, c_0011_0 - 1, c_0011_1 + 339306955155447/1414030271906305*c_0110_5^17 + 881705597915474/1414030271906305*c_0110_5^16 - 3192614294555652/1414030271906305*c_0110_5^15 + 2543679241720651/1414030271906305*c_0110_5^14 + 4167259755976181/1414030271906305*c_0110_5^13 - 855504107276403/282806054381261*c_0110_5^12 - 20368545972923031/1414030271906305*c_0110_5^11 + 7402095603134683/282806054381261*c_0110_5^10 + 31277402334038713/1414030271906305*c_0110_5^9 - 4618429986130067/282806054381261*c_0110_5^8 - 178691444127943312/1414030271906305*c_0110_5^7 + 67693785691662624/1414030271906305*c_0110_5^6 + 271783311444621996/1414030271906305*c_0110_5^5 - 139687964623119729/1414030271906305*c_0110_5^4 - 143737654249275429/1414030271906305*c_0110_5^3 + 100785668821467832/1414030271906305*c_0110_5^2 + 10784550849635202/1414030271906305*c_0110_5 - 2841954517116751/282806054381261, c_0011_3 - 8081206119060275469799/69519603462693724497275*c_0110_5^17 - 24268694695550913710228/69519603462693724497275*c_0110_5^16 + 63734256161753136824379/69519603462693724497275*c_0110_5^15 - 43136915843378091348607/69519603462693724497275*c_0110_5^14 - 99961466107400202149582/69519603462693724497275*c_0110_5^13 + 10893719759974533566478/13903920692538744899455*c_0110_5^12 + 473911690026496115979922/69519603462693724497275*c_0110_5^11 - 137278863653153746216733/13903920692538744899455*c_0110_5^10 - 873643168782090977150146/69519603462693724497275*c_0110_5^9 + 8019412515924055811546/13903920692538744899455*c_0110_5^8 + 3942452625107087386801134/69519603462693724497275*c_0110_5^7 - 125405585935386672004108/69519603462693724497275*c_0110_5^6 - 5331796774191568029514937/69519603462693724497275*c_0110_5^5 + 1589970945907806709280228/69519603462693724497275*c_0110_5^4 + 2502542232646522242303013/69519603462693724497275*c_0110_5^3 - 1552889860606375140991919/69519603462693724497275*c_0110_5^2 - 137914413309442889640564/69519603462693724497275*c_0110_5 + 49153195854729502613996/13903920692538744899455, c_0011_4 - 5478481555698058948097/13903920692538744899455*c_0110_5^17 - 14880980971607845065574/13903920692538744899455*c_0110_5^16 + 49429553792692514576862/13903920692538744899455*c_0110_5^15 - 36412392339813235767061/13903920692538744899455*c_0110_5^14 - 68782875649459198677626/13903920692538744899455*c_0110_5^13 + 11954130430547976454345/2780784138507748979891*c_0110_5^12 + 330852359967406362932376/13903920692538744899455*c_0110_5^11 - 111445952511200635232173/2780784138507748979891*c_0110_5^10 - 547799565612455328938253/13903920692538744899455*c_0110_5^9 + 56333671497237190366527/2780784138507748979891*c_0110_5^8 + 2868806864595861027566262/13903920692538744899455*c_0110_5^7 - 759010282199239110511449/13903920692538744899455*c_0110_5^6 - 4287107413853735240074166/13903920692538744899455*c_0110_5^5 + 1788145607237829559256669/13903920692538744899455*c_0110_5^4 + 2264589493146225008775449/13903920692538744899455*c_0110_5^3 - 1376343225789807369305917/13903920692538744899455*c_0110_5^2 - 199178819945492578596807/13903920692538744899455*c_0110_5 + 39745289569209219186206/2780784138507748979891, c_0011_5 - 453526653843598935024/69519603462693724497275*c_0110_5^17 + 1220747162258780342572/69519603462693724497275*c_0110_5^16 + 12335383851397437286479/69519603462693724497275*c_0110_5^15 - 20098294334569263883857/69519603462693724497275*c_0110_5^14 - 1221843799009847755107/69519603462693724497275*c_0110_5^13 + 8142122892906640545928/13903920692538744899455*c_0110_5^12 + 21918472153577718513547/69519603462693724497275*c_0110_5^11 - 40303742838079422844133/13903920692538744899455*c_0110_5^10 + 106817297604632140747804/69519603462693724497275*c_0110_5^9 + 75850455312997041754361/13903920692538744899455*c_0110_5^8 + 317061973042013459264884/69519603462693724497275*c_0110_5^7 - 1323827699699183422726883/69519603462693724497275*c_0110_5^6 - 826428408518277432243512/69519603462693724497275*c_0110_5^5 + 1877966366069303339678103/69519603462693724497275*c_0110_5^4 + 485062792828210828570263/69519603462693724497275*c_0110_5^3 - 1104338356150583451325469/69519603462693724497275*c_0110_5^2 + 44437555740939042111661/69519603462693724497275*c_0110_5 + 38993504004017445871346/13903920692538744899455, c_0101_1 + 252709591757368056222/13903920692538744899455*c_0110_5^17 - 668828071121442862966/13903920692538744899455*c_0110_5^16 - 6999241470090009486942/13903920692538744899455*c_0110_5^15 + 10287042846276275313791/13903920692538744899455*c_0110_5^14 + 684734703569205934876/13903920692538744899455*c_0110_5^13 - 4374061725937807790255/2780784138507748979891*c_0110_5^12 - 15026482751341452508231/13903920692538744899455*c_0110_5^11 + 21527977620338698572029/2780784138507748979891*c_0110_5^10 - 50547350522795744478747/13903920692538744899455*c_0110_5^9 - 41380156095300714147485/2780784138507748979891*c_0110_5^8 - 209595985339177588279572/13903920692538744899455*c_0110_5^7 + 684766013582088104160164/13903920692538744899455*c_0110_5^6 + 498736693732729295941896/13903920692538744899455*c_0110_5^5 - 920644082002465967400669/13903920692538744899455*c_0110_5^4 - 290735150843439846541794/13903920692538744899455*c_0110_5^3 + 504611246745532844326432/13903920692538744899455*c_0110_5^2 + 1761158504852817279777/13903920692538744899455*c_0110_5 - 15976389174739858274511/2780784138507748979891, c_0110_5^18 + 2*c_0110_5^17 - 11*c_0110_5^16 + 13*c_0110_5^15 + 8*c_0110_5^14 - 20*c_0110_5^13 - 53*c_0110_5^12 + 145*c_0110_5^11 + 29*c_0110_5^10 - 125*c_0110_5^9 - 491*c_0110_5^8 + 512*c_0110_5^7 + 698*c_0110_5^6 - 882*c_0110_5^5 - 197*c_0110_5^4 + 546*c_0110_5^3 - 134*c_0110_5^2 - 65*c_0110_5 + 25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB