Magma V2.19-8 Tue Aug 20 2013 16:14:14 on localhost [Seed = 1478083701] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s205 geometric_solution 4.33093551 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 4 0132 0132 0132 0132 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 -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.186776221497 0.736362417769 0 2 5 5 0132 1230 3201 0132 0 0 0 0 0 1 0 -1 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 1 0 -1 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.260259289536 0.274808194670 4 0 1 3 3012 0132 3012 1230 0 0 0 0 0 -1 1 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 -1 1 0 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.675680541837 0.611818998138 2 3 3 0 3012 3201 2310 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 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 1.219577519726 1.199308784623 4 4 0 2 1302 2031 0132 1230 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 1 0 -1 -1 0 0 1 -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.290969752410 0.515847438619 1 5 1 5 2310 2310 0132 3201 0 0 0 0 0 -1 1 0 -1 0 0 1 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 -1 1 0 -1 0 0 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.493124638626 0.642385197816 ==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' : negation(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' : negation(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' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0011_0'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0011_0']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : d['c_0011_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_3, c_0011_4, c_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 17713167527/648727615*c_0101_3^11 - 19350871921/648727615*c_0101_3^10 - 54873786778/648727615*c_0101_3^9 - 4926887756/648727615*c_0101_3^8 + 21191838922/129745523*c_0101_3^7 + 126005179715/129745523*c_0101_3^6 + 642173966011/648727615*c_0101_3^5 + 61031360229/129745523*c_0101_3^4 - 489755542468/648727615*c_0101_3^3 - 193357209330/129745523*c_0101_3^2 - 743832703079/648727615*c_0101_3 - 223448554221/648727615, c_0011_0 - 1, c_0011_3 - 9577611/129745523*c_0101_3^11 - 4578572/129745523*c_0101_3^10 - 25194890/129745523*c_0101_3^9 + 13638196/129745523*c_0101_3^8 + 49470091/129745523*c_0101_3^7 + 317036613/129745523*c_0101_3^6 + 141853562/129745523*c_0101_3^5 + 55327572/129745523*c_0101_3^4 - 298252773/129745523*c_0101_3^3 - 263287820/129745523*c_0101_3^2 - 315779781/129745523*c_0101_3 + 6709580/129745523, c_0011_4 - 21747914/129745523*c_0101_3^11 + 3396426/129745523*c_0101_3^10 - 54376088/129745523*c_0101_3^9 + 69557265/129745523*c_0101_3^8 + 90826896/129745523*c_0101_3^7 + 638201726/129745523*c_0101_3^6 - 80629556/129745523*c_0101_3^5 - 54365222/129745523*c_0101_3^4 - 754727775/129745523*c_0101_3^3 - 322996112/129745523*c_0101_3^2 - 60553217/129745523*c_0101_3 + 127212920/129745523, c_0011_5 + 40723888/129745523*c_0101_3^11 + 15098461/129745523*c_0101_3^10 + 121070446/129745523*c_0101_3^9 - 71689535/129745523*c_0101_3^8 - 183489951/129745523*c_0101_3^7 - 1320850297/129745523*c_0101_3^6 - 572779833/129745523*c_0101_3^5 - 468786048/129745523*c_0101_3^4 + 1378112222/129745523*c_0101_3^3 + 1412988446/129745523*c_0101_3^2 + 871197350/129745523*c_0101_3 + 22951476/129745523, c_0101_0 - 34721951/129745523*c_0101_3^11 - 15446226/129745523*c_0101_3^10 - 94752155/129745523*c_0101_3^9 + 53298784/129745523*c_0101_3^8 + 172445355/129745523*c_0101_3^7 + 1115347331/129745523*c_0101_3^6 + 500689580/129745523*c_0101_3^5 + 179365841/129745523*c_0101_3^4 - 1106148189/129745523*c_0101_3^3 - 1007407421/129745523*c_0101_3^2 - 638723927/129745523*c_0101_3 + 28457494/129745523, c_0101_3^12 + c_0101_3^11 + 3*c_0101_3^10 - 6*c_0101_3^8 - 35*c_0101_3^7 - 33*c_0101_3^6 - 14*c_0101_3^5 + 29*c_0101_3^4 + 52*c_0101_3^3 + 37*c_0101_3^2 + 9*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB