Magma V2.19-8 Tue Aug 20 2013 17:55:32 on localhost [Seed = 3052667493] Type ? for help. Type -D to quit. Loading file "11_353__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_353 geometric_solution 8.03987560 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 9 1 2 1 3 0132 0132 2310 0132 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 -6 -1 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.044714573654 1.749878977705 0 0 5 4 0132 3201 0132 0132 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 6 -6 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.560791380951 0.499477637314 3 0 6 5 3201 0132 0132 1230 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 6 0 -6 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.067595226344 0.494365373524 6 7 0 2 2031 0132 0132 2310 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 7 -7 0 0 0 0 0 1 0 0 -1 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.690096663195 0.531374590113 5 5 1 8 1230 0213 0132 0132 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 1 0 -1 1 0 6 -7 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.729382874519 0.518622504719 2 4 4 1 3012 3012 0213 0132 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 1 -1 0 6 0 0 -6 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.662326735417 0.564696124868 8 7 3 2 1230 0321 1302 0132 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 0 0 0 0 7 0 -7 0 -7 7 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.670296151557 0.647066140465 8 3 8 6 3012 0132 3201 0321 0 0 0 0 0 1 -1 0 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 -7 7 0 0 0 0 0 0 7 0 -7 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.153027353491 1.114709854103 7 6 4 7 2310 3012 0132 1230 0 0 0 0 0 0 0 0 1 0 -1 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 1 0 -7 0 7 0 0 -7 0 7 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.790808905951 1.515540802635 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_7' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0011_8']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_8' : negation(d['c_0011_6']), 's_2_8' : 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_2_6' : d['1'], 's_2_7' : d['1'], 's_0_8' : 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_8' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : d['c_0101_1'], 'c_1100_1' : negation(d['c_0011_6']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0101_1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : d['c_1001_2'], 'c_1010_8' : d['c_0011_3'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : 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_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : 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_1_8' : d['1'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_8'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : d['c_0011_5'], 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_8']), 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_5'], 'c_0110_7' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_8']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_5, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 737400705709877775191/488807368234413053*c_1001_2^7 - 6153353933204860820660/768125864368363369*c_1001_2^6 - 75353293411498104074396/5376881050578543583*c_1001_2^5 - 299448702581166050985035/10753762101157087166*c_1001_2^4 - 1047305684286843681953783/10753762101157087166*c_1001_2^3 - 930004178844378281824531/5376881050578543583*c_1001_2^2 - 938734100421574153968937/5376881050578543583*c_1001_2 - 1014893081442059703456723/10753762101157087166, c_0011_0 - 1, c_0011_3 + 2141654185/146762864221*c_1001_2^7 - 2732579995/293525728442*c_1001_2^6 - 35668212049/293525728442*c_1001_2^5 + 14887363359/293525728442*c_1001_2^4 - 38395903597/293525728442*c_1001_2^3 - 303498617745/293525728442*c_1001_2^2 - 276151387280/146762864221*c_1001_2 - 456665419207/293525728442, c_0011_4 + 52571929245/146762864221*c_1001_2^7 + 553638708727/293525728442*c_1001_2^6 + 478118469297/146762864221*c_1001_2^5 + 954898196690/146762864221*c_1001_2^4 + 6698731535131/293525728442*c_1001_2^3 + 11848709606169/293525728442*c_1001_2^2 + 11743881455167/293525728442*c_1001_2 + 6214966898707/293525728442, c_0011_5 + 13142805368/146762864221*c_1001_2^7 + 72431948253/146762864221*c_1001_2^6 + 261625197557/293525728442*c_1001_2^5 + 258684372361/146762864221*c_1001_2^4 + 1789067599141/293525728442*c_1001_2^3 + 1616808973054/146762864221*c_1001_2^2 + 3354879158563/293525728442*c_1001_2 + 1960712177359/293525728442, c_0011_6 - 57945999045/293525728442*c_1001_2^7 - 148793048122/146762864221*c_1001_2^6 - 254236773734/146762864221*c_1001_2^5 - 517536781930/146762864221*c_1001_2^4 - 1808297045921/146762864221*c_1001_2^3 - 6332024178827/293525728442*c_1001_2^2 - 6286750441533/293525728442*c_1001_2 - 3442152331825/293525728442, c_0011_8 - 8827426553/146762864221*c_1001_2^7 - 108170769633/293525728442*c_1001_2^6 - 108948066711/146762864221*c_1001_2^5 - 184307976960/146762864221*c_1001_2^4 - 1318643629655/293525728442*c_1001_2^3 - 2634986798211/293525728442*c_1001_2^2 - 2895027006317/293525728442*c_1001_2 - 1638061603429/293525728442, c_0101_0 - 8180448925/293525728442*c_1001_2^7 - 57192261217/293525728442*c_1001_2^6 - 59636167605/146762864221*c_1001_2^5 - 96226139550/146762864221*c_1001_2^4 - 746512705117/293525728442*c_1001_2^3 - 710169103105/146762864221*c_1001_2^2 - 784591256833/146762864221*c_1001_2 - 585990969062/146762864221, c_0101_1 - 5893469824/146762864221*c_1001_2^7 - 40031113710/146762864221*c_1001_2^6 - 152342290705/293525728442*c_1001_2^5 - 115995597595/146762864221*c_1001_2^4 - 1009188241059/293525728442*c_1001_2^3 - 946249346422/146762864221*c_1001_2^2 - 2022415187539/293525728442*c_1001_2 - 1434551542523/293525728442, c_1001_2^8 + 74/11*c_1001_2^7 + 185/11*c_1001_2^6 + 348/11*c_1001_2^5 + 998/11*c_1001_2^4 + 2268/11*c_1001_2^3 + 3062/11*c_1001_2^2 + 2494/11*c_1001_2 + 977/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB