Magma V2.19-8 Tue Aug 20 2013 16:15:59 on localhost [Seed = 2429619369] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0230 geometric_solution 4.19140097 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 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 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.740102168084 1.226486011729 0 3 2 2 0132 0132 0132 1302 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 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.165348887546 0.780299305059 3 0 1 1 3201 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.165348887546 0.780299305059 4 1 4 2 0132 0132 2310 2310 0 0 0 0 0 0 0 0 -1 0 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 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.568824946550 1.452400194274 3 3 5 5 0132 3201 3201 0132 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 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.258668448321 0.158673848371 4 6 4 6 2310 0132 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 1 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 -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 -3.001551239929 0.979108850799 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 1 0 0 -1 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 1 0 -1 0 0 1 -1 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.329525987658 0.026551997934 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : negation(d['c_0101_2']), '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_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 3085419818082428752148427655/17749939629908136175527578*c_0110_6^15 - 94892119946713551146324243/17749939629908136175527578*c_0110_6^14 + 18004282127540574537264716687/17749939629908136175527578*c_0110_6\ ^13 - 8166959029483047255943591137/8874969814954068087763789*c_0110\ _6^12 - 6882670565800494249703761933/8874969814954068087763789*c_01\ 10_6^11 + 6658960337774514069560311618/8874969814954068087763789*c_\ 0110_6^10 - 8307045412966960499468918237/17749939629908136175527578\ *c_0110_6^9 + 37433254270998368221423502181/17749939629908136175527\ 578*c_0110_6^8 + 4009992191052609565519747375/887496981495406808776\ 3789*c_0110_6^7 - 62199533197464939747838927975/1774993962990813617\ 5527578*c_0110_6^6 + 3432770445038045821190534045/17749939629908136\ 175527578*c_0110_6^5 + 16529977932415940266926295477/88749698149540\ 68087763789*c_0110_6^4 - 4791551477198010860034347525/1774993962990\ 8136175527578*c_0110_6^3 - 3065235847831079338743228419/88749698149\ 54068087763789*c_0110_6^2 + 793365156660539590483459547/17749939629\ 908136175527578*c_0110_6 - 371873997279400976233529549/177499396299\ 08136175527578, c_0011_0 - 1, c_0011_5 - 1637182451840828235793945/286289348869486067347219*c_0110_6^\ 15 + 575201259574841790725493/286289348869486067347219*c_0110_6^14 + 8853996968894789673975834/286289348869486067347219*c_0110_6^13 - 12176593344207597605731367/286289348869486067347219*c_0110_6^12 - 175727493628656368891366/286289348869486067347219*c_0110_6^11 + 4929937431877968305129837/286289348869486067347219*c_0110_6^10 - 7523253290162975629583546/286289348869486067347219*c_0110_6^9 + 23930436440486294404534800/286289348869486067347219*c_0110_6^8 - 7125477343625914457307528/286289348869486067347219*c_0110_6^7 - 24527595387211274597156370/286289348869486067347219*c_0110_6^6 + 12117025546810015869342506/286289348869486067347219*c_0110_6^5 + 6383792459745976492062348/286289348869486067347219*c_0110_6^4 - 3562605800561404946446926/286289348869486067347219*c_0110_6^3 + 464181100939659995617116/286289348869486067347219*c_0110_6^2 - 287678687222169254798528/286289348869486067347219*c_0110_6 - 252749645253059357339477/286289348869486067347219, c_0101_0 + 4283282369823956810768380/286289348869486067347219*c_0110_6^\ 15 - 1301945008571057145340742/286289348869486067347219*c_0110_6^14 - 24157682024354318574614209/286289348869486067347219*c_0110_6^13 + 30587340536530705006270074/286289348869486067347219*c_0110_6^12 + 6421862735305061832538088/286289348869486067347219*c_0110_6^11 - 17576686863298564259495269/286289348869486067347219*c_0110_6^10 + 18343564829519335306159415/286289348869486067347219*c_0110_6^9 - 60658440170640318755999759/286289348869486067347219*c_0110_6^8 + 11920246934859329297239605/286289348869486067347219*c_0110_6^7 + 75226963618126203918797829/286289348869486067347219*c_0110_6^6 - 28586269692752505057642702/286289348869486067347219*c_0110_6^5 - 27804565048175846508924223/286289348869486067347219*c_0110_6^4 + 12155348772965476280296277/286289348869486067347219*c_0110_6^3 + 3046760700449673360326951/286289348869486067347219*c_0110_6^2 - 579176314550164873292053/286289348869486067347219*c_0110_6 + 220122441630493590154732/286289348869486067347219, c_0101_1 + 1361602842558375153729795/286289348869486067347219*c_0110_6^\ 15 - 248858672981592341048283/286289348869486067347219*c_0110_6^14 - 7096990826208465702045404/286289348869486067347219*c_0110_6^13 + 8571553982723282800903932/286289348869486067347219*c_0110_6^12 - 92277293350809015515099/286289348869486067347219*c_0110_6^11 - 688415827549556389902400/286289348869486067347219*c_0110_6^10 + 4721937382221282441023011/286289348869486067347219*c_0110_6^9 - 19636420152659199499596751/286289348869486067347219*c_0110_6^8 + 3959117865147346968243382/286289348869486067347219*c_0110_6^7 + 15406770274215529643063732/286289348869486067347219*c_0110_6^6 - 3191905933862856885243665/286289348869486067347219*c_0110_6^5 - 2075749413637400656702144/286289348869486067347219*c_0110_6^4 - 1009891406844670959749422/286289348869486067347219*c_0110_6^3 - 297916250846604677848321/286289348869486067347219*c_0110_6^2 + 916760903200707788376034/286289348869486067347219*c_0110_6 + 2844600973754429936993/286289348869486067347219, c_0101_2 + 932329343899447229110650/286289348869486067347219*c_0110_6^1\ 5 - 238871611132410826721965/286289348869486067347219*c_0110_6^14 - 5537368531913525520344738/286289348869486067347219*c_0110_6^13 + 6156511905889532228239313/286289348869486067347219*c_0110_6^12 + 2922866706250461040039079/286289348869486067347219*c_0110_6^11 - 4089454251999452468939533/286289348869486067347219*c_0110_6^10 + 2962926830921444992182742/286289348869486067347219*c_0110_6^9 - 13230009164950125263897202/286289348869486067347219*c_0110_6^8 + 548292648146678782895801/286289348869486067347219*c_0110_6^7 + 19181403079239231325989851/286289348869486067347219*c_0110_6^6 - 3201658578781438726568368/286289348869486067347219*c_0110_6^5 - 8102178776607469082230962/286289348869486067347219*c_0110_6^4 + 1420480053177576637231663/286289348869486067347219*c_0110_6^3 + 408907081720075366225642/286289348869486067347219*c_0110_6^2 + 106638729275791585029888/286289348869486067347219*c_0110_6 + 279883421816546809603359/286289348869486067347219, c_0101_3 - 130754868433434720783715/286289348869486067347219*c_0110_6^1\ 5 + 917268636539075354121006/286289348869486067347219*c_0110_6^14 + 1032417813157188440282252/286289348869486067347219*c_0110_6^13 - 5517183749962499901488318/286289348869486067347219*c_0110_6^12 + 3431496701126410753699811/286289348869486067347219*c_0110_6^11 + 3293621547573527100392623/286289348869486067347219*c_0110_6^10 - 2739187279148171747554501/286289348869486067347219*c_0110_6^9 + 5952583143285106642312603/286289348869486067347219*c_0110_6^8 - 10729974565221477655184870/286289348869486067347219*c_0110_6^7 - 5421159359427561469045361/286289348869486067347219*c_0110_6^6 + 13089198329194629648267300/286289348869486067347219*c_0110_6^5 - 598879957850283582409476/286289348869486067347219*c_0110_6^4 - 4121317318283944872551804/286289348869486067347219*c_0110_6^3 + 975928646505625158922718/286289348869486067347219*c_0110_6^2 + 260742933048872044644332/286289348869486067347219*c_0110_6 + 48215676102694838386223/286289348869486067347219, c_0110_6^16 - 17/55*c_0110_6^15 - 312/55*c_0110_6^14 + 397/55*c_0110_6^13 + 92/55*c_0110_6^12 - 248/55*c_0110_6^11 + 244/55*c_0110_6^10 - 155/11*c_0110_6^9 + 147/55*c_0110_6^8 + 202/11*c_0110_6^7 - 403/55*c_0110_6^6 - 383/55*c_0110_6^5 + 178/55*c_0110_6^4 + 32/55*c_0110_6^3 - 8/55*c_0110_6^2 + 1/11*c_0110_6 - 1/55 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB