Magma V2.19-8 Tue Aug 20 2013 16:19:02 on localhost [Seed = 2530675709] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3188 geometric_solution 6.33742916 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 -1 -1 2 -1 0 0 1 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 1 -1 1 0 0 -1 -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.347625388048 1.003748779649 0 3 4 3 0132 1230 3012 2310 0 0 0 0 0 0 0 0 1 0 -1 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 -1 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 0.517267602982 0.588424084111 5 0 3 5 0132 0132 3012 1023 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.838053340156 0.772715069916 1 2 1 0 3201 1230 3012 0132 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 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.593153484252 1.044995724195 6 1 0 6 0132 1230 0132 3201 0 0 0 0 0 1 -2 1 0 0 -1 1 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.244449968015 0.499214384783 2 6 6 2 0132 3201 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.457743478452 0.412407231138 4 4 5 5 0132 2310 2310 0132 0 0 0 0 0 -1 1 0 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 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.960607285537 1.341591461376 ==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' : negation(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' : negation(d['1']), 's_2_5' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_0'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_0']), '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_4'], 'c_0011_6' : negation(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_0101_6']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0011_3']), '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_0101_1'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 2622836711/2430419748*c_0101_6^13 + 5185338265/2430419748*c_0101_6^12 - 8937060357/4050699580*c_0101_6^11 - 117496529363/12152098740*c_0101_6^10 - 32564700959/12152098740*c_0101_6^9 + 139176412777/12152098740*c_0101_6^8 + 84882323561/12152098740*c_0101_6^7 + 19352660983/12152098740*c_0101_6^6 + 40490925533/12152098740*c_0101_6^5 - 77791861603/6076049370*c_0101_6^4 - 52117305809/4050699580*c_0101_6^3 + 35548987229/3038024685*c_0101_6^2 + 74019680731/6076049370*c_0101_6 + 9313230173/12152098740, c_0011_0 - 1, c_0011_3 + 369070495/202534979*c_0101_6^13 + 1083776080/202534979*c_0101_6^12 - 559796369/202534979*c_0101_6^11 - 4184651403/202534979*c_0101_6^10 - 2021271963/202534979*c_0101_6^9 + 4346182591/202534979*c_0101_6^8 + 3478380095/202534979*c_0101_6^7 + 1156795463/202534979*c_0101_6^6 + 1927922727/202534979*c_0101_6^5 - 4749765562/202534979*c_0101_6^4 - 6798827407/202534979*c_0101_6^3 + 3955208493/202534979*c_0101_6^2 + 6091319199/202534979*c_0101_6 + 566513034/202534979, c_0011_4 + 71434035/202534979*c_0101_6^13 + 251195675/202534979*c_0101_6^12 - 102755762/202534979*c_0101_6^11 - 898022541/202534979*c_0101_6^10 - 497487426/202534979*c_0101_6^9 + 876060426/202534979*c_0101_6^8 + 699719963/202534979*c_0101_6^7 + 427614135/202534979*c_0101_6^6 + 463552007/202534979*c_0101_6^5 - 959936745/202534979*c_0101_6^4 - 1460407937/202534979*c_0101_6^3 + 602536130/202534979*c_0101_6^2 + 1096294842/202534979*c_0101_6 + 362761146/202534979, c_0101_0 + 673043755/405069958*c_0101_6^13 + 1534665445/405069958*c_0101_6^12 - 1239527071/405069958*c_0101_6^11 - 6101470227/405069958*c_0101_6^10 - 2391870489/405069958*c_0101_6^9 + 6164655093/405069958*c_0101_6^8 + 5321475249/405069958*c_0101_6^7 + 2301239525/405069958*c_0101_6^6 + 1736697069/405069958*c_0101_6^5 - 3793750916/202534979*c_0101_6^4 - 9307667945/405069958*c_0101_6^3 + 2735226971/202534979*c_0101_6^2 + 4499723333/202534979*c_0101_6 + 1413003981/405069958, c_0101_1 - 809907875/202534979*c_0101_6^13 - 1262907525/202534979*c_0101_6^12 + 2213983745/202534979*c_0101_6^11 + 5373753605/202534979*c_0101_6^10 - 373082124/202534979*c_0101_6^9 - 5551538202/202534979*c_0101_6^8 - 2731601338/202534979*c_0101_6^7 - 2629657119/202534979*c_0101_6^6 - 401884257/202534979*c_0101_6^5 + 8662150905/202534979*c_0101_6^4 + 4144902704/202534979*c_0101_6^3 - 6629508093/202534979*c_0101_6^2 - 4942265586/202534979*c_0101_6 - 596801412/202534979, c_0101_2 - 801130835/202534979*c_0101_6^13 - 1530827635/202534979*c_0101_6^12 + 2013683512/202534979*c_0101_6^11 + 6306290918/202534979*c_0101_6^10 + 704239129/202534979*c_0101_6^9 - 6746307939/202534979*c_0101_6^8 - 3930724584/202534979*c_0101_6^7 - 2504803377/202534979*c_0101_6^6 - 1014421368/202534979*c_0101_6^5 + 9275991192/202534979*c_0101_6^4 + 6891145438/202534979*c_0101_6^3 - 7388776116/202534979*c_0101_6^2 - 7046011074/202534979*c_0101_6 - 826419162/202534979, c_0101_6^14 + 2*c_0101_6^13 - 11/5*c_0101_6^12 - 8*c_0101_6^11 - 2*c_0101_6^10 + 39/5*c_0101_6^9 + 6*c_0101_6^8 + 4*c_0101_6^7 + 9/5*c_0101_6^6 - 11*c_0101_6^5 - 49/5*c_0101_6^4 + 37/5*c_0101_6^3 + 49/5*c_0101_6^2 + 12/5*c_0101_6 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB