Magma V2.19-8 Wed Aug 21 2013 00:51:48 on localhost [Seed = 2732898279] Type ? for help. Type -D to quit. Loading file "L11n268__sl2_c6.magma" ==TRIANGULATION=BEGINS== % Triangulation L11n268 geometric_solution 11.81741481 oriented_manifold CS_known 0.0000000000000002 3 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 2 2 1 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 -1 0 1 0 0 -1 1 1 8 0 -9 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.671077053237 1.328876418819 0 5 6 6 0132 0132 1230 0132 2 2 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.655882630042 0.562935969390 7 0 3 8 0132 0132 0213 0132 0 1 1 2 0 -1 1 0 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 1 0 -1 -1 0 0 1 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.442908756832 0.707186015034 9 2 10 0 0132 0213 0132 0132 0 2 1 2 0 -1 0 1 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 -1 0 0 1 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.258839745168 0.420906873684 7 10 0 8 3012 0132 0132 0213 0 2 1 2 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 -1 1 1 0 -1 0 0 1 0 -1 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.114182486337 1.414372030069 11 1 11 9 0132 0132 3120 0213 2 2 2 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 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.570994331514 0.477803716246 9 12 1 1 2103 0132 0132 3012 2 2 2 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 0 0 0 0 0 0 0.389350377041 0.720221603292 2 12 11 4 0132 3201 1230 1230 2 1 2 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 1 -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 1.363892955992 1.015662929776 12 10 2 4 0132 0213 0132 0213 0 1 2 1 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.727785911984 2.031325859553 3 10 6 5 0132 1023 2103 0213 2 2 2 1 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 -8 9 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.512407293360 0.894325443680 9 4 8 3 1023 0132 0213 0132 0 2 2 1 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 0 -9 9 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.939879183726 1.723893439225 5 12 5 7 0132 2310 3120 3012 1 2 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.570994331514 0.477803716246 8 6 7 11 0132 0132 2310 3201 2 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.142722623864 0.977651698452 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : negation(d['c_0101_1']), 'c_1001_5' : negation(d['c_1001_11']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_12']), 'c_1001_6' : negation(d['c_1001_11']), 'c_1001_1' : negation(d['c_0110_6']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_1001_11']), 'c_1010_11' : negation(d['c_0101_7']), 'c_1010_10' : d['c_1001_2'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_12']), 's_2_0' : 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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : negation(d['1']), 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_9' : negation(d['c_0110_6']), 'c_1100_8' : d['c_1001_0'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : d['c_1010_8'], 'c_1100_7' : negation(d['c_0101_12']), 'c_1100_6' : d['c_0110_6'], 'c_1100_1' : d['c_0110_6'], 'c_1100_0' : d['c_1010_8'], 'c_1100_3' : d['c_1010_8'], 'c_1100_2' : d['c_1001_0'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : d['c_1010_8'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_11']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : d['c_1010_8'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_0'], 's_1_7' : 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' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_12']), 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_12' : d['c_0101_7'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_12']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_11']), 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0101_11']), 'c_0110_8' : d['c_0101_12'], '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_7'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0101_12']), 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0110_6'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_7, c_0110_6, c_1001_0, c_1001_11, c_1001_2, c_1010_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t - 213684795968959/3574064060248*c_1010_8^8 - 8433149885304319/57185024963968*c_1010_8^7 - 8636410860001307/28592512481984*c_1010_8^6 - 9423773433054707/28592512481984*c_1010_8^5 - 14397611119364277/57185024963968*c_1010_8^4 - 2457970740264733/28592512481984*c_1010_8^3 + 481541648578539/57185024963968*c_1010_8^2 + 93491781712291/14296256240992*c_1010_8 + 35023013428191/57185024963968, c_0011_0 - 1, c_0011_10 + 1057594791232/1765841927*c_1010_8^8 + 3067082548292/1765841927*c_1010_8^7 + 6673222301655/1765841927*c_1010_8^6 + 8445524769511/1765841927*c_1010_8^5 + 7632380896197/1765841927*c_1010_8^4 + 3820718940398/1765841927*c_1010_8^3 + 791546216006/1765841927*c_1010_8^2 - 280077985361/1765841927*c_1010_8 - 56292904563/1765841927, c_0011_12 - 682616175080/1765841927*c_1010_8^8 - 3996248632733/3531683854*c_1010_8^7 - 4345001403406/1765841927*c_1010_8^6 - 5530186317400/1765841927*c_1010_8^5 - 9999526302255/3531683854*c_1010_8^4 - 2521279532043/1765841927*c_1010_8^3 - 1040827492005/3531683854*c_1010_8^2 + 184559676161/1765841927*c_1010_8 + 80448840005/3531683854, c_0101_0 - 565520176900/1765841927*c_1010_8^8 - 6505255027201/7063367708*c_1010_8^7 - 7059193392265/3531683854*c_1010_8^6 - 8857147822729/3531683854*c_1010_8^5 - 15871947385807/7063367708*c_1010_8^4 - 3871254528387/3531683854*c_1010_8^3 - 1450909981599/7063367708*c_1010_8^2 + 166512286471/1765841927*c_1010_8 + 120440923341/7063367708, c_0101_1 - 1, c_0101_11 - 171801499856/1765841927*c_1010_8^8 - 493870971069/1765841927*c_1010_8^7 - 1072828351577/1765841927*c_1010_8^6 - 1347732018639/1765841927*c_1010_8^5 - 1212299128590/1765841927*c_1010_8^4 - 596546947486/1765841927*c_1010_8^3 - 119550204549/1765841927*c_1010_8^2 + 45812170506/1765841927*c_1010_8 + 7676968709/1765841927, c_0101_12 + 754552932504/1765841927*c_1010_8^8 + 4373871263699/3531683854*c_1010_8^7 + 4749662048203/1765841927*c_1010_8^6 + 6002487605310/1765841927*c_1010_8^5 + 10805216531333/3531683854*c_1010_8^4 + 2686330630527/1765841927*c_1010_8^3 + 1068944735997/3531683854*c_1010_8^2 - 207569048107/1765841927*c_1010_8 - 82763310363/3531683854, c_0101_7 + 129610340048/1765841927*c_1010_8^8 + 324994908973/1765841927*c_1010_8^7 + 689530185378/1765841927*c_1010_8^6 + 761832415635/1765841927*c_1010_8^5 + 628229367319/1765841927*c_1010_8^4 + 213961235868/1765841927*c_1010_8^3 + 5062472829/1765841927*c_1010_8^2 - 33731620039/1765841927*c_1010_8 + 10279784977/1765841927, c_0110_6 + 261665322044/1765841927*c_1010_8^8 + 3016491713487/7063367708*c_1010_8^7 + 3274459843007/3531683854*c_1010_8^6 + 4117281466527/3531683854*c_1010_8^5 + 7386578541005/7063367708*c_1010_8^4 + 1808896996891/3531683854*c_1010_8^3 + 685748869601/7063367708*c_1010_8^2 - 76537212999/1765841927*c_1010_8 - 52733991115/7063367708, c_1001_0 - 1, c_1001_11 + 885793291376/1765841927*c_1010_8^8 + 2573211577223/1765841927*c_1010_8^7 + 5600393950078/1765841927*c_1010_8^6 + 7097792750872/1765841927*c_1010_8^5 + 6420081767607/1765841927*c_1010_8^4 + 3224171992912/1765841927*c_1010_8^3 + 671996011457/1765841927*c_1010_8^2 - 230734131001/1765841927*c_1010_8 - 46850093927/1765841927, c_1001_2 - 123882723944/1765841927*c_1010_8^8 - 727562970925/3531683854*c_1010_8^7 - 788488787226/1765841927*c_1010_8^6 - 1004354580863/1765841927*c_1010_8^5 - 1809065757243/3531683854*c_1010_8^4 - 455878355913/1765841927*c_1010_8^3 - 186077384561/3531683854*c_1010_8^2 + 32726222118/1765841927*c_1010_8 + 13474159509/3531683854, c_1010_8^9 + 49/16*c_1010_8^8 + 759/112*c_1010_8^7 + 9*c_1010_8^6 + 951/112*c_1010_8^5 + 533/112*c_1010_8^4 + 21/16*c_1010_8^3 - 17/112*c_1010_8^2 - 11/112*c_1010_8 - 1/112 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB