Magma V2.19-8 Tue Aug 20 2013 23:48:37 on localhost [Seed = 3280316770] Type ? for help. Type -D to quit. Loading file "L11n91__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L11n91 geometric_solution 11.12854463 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 1 1 0 0 0 0 0 0 0 0 0 -1 1 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 0 0 0 0 5 -5 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.071544025101 0.942248671163 0 5 7 6 0132 0132 0132 0132 1 1 0 1 0 -1 0 1 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 5 0 -5 0 0 -1 1 1 -1 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.498874737859 0.607402609718 4 0 9 8 1023 0132 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 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 -1 0 1 1 0 0 -1 0 0 0 0 -4 5 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.172599709227 0.702328300947 10 5 11 0 0132 1230 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 0 -1 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.177279508029 0.772034007311 5 2 0 11 0132 1023 0132 0132 1 1 0 1 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 -1 1 0 0 0 0 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.412575104898 1.587878033427 4 1 3 8 0132 0132 3012 1023 1 1 1 0 0 1 -1 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 4 1 0 0 0 0 4 0 0 -4 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507592365152 1.014834206805 9 7 1 10 0213 2103 0132 2103 1 1 1 0 0 1 -1 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 -5 5 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.288685300830 1.481691912438 8 6 11 1 1023 2103 2103 0132 1 1 1 0 0 0 0 0 0 0 0 0 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 0 0 0 -1 0 0 1 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.505947737366 0.580614500498 10 7 2 5 1023 1023 0132 1023 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.469426740394 0.980204738560 6 10 11 2 0213 0213 0213 0132 1 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 -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.473369296923 1.096989074599 3 8 9 6 0132 1023 0213 2103 1 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 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.736684648461 0.548494537300 7 9 4 3 2103 0213 0132 0132 1 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 0 0 0 0 0 0 0 0 -0.320206315757 0.748708435528 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_8'], 'c_1001_10' : d['c_0101_8'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_0101_2'], 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_0110_8'], 'c_1001_0' : d['c_0101_11'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_0101_8'], 'c_1001_8' : d['c_0101_11'], 'c_1010_11' : d['c_1001_3'], 'c_1010_10' : d['c_0110_8'], 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_9'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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_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' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1001_3'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_0101_2'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_8'], 'c_1010_6' : negation(d['c_0110_8']), 'c_1010_5' : d['c_0110_8'], 'c_1010_4' : d['c_0101_8'], 'c_1010_3' : d['c_0101_11'], 'c_1010_2' : d['c_0101_11'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0101_2'], 'c_1010_8' : d['c_0101_1'], 'c_1100_8' : d['c_1001_3'], 's_3_1' : d['1'], 's_3_0' : negation(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_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 's_1_7' : 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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : d['c_0011_11'], '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' : d['c_0101_3'], 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0011_9'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_9'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0011_9'], 'c_1100_9' : d['c_1001_3'], 'c_0110_3' : d['c_0011_9'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_2'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_9, c_0101_1, c_0101_11, c_0101_2, c_0101_3, c_0101_8, c_0110_8, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 1186890412109/520325470400*c_1100_0^7 - 678673930850041/74406542267200*c_1100_0^6 - 114538801618641/14881308453440*c_1100_0^5 + 269566736864751/14881308453440*c_1100_0^4 + 405066014251133/18601635566800*c_1100_0^3 - 35055229206461/37203271133600*c_1100_0^2 - 109197191136471/3382115557600*c_1100_0 + 475297759678949/37203271133600, c_0011_0 - 1, c_0011_10 - 29035331/5543956*c_1100_0^7 - 135631049/5543956*c_1100_0^6 - 196929149/5543956*c_1100_0^5 + 58106167/5543956*c_1100_0^4 + 61663664/1385989*c_1100_0^3 + 73785951/2771978*c_1100_0^2 - 118329759/2771978*c_1100_0 + 36689727/2771978, c_0011_11 - 46707349/11087912*c_1100_0^7 - 216441957/11087912*c_1100_0^6 - 308239311/11087912*c_1100_0^5 + 109148343/11087912*c_1100_0^4 + 50027600/1385989*c_1100_0^3 + 9910149/503996*c_1100_0^2 - 199988871/5543956*c_1100_0 + 5557403/503996, c_0011_9 + 4189783/5543956*c_1100_0^7 + 19909627/5543956*c_1100_0^6 + 2653799/503996*c_1100_0^5 - 11362129/5543956*c_1100_0^4 - 11819639/1385989*c_1100_0^3 - 15508191/2771978*c_1100_0^2 + 18108591/2771978*c_1100_0 - 2062781/2771978, c_0101_1 - 1, c_0101_11 - 291031/125999*c_1100_0^7 - 2847555/251998*c_1100_0^6 - 2301042/125999*c_1100_0^5 + 21561/251998*c_1100_0^4 + 2371762/125999*c_1100_0^3 + 1983836/125999*c_1100_0^2 - 1788146/125999*c_1100_0 + 463682/125999, c_0101_2 - 20268729/11087912*c_1100_0^7 - 94615331/11087912*c_1100_0^6 - 138606943/11087912*c_1100_0^5 + 35095065/11087912*c_1100_0^4 + 41258579/2771978*c_1100_0^3 + 50520385/5543956*c_1100_0^2 - 83326695/5543956*c_1100_0 + 28720387/5543956, c_0101_3 + 7766707/2771978*c_1100_0^7 + 36156423/2771978*c_1100_0^6 + 52334655/2771978*c_1100_0^5 - 15948025/2771978*c_1100_0^4 - 32815693/1385989*c_1100_0^3 - 19164693/1385989*c_1100_0^2 + 32147433/1385989*c_1100_0 - 11390751/1385989, c_0101_8 + 23016461/11087912*c_1100_0^7 + 9699899/1007992*c_1100_0^6 + 152171871/11087912*c_1100_0^5 - 53046843/11087912*c_1100_0^4 - 25130482/1385989*c_1100_0^3 - 60944447/5543956*c_1100_0^2 + 90450787/5543956*c_1100_0 - 27286229/5543956, c_0110_8 - 8615581/11087912*c_1100_0^7 - 42736583/11087912*c_1100_0^6 - 6550369/1007992*c_1100_0^5 - 10887787/11087912*c_1100_0^4 + 14269743/2771978*c_1100_0^3 + 28136201/5543956*c_1100_0^2 - 18458643/5543956*c_1100_0 + 8138223/5543956, c_1001_3 + 42430141/11087912*c_1100_0^7 + 199445833/11087912*c_1100_0^6 + 294957607/11087912*c_1100_0^5 - 70856091/11087912*c_1100_0^4 - 44451757/1385989*c_1100_0^3 - 115219035/5543956*c_1100_0^2 + 165260379/5543956*c_1100_0 - 46723113/5543956, c_1100_0^8 + 50/13*c_1100_0^7 + 38/13*c_1100_0^6 - 100/13*c_1100_0^5 - 93/13*c_1100_0^4 + 22/13*c_1100_0^3 + 164/13*c_1100_0^2 - 116/13*c_1100_0 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB