Magma V2.19-8 Tue Aug 20 2013 16:17:26 on localhost [Seed = 324177880] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1672 geometric_solution 5.40316839 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.437495212620 0.207198676308 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.695526792579 0.677006128819 1 4 5 5 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.236883839924 1.872080787589 6 6 4 1 0132 3201 3201 0132 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 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.236883839924 1.872080787589 3 2 4 4 2310 0132 2031 1302 0 0 0 0 0 0 -1 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 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.380980222666 0.483803142723 6 2 6 2 1302 2310 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.409025938909 0.837452413284 3 5 3 5 0132 2031 2310 1302 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 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.409025938909 0.837452413284 ==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' : 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' : negation(d['1']), 's_2_3' : 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' : 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' : negation(d['1']), 's_0_6' : 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_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0101_1'], 's_3_6' : d['1'], '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' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_1']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t + 1/2, c_0011_0 - 1, c_0011_1 + 1, c_0011_3 + 1, c_0011_5 + 1, c_0101_0 + c_0101_3, c_0101_1 + 1, c_0101_3^2 - 2 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 94824978914063/12604966624368*c_0101_3^18 + 63560336046443/1050413885364*c_0101_3^16 + 3352234256311907/12604966624368*c_0101_3^14 + 1696231224946165/3151241656092*c_0101_3^12 + 4822969444634725/2100827770728*c_0101_3^10 + 49912579589800859/12604966624368*c_0101_3^8 - 42633932629203275/12604966624368*c_0101_3^6 - 166126842714283241/12604966624368*c_0101_3^4 + 5230790095150343/12604966624368*c_0101_3^2 - 803460960824027/700275923576, c_0011_0 - 1, c_0011_1 - 14680555501/9453724968276*c_0101_3^18 - 60387940625/4726862484138*c_0101_3^16 - 526059227119/9453724968276*c_0101_3^14 - 86243047574/787810414023*c_0101_3^12 - 2101612189417/4726862484138*c_0101_3^10 - 7647894194413/9453724968276*c_0101_3^8 + 3125861874593/3151241656092*c_0101_3^6 + 32931647633939/9453724968276*c_0101_3^4 - 1752015586349/3151241656092*c_0101_3^2 - 1800066961403/4726862484138, c_0011_3 - 40243816681/9453724968276*c_0101_3^18 - 320172788407/9453724968276*c_0101_3^16 - 348896199532/2363431242069*c_0101_3^14 - 458675214319/1575620828046*c_0101_3^12 - 2994132110819/2363431242069*c_0101_3^10 - 19754104369021/9453724968276*c_0101_3^8 + 3422024880835/1575620828046*c_0101_3^6 + 71554680890039/9453724968276*c_0101_3^4 - 391984357706/787810414023*c_0101_3^2 + 482577798188/2363431242069, c_0011_5 - 40243816681/9453724968276*c_0101_3^18 - 320172788407/9453724968276*c_0101_3^16 - 348896199532/2363431242069*c_0101_3^14 - 458675214319/1575620828046*c_0101_3^12 - 2994132110819/2363431242069*c_0101_3^10 - 19754104369021/9453724968276*c_0101_3^8 + 3422024880835/1575620828046*c_0101_3^6 + 71554680890039/9453724968276*c_0101_3^4 - 391984357706/787810414023*c_0101_3^2 + 482577798188/2363431242069, c_0101_0 - 525443169569/18907449936552*c_0101_3^19 - 2091561245629/9453724968276*c_0101_3^17 - 18234546871451/18907449936552*c_0101_3^15 - 501440497255/262603471341*c_0101_3^13 - 78695535822659/9453724968276*c_0101_3^11 - 263416078445549/18907449936552*c_0101_3^9 + 85845801930293/6302483312184*c_0101_3^7 + 904372053474151/18907449936552*c_0101_3^5 - 32910885318605/6302483312184*c_0101_3^3 + 46045156127459/9453724968276*c_0101_3, c_0101_1 - 40542665797/9453724968276*c_0101_3^18 - 157618182869/4726862484138*c_0101_3^16 - 1353321062695/9453724968276*c_0101_3^14 - 213294678638/787810414023*c_0101_3^12 - 5869385560471/4726862484138*c_0101_3^10 - 18119281456585/9453724968276*c_0101_3^8 + 7379390969093/3151241656092*c_0101_3^6 + 66671315206883/9453724968276*c_0101_3^4 - 3910725166421/3151241656092*c_0101_3^2 + 2270476459141/4726862484138, c_0101_3^20 + 8*c_0101_3^18 + 35*c_0101_3^16 + 70*c_0101_3^14 + 302*c_0101_3^12 + 513*c_0101_3^10 - 473*c_0101_3^8 - 1733*c_0101_3^6 + 133*c_0101_3^4 - 152*c_0101_3^2 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB