Magma V2.19-8 Tue Aug 20 2013 16:14:52 on localhost [Seed = 2648441333] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s848 geometric_solution 5.45726582 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 -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.283276348673 0.245346879786 2 0 3 0 0132 2310 0132 0132 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 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.699668848667 1.501633072858 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 1 -1 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 -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.589615322074 1.107771659011 2 5 4 1 3012 3201 3201 0132 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.589615322074 1.107771659011 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 -1 0 1 -1 0 1 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 -1 0 1 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.259777000258 0.560099054408 5 5 3 2 1302 2031 2310 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 0.537756818341 0.956503726697 ==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' : 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' : 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' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], '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_0101_0']), 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 4653488364488997512967/1264758596369705435*c_0101_3^21 - 21958505791990914755939/1264758596369705435*c_0101_3^20 + 57387601915230773872979/1264758596369705435*c_0101_3^19 + 258541570280759106459351/1264758596369705435*c_0101_3^18 - 556850780841506336730021/1264758596369705435*c_0101_3^17 - 1226868666873885828710646/1264758596369705435*c_0101_3^16 + 3548141109279196983966469/1264758596369705435*c_0101_3^15 + 361208910769439237948702/252951719273941087*c_0101_3^14 - 2337426673516377635728412/252951719273941087*c_0101_3^13 + 4822982610241038659673163/1264758596369705435*c_0101_3^12 + 16641697646677755877678044/1264758596369705435*c_0101_3^11 - 17288014470071149772308601/1264758596369705435*c_0101_3^10 - 1297495522773729222042772/252951719273941087*c_0101_3^9 + 16057755729061076926776838/1264758596369705435*c_0101_3^8 - 2533388959410864998421324/1264758596369705435*c_0101_3^7 - 6113850400893228184864358/1264758596369705435*c_0101_3^6 + 1869739826023158428050611/1264758596369705435*c_0101_3^5 + 1564566545881608399475384/1264758596369705435*c_0101_3^4 - 561300620117211865220551/1264758596369705435*c_0101_3^3 - 223025329477178369641999/1264758596369705435*c_0101_3^2 + 11452710460415510351715/252951719273941087*c_0101_3 + 16896130904946303175139/1264758596369705435, c_0011_0 - 1, c_0011_1 + 2675974161304268811/252951719273941087*c_0101_3^21 + 12822810443362442527/252951719273941087*c_0101_3^20 - 31767047322517329222/252951719273941087*c_0101_3^19 - 149342337248804052060/252951719273941087*c_0101_3^18 + 307105855799257246528/252951719273941087*c_0101_3^17 + 709734782444703259511/252951719273941087*c_0101_3^16 - 1969152831760290971183/252951719273941087*c_0101_3^15 - 1089215382761637588747/252951719273941087*c_0101_3^14 + 6499215221665037518076/252951719273941087*c_0101_3^13 - 2528840790103980627333/252951719273941087*c_0101_3^12 - 9230268667476502369214/252951719273941087*c_0101_3^11 + 9401567893289724667291/252951719273941087*c_0101_3^10 + 3540634616798734928749/252951719273941087*c_0101_3^9 - 8653042056591029414047/252951719273941087*c_0101_3^8 + 1420261397859609951685/252951719273941087*c_0101_3^7 + 3193421537482089829449/252951719273941087*c_0101_3^6 - 1002331439404642296685/252951719273941087*c_0101_3^5 - 796909294105435462759/252951719273941087*c_0101_3^4 + 298946321676037110796/252951719273941087*c_0101_3^3 + 106568052113840916811/252951719273941087*c_0101_3^2 - 30211343567570111878/252951719273941087*c_0101_3 - 7920535468903382973/252951719273941087, c_0011_3 - 5551816389438260793/252951719273941087*c_0101_3^21 - 26379374521414990173/252951719273941087*c_0101_3^20 + 67287134604919635913/252951719273941087*c_0101_3^19 + 309000153161937471855/252951719273941087*c_0101_3^18 - 651293973875556107196/252951719273941087*c_0101_3^17 - 1466182843313471506987/252951719273941087*c_0101_3^16 + 4158209514704531553024/252951719273941087*c_0101_3^15 + 2195740072764878637474/252951719273941087*c_0101_3^14 - 13688075094131299532302/252951719273941087*c_0101_3^13 + 5516203512842967372811/252951719273941087*c_0101_3^12 + 19389336045967862318161/252951719273941087*c_0101_3^11 - 19996426644707515725417/252951719273941087*c_0101_3^10 - 7370897192212044249495/252951719273941087*c_0101_3^9 + 18332787279034512941652/252951719273941087*c_0101_3^8 - 3035070204737177476511/252951719273941087*c_0101_3^7 - 6764506860644066852376/252951719273941087*c_0101_3^6 + 2111583724960840695872/252951719273941087*c_0101_3^5 + 1693112242302306002076/252951719273941087*c_0101_3^4 - 623635486060886167400/252951719273941087*c_0101_3^3 - 227436615800000898725/252951719273941087*c_0101_3^2 + 60426642963507223556/252951719273941087*c_0101_3 + 16407314658579146589/252951719273941087, c_0011_5 + 5769468633198940435/252951719273941087*c_0101_3^21 + 26747558909695969581/252951719273941087*c_0101_3^20 - 73755603520075378601/252951719273941087*c_0101_3^19 - 316595996460322281888/252951719273941087*c_0101_3^18 + 719850350047641214555/252951719273941087*c_0101_3^17 + 1485844988688104562720/252951719273941087*c_0101_3^16 - 4551335579940604407031/252951719273941087*c_0101_3^15 - 1987943231496221346088/252951719273941087*c_0101_3^14 + 14863585710832126083108/252951719273941087*c_0101_3^13 - 6904688228697586707225/252951719273941087*c_0101_3^12 - 20829322764090785119709/252951719273941087*c_0101_3^11 + 23010506531395117585000/252951719273941087*c_0101_3^10 + 7439537974588076323206/252951719273941087*c_0101_3^9 - 21048113398428768571536/252951719273941087*c_0101_3^8 + 3957589209890930455775/252951719273941087*c_0101_3^7 + 7941460749802111827807/252951719273941087*c_0101_3^6 - 2691722657802700549801/252951719273941087*c_0101_3^5 - 2028494273671340095782/252951719273941087*c_0101_3^4 + 795959796648443618236/252951719273941087*c_0101_3^3 + 293734314065323703297/252951719273941087*c_0101_3^2 - 82592151367044735551/252951719273941087*c_0101_3 - 23369134564605838205/252951719273941087, c_0101_0 - 4097481737879848222/252951719273941087*c_0101_3^21 - 18996357978518492682/252951719273941087*c_0101_3^20 + 52472070649936158655/252951719273941087*c_0101_3^19 + 225341266070032706419/252951719273941087*c_0101_3^18 - 512016011501298423819/252951719273941087*c_0101_3^17 - 1060740799242975368615/252951719273941087*c_0101_3^16 + 3239464659138655769940/252951719273941087*c_0101_3^15 + 1439077645362908617941/252951719273941087*c_0101_3^14 - 10605677645282796311236/252951719273941087*c_0101_3^13 + 4844528770007736047512/252951719273941087*c_0101_3^12 + 14966521438424153517303/252951719273941087*c_0101_3^11 - 16343787246387231551558/252951719273941087*c_0101_3^10 - 5546250044625514597405/252951719273941087*c_0101_3^9 + 15116011749032113575220/252951719273941087*c_0101_3^8 - 2680671959670749985099/252951719273941087*c_0101_3^7 - 5808704071053910255080/252951719273941087*c_0101_3^6 + 1914862262623817733593/252951719273941087*c_0101_3^5 + 1497814519452419103003/252951719273941087*c_0101_3^4 - 573829377916882657440/252951719273941087*c_0101_3^3 - 222446086179656958237/252951719273941087*c_0101_3^2 + 61277596846770707991/252951719273941087*c_0101_3 + 17983714594405248689/252951719273941087, c_0101_3^22 + 5*c_0101_3^21 - 11*c_0101_3^20 - 59*c_0101_3^19 + 104*c_0101_3^18 + 297*c_0101_3^17 - 688*c_0101_3^16 - 601*c_0101_3^15 + 2400*c_0101_3^14 - 334*c_0101_3^13 - 3859*c_0101_3^12 + 2712*c_0101_3^11 + 2424*c_0101_3^10 - 3054*c_0101_3^9 - 415*c_0101_3^8 + 1460*c_0101_3^7 - 36*c_0101_3^6 - 446*c_0101_3^5 + 27*c_0101_3^4 + 81*c_0101_3^3 + c_0101_3^2 - 7*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB