Magma V2.19-8 Tue Aug 20 2013 16:16:14 on localhost [Seed = 1461111700] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0489 geometric_solution 4.50883171 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 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 0 0 0 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.893761865665 0.139525822585 2 0 0 2 0132 0132 1023 3201 0 0 0 0 0 1 0 -1 1 0 -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 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 -1.113789077558 0.643566615818 1 1 3 3 0132 2310 0132 3201 0 0 0 0 0 1 0 -1 -1 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 0 1 0 -1 -1 0 1 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.104076287472 0.131371162079 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 -1 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.573284363070 2.815929047268 3 5 5 6 0132 3201 0213 0132 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 -1 1 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.209935017965 0.823670578009 6 4 4 3 3201 0213 2310 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.209935017965 0.823670578009 6 6 4 5 1302 2031 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 0.606512521193 0.632310670971 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0011_5'], '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_3']), '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0011_5'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 3628004676237070777838469069/1690714696298769147274556*c_0101_5^19 + 3081638013963068850528823993/845357348149384573637278*c_0101_5^18 - 927788047884941246422348611/845357348149384573637278*c_0101_5^17 - 7115955075727895287329728393/422678674074692286818639*c_0101_5^16 - 2311251616821032558475555255/1690714696298769147274556*c_0101_5^15 + 105557218723697596216083867323/845357348149384573637278*c_0101_5^14 - 437271418667680439179419102109/1690714696298769147274556*c_0101_5\ ^13 - 6970994661302028314856980690/422678674074692286818639*c_0101_\ 5^12 - 554033679908847593906115971481/1690714696298769147274556*c_0\ 101_5^11 + 304738724932616240981085644321/845357348149384573637278*\ c_0101_5^10 + 67792532479010274912854379367/84535734814938457363727\ 8*c_0101_5^9 + 418626317219156597815163272279/845357348149384573637\ 278*c_0101_5^8 + 1768659689995903843472746427173/169071469629876914\ 7274556*c_0101_5^7 + 900510592632002682344438626663/169071469629876\ 9147274556*c_0101_5^6 - 912987626843167157062998485491/169071469629\ 8769147274556*c_0101_5^5 - 802331087692569346336264339743/169071469\ 6298769147274556*c_0101_5^4 - 53911371924262728747306431675/4226786\ 74074692286818639*c_0101_5^3 + 3380748018796200844696497371/8453573\ 48149384573637278*c_0101_5^2 + 88640478843254789422799392681/169071\ 4696298769147274556*c_0101_5 + 12033700641025335887272892719/845357\ 348149384573637278, c_0011_0 - 1, c_0011_3 + 247643721366510344049666/422678674074692286818639*c_0101_5^1\ 9 + 413798700740927913582240/422678674074692286818639*c_0101_5^18 - 137922064405878280478577/422678674074692286818639*c_0101_5^17 - 1938997180441690665706190/422678674074692286818639*c_0101_5^16 - 99765732458502396089552/422678674074692286818639*c_0101_5^15 + 14423949560151575753186752/422678674074692286818639*c_0101_5^14 - 30229160176397531201154595/422678674074692286818639*c_0101_5^13 - 1044659455155850288185556/422678674074692286818639*c_0101_5^12 - 37821401367822904764543225/422678674074692286818639*c_0101_5^11 + 42980991604394582223644788/422678674074692286818639*c_0101_5^10 + 7721497721225642162616658/422678674074692286818639*c_0101_5^9 + 57187042198403023988835784/422678674074692286818639*c_0101_5^8 + 117998109040777796693167050/422678674074692286818639*c_0101_5^7 + 57908950292102029191826263/422678674074692286818639*c_0101_5^6 - 65713336776656997869632492/422678674074692286818639*c_0101_5^5 - 54031757115748509555805224/422678674074692286818639*c_0101_5^4 - 13627541341578386707428028/422678674074692286818639*c_0101_5^3 + 959399493835403305266968/422678674074692286818639*c_0101_5^2 + 6116201398324029157019144/422678674074692286818639*c_0101_5 + 1823102597604031919562532/422678674074692286818639, c_0011_5 - 2848438871833851777653539/422678674074692286818639*c_0101_1*\ c_0101_5^19 - 4831228933102375101670913/422678674074692286818639*c_\ 0101_1*c_0101_5^18 + 1472215604736066362587228/42267867407469228681\ 8639*c_0101_1*c_0101_5^17 + 22351765610307431240893959/422678674074\ 692286818639*c_0101_1*c_0101_5^16 + 1764514691698442877113417/422678674074692286818639*c_0101_1*c_0101_\ 5^15 - 165765601572329186948550366/422678674074692286818639*c_0101_\ 1*c_0101_5^14 + 343736393915008884868921026/42267867407469228681863\ 9*c_0101_1*c_0101_5^13 + 21074038034496923133651574/422678674074692\ 286818639*c_0101_1*c_0101_5^12 + 434902557065551945984620625/422678\ 674074692286818639*c_0101_1*c_0101_5^11 - 479968669860771716495761423/422678674074692286818639*c_0101_1*c_010\ 1_5^10 - 105886474658773414968208609/422678674074692286818639*c_010\ 1_1*c_0101_5^9 - 657352864719605794636009554/4226786740746922868186\ 39*c_0101_1*c_0101_5^8 - 1386988838881293409988072135/4226786740746\ 92286818639*c_0101_1*c_0101_5^7 - 702509776639772165234999993/42267\ 8674074692286818639*c_0101_1*c_0101_5^6 + 720195831136045149043495900/422678674074692286818639*c_0101_1*c_010\ 1_5^5 + 630586243696370526062207594/422678674074692286818639*c_0101\ _1*c_0101_5^4 + 169247566839523157432301257/42267867407469228681863\ 9*c_0101_1*c_0101_5^3 - 6096662797233505481949103/42267867407469228\ 6818639*c_0101_1*c_0101_5^2 - 69588653779536539901327378/4226786740\ 74692286818639*c_0101_1*c_0101_5 - 18837182434141780151030637/422678674074692286818639*c_0101_1, c_0011_6 - 1130311133812402527645513/422678674074692286818639*c_0101_1*\ c_0101_5^19 - 1913845533053827470630095/422678674074692286818639*c_\ 0101_1*c_0101_5^18 + 591078102889661514664932/422678674074692286818\ 639*c_0101_1*c_0101_5^17 + 8871936411919336050341637/42267867407469\ 2286818639*c_0101_1*c_0101_5^16 + 671347607734418388787836/42267867\ 4074692286818639*c_0101_1*c_0101_5^15 - 65798668360830280287462408/422678674074692286818639*c_0101_1*c_0101\ _5^14 + 136578992435949248305859691/422678674074692286818639*c_0101\ _1*c_0101_5^13 + 8071540854088876668385579/422678674074692286818639\ *c_0101_1*c_0101_5^12 + 172460266576505260345412070/422678674074692\ 286818639*c_0101_1*c_0101_5^11 - 191505521616121335721174002/422678\ 674074692286818639*c_0101_1*c_0101_5^10 - 40851440341739396306000538/422678674074692286818639*c_0101_1*c_0101\ _5^9 - 261353381456808656758273833/422678674074692286818639*c_0101_\ 1*c_0101_5^8 - 548212600339946989097705992/422678674074692286818639\ *c_0101_1*c_0101_5^7 - 278053034245345986858877124/4226786740746922\ 86818639*c_0101_1*c_0101_5^6 + 288852405596215975023387039/42267867\ 4074692286818639*c_0101_1*c_0101_5^5 + 250265912825214923930830724/422678674074692286818639*c_0101_1*c_010\ 1_5^4 + 65485333511759262161967119/422678674074692286818639*c_0101_\ 1*c_0101_5^3 - 2696977542522223969731566/422678674074692286818639*c\ _0101_1*c_0101_5^2 - 27778862501546737326918834/4226786740746922868\ 18639*c_0101_1*c_0101_5 - 7571821738014525520557529/422678674074692\ 286818639*c_0101_1, c_0101_0 + 7505953710169914220846276/422678674074692286818639*c_0101_1*\ c_0101_5^19 + 12772669652519371207430711/422678674074692286818639*c\ _0101_1*c_0101_5^18 - 3811132209418180036931853/4226786740746922868\ 18639*c_0101_1*c_0101_5^17 - 58912352784613672341042422/42267867407\ 4692286818639*c_0101_1*c_0101_5^16 - 4945599730376202673574589/422678674074692286818639*c_0101_1*c_0101_\ 5^15 + 436826609997606775782361080/422678674074692286818639*c_0101_\ 1*c_0101_5^14 - 903415293948868908256009795/42267867407469228681863\ 9*c_0101_1*c_0101_5^13 - 60758026261750126743221572/422678674074692\ 286818639*c_0101_1*c_0101_5^12 - 1145252715205073040351305561/42267\ 8674074692286818639*c_0101_1*c_0101_5^11 + 1257331339348730345243461355/422678674074692286818639*c_0101_1*c_01\ 01_5^10 + 286078441020591158044412904/422678674074692286818639*c_01\ 01_1*c_0101_5^9 + 1730720488922834280941310236/42267867407469228681\ 8639*c_0101_1*c_0101_5^8 + 3664927981339209615196436011/42267867407\ 4692286818639*c_0101_1*c_0101_5^7 + 1869959590272567277037776120/422678674074692286818639*c_0101_1*c_01\ 01_5^6 - 1886917359381519043230770448/422678674074692286818639*c_01\ 01_1*c_0101_5^5 - 1668286544106413642918305900/42267867407469228681\ 8639*c_0101_1*c_0101_5^4 - 449507659157865937809197001/422678674074\ 692286818639*c_0101_1*c_0101_5^3 + 14024723552972166174349189/422678674074692286818639*c_0101_1*c_0101\ _5^2 + 183528722172366149699303603/422678674074692286818639*c_0101_\ 1*c_0101_5 + 50204678507707371986282231/422678674074692286818639*c_\ 0101_1, c_0101_1^2 + 439202587324110984895759/845357348149384573637278*c_0101_5\ ^19 + 381181962991897618882858/422678674074692286818639*c_0101_5^18 - 100922986877742986862446/422678674074692286818639*c_0101_5^17 - 1729049522517902322581056/422678674074692286818639*c_0101_5^16 - 401787074419562850737875/845357348149384573637278*c_0101_5^15 + 12787936513322043807819252/422678674074692286818639*c_0101_5^14 - 52024305124043770901933527/845357348149384573637278*c_0101_5^13 - 2801216414346230258033745/422678674074692286818639*c_0101_5^12 - 66396699151539150739057477/845357348149384573637278*c_0101_5^11 + 35301731515540136889673063/422678674074692286818639*c_0101_5^10 + 10171015195184915513724684/422678674074692286818639*c_0101_5^9 + 50055210270705165856775483/422678674074692286818639*c_0101_5^8 + 219395801980441811113841217/845357348149384573637278*c_0101_5^7 + 115199923251164088452569495/845357348149384573637278*c_0101_5^6 - 106471229343580002063368203/845357348149384573637278*c_0101_5^5 - 100750567912202233207297091/845357348149384573637278*c_0101_5^4 - 13884209038664128465491695/422678674074692286818639*c_0101_5^3 + 30597507393870928102130/422678674074692286818639*c_0101_5^2 + 10837431565890748219039629/845357348149384573637278*c_0101_5 + 1249699735759413788044351/422678674074692286818639, c_0101_5^20 + 2*c_0101_5^19 - 8*c_0101_5^17 - 3*c_0101_5^16 + 58*c_0101_5^15 - 103*c_0101_5^14 - 44*c_0101_5^13 - 155*c_0101_5^12 + 122*c_0101_5^11 + 88*c_0101_5^10 + 242*c_0101_5^9 + 557*c_0101_5^8 + 395*c_0101_5^7 - 177*c_0101_5^6 - 297*c_0101_5^5 - 126*c_0101_5^4 - 16*c_0101_5^3 + 25*c_0101_5^2 + 14*c_0101_5 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB