Magma V2.19-8 Tue Aug 20 2013 16:19:01 on localhost [Seed = 1225315361] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3169 geometric_solution 6.31703999 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 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 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.261211195139 0.621186805156 0 5 5 4 0132 0132 3201 1230 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 1 -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.299679981431 0.761182326424 4 0 6 3 3012 0132 0132 1230 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 -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.043883767500 0.915331745786 2 3 3 0 3012 1230 3012 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 1.157842179952 1.240224859383 1 6 0 2 3012 3201 0132 1230 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 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 0 0 0 0 -0.482541749384 0.943653154510 1 1 6 6 2310 0132 2103 0321 0 0 0 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 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 0 0 0 0.099004728113 0.958167597714 5 5 4 2 2103 0321 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -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 0 1 -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.333479612285 0.620079876733 ==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' : 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' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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_6'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0011_6'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : negation(d['c_0101_5'])})} 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_0011_6, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 59256577/6190620*c_0101_5^12 - 681421057/53652040*c_0101_5^11 - 406969739/32191224*c_0101_5^10 - 354870897/53652040*c_0101_5^9 + 213751687/16095612*c_0101_5^8 + 205548743/5365204*c_0101_5^7 + 215065049/53652040*c_0101_5^6 - 750038411/32191224*c_0101_5^5 - 776537777/40239030*c_0101_5^4 - 286931791/160956120*c_0101_5^3 + 1935147001/160956120*c_0101_5^2 + 47571932/20119515*c_0101_5 - 182630627/80478060, c_0011_0 - 1, c_0011_3 + 3409029/206354*c_0101_5^12 + 2229371/206354*c_0101_5^11 - 3864269/206354*c_0101_5^10 - 5305676/103177*c_0101_5^9 - 3708598/103177*c_0101_5^8 + 6718781/206354*c_0101_5^7 + 16289477/206354*c_0101_5^6 + 4223797/103177*c_0101_5^5 - 5620713/206354*c_0101_5^4 - 9214301/206354*c_0101_5^3 - 1383419/103177*c_0101_5^2 + 1029699/103177*c_0101_5 + 630302/103177, c_0011_4 - 4793503/103177*c_0101_5^12 - 2693882/103177*c_0101_5^11 + 7676234/103177*c_0101_5^10 + 15485077/103177*c_0101_5^9 + 7656166/103177*c_0101_5^8 - 15606507/103177*c_0101_5^7 - 26654852/103177*c_0101_5^6 - 8312040/103177*c_0101_5^5 + 15708340/103177*c_0101_5^4 + 17707651/103177*c_0101_5^3 + 2661084/103177*c_0101_5^2 - 5960337/103177*c_0101_5 - 3147611/103177, c_0011_6 - 1811771/103177*c_0101_5^12 - 794666/103177*c_0101_5^11 + 3132448/103177*c_0101_5^10 + 5673168/103177*c_0101_5^9 + 2248683/103177*c_0101_5^8 - 6577522/103177*c_0101_5^7 - 9899627/103177*c_0101_5^6 - 2142843/103177*c_0101_5^5 + 6548257/103177*c_0101_5^4 + 6590262/103177*c_0101_5^3 + 572898/103177*c_0101_5^2 - 2407295/103177*c_0101_5 - 1129849/103177, c_0101_2 + 3574545/103177*c_0101_5^12 + 2514000/103177*c_0101_5^11 - 4795128/103177*c_0101_5^10 - 11517846/103177*c_0101_5^9 - 7494425/103177*c_0101_5^8 + 8743324/103177*c_0101_5^7 + 18605323/103177*c_0101_5^6 + 8333720/103177*c_0101_5^5 - 8103519/103177*c_0101_5^4 - 11350694/103177*c_0101_5^3 - 2538581/103177*c_0101_5^2 + 3120816/103177*c_0101_5 + 1740478/103177, c_0101_3 - 1662960/103177*c_0101_5^12 - 1945697/103177*c_0101_5^11 + 2234411/103177*c_0101_5^10 + 12858963/206354*c_0101_5^9 + 10457269/206354*c_0101_5^8 - 7357643/206354*c_0101_5^7 - 10808948/103177*c_0101_5^6 - 6430019/103177*c_0101_5^5 + 7370797/206354*c_0101_5^4 + 13898165/206354*c_0101_5^3 + 2399914/103177*c_0101_5^2 - 3240917/206354*c_0101_5 - 2385213/206354, c_0101_5^13 + 17/13*c_0101_5^12 - 14/13*c_0101_5^11 - 55/13*c_0101_5^10 - 4*c_0101_5^9 + 22/13*c_0101_5^8 + 96/13*c_0101_5^7 + 73/13*c_0101_5^6 - 20/13*c_0101_5^5 - 70/13*c_0101_5^4 - 38/13*c_0101_5^3 + 9/13*c_0101_5^2 + 17/13*c_0101_5 + 5/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB