Magma V2.19-8 Tue Aug 20 2013 16:19:20 on localhost [Seed = 54697477] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3448 geometric_solution 6.63089253 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 2310 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 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 1.131323918895 0.921781516732 0 4 2 2 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.319457297589 1.033874202141 5 0 1 1 0132 0132 2031 1302 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 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.319457297589 1.033874202141 0 5 4 0 3201 2310 1023 0132 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 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.837151345785 0.707975219502 5 1 3 6 1023 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.032242701482 0.764313830925 2 4 6 3 0132 1023 0132 3201 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 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.032242701482 0.764313830925 6 6 4 5 1230 3012 0132 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.408342952489 0.884407459723 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], '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_0101_4'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_4'], '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' : d['c_0011_6'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_1']), '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_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 14011262439508111/2604719857516*c_0101_4^13 + 291910364658967/93025709197*c_0101_4^12 - 1257278899981772/651179964379*c_0101_4^11 + 4170476994595161/1302359928758*c_0101_4^10 + 14736021282876955/651179964379*c_0101_4^9 + 25474382268743451/1302359928758*c_0101_4^8 - 13394298575075535/1302359928758*c_0101_4^7 - 43350557197851249/1302359928758*c_0101_4^6 - 4737003461134157/153218815148*c_0101_4^5 - 4931987141084381/372102836788*c_0101_4^4 + 4095514508210821/2604719857516*c_0101_4^3 + 5222550468970102/651179964379*c_0101_4^2 + 12359183696169859/2604719857516*c_0101_4 + 2859352522110253/2604719857516, c_0011_0 - 1, c_0011_3 + 391096472321/153218815148*c_0101_4^13 + 288700062055/76609407574*c_0101_4^12 - 158157976663/76609407574*c_0101_4^11 + 103746230745/38304703787*c_0101_4^10 + 903527241097/76609407574*c_0101_4^9 + 87691946712/5472100541*c_0101_4^8 - 82974734446/38304703787*c_0101_4^7 - 727508512062/38304703787*c_0101_4^6 - 3508191229409/153218815148*c_0101_4^5 - 2077304910837/153218815148*c_0101_4^4 - 13603228813/21888402164*c_0101_4^3 + 157851582971/38304703787*c_0101_4^2 + 583137265181/153218815148*c_0101_4 + 143984556861/153218815148, c_0011_6 - 7579044082221/1302359928758*c_0101_4^13 - 6745498350357/1302359928758*c_0101_4^12 + 1241704190807/1302359928758*c_0101_4^11 - 3012118911379/1302359928758*c_0101_4^10 - 32260544616847/1302359928758*c_0101_4^9 - 327429400489/10944201082*c_0101_4^8 + 6436111130237/1302359928758*c_0101_4^7 + 55294722345293/1302359928758*c_0101_4^6 + 30259321137634/651179964379*c_0101_4^5 + 29272489004769/1302359928758*c_0101_4^4 - 87542684518/93025709197*c_0101_4^3 - 7006489964727/651179964379*c_0101_4^2 - 10595632556225/1302359928758*c_0101_4 - 1186961490003/651179964379, c_0101_0 - 1051026251907/153218815148*c_0101_4^13 - 69112157043/76609407574*c_0101_4^12 + 412977450915/76609407574*c_0101_4^11 - 265453787553/38304703787*c_0101_4^10 - 2062125589767/76609407574*c_0101_4^9 - 50861380302/5472100541*c_0101_4^8 + 966542617028/38304703787*c_0101_4^7 + 1274270234765/38304703787*c_0101_4^6 + 2686385319071/153218815148*c_0101_4^5 + 175603822375/153218815148*c_0101_4^4 - 196079752009/21888402164*c_0101_4^3 - 284490821473/38304703787*c_0101_4^2 - 198578698215/153218815148*c_0101_4 + 101143854961/153218815148, c_0101_1 - 31348923701661/2604719857516*c_0101_4^13 - 4144106317346/651179964379*c_0101_4^12 + 4280835898701/651179964379*c_0101_4^11 - 11915254025077/1302359928758*c_0101_4^10 - 32284659834970/651179964379*c_0101_4^9 - 427971842929/10944201082*c_0101_4^8 + 38911946853589/1302359928758*c_0101_4^7 + 93643859615037/1302359928758*c_0101_4^6 + 159936694625243/2604719857516*c_0101_4^5 + 58052868688373/2604719857516*c_0101_4^4 - 2596651931129/372102836788*c_0101_4^3 - 11144302725578/651179964379*c_0101_4^2 - 24372788978173/2604719857516*c_0101_4 - 4920720265007/2604719857516, c_0101_2 - 31348923701661/2604719857516*c_0101_4^13 - 4144106317346/651179964379*c_0101_4^12 + 4280835898701/651179964379*c_0101_4^11 - 11915254025077/1302359928758*c_0101_4^10 - 32284659834970/651179964379*c_0101_4^9 - 427971842929/10944201082*c_0101_4^8 + 38911946853589/1302359928758*c_0101_4^7 + 93643859615037/1302359928758*c_0101_4^6 + 159936694625243/2604719857516*c_0101_4^5 + 58052868688373/2604719857516*c_0101_4^4 - 2596651931129/372102836788*c_0101_4^3 - 11144302725578/651179964379*c_0101_4^2 - 24372788978173/2604719857516*c_0101_4 - 4920720265007/2604719857516, c_0101_4^14 + 15/19*c_0101_4^13 - 4/19*c_0101_4^12 + 10/19*c_0101_4^11 + 82/19*c_0101_4^10 + 86/19*c_0101_4^9 - 20/19*c_0101_4^8 - 124/19*c_0101_4^7 - 135/19*c_0101_4^6 - 72/19*c_0101_4^5 - 6/19*c_0101_4^4 + 29/19*c_0101_4^3 + 23/19*c_0101_4^2 + 8/19*c_0101_4 + 1/19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB