Magma V2.19-8 Tue Aug 20 2013 16:14:24 on localhost [Seed = 2951623597] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s398 geometric_solution 4.64528062 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 1 1 2 3 0132 3201 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 -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.420813608351 0.469175152712 0 1 0 1 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.765050186579 1.321912805343 4 3 3 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 -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.817694216823 0.650496497738 2 4 0 2 1230 3201 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 0 -1 1 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.817694216823 0.650496497738 2 5 3 5 0132 0132 2310 1023 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 0 0 0 0 0 0 0 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.836008164774 1.188785116581 5 4 5 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507475005772 0.447741734075 ==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_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_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_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], '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_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_2']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1305983708363629535850310600/22480225399190895389927899*c_0101_5^16 + 10132904410119421389330021824/22480225399190895389927899*c_0101_5\ ^15 + 32499506483664321059218543260/22480225399190895389927899*c_01\ 01_5^14 - 236521400562765843235412202550/22480225399190895389927899\ *c_0101_5^13 - 351341209147077287140517393534/224802253991908953899\ 27899*c_0101_5^12 + 1756064617112070943203101340284/224802253991908\ 95389927899*c_0101_5^11 + 1733108476240825443644879637308/224802253\ 99190895389927899*c_0101_5^10 - 4276585389162558865973346314284/224\ 80225399190895389927899*c_0101_5^9 - 2410091472291229768808911187196/22480225399190895389927899*c_0101_5\ ^8 + 2205100404148925007996836258605/22480225399190895389927899*c_0\ 101_5^7 + 700783959097584116212554497970/22480225399190895389927899\ *c_0101_5^6 + 1007723067963830301300415010845/224802253991908953899\ 27899*c_0101_5^5 - 754659377495820793730293090271/22480225399190895\ 389927899*c_0101_5^4 + 124123188960788317580817549936/2248022539919\ 0895389927899*c_0101_5^3 - 68373563130680197444512465291/2248022539\ 9190895389927899*c_0101_5^2 + 56478168295281999258676060741/2248022\ 5399190895389927899*c_0101_5 - 2543720141609020260765406125/2248022\ 5399190895389927899, c_0011_0 - 1, c_0011_2 - 3351184663210329584616738/22480225399190895389927899*c_0101_\ 5^16 + 26155948171225558896349898/22480225399190895389927899*c_0101\ _5^15 + 82369989198363534998405786/22480225399190895389927899*c_010\ 1_5^14 - 612186531304533115919216783/22480225399190895389927899*c_0\ 101_5^13 - 877470825170446314713442994/22480225399190895389927899*c\ _0101_5^12 + 4580877338669416082708760644/2248022539919089538992789\ 9*c_0101_5^11 + 4275925181459363748484244138/2248022539919089538992\ 7899*c_0101_5^10 - 11429243885540941284435009757/224802253991908953\ 89927899*c_0101_5^9 - 5827433911131173145346980309/2248022539919089\ 5389927899*c_0101_5^8 + 6584280741219367034910874942/22480225399190\ 895389927899*c_0101_5^7 + 1620321565240016327382312703/224802253991\ 90895389927899*c_0101_5^6 + 2122631569593989279676890842/2248022539\ 9190895389927899*c_0101_5^5 - 1917698794992685490323053093/22480225\ 399190895389927899*c_0101_5^4 + 295571459990397377362535950/2248022\ 5399190895389927899*c_0101_5^3 - 136055101466668673243922264/224802\ 25399190895389927899*c_0101_5^2 + 100283464049149376014982212/22480\ 225399190895389927899*c_0101_5 - 8526524459316186540719518/22480225\ 399190895389927899, c_0101_0 - 263899516584159917835901/22480225399190895389927899*c_0101_5\ ^16 + 1887967391619251592167177/22480225399190895389927899*c_0101_5\ ^15 + 7600852126288683924881959/22480225399190895389927899*c_0101_5\ ^14 - 42209839982620481490779092/22480225399190895389927899*c_0101_\ 5^13 - 95010172939532376511091034/22480225399190895389927899*c_0101\ _5^12 + 274240969949313180151201740/22480225399190895389927899*c_01\ 01_5^11 + 514427636604165632084823017/22480225399190895389927899*c_\ 0101_5^10 - 370708735026289158257654632/22480225399190895389927899*\ c_0101_5^9 - 771939151047299023549419808/22480225399190895389927899\ *c_0101_5^8 - 548095187372632590268667226/2248022539919089538992789\ 9*c_0101_5^7 + 111333433576301660402671392/224802253991908953899278\ 99*c_0101_5^6 + 645544728362333842378141546/22480225399190895389927\ 899*c_0101_5^5 + 47307785381080752351800998/22480225399190895389927\ 899*c_0101_5^4 + 166808227705290402247820765/2248022539919089538992\ 7899*c_0101_5^3 - 141556382220051696414604655/224802253991908953899\ 27899*c_0101_5^2 - 8195496321699651316504250/2248022539919089538992\ 7899*c_0101_5 - 10671745281755677214413703/224802253991908953899278\ 99, c_0101_1 + 1949434527278764354545496/22480225399190895389927899*c_0101_\ 5^16 - 14594202426837997284357668/22480225399190895389927899*c_0101\ _5^15 - 52456232461073122943452020/22480225399190895389927899*c_010\ 1_5^14 + 338603592491467625796269400/22480225399190895389927899*c_0\ 101_5^13 + 615109284669827165213201046/22480225399190895389927899*c\ _0101_5^12 - 2449237231527249071327300217/2248022539919089538992789\ 9*c_0101_5^11 - 3226854952264052985028123784/2248022539919089538992\ 7899*c_0101_5^10 + 5464886405855912187484606347/2248022539919089538\ 9927899*c_0101_5^9 + 4892981324764699553498289686/22480225399190895\ 389927899*c_0101_5^8 - 1817865462644000554912170947/224802253991908\ 95389927899*c_0101_5^7 - 1028182189442943261722290390/2248022539919\ 0895389927899*c_0101_5^6 - 2056451526179759677589126316/22480225399\ 190895389927899*c_0101_5^5 + 161695659292214238826741422/2248022539\ 9190895389927899*c_0101_5^4 + 24427086258312951476368935/2248022539\ 9190895389927899*c_0101_5^3 + 99460290919954105988225071/2248022539\ 9190895389927899*c_0101_5^2 + 18679427477581281043645188/2248022539\ 9190895389927899*c_0101_5 - 18434385721964858518347469/224802253991\ 90895389927899, c_0101_2 - 2341821873261601094284384/22480225399190895389927899*c_0101_\ 5^16 + 18226166815596699145813680/22480225399190895389927899*c_0101\ _5^15 + 57696975738905507641626910/22480225399190895389927899*c_010\ 1_5^14 - 424457539714388131323123967/22480225399190895389927899*c_0\ 101_5^13 - 615999985825832678659217854/22480225399190895389927899*c\ _0101_5^12 + 3139626374045348572112663821/2248022539919089538992789\ 9*c_0101_5^11 + 2987572167614338466077548996/2248022539919089538992\ 7899*c_0101_5^10 - 7570367661408076333448685714/2248022539919089538\ 9927899*c_0101_5^9 - 3905942269302142225284329252/22480225399190895\ 389927899*c_0101_5^8 + 3698460359600198353223176268/224802253991908\ 95389927899*c_0101_5^7 + 820717266255141191251690110/22480225399190\ 895389927899*c_0101_5^6 + 1824320445239372971946424326/224802253991\ 90895389927899*c_0101_5^5 - 1320242052677136490749000473/2248022539\ 9190895389927899*c_0101_5^4 + 419899977405980223673056593/224802253\ 99190895389927899*c_0101_5^3 - 172544939490386819604319876/22480225\ 399190895389927899*c_0101_5^2 + 141142091140603502774855746/2248022\ 5399190895389927899*c_0101_5 - 17616303601296929263404314/224802253\ 99190895389927899, c_0101_5^17 - 8*c_0101_5^16 - 23*c_0101_5^15 + 187*c_0101_5^14 + 225*c_0101_5^13 - 1407*c_0101_5^12 - 999*c_0101_5^11 + 3576*c_0101_5^10 + 1037*c_0101_5^9 - 2088*c_0101_5^8 - 103*c_0101_5^7 - 666*c_0101_5^6 + 756*c_0101_5^5 - 245*c_0101_5^4 + 83*c_0101_5^3 - 57*c_0101_5^2 + 13*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB