Magma V2.19-8 Tue Aug 20 2013 16:14:16 on localhost [Seed = 3684321275] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s246 geometric_solution 4.41223204 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 1 2 0132 0132 1023 1023 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 0 0 0 0.805781898751 0.136949463474 0 1 0 1 0132 2310 1023 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 0.845325378966 0.073119363087 3 0 4 0 0132 0132 0132 1023 0 0 0 0 0 1 -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 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.786241348299 0.445505088580 2 5 4 4 0132 0132 3012 2310 0 0 0 0 0 0 -1 1 -1 0 0 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 -1 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 0.734545332586 1.089793288328 3 3 5 2 3201 1230 1023 0132 0 0 0 0 0 0 -1 1 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 1 -1 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.734545332586 1.089793288328 5 3 4 5 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 1 -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 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.734545332586 1.089793288328 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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_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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_0'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_0'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : d['c_0101_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_0']), 'c_0011_4' : 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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_0101_3']})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 5543218068443/8099152375552*c_0101_3^15 - 977754702443/1012394046944*c_0101_3^14 + 86762266145483/8099152375552*c_0101_3^13 + 130056579886003/8099152375552*c_0101_3^12 - 489442569263069/8099152375552*c_0101_3^11 - 90715616783405/1012394046944*c_0101_3^10 + 96186255451967/506197023472*c_0101_3^9 + 1075494198850485/4049576187776*c_0101_3^8 - 378174690301355/1012394046944*c_0101_3^7 - 61447738905153/126549255868*c_0101_3^6 + 3611594000211801/8099152375552*c_0101_3^5 + 156433529299885/289255441984*c_0101_3^4 - 1120815450342295/4049576187776*c_0101_3^3 - 2521365760015325/8099152375552*c_0101_3^2 + 481887667786425/8099152375552*c_0101_3 + 55735664809511/1012394046944, c_0011_0 - 1, c_0011_4 + 534390051/72313860496*c_0101_3^15 + 278982159/9039232562*c_0101_3^14 - 2984696659/72313860496*c_0101_3^13 - 29375825803/72313860496*c_0101_3^12 - 26931471403/72313860496*c_0101_3^11 + 13935226513/9039232562*c_0101_3^10 + 10426093935/4519616281*c_0101_3^9 - 122189772797/36156930248*c_0101_3^8 - 54050120183/9039232562*c_0101_3^7 + 19561275187/4519616281*c_0101_3^6 + 593255264671/72313860496*c_0101_3^5 - 32099228851/18078465124*c_0101_3^4 - 168183598041/36156930248*c_0101_3^3 - 65217975051/72313860496*c_0101_3^2 - 19733369377/72313860496*c_0101_3 + 4082293251/9039232562, c_0101_0 + 51680876155/144627720992*c_0101_3^15 + 7032427137/18078465124*c_0101_3^14 - 798306304587/144627720992*c_0101_3^13 - 908724817379/144627720992*c_0101_3^12 + 4452863163085/144627720992*c_0101_3^11 + 581430757055/18078465124*c_0101_3^10 - 871882054965/9039232562*c_0101_3^9 - 6267932719605/72313860496*c_0101_3^8 + 3380750503783/18078465124*c_0101_3^7 + 652186873804/4519616281*c_0101_3^6 - 31579225754329/144627720992*c_0101_3^5 - 5228466323951/36156930248*c_0101_3^4 + 9682731610151/72313860496*c_0101_3^3 + 10647742947069/144627720992*c_0101_3^2 - 4348767524457/144627720992*c_0101_3 - 232329631561/18078465124, c_0101_1 + 5513139785/36156930248*c_0101_3^15 + 1093468829/4519616281*c_0101_3^14 - 83322688041/36156930248*c_0101_3^13 - 138921194769/36156930248*c_0101_3^12 + 444950545951/36156930248*c_0101_3^11 + 90850547827/4519616281*c_0101_3^10 - 168710703464/4519616281*c_0101_3^9 - 1016796380723/18078465124*c_0101_3^8 + 322208212827/4519616281*c_0101_3^7 + 435751742299/4519616281*c_0101_3^6 - 2961664726555/36156930248*c_0101_3^5 - 881719897185/9039232562*c_0101_3^4 + 887757870269/18078465124*c_0101_3^3 + 1712062491463/36156930248*c_0101_3^2 - 392534195379/36156930248*c_0101_3 - 29814499378/4519616281, c_0101_2 + 3482609379/36156930248*c_0101_3^15 + 563551151/4519616281*c_0101_3^14 - 53642750579/36156930248*c_0101_3^13 - 73660424843/36156930248*c_0101_3^12 + 295752280805/36156930248*c_0101_3^11 + 49123375726/4519616281*c_0101_3^10 - 113962133691/4519616281*c_0101_3^9 - 551726209405/18078465124*c_0101_3^8 + 219642285783/4519616281*c_0101_3^7 + 237994925809/4519616281*c_0101_3^6 - 2037115963833/36156930248*c_0101_3^5 - 489246012083/9039232562*c_0101_3^4 + 612546310187/18078465124*c_0101_3^3 + 1003518139189/36156930248*c_0101_3^2 - 268078112337/36156930248*c_0101_3 - 19475718352/4519616281, c_0101_3^16 - 17*c_0101_3^14 - c_0101_3^13 + 111*c_0101_3^12 - 400*c_0101_3^10 + 34*c_0101_3^9 + 888*c_0101_3^8 - 128*c_0101_3^7 - 1243*c_0101_3^6 + 212*c_0101_3^5 + 1034*c_0101_3^4 - 169*c_0101_3^3 - 435*c_0101_3^2 + 48*c_0101_3 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB