Magma V2.19-8 Tue Aug 20 2013 18:03:19 on localhost [Seed = 2033765618] Type ? for help. Type -D to quit. Loading file "9^2_30__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 9^2_30 geometric_solution 12.27656278 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 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 -1 1 0 0 0 1 -1 -3 -1 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.663486560600 0.341170662744 0 5 7 6 0132 0132 0132 0132 1 1 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 0 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.106244586876 0.559865424330 6 0 6 5 0132 0132 3012 3012 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 1 -1 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.146820597476 0.848323018563 8 4 9 0 0132 0321 0132 0132 0 1 0 1 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 0 1 -1 1 0 0 -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.694984177206 0.921216558895 7 5 0 3 0132 3012 0132 0321 0 1 0 0 0 0 0 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 0 0 0 0 0 1 -1 -1 1 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.985726784539 0.967576145235 4 1 2 8 1230 0132 1230 1302 1 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 0 0 -1 0 1 0 -4 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.611798871327 0.415346263492 2 2 1 10 0132 1230 0132 0132 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 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.589388526324 0.586033666868 4 11 9 1 0132 0132 2103 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638430645384 0.803343095091 3 12 5 10 0132 0132 2031 2103 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 1 -1 0 -1 0 0 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.465884340089 1.035112525283 7 12 12 3 2103 1230 1302 0132 0 1 1 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 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.561549234019 0.921657855247 11 11 6 8 2031 0321 0132 2103 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 -1 0 1 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.517896895442 0.791264748372 12 7 10 10 3120 0132 1302 0321 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 -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 0 0 0 0.517896895442 0.791264748372 9 8 9 11 2031 0132 3012 3120 0 0 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 -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.420902387341 0.884769788729 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_10'], 'c_1001_10' : d['c_0101_10'], 'c_1001_12' : negation(d['c_0011_9']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : d['c_0011_9'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0110_10'], 'c_1001_0' : negation(d['c_0101_5']), 'c_1001_3' : d['c_0101_12'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_0011_9'], 'c_1010_10' : d['c_0011_9'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0101_10'], '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_2_12' : d['1'], 's_2_10' : 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' : d['c_0101_12'], 'c_1100_8' : negation(d['c_0110_10']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_0'], 'c_1100_4' : d['c_0101_12'], '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_0101_12'], 'c_1100_3' : d['c_0101_12'], 'c_1100_2' : negation(d['c_1001_5']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_0101_3']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0110_10'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_0110_10'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_0101_12'], 'c_1010_8' : negation(d['c_0011_9']), '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_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_10'], '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_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_12']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : negation(d['c_0011_12']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_10']})} 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_11, c_0011_12, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_3, c_0101_5, c_0110_10, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 21127294560667/83096485350*c_1001_5^11 + 848568685497219/470880083650*c_1001_5^10 - 9818057183007617/1412640250950*c_1001_5^9 + 8565939323417647/470880083650*c_1001_5^8 - 24528532667352236/706320125475*c_1001_5^7 + 677310656061069/13849414225*c_1001_5^6 - 2896967757839669/56505610038*c_1001_5^5 + 28689820350658661/706320125475*c_1001_5^4 - 17777656596076363/706320125475*c_1001_5^3 + 2837331270822059/235440041825*c_1001_5^2 - 1908895369978891/470880083650*c_1001_5 + 1016458771959607/1412640250950, c_0011_0 - 1, c_0011_10 + 1256327659/162934285*c_1001_5^11 - 24740827132/488802855*c_1001_5^10 + 86623677457/488802855*c_1001_5^9 - 206674324304/488802855*c_1001_5^8 + 352556517538/488802855*c_1001_5^7 - 426621070103/488802855*c_1001_5^6 + 368401193324/488802855*c_1001_5^5 - 236992937788/488802855*c_1001_5^4 + 117935218867/488802855*c_1001_5^3 - 39472723258/488802855*c_1001_5^2 + 4500701338/488802855*c_1001_5 + 271693628/97760571, c_0011_11 - 32145772192/2444014275*c_1001_5^11 + 217418405611/2444014275*c_1001_5^10 - 260396365672/814671425*c_1001_5^9 + 1916619226463/2444014275*c_1001_5^8 - 3388888279496/2444014275*c_1001_5^7 + 4323804917299/2444014275*c_1001_5^6 - 269147959564/162934285*c_1001_5^5 + 2880185527871/2444014275*c_1001_5^4 - 1625181462088/2444014275*c_1001_5^3 + 228516566334/814671425*c_1001_5^2 - 62809007018/814671425*c_1001_5 + 8332341377/814671425, c_0011_12 + 11076233431/814671425*c_1001_5^11 - 239668743779/2444014275*c_1001_5^10 + 905327954549/2444014275*c_1001_5^9 - 774135671629/814671425*c_1001_5^8 + 4315190909629/2444014275*c_1001_5^7 - 5851767328111/2444014275*c_1001_5^6 + 1168744154821/488802855*c_1001_5^5 - 1475292129693/814671425*c_1001_5^4 + 2630057965342/2444014275*c_1001_5^3 - 1201178905343/2444014275*c_1001_5^2 + 124096829552/814671425*c_1001_5 - 18167927488/814671425, c_0011_9 - 8656287103/2444014275*c_1001_5^11 + 62717755169/2444014275*c_1001_5^10 - 239054864839/2444014275*c_1001_5^9 + 620040456937/2444014275*c_1001_5^8 - 389472251093/814671425*c_1001_5^7 + 538847863457/814671425*c_1001_5^6 - 332251410259/488802855*c_1001_5^5 + 433653960093/814671425*c_1001_5^4 - 797750625047/2444014275*c_1001_5^3 + 378210710338/2444014275*c_1001_5^2 - 125911391866/2444014275*c_1001_5 + 19892371034/2444014275, c_0101_0 - 1, c_0101_1 - 24682961572/2444014275*c_1001_5^11 + 53496032632/814671425*c_1001_5^10 - 555488983301/2444014275*c_1001_5^9 + 1312523236928/2444014275*c_1001_5^8 - 737746688567/814671425*c_1001_5^7 + 2636536786514/2444014275*c_1001_5^6 - 447859950448/488802855*c_1001_5^5 + 1425070664351/2444014275*c_1001_5^4 - 699313864088/2444014275*c_1001_5^3 + 225490911002/2444014275*c_1001_5^2 - 9006136123/814671425*c_1001_5 - 2532373108/814671425, c_0101_10 + 21943349794/2444014275*c_1001_5^11 - 55675177684/814671425*c_1001_5^10 + 217630660629/814671425*c_1001_5^9 - 1720787951741/2444014275*c_1001_5^8 + 3286925957897/2444014275*c_1001_5^7 - 4594384411843/2444014275*c_1001_5^6 + 944854191514/488802855*c_1001_5^5 - 3666232910122/2444014275*c_1001_5^4 + 2225484555766/2444014275*c_1001_5^3 - 1040179856314/2444014275*c_1001_5^2 + 329670678353/2444014275*c_1001_5 - 52371195917/2444014275, c_0101_12 - 32145772192/2444014275*c_1001_5^11 + 217418405611/2444014275*c_1001_5^10 - 260396365672/814671425*c_1001_5^9 + 1916619226463/2444014275*c_1001_5^8 - 3388888279496/2444014275*c_1001_5^7 + 4323804917299/2444014275*c_1001_5^6 - 269147959564/162934285*c_1001_5^5 + 2880185527871/2444014275*c_1001_5^4 - 1625181462088/2444014275*c_1001_5^3 + 228516566334/814671425*c_1001_5^2 - 61994335593/814671425*c_1001_5 + 7517669952/814671425, c_0101_3 - 21166796186/2444014275*c_1001_5^11 + 151290738863/2444014275*c_1001_5^10 - 566580538828/2444014275*c_1001_5^9 + 480854986918/814671425*c_1001_5^8 - 2658793118768/2444014275*c_1001_5^7 + 3570788508667/2444014275*c_1001_5^6 - 705881299136/488802855*c_1001_5^5 + 2651846408068/2444014275*c_1001_5^4 - 521469803468/814671425*c_1001_5^3 + 701223758591/2444014275*c_1001_5^2 - 69692215494/814671425*c_1001_5 + 30427846123/2444014275, c_0101_5 - 46626311366/2444014275*c_1001_5^11 + 109171210316/814671425*c_1001_5^10 - 1208380965188/2444014275*c_1001_5^9 + 3033311188669/2444014275*c_1001_5^8 - 5500166023598/2444014275*c_1001_5^7 + 2410307066119/814671425*c_1001_5^6 - 1392714141962/488802855*c_1001_5^5 + 1697101191491/814671425*c_1001_5^4 - 974932806618/814671425*c_1001_5^3 + 421890255772/814671425*c_1001_5^2 - 356689086722/2444014275*c_1001_5 + 44774076593/2444014275, c_0110_10 - 2365721666/814671425*c_1001_5^11 + 15108212108/814671425*c_1001_5^10 - 153610706644/2444014275*c_1001_5^9 + 354450259537/2444014275*c_1001_5^8 - 193071649618/814671425*c_1001_5^7 + 655395732041/2444014275*c_1001_5^6 - 20540991905/97760571*c_1001_5^5 + 293206407004/2444014275*c_1001_5^4 - 41251723294/814671425*c_1001_5^3 + 23862191528/2444014275*c_1001_5^2 + 6919712414/2444014275*c_1001_5 - 1914961517/814671425, c_1001_5^12 - 130/17*c_1001_5^11 + 518/17*c_1001_5^10 - 1400/17*c_1001_5^9 + 2762/17*c_1001_5^8 - 238*c_1001_5^7 + 4453/17*c_1001_5^6 - 3766/17*c_1001_5^5 + 2510/17*c_1001_5^4 - 1318/17*c_1001_5^3 + 518/17*c_1001_5^2 - 134/17*c_1001_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.180 Total time: 0.390 seconds, Total memory usage: 32.09MB