Magma V2.19-8 Tue Aug 20 2013 16:18:12 on localhost [Seed = 3381155060] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2412 geometric_solution 5.76627053 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 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.055389113910 0.907493757746 0 4 3 5 0132 3120 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.067007320637 1.097846145365 3 0 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 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.411079419217 0.410190195009 2 5 1 0 0132 3012 1023 0132 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 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.055389113910 0.907493757746 6 1 0 5 0132 3120 0132 1023 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 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.014479966010 0.592911601352 3 6 1 4 1230 2103 0132 1023 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 -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.481789747254 0.726237337145 4 5 6 6 0132 2103 2031 1302 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.938683327077 2.340318895752 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(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' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_1100_0']), 'c_1100_4' : d['c_1100_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_5']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : negation(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_4, c_0011_5, c_0101_0, c_0101_3, c_0101_6, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 204988143278479/1022250737408*c_1100_0^19 + 1551873291409751/511125368704*c_1100_0^17 - 16693839126247035/1022250737408*c_1100_0^15 + 46062034683309429/1022250737408*c_1100_0^13 - 74593315001120737/1022250737408*c_1100_0^11 + 75272320160379033/1022250737408*c_1100_0^9 - 48418471250997563/1022250737408*c_1100_0^7 + 9805127020642917/511125368704*c_1100_0^5 - 4633696668609405/1022250737408*c_1100_0^3 + 126216905874215/255562684352*c_1100_0, c_0011_0 - 1, c_0011_4 + 836067526217/7986333886*c_1100_0^18 - 6085006429414/3993166943*c_1100_0^16 + 61640546873555/7986333886*c_1100_0^14 - 160744409359479/7986333886*c_1100_0^12 + 248408044998149/7986333886*c_1100_0^10 - 241258791769129/7986333886*c_1100_0^8 + 149558574673237/7986333886*c_1100_0^6 - 28941393563692/3993166943*c_1100_0^4 + 12876895778477/7986333886*c_1100_0^2 - 634406612167/3993166943, c_0011_5 - 9606522313795/31945335544*c_1100_0^19 + 69000413370139/15972667772*c_1100_0^17 - 680353152881183/31945335544*c_1100_0^15 + 1697945025920201/31945335544*c_1100_0^13 - 2461613585608061/31945335544*c_1100_0^11 + 2196031911904917/31945335544*c_1100_0^9 - 1226800981118911/31945335544*c_1100_0^7 + 210764708186141/15972667772*c_1100_0^5 - 82089021723457/31945335544*c_1100_0^3 + 1754293830443/7986333886*c_1100_0, c_0101_0 - 188972995090/3993166943*c_1100_0^18 + 2429444419595/3993166943*c_1100_0^16 - 9587292230887/3993166943*c_1100_0^14 + 17227548600077/3993166943*c_1100_0^12 - 15332740170834/3993166943*c_1100_0^10 + 6044884773224/3993166943*c_1100_0^8 - 36013515404/3993166943*c_1100_0^6 - 811016187690/3993166943*c_1100_0^4 + 263005182543/3993166943*c_1100_0^2 - 28767567197/3993166943, c_0101_3 - 3868972598029/31945335544*c_1100_0^19 + 26941561769961/15972667772*c_1100_0^17 - 251851931801377/31945335544*c_1100_0^15 + 593241329769119/31945335544*c_1100_0^13 - 818600704490587/31945335544*c_1100_0^11 + 712590440445811/31945335544*c_1100_0^9 - 404695734396073/31945335544*c_1100_0^7 + 74041458332543/15972667772*c_1100_0^5 - 32087442885767/31945335544*c_1100_0^3 + 790670362943/7986333886*c_1100_0, c_0101_6 + 641752495351/7986333886*c_1100_0^18 - 4895347597590/3993166943*c_1100_0^16 + 53119746708761/7986333886*c_1100_0^14 - 146655160607195/7986333886*c_1100_0^12 + 234223851650359/7986333886*c_1100_0^10 - 228010457476887/7986333886*c_1100_0^8 + 137188348333071/7986333886*c_1100_0^6 - 25021510823583/3993166943*c_1100_0^4 + 10188350499845/7986333886*c_1100_0^2 - 442293438523/3993166943, c_1100_0^20 - 1818/121*c_1100_0^18 + 9709/121*c_1100_0^16 - 26955/121*c_1100_0^14 + 44815/121*c_1100_0^12 - 47671/121*c_1100_0^10 + 33445/121*c_1100_0^8 - 15534/121*c_1100_0^6 + 4635/121*c_1100_0^4 - 812/121*c_1100_0^2 + 64/121 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB