Magma V2.19-8 Tue Aug 20 2013 16:14:28 on localhost [Seed = 3684321247] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s452 geometric_solution 4.77026770 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 1 0132 0132 0132 0321 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 0 0 0 0 0 0 0 0.717887545350 0.753197064850 0 0 2 3 0132 0321 3120 1302 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 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.336927556970 0.695685864879 4 0 1 4 0132 0132 3120 3201 0 0 0 0 0 1 0 -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 0 0 0 0 0 1 -1 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.495096254381 0.664091536167 5 5 1 0 0132 2310 2031 0132 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 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.345641265085 0.482188904386 2 2 4 4 0132 2310 2031 1302 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.903434869602 1.205331089288 3 5 5 3 0132 3201 2310 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 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.154896041307 0.593107903620 ==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' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_4'], 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_1001_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_1001_1']), 'c_1010_0' : negation(d['c_1001_1'])})} 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_3, c_0101_0, c_0101_2, c_0101_4, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 21419767914166570/2952213554807*c_1001_1^20 - 118550142089018440/2952213554807*c_1001_1^19 - 94771175665796932/2952213554807*c_1001_1^18 - 41600250937994955/2952213554807*c_1001_1^17 + 661921390555553330/2952213554807*c_1001_1^16 + 1127050369093620765/2952213554807*c_1001_1^15 + 41901752131359162/268383050437*c_1001_1^14 + 85657494694398284/2952213554807*c_1001_1^13 - 1817469320429760196/2952213554807*c_1001_1^12 - 3052434143024983490/2952213554807*c_1001_1^11 - 2114004758255985165/2952213554807*c_1001_1^10 - 1908593102918801124/2952213554807*c_1001_1^9 + 1037370507572765115/2952213554807*c_1001_1^8 + 4207365741223321184/2952213554807*c_1001_1^7 + 3118260512044355866/2952213554807*c_1001_1^6 + 862878266797758433/2952213554807*c_1001_1^5 - 60103788392698379/173659620871*c_1001_1^4 - 1194583670983399410/2952213554807*c_1001_1^3 - 150810751058474873/2952213554807*c_1001_1^2 + 177092171231986353/2952213554807*c_1001_1 + 45976227577966841/2952213554807, c_0011_0 - 1, c_0011_3 + 4619877534986083/2952213554807*c_1001_1^20 + 25575096976347522/2952213554807*c_1001_1^19 + 20468525210002471/2952213554807*c_1001_1^18 + 8976004833819357/2952213554807*c_1001_1^17 - 142763201156109470/2952213554807*c_1001_1^16 - 243273561046306484/2952213554807*c_1001_1^15 - 9052979701927076/268383050437*c_1001_1^14 - 18435732600881298/2952213554807*c_1001_1^13 + 392006403386843339/2952213554807*c_1001_1^12 + 658881919871700780/2952213554807*c_1001_1^11 + 456415482902762839/2952213554807*c_1001_1^10 + 411786108987425057/2952213554807*c_1001_1^9 - 223487746294234577/2952213554807*c_1001_1^8 - 908072226114983348/2952213554807*c_1001_1^7 - 673392380406922578/2952213554807*c_1001_1^6 - 186303761555145169/2952213554807*c_1001_1^5 + 220485561542450509/2952213554807*c_1001_1^4 + 258020041470898844/2952213554807*c_1001_1^3 + 32669061957218947/2952213554807*c_1001_1^2 - 38281891087553378/2952213554807*c_1001_1 - 9947727023791904/2952213554807, c_0101_0 - 2078062146922109/2952213554807*c_1001_1^20 - 11503128023311770/2952213554807*c_1001_1^19 - 9203325331478649/2952213554807*c_1001_1^18 - 4037283017477747/2952213554807*c_1001_1^17 + 64217796641338001/2952213554807*c_1001_1^16 + 109401655348328795/2952213554807*c_1001_1^15 + 4070502009498610/268383050437*c_1001_1^14 + 8291001478639846/2952213554807*c_1001_1^13 - 176334007913974785/2952213554807*c_1001_1^12 - 296304377401430895/2952213554807*c_1001_1^11 - 205253193714795528/2952213554807*c_1001_1^10 - 185189545659868206/2952213554807*c_1001_1^9 + 100574771485307560/2952213554807*c_1001_1^8 + 408392225876515453/2952213554807*c_1001_1^7 + 302823411749331688/2952213554807*c_1001_1^6 + 83767167841664517/2952213554807*c_1001_1^5 - 99181421904939514/2952213554807*c_1001_1^4 - 116031904696771090/2952213554807*c_1001_1^3 - 14692342002856514/2952213554807*c_1001_1^2 + 17214245281903231/2952213554807*c_1001_1 + 4472428605639242/2952213554807, c_0101_2 + 965244858220884/2952213554807*c_1001_1^20 + 5343109696976114/2952213554807*c_1001_1^19 + 4274965570210689/2952213554807*c_1001_1^18 + 110348954922043/173659620871*c_1001_1^17 - 1754618146791324/173659620871*c_1001_1^16 - 2989137450231312/173659620871*c_1001_1^15 - 1891078961660880/268383050437*c_1001_1^14 - 3854849719439738/2952213554807*c_1001_1^13 + 81902933338392943/2952213554807*c_1001_1^12 + 137627060527352457/2952213554807*c_1001_1^11 + 95348844174616509/2952213554807*c_1001_1^10 + 86028336456852797/2952213554807*c_1001_1^9 - 46703384299426418/2952213554807*c_1001_1^8 - 189677317071208145/2952213554807*c_1001_1^7 - 140663544025923255/2952213554807*c_1001_1^6 - 38917619644198353/2952213554807*c_1001_1^5 + 46056942763153412/2952213554807*c_1001_1^4 + 53883708845573083/2952213554807*c_1001_1^3 + 6823934547292686/2952213554807*c_1001_1^2 - 7998896489448219/2952213554807*c_1001_1 - 2078062146922109/2952213554807, c_0101_4 - 3094514524/2448391*c_1001_1^20 - 17131929535/2448391*c_1001_1^19 - 13716998665/2448391*c_1001_1^18 - 6020598417/2448391*c_1001_1^17 + 95624237554/2448391*c_1001_1^16 + 162981784652/2448391*c_1001_1^15 + 6071198217/222581*c_1001_1^14 + 12388750457/2448391*c_1001_1^13 - 262569166879/2448391*c_1001_1^12 - 441415396960/2448391*c_1001_1^11 - 17996248826/144023*c_1001_1^10 - 275973295375/2448391*c_1001_1^9 + 149564892922/2448391*c_1001_1^8 + 608242542286/2448391*c_1001_1^7 + 451328794771/2448391*c_1001_1^6 + 125010570525/2448391*c_1001_1^5 - 147610479672/2448391*c_1001_1^4 - 172855992730/2448391*c_1001_1^3 - 1291960179/144023*c_1001_1^2 + 25634318528/2448391*c_1001_1 + 6674937277/2448391, c_1001_1^21 + 6*c_1001_1^20 + 7*c_1001_1^19 + 4*c_1001_1^18 - 30*c_1001_1^17 - 67*c_1001_1^16 - 46*c_1001_1^15 - 14*c_1001_1^14 + 83*c_1001_1^13 + 182*c_1001_1^12 + 165*c_1001_1^11 + 135*c_1001_1^10 - 7*c_1001_1^9 - 219*c_1001_1^8 - 237*c_1001_1^7 - 108*c_1001_1^6 + 29*c_1001_1^5 + 78*c_1001_1^4 + 33*c_1001_1^3 - 5*c_1001_1^2 - 6*c_1001_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB