Magma V2.19-8 Tue Aug 20 2013 16:14:19 on localhost [Seed = 3035965585] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s292 geometric_solution 4.45721124 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 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 0 0 0 0 0 0 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.387450890519 0.731012630458 2 3 2 0 1302 0132 1230 0132 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 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.673429953554 0.803667484219 3 1 0 1 0132 2031 0132 3012 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 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.673429953554 0.803667484219 2 1 4 4 0132 0132 0132 3201 0 0 0 0 0 0 0 0 -1 0 1 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 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.384261273325 0.566462989303 5 3 5 3 0132 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 -1 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.356343413362 2.414387901303 4 4 5 5 0132 3201 1230 3012 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 -1 0 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.190460592022 0.154548065321 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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' : d['1'], 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0101_3'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : negation(d['c_0011_1']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_0']), '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_0011_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0011_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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 53339749084883226733/12352185744650371280*c_0101_4^16 + 440942656826729921037/12352185744650371280*c_0101_4^15 - 5914766316592525687/617609287232518564*c_0101_4^14 - 372882003746326627432/772011609040648205*c_0101_4^13 - 638318834247944554179/772011609040648205*c_0101_4^12 + 9537495026855047025883/12352185744650371280*c_0101_4^11 + 20381090769732247447607/6176092872325185640*c_0101_4^10 + 27464187729551033530267/12352185744650371280*c_0101_4^9 - 976989371014963041084/772011609040648205*c_0101_4^8 - 177250656513991404575/308804643616259282*c_0101_4^7 + 2973700880974743388139/3088046436162592820*c_0101_4^6 - 211578376493485373157/6176092872325185640*c_0101_4^5 + 433374593890461142639/6176092872325185640*c_0101_4^4 - 259107581125433806713/2470437148930074256*c_0101_4^3 + 375079240313456979791/12352185744650371280*c_0101_4^2 - 11425256061808060241/3088046436162592820*c_0101_4 + 52860472421281476677/12352185744650371280, c_0011_0 - 1, c_0011_1 + 351384635694/896421461587*c_0101_4^16 + 14541642542179/4482107307935*c_0101_4^15 - 4570777459687/4482107307935*c_0101_4^14 - 203451845835661/4482107307935*c_0101_4^13 - 337524542004799/4482107307935*c_0101_4^12 + 402574655771351/4482107307935*c_0101_4^11 + 1515235802116472/4482107307935*c_0101_4^10 + 795283586323728/4482107307935*c_0101_4^9 - 228552266175373/896421461587*c_0101_4^8 - 735793591954557/4482107307935*c_0101_4^7 + 551903866103114/4482107307935*c_0101_4^6 + 13132126722401/896421461587*c_0101_4^5 - 195340885242232/4482107307935*c_0101_4^4 - 50530396671287/4482107307935*c_0101_4^3 + 23363186134799/4482107307935*c_0101_4^2 + 1384788061491/896421461587*c_0101_4 - 4843124934942/4482107307935, c_0011_4 + 303836886427/4482107307935*c_0101_4^16 + 2613115319408/4482107307935*c_0101_4^15 + 16307736224/896421461587*c_0101_4^14 - 34975374639793/4482107307935*c_0101_4^13 - 70055360638126/4482107307935*c_0101_4^12 + 43969560256792/4482107307935*c_0101_4^11 + 275376223508291/4482107307935*c_0101_4^10 + 239461708451138/4482107307935*c_0101_4^9 - 104960188622206/4482107307935*c_0101_4^8 - 35494096042987/896421461587*c_0101_4^7 + 2831200296549/4482107307935*c_0101_4^6 + 13424499385994/4482107307935*c_0101_4^5 - 11145648910378/4482107307935*c_0101_4^4 - 1192752608784/896421461587*c_0101_4^3 + 265223337859/4482107307935*c_0101_4^2 - 6419059658791/4482107307935*c_0101_4 + 1453086292043/4482107307935, c_0101_0 - 187885030803311212/772011609040648205*c_0101_4^16 - 1389966994501707064/772011609040648205*c_0101_4^15 + 1823918370665400288/772011609040648205*c_0101_4^14 + 21047551854199406562/772011609040648205*c_0101_4^13 + 16885559479636153542/772011609040648205*c_0101_4^12 - 71159476738802635086/772011609040648205*c_0101_4^11 - 115876878897370222939/772011609040648205*c_0101_4^10 + 11002090281360418381/154402321808129641*c_0101_4^9 + 167327883866586316246/772011609040648205*c_0101_4^8 - 61668396689397999792/772011609040648205*c_0101_4^7 - 25075677384050238075/154402321808129641*c_0101_4^6 + 64360813808943829721/772011609040648205*c_0101_4^5 + 31041854798335585046/772011609040648205*c_0101_4^4 - 12291470896096513537/772011609040648205*c_0101_4^3 - 1049016369290637268/154402321808129641*c_0101_4^2 + 1393641890811508641/772011609040648205*c_0101_4 + 276413948892936248/154402321808129641, c_0101_3 + 120800266299883396/772011609040648205*c_0101_4^16 + 188241138701389073/154402321808129641*c_0101_4^15 - 760971448492583953/772011609040648205*c_0101_4^14 - 13536040865737801933/772011609040648205*c_0101_4^13 - 16663143161166598964/772011609040648205*c_0101_4^12 + 6924469004073659274/154402321808129641*c_0101_4^11 + 85446724111498602121/772011609040648205*c_0101_4^10 + 15325872615557711646/772011609040648205*c_0101_4^9 - 77733028219246649458/772011609040648205*c_0101_4^8 - 8595932991585691033/772011609040648205*c_0101_4^7 + 36236830871126569403/772011609040648205*c_0101_4^6 - 14922216296548883713/772011609040648205*c_0101_4^5 + 452885388440604403/772011609040648205*c_0101_4^4 - 2231161346954847193/772011609040648205*c_0101_4^3 - 122941395096460807/772011609040648205*c_0101_4^2 + 108624986423319892/772011609040648205*c_0101_4 - 391057038862297909/772011609040648205, c_0101_4^17 + 8*c_0101_4^16 - 5*c_0101_4^15 - 116*c_0101_4^14 - 160*c_0101_4^13 + 295*c_0101_4^12 + 823*c_0101_4^11 + 193*c_0101_4^10 - 879*c_0101_4^9 - 312*c_0101_4^8 + 500*c_0101_4^7 + 34*c_0101_4^6 - 136*c_0101_4^5 - 23*c_0101_4^4 + 20*c_0101_4^3 + 9*c_0101_4^2 - 3*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB