Magma V2.19-8 Tue Aug 20 2013 16:14:15 on localhost [Seed = 4122241497] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s219 geometric_solution 4.36984631 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 2310 2310 3201 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 0 0 0 0 0 0 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.404476145015 0.235766091223 0 0 2 2 0132 3201 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.466035912487 0.161001647381 1 3 1 4 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.785245921441 0.484056498277 5 2 4 4 0132 0132 2310 1230 0 0 0 0 0 0 0 0 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 0 0 0 1 0 -1 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.694446070746 1.081116917037 3 3 2 5 3012 3201 0132 1023 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 1 0 -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.694446070746 1.081116917037 3 5 5 4 0132 1230 3012 1023 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 0 0 0 -1 0 0 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.694446070746 1.081116917037 ==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_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_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_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_2']), 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : negation(d['c_0101_1']), '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_2'], 'c_0011_4' : 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' : negation(d['c_0011_2']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_3']), '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_0011_4'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 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 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 4654330640/455854767*c_0101_3^14 + 854000858/151951589*c_0101_3^13 - 5211645938/151951589*c_0101_3^12 - 117589082870/455854767*c_0101_3^11 + 260135733262/455854767*c_0101_3^10 + 531131630896/455854767*c_0101_3^9 - 794802232828/455854767*c_0101_3^8 - 327396436176/151951589*c_0101_3^7 + 989701108259/455854767*c_0101_3^6 + 955630067759/455854767*c_0101_3^5 - 167235571681/151951589*c_0101_3^4 - 506586573428/455854767*c_0101_3^3 + 73347169054/455854767*c_0101_3^2 + 114369560984/455854767*c_0101_3 + 3187774159/455854767, c_0011_0 - 1, c_0011_2 + 275255447/455854767*c_0101_3^14 - 183589451/151951589*c_0101_3^13 + 516537405/151951589*c_0101_3^12 + 4813828853/455854767*c_0101_3^11 - 23195195335/455854767*c_0101_3^10 - 1959215920/455854767*c_0101_3^9 + 58722126820/455854767*c_0101_3^8 - 4518173859/151951589*c_0101_3^7 - 57364290503/455854767*c_0101_3^6 + 9845220496/455854767*c_0101_3^5 + 9326152299/151951589*c_0101_3^4 + 304733267/455854767*c_0101_3^3 - 6350543710/455854767*c_0101_3^2 + 180523006/455854767*c_0101_3 + 71639195/455854767, c_0011_4 - 110718044/455854767*c_0101_3^14 - 314935547/455854767*c_0101_3^13 - 127223963/455854767*c_0101_3^12 - 4414808029/455854767*c_0101_3^11 - 948835732/151951589*c_0101_3^10 + 33003348667/455854767*c_0101_3^9 + 4811703831/151951589*c_0101_3^8 - 23783494822/151951589*c_0101_3^7 - 27789962134/455854767*c_0101_3^6 + 62534489623/455854767*c_0101_3^5 + 30977223055/455854767*c_0101_3^4 - 19923234403/455854767*c_0101_3^3 - 4654003761/151951589*c_0101_3^2 + 1231872260/455854767*c_0101_3 + 306261993/151951589, c_0101_0 - 451076828/455854767*c_0101_3^14 + 443677055/455854767*c_0101_3^13 - 2053536892/455854767*c_0101_3^12 - 3386254355/151951589*c_0101_3^11 + 27959552651/455854767*c_0101_3^10 + 31669866193/455854767*c_0101_3^9 - 69461282864/455854767*c_0101_3^8 - 14266164249/151951589*c_0101_3^7 + 64679986166/455854767*c_0101_3^6 + 12445541566/151951589*c_0101_3^5 - 23277238189/455854767*c_0101_3^4 - 5879535437/151951589*c_0101_3^3 + 2924281856/455854767*c_0101_3^2 + 2628336398/455854767*c_0101_3 - 109439350/455854767, c_0101_1 + 4018562/151951589*c_0101_3^14 + 432227825/455854767*c_0101_3^13 - 358581844/455854767*c_0101_3^12 + 2358613805/455854767*c_0101_3^11 + 9261563194/455854767*c_0101_3^10 - 9130932551/151951589*c_0101_3^9 - 28914187960/455854767*c_0101_3^8 + 20800679321/151951589*c_0101_3^7 + 13047020683/151951589*c_0101_3^6 - 51239971013/455854767*c_0101_3^5 - 33080618653/455854767*c_0101_3^4 + 13259111096/455854767*c_0101_3^3 + 12658889974/455854767*c_0101_3^2 + 43878952/151951589*c_0101_3 - 664440905/455854767, c_0101_3^15 - c_0101_3^14 + 4*c_0101_3^13 + 23*c_0101_3^12 - 65*c_0101_3^11 - 82*c_0101_3^10 + 190*c_0101_3^9 + 131*c_0101_3^8 - 229*c_0101_3^7 - 129*c_0101_3^6 + 126*c_0101_3^5 + 77*c_0101_3^4 - 29*c_0101_3^3 - 21*c_0101_3^2 + 2*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.000 Total time: 0.200 seconds, Total memory usage: 32.09MB