Magma V2.19-8 Tue Aug 20 2013 16:16:09 on localhost [Seed = 2833855592] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0413 geometric_solution 4.47456343 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 0132 0132 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 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.574328363449 0.352584025432 3 2 2 0 0132 3012 2031 0132 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 0 1 -1 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.735429069936 0.776328555825 1 3 0 1 1230 3201 0132 1302 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 0 1 -1 -1 0 1 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.735429069936 0.776328555825 1 4 2 4 0132 0132 2310 1023 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 -1 1 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.737679077178 1.067512967256 5 3 5 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.674406970748 0.330297789021 4 6 4 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.721004274349 0.092615111544 6 5 6 5 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.649302228334 0.036591042779 ==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_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_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_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_1, c_0101_1, c_0101_2, c_0101_4, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 108050627/49699253*c_0110_6^12 + 190843762/49699253*c_0110_6^11 + 89623165/49699253*c_0110_6^10 - 94006542/49699253*c_0110_6^9 + 2959891002/49699253*c_0110_6^8 - 1075093131/49699253*c_0110_6^7 - 1551457488/49699253*c_0110_6^6 + 152104807/49699253*c_0110_6^5 - 2865727811/49699253*c_0110_6^4 + 2187396678/49699253*c_0110_6^3 + 721381939/49699253*c_0110_6^2 + 75202481/49699253*c_0110_6 - 273515915/49699253, c_0011_0 - 1, c_0011_1 + 15789640/49699253*c_0110_6^12 - 26380712/49699253*c_0110_6^11 - 36778388/49699253*c_0110_6^10 + 47916037/49699253*c_0110_6^9 - 412031590/49699253*c_0110_6^8 + 100671419/49699253*c_0110_6^7 + 817595989/49699253*c_0110_6^6 - 163668561/49699253*c_0110_6^5 + 131745913/49699253*c_0110_6^4 - 278613994/49699253*c_0110_6^3 - 707270466/49699253*c_0110_6^2 + 359243943/49699253*c_0110_6 + 182429483/49699253, c_0101_1 - 115546970/49699253*c_0110_6^12 + 251460353/49699253*c_0110_6^11 + 67908118/49699253*c_0110_6^10 - 242232565/49699253*c_0110_6^9 + 3172672524/49699253*c_0110_6^8 - 2403335087/49699253*c_0110_6^7 - 2725595938/49699253*c_0110_6^6 + 1507865720/49699253*c_0110_6^5 - 2519566276/49699253*c_0110_6^4 + 3466779303/49699253*c_0110_6^3 + 1362951007/49699253*c_0110_6^2 - 1456476264/49699253*c_0110_6 - 461250034/49699253, c_0101_2 - 35032833/49699253*c_0110_6^12 + 73518679/49699253*c_0110_6^11 + 30418939/49699253*c_0110_6^10 - 76151420/49699253*c_0110_6^9 + 948231699/49699253*c_0110_6^8 - 652453635/49699253*c_0110_6^7 - 987534522/49699253*c_0110_6^6 + 360883935/49699253*c_0110_6^5 - 645648460/49699253*c_0110_6^4 + 1029387142/49699253*c_0110_6^3 + 597796559/49699253*c_0110_6^2 - 422285643/49699253*c_0110_6 - 206871244/49699253, c_0101_4 + 51092873/49699253*c_0110_6^12 - 102807541/49699253*c_0110_6^11 - 51362265/49699253*c_0110_6^10 + 111488752/49699253*c_0110_6^9 - 1388807964/49699253*c_0110_6^8 + 826896812/49699253*c_0110_6^7 + 1464162178/49699253*c_0110_6^6 - 605497572/49699253*c_0110_6^5 + 978516549/49699253*c_0110_6^4 - 1311948657/49699253*c_0110_6^3 - 934895227/49699253*c_0110_6^2 + 715845089/49699253*c_0110_6 + 274082921/49699253, c_0101_5 + 3453013/49699253*c_0110_6^12 - 4613894/49699253*c_0110_6^11 - 6085754/49699253*c_0110_6^10 + 2345208/49699253*c_0110_6^9 - 91928307/49699253*c_0110_6^8 - 6615198/49699253*c_0110_6^7 + 80621271/49699253*c_0110_6^6 + 19975367/49699253*c_0110_6^5 + 83500651/49699253*c_0110_6^4 - 32794435/49699253*c_0110_6^3 - 71957313/49699253*c_0110_6^2 + 38358587/49699253*c_0110_6 - 14666420/49699253, c_0110_6^13 - 2*c_0110_6^12 - c_0110_6^11 + 2*c_0110_6^10 - 27*c_0110_6^9 + 16*c_0110_6^8 + 28*c_0110_6^7 - 8*c_0110_6^6 + 19*c_0110_6^5 - 27*c_0110_6^4 - 18*c_0110_6^3 + 10*c_0110_6^2 + 7*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB