Magma V2.19-8 Tue Aug 20 2013 16:17:02 on localhost [Seed = 1461111684] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1290 geometric_solution 5.18395161 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.385556032178 0.196542561444 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 1 0 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 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 1.351191781014 0.949085703987 3 1 1 4 0132 3201 0132 0132 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 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.816508947972 0.192086675911 2 4 6 5 0132 0321 0132 0132 0 0 0 0 0 -1 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 1 0 -1 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.010422605238 0.784395657314 6 5 2 3 0132 1023 0132 0321 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 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.010422605238 0.784395657314 4 5 3 5 1023 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.808086004173 1.004043793822 4 6 6 3 0132 3201 2310 0132 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 -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.010648001337 0.606473810188 ==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' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : 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' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : 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' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_2']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_1']), '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_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_2'], 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 6660557415137958535724569926825/643432567915388264718156328306688*c\ _0110_5^19 + 376436862704966764306283641214321/64343256791538826471\ 8156328306688*c_0110_5^17 - 2196161960863136279345598021096957/6434\ 32567915388264718156328306688*c_0110_5^15 - 2760149585405815492101434231072927/32171628395769413235907816415334\ 4*c_0110_5^13 + 9291265975396273211501042262279085/6434325679153882\ 64718156328306688*c_0110_5^11 + 94719335045741713781513010228520201\ /643432567915388264718156328306688*c_0110_5^9 + 5650826086633387609070971388890011/13987664519899744885177311484928\ *c_0110_5^7 + 86784815643677288929761714558398619/16085814197884706\ 6179539082076672*c_0110_5^5 + 151583423644658323998506804000814555/\ 643432567915388264718156328306688*c_0110_5^3 - 1318558618041527926935285999071547/10053633873677941636221192629792\ *c_0110_5, c_0011_0 - 1, c_0011_2 + 4384529220407225974047/33459470012773042533817436*c_0110_5^1\ 8 - 252015127185769930153475/33459470012773042533817436*c_0110_5^16 + 1691425768347390234304479/33459470012773042533817436*c_0110_5^14 + 901284569722868706377621/16729735006386521266908718*c_0110_5^12 - 6397678162470690945584287/33459470012773042533817436*c_0110_5^10 - 54956106435757610866413495/33459470012773042533817436*c_0110_5^8 - 63972175337519729652497907/16729735006386521266908718*c_0110_5^6 - 35740018216504433399924772/8364867503193260633454359*c_0110_5^4 - 20258081757983310604565561/33459470012773042533817436*c_0110_5^2 + 14991639952619469369521188/8364867503193260633454359, c_0011_4 - 16892158638055289483271/133837880051092170135269744*c_0110_5\ ^19 + 962857205192838986935703/133837880051092170135269744*c_0110_5\ ^17 - 6030728919694560425073291/133837880051092170135269744*c_0110_\ 5^15 - 5658958957883506178984581/66918940025546085067634872*c_0110_\ 5^13 + 30424537411434040850441539/133837880051092170135269744*c_011\ 0_5^11 + 228643487222649250203151231/133837880051092170135269744*c_\ 0110_5^9 + 270739197232425247451357055/66918940025546085067634872*c\ _0110_5^7 + 139743992699629607147344905/33459470012773042533817436*\ c_0110_5^5 - 30131792589670116967515499/133837880051092170135269744\ *c_0110_5^3 - 35676648089860951690658099/16729735006386521266908718\ *c_0110_5, c_0101_0 + 2607906540164486193461/16729735006386521266908718*c_0110_5^1\ 9 - 294146185910756192372603/33459470012773042533817436*c_0110_5^17 + 1682192974202494063245427/33459470012773042533817436*c_0110_5^15 + 4620997996143885674734635/33459470012773042533817436*c_0110_5^13 - 1809073740137447207602716/8364867503193260633454359*c_0110_5^11 - 76502499415374974497118485/33459470012773042533817436*c_0110_5^9 - 210811868833603071168708871/33459470012773042533817436*c_0110_5^7 - 136830311398176116838428905/16729735006386521266908718*c_0110_5^5 - 41553481620699449205614323/16729735006386521266908718*c_0110_5^3 + 121575508403637240234828951/33459470012773042533817436*c_0110_5, c_0101_1 - 13146439391609159329235/133837880051092170135269744*c_0110_5\ ^18 + 755273029562101707395067/133837880051092170135269744*c_0110_5\ ^16 - 5039753713121059363374511/133837880051092170135269744*c_0110_\ 5^14 - 3101000218588703613742157/66918940025546085067634872*c_0110_\ 5^12 + 24785768776159595354154895/133837880051092170135269744*c_011\ 0_5^10 + 159410838056953718229422147/133837880051092170135269744*c_\ 0110_5^8 + 177867351913382160736476183/66918940025546085067634872*c\ _0110_5^6 + 98423545180983965970118837/33459470012773042533817436*c\ _0110_5^4 + 73412338269088517948626537/133837880051092170135269744*\ c_0110_5^2 - 6318307054223019814930537/8364867503193260633454359, c_0101_3 - 7072174001130614386317/133837880051092170135269744*c_0110_5^\ 18 + 414093936348523845825109/133837880051092170135269744*c_0110_5^\ 16 - 3179673811982907409519873/133837880051092170135269744*c_0110_5\ ^14 + 452936498045137776587989/66918940025546085067634872*c_0110_5^\ 12 + 5674803937414717493751361/133837880051092170135269744*c_0110_5\ ^10 + 87294776494063665467982061/133837880051092170135269744*c_0110\ _5^8 + 65836715108453166703993729/66918940025546085067634872*c_0110\ _5^6 + 29141985681162988076570619/33459470012773042533817436*c_0110\ _5^4 - 65048130765645625582033049/133837880051092170135269744*c_011\ 0_5^2 - 3821136457185439500637067/8364867503193260633454359, c_0110_5^20 - 57*c_0110_5^18 + 357*c_0110_5^16 + 670*c_0110_5^14 - 1797*c_0110_5^12 - 13553*c_0110_5^10 - 32154*c_0110_5^8 - 33196*c_0110_5^6 + 2653*c_0110_5^4 + 24016*c_0110_5^2 - 5888 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB