Magma V2.19-8 Tue Aug 20 2013 16:19:09 on localhost [Seed = 3751690916] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3289 geometric_solution 6.41686250 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 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 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.327521226782 1.456135862633 0 5 4 6 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.696206799300 0.675739587223 6 0 3 3 3120 0132 2310 3012 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 0 0 0 0 0 0 0 -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.398111639932 0.559866095423 4 2 2 0 1023 3201 1230 0132 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.365197505165 0.635304628827 1 3 0 6 2310 1023 0132 1230 0 0 0 0 0 0 -1 1 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 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.849515924237 1.220715170416 5 1 5 6 2031 0132 1302 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.427523632734 0.381016137461 4 5 1 2 3012 1302 0132 3120 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 0 -1 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.813756601409 0.436325524981 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(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' : d['1'], 's_1_1' : negation(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_0']), 'c_1100_4' : d['c_0110_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0110_2'], 'c_1100_3' : d['c_0110_2'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_0']), 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_3'], '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_0110_5'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : d['c_0011_6'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_6']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0110_2'], 'c_1010_6' : d['c_0011_0'], 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_0110_5'], 'c_1010_0' : d['c_0101_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_6, c_0101_0, c_0101_3, c_0110_2, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 45557/13565*c_0110_5^16 - 221739/13565*c_0110_5^15 - 24234/2713*c_0110_5^14 + 1942289/13565*c_0110_5^13 - 942262/13565*c_0110_5^12 - 7530076/13565*c_0110_5^11 + 6515692/13565*c_0110_5^10 + 16499272/13565*c_0110_5^9 - 18039401/13565*c_0110_5^8 - 21781239/13565*c_0110_5^7 + 27856552/13565*c_0110_5^6 + 17024522/13565*c_0110_5^5 - 25073741/13565*c_0110_5^4 - 7055922/13565*c_0110_5^3 + 2441565/2713*c_0110_5^2 + 1092297/13565*c_0110_5 - 2419764/13565, c_0011_0 - 1, c_0011_3 - 284/2713*c_0110_5^16 + 1078/2713*c_0110_5^15 + 2077/2713*c_0110_5^14 - 11020/2713*c_0110_5^13 - 3180/2713*c_0110_5^12 + 43037/2713*c_0110_5^11 - 8744/2713*c_0110_5^10 - 84127/2713*c_0110_5^9 + 39591/2713*c_0110_5^8 + 81787/2713*c_0110_5^7 - 59165/2713*c_0110_5^6 - 25635/2713*c_0110_5^5 + 39096/2713*c_0110_5^4 - 17943/2713*c_0110_5^3 - 8248/2713*c_0110_5^2 + 12617/2713*c_0110_5 - 268/2713, c_0011_6 - c_0110_5^2 + 1, c_0101_0 + 206/2713*c_0110_5^16 - 1699/2713*c_0110_5^15 + 2754/2713*c_0110_5^14 + 10095/2713*c_0110_5^13 - 29638/2713*c_0110_5^12 - 18741/2713*c_0110_5^11 + 109169/2713*c_0110_5^10 - 4759/2713*c_0110_5^9 - 208062/2713*c_0110_5^8 + 65722/2713*c_0110_5^7 + 220082/2713*c_0110_5^6 - 91626/2713*c_0110_5^5 - 123428/2713*c_0110_5^4 + 45934/2713*c_0110_5^3 + 29368/2713*c_0110_5^2 - 2140/2713*c_0110_5 - 1143/2713, c_0101_3 - 538/2713*c_0110_5^16 + 934/2713*c_0110_5^15 + 8348/2713*c_0110_5^14 - 14380/2713*c_0110_5^13 - 47789/2713*c_0110_5^12 + 79025/2713*c_0110_5^11 + 144649/2713*c_0110_5^10 - 225683/2713*c_0110_5^9 - 253789/2713*c_0110_5^8 + 374592/2713*c_0110_5^7 + 257824/2713*c_0110_5^6 - 364703/2713*c_0110_5^5 - 139386/2713*c_0110_5^4 + 187501/2713*c_0110_5^3 + 30267/2713*c_0110_5^2 - 33473/2713*c_0110_5 - 202/2713, c_0110_2 + 933/2713*c_0110_5^16 - 4363/2713*c_0110_5^15 - 1961/2713*c_0110_5^14 + 32038/2713*c_0110_5^13 - 12518/2713*c_0110_5^12 - 101751/2713*c_0110_5^11 + 61664/2713*c_0110_5^10 + 176271/2713*c_0110_5^9 - 109211/2713*c_0110_5^8 - 175347/2713*c_0110_5^7 + 84579/2713*c_0110_5^6 + 97982/2713*c_0110_5^5 - 12391/2713*c_0110_5^4 - 27516/2713*c_0110_5^3 - 16388/2713*c_0110_5^2 + 2503/2713*c_0110_5 + 2791/2713, c_0110_5^17 - 4*c_0110_5^16 - 6*c_0110_5^15 + 37*c_0110_5^14 + 10*c_0110_5^13 - 151*c_0110_5^12 + 17*c_0110_5^11 + 349*c_0110_5^10 - 100*c_0110_5^9 - 491*c_0110_5^8 + 185*c_0110_5^7 + 419*c_0110_5^6 - 175*c_0110_5^5 - 200*c_0110_5^4 + 82*c_0110_5^3 + 41*c_0110_5^2 - 14*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB