Magma V2.19-8 Tue Aug 20 2013 16:16:41 on localhost [Seed = 2244221262] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0970 geometric_solution 4.86418071 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 3201 0 0 0 0 0 0 1 -1 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 1 -1 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 1.273453007146 1.382874995625 0 2 4 2 0132 3012 0132 1302 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.759273477168 0.750574573179 1 0 1 4 1230 0132 2031 0132 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 -1 0 1 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.759273477168 0.750574573179 3 0 3 0 2031 2310 1302 0132 0 0 0 0 0 1 0 -1 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 -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.864537142507 0.533046740790 5 5 2 1 0132 3201 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 1 -1 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.322115489199 0.439717364261 4 6 4 6 0132 0132 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.243134590854 2.784385342549 5 5 6 6 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.169518673958 0.162530821654 ==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_2_6' : d['1'], 's_1_6' : 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_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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_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_6' : d['c_0011_4'], '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_0011_0']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 1465321*c_0110_6^31 - 4470965*c_0110_6^30 - 41788824*c_0110_6^29 + 122326608*c_0110_6^28 + 498807996*c_0110_6^27 - 1378378176*c_0110_6^26 - 3349693775*c_0110_6^25 + 8445811770*c_0110_6^24 + 14539654148*c_0110_6^23 - 31337749294*c_0110_6^22 - 44034071303*c_0110_6^21 + 74320329594*c_0110_6^20 + 95327220525*c_0110_6^19 - 116020883429*c_0110_6^18 - 146351673453*c_0110_6^17 + 121913436315*c_0110_6^16 + 158279826370*c_0110_6^15 - 87652986259*c_0110_6^14 - 120563454174*c_0110_6^13 + 43495988495*c_0110_6^12 + 64659520069*c_0110_6^11 - 14902212512*c_0110_6^10 - 24234379871*c_0110_6^9 + 3502081635*c_0110_6^8 + 6210932431*c_0110_6^7 - 560257995*c_0110_6^6 - 1037605971*c_0110_6^5 + 61234470*c_0110_6^4 + 101883997*c_0110_6^3 - 4587758*c_0110_6^2 - 4463276*c_0110_6 + 196126, c_0011_0 - 1, c_0011_3 + 68744*c_0110_6^31 - 103672*c_0110_6^30 - 2285894*c_0110_6^29 + 2711281*c_0110_6^28 + 32328010*c_0110_6^27 - 28478637*c_0110_6^26 - 258107360*c_0110_6^25 + 152669606*c_0110_6^24 + 1303927348*c_0110_6^23 - 409116938*c_0110_6^22 - 4389805678*c_0110_6^21 + 254362330*c_0110_6^20 + 10039134289*c_0110_6^19 + 1617929132*c_0110_6^18 - 15671560552*c_0110_6^17 - 5263935727*c_0110_6^16 + 16823260451*c_0110_6^15 + 7971963143*c_0110_6^14 - 12519497635*c_0110_6^13 - 7355888545*c_0110_6^12 + 6477092916*c_0110_6^11 + 4459437427*c_0110_6^10 - 2312524692*c_0110_6^9 - 1818774221*c_0110_6^8 + 556566313*c_0110_6^7 + 495671781*c_0110_6^6 - 85831752*c_0110_6^5 - 86742583*c_0110_6^4 + 7617197*c_0110_6^3 + 8830372*c_0110_6^2 - 293656*c_0110_6 - 398136, c_0011_4 - c_0110_6^31 + 3*c_0110_6^30 + 29*c_0110_6^29 - 83*c_0110_6^28 - 354*c_0110_6^27 + 950*c_0110_6^26 + 2446*c_0110_6^25 - 5948*c_0110_6^24 - 10974*c_0110_6^23 + 22721*c_0110_6^22 + 34452*c_0110_6^21 - 55997*c_0110_6^20 - 77719*c_0110_6^19 + 91917*c_0110_6^18 + 125782*c_0110_6^17 - 102910*c_0110_6^16 - 145835*c_0110_6^15 + 79919*c_0110_6^14 + 121587*c_0110_6^13 - 43378*c_0110_6^12 - 73191*c_0110_6^11 + 16384*c_0110_6^10 + 31786*c_0110_6^9 - 4217*c_0110_6^8 - 9860*c_0110_6^7 + 705*c_0110_6^6 + 2131*c_0110_6^5 - 69*c_0110_6^4 - 305*c_0110_6^3 + 3*c_0110_6^2 + 25*c_0110_6, c_0101_0 + 494*c_0110_6^31 - 49*c_0110_6^30 - 18583*c_0110_6^29 - 496*c_0110_6^28 + 292044*c_0110_6^27 + 36115*c_0110_6^26 - 2539563*c_0110_6^25 - 541571*c_0110_6^24 + 13668357*c_0110_6^23 + 4303317*c_0110_6^22 - 48039102*c_0110_6^21 - 20663068*c_0110_6^20 + 113114580*c_0110_6^19 + 62092227*c_0110_6^18 - 180701660*c_0110_6^17 - 119387733*c_0110_6^16 + 198365694*c_0110_6^15 + 151734775*c_0110_6^14 - 151274558*c_0110_6^13 - 131163099*c_0110_6^12 + 80477492*c_0110_6^11 + 78456698*c_0110_6^10 - 29660410*c_0110_6^9 - 32569908*c_0110_6^8 + 7395016*c_0110_6^7 + 9240897*c_0110_6^6 - 1183820*c_0110_6^5 - 1715670*c_0110_6^4 + 108862*c_0110_6^3 + 188531*c_0110_6^2 - 4304*c_0110_6 - 9328, c_0101_1 + 23*c_0110_6^31 - 69*c_0110_6^30 - 666*c_0110_6^29 + 1906*c_0110_6^28 + 8113*c_0110_6^27 - 21767*c_0110_6^26 - 55904*c_0110_6^25 + 135854*c_0110_6^24 + 249956*c_0110_6^23 - 516635*c_0110_6^22 - 781422*c_0110_6^21 + 1265210*c_0110_6^20 + 1753085*c_0110_6^19 - 2058094*c_0110_6^18 - 2815267*c_0110_6^17 + 2275013*c_0110_6^16 + 3228423*c_0110_6^15 - 1735227*c_0110_6^14 - 2650666*c_0110_6^13 + 917775*c_0110_6^12 + 1561806*c_0110_6^11 - 333454*c_0110_6^10 - 657887*c_0110_6^9 + 80607*c_0110_6^8 + 194994*c_0110_6^7 - 11998*c_0110_6^6 - 39153*c_0110_6^5 + 882*c_0110_6^4 + 4884*c_0110_6^3 - 294*c_0110_6 - 3, c_0101_2 - 247*c_0110_6^31 + 738*c_0110_6^30 + 7151*c_0110_6^29 - 20351*c_0110_6^28 - 87079*c_0110_6^27 + 231848*c_0110_6^26 + 599607*c_0110_6^25 - 1441951*c_0110_6^24 - 2677410*c_0110_6^23 + 5455207*c_0110_6^22 + 8349799*c_0110_6^21 - 13256710*c_0110_6^20 - 18652066*c_0110_6^19 + 21317126*c_0110_6^18 + 29746258*c_0110_6^17 - 23167164*c_0110_6^16 - 33766272*c_0110_6^15 + 17233295*c_0110_6^14 + 27334993*c_0110_6^13 - 8774216*c_0110_6^12 - 15800819*c_0110_6^11 + 2996256*c_0110_6^10 + 6484870*c_0110_6^9 - 645555*c_0110_6^8 - 1853756*c_0110_6^7 + 72382*c_0110_6^6 + 353198*c_0110_6^5 - 62*c_0110_6^4 - 40651*c_0110_6^3 - 918*c_0110_6^2 + 2156*c_0110_6 + 72, c_0110_6^32 - 3*c_0110_6^31 - 29*c_0110_6^30 + 83*c_0110_6^29 + 354*c_0110_6^28 - 950*c_0110_6^27 - 2446*c_0110_6^26 + 5948*c_0110_6^25 + 10974*c_0110_6^24 - 22721*c_0110_6^23 - 34452*c_0110_6^22 + 55997*c_0110_6^21 + 77719*c_0110_6^20 - 91917*c_0110_6^19 - 125782*c_0110_6^18 + 102910*c_0110_6^17 + 145835*c_0110_6^16 - 79919*c_0110_6^15 - 121587*c_0110_6^14 + 43378*c_0110_6^13 + 73191*c_0110_6^12 - 16384*c_0110_6^11 - 31786*c_0110_6^10 + 4217*c_0110_6^9 + 9860*c_0110_6^8 - 705*c_0110_6^7 - 2131*c_0110_6^6 + 69*c_0110_6^5 + 305*c_0110_6^4 - 3*c_0110_6^3 - 26*c_0110_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB