Magma V2.19-8 Wed Aug 21 2013 00:50:47 on localhost [Seed = 1932879466] Type ? for help. Type -D to quit. Loading file "L10a27__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L10a27 geometric_solution 11.36375264 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 3012 0132 1 1 1 1 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 0 1 9 0 0 -9 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.315224066523 1.245427813427 0 0 4 4 0132 1230 2031 0132 1 1 1 1 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 0 10 -10 -9 0 0 9 -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.338996557458 0.616545822763 5 0 7 6 0132 0132 0132 0132 1 1 1 1 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 1 0 -1 1 0 -1 0 -10 1 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.575649170397 0.573392945006 8 9 0 4 0132 0132 0132 1230 1 1 1 1 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 0 0 0 0 0 0 0 0 10 -1 -9 -9 0 9 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.319294161721 0.347099848281 3 9 1 1 3012 0213 0132 1302 1 1 1 1 0 -1 1 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 -10 10 0 9 0 -9 0 0 10 0 -10 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.338996557458 0.616545822763 2 6 10 11 0132 2103 0132 0132 0 1 1 1 0 1 0 -1 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 2 -1 -1 -1 0 1 0 0 0 0 0 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564002183180 0.434288947259 11 5 2 10 1302 2103 0132 1302 1 1 0 1 0 0 0 0 0 0 0 0 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 0 1 -1 0 0 0 0 1 -2 0 1 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.151298340795 1.146785890013 11 12 8 2 0132 0132 0321 0132 1 1 1 1 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 0 0 0 0 0 -1 1 0 0 0 0 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517054605973 0.340342867693 3 12 7 9 0132 3201 0321 2103 1 1 1 1 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 9 0 -9 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.490532189539 1.047704836132 12 3 4 8 3201 0132 0213 2103 1 1 1 1 0 -1 1 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 -10 10 0 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565721011642 1.161865452218 12 11 6 5 0321 0321 2031 0132 0 1 1 1 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 -1 1 0 0 1 -1 -10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.886922783484 0.857083796827 7 6 5 10 0132 2031 0132 0321 0 1 1 1 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 0 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.151298340795 1.146785890013 10 7 8 9 0321 0132 2310 2310 1 1 1 1 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 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.944205686143 1.058348996960 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_6']), 'c_1001_10' : negation(d['c_0110_6']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : negation(d['c_0110_9']), 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : negation(d['c_0110_4']), 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_12'], 'c_1001_2' : d['c_1001_12'], 'c_1001_9' : d['c_0101_0'], 'c_1001_8' : d['c_0101_10'], 'c_1010_12' : negation(d['c_0110_9']), 'c_1010_11' : d['c_0011_6'], 'c_1010_10' : d['c_0011_6'], 's_0_10' : negation(d['1']), 's_3_10' : negation(d['1']), 's_0_12' : negation(d['1']), 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0110_9']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0110_6']), 'c_1100_4' : d['c_0101_1'], 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : d['c_0101_10'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0110_4'], 'c_1100_3' : d['c_0110_4'], 'c_1100_2' : d['c_0101_10'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_6']), 'c_1100_10' : negation(d['c_0110_6']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_12'], 'c_1010_6' : d['c_0110_6'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_12'], 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : negation(d['c_1001_12']), '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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_3']), 's_1_7' : negation(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' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_11']), '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_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : negation(d['c_0101_10']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : negation(d['c_0011_11']), 'c_0101_5' : negation(d['c_0011_11']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : negation(d['1']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0011_10'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0110_6']})} 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0110_4, c_0110_6, c_0110_9, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 11760671779260864487/2524561611934223227840*c_1001_12^13 - 74185323488765595/504912322386844645568*c_1001_12^12 - 840314572821924/35314480918954555*c_1001_12^11 - 581309374388859807/126228080596711161392*c_1001_12^10 + 39016944778795150831/2524561611934223227840*c_1001_12^9 + 3413596142604312897/504912322386844645568*c_1001_12^8 + 8742460327760378505/126228080596711161392*c_1001_12^7 + 13575309488352255801/157785100745888951740*c_1001_12^6 - 53720641969986642009/1262280805967111613920*c_1001_12^5 - 267426007327531115493/1262280805967111613920*c_1001_12^4 - 32942905232243122317/631140402983555806960*c_1001_12^3 + 17481288591044695297/631140402983555806960*c_1001_12^2 - 63303863123281022529/2524561611934223227840*c_1001_12 - 11014865573424194707/504912322386844645568, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 + 73441/5802815*c_1001_12^13 + 3079048/5802815*c_1001_12^12 - 3588/5195*c_1001_12^11 - 18755568/5802815*c_1001_12^10 + 19101923/5802815*c_1001_12^9 + 39212904/5802815*c_1001_12^8 - 6749736/1160563*c_1001_12^7 - 25791992/5802815*c_1001_12^6 + 8252966/1160563*c_1001_12^5 - 3288824/1160563*c_1001_12^4 - 44361408/5802815*c_1001_12^3 + 48347592/5802815*c_1001_12^2 - 4009205/1160563*c_1001_12 - 23474376/5802815, c_0011_3 + 934262/5802815*c_1001_12^13 - 1401744/5802815*c_1001_12^12 - 4276/5195*c_1001_12^11 + 6614689/5802815*c_1001_12^10 + 6889526/5802815*c_1001_12^9 - 9606917/5802815*c_1001_12^8 + 315412/1160563*c_1001_12^7 + 7176006/5802815*c_1001_12^6 - 2511420/1160563*c_1001_12^5 - 826435/1160563*c_1001_12^4 + 12782624/5802815*c_1001_12^3 - 17818721/5802815*c_1001_12^2 + 1074322/1160563*c_1001_12 - 2925947/5802815, c_0011_6 - 1, c_0101_0 + 346718/5802815*c_1001_12^13 + 1545264/5802815*c_1001_12^12 - 3724/5195*c_1001_12^11 - 9466784/5802815*c_1001_12^10 + 14750774/5802815*c_1001_12^9 + 18565807/5802815*c_1001_12^8 - 4351396/1160563*c_1001_12^7 - 6627291/5802815*c_1001_12^6 + 4290804/1160563*c_1001_12^5 - 3432347/1160563*c_1001_12^4 - 15115924/5802815*c_1001_12^3 + 26445826/5802815*c_1001_12^2 - 4292718/1160563*c_1001_12 - 15430993/5802815, c_0101_1 + 1835694/5802815*c_1001_12^13 - 2390408/5802815*c_1001_12^12 - 9732/5195*c_1001_12^11 + 13092328/5802815*c_1001_12^10 + 21011927/5802815*c_1001_12^9 - 26087744/5802815*c_1001_12^8 - 1879610/1160563*c_1001_12^7 + 31219512/5802815*c_1001_12^6 - 3561645/1160563*c_1001_12^5 - 5563392/1160563*c_1001_12^4 + 37448298/5802815*c_1001_12^3 - 17018852/5802815*c_1001_12^2 - 3781661/1160563*c_1001_12 + 9607736/5802815, c_0101_10 - 452402/5802815*c_1001_12^13 - 537551/5802815*c_1001_12^12 + 2556/5195*c_1001_12^11 + 4853161/5802815*c_1001_12^10 - 5473866/5802815*c_1001_12^9 - 13667503/5802815*c_1001_12^8 + 463708/1160563*c_1001_12^7 + 11496144/5802815*c_1001_12^6 - 823596/1160563*c_1001_12^5 + 28900/1160563*c_1001_12^4 + 12670456/5802815*c_1001_12^3 + 187701/5802815*c_1001_12^2 - 1031434/1160563*c_1001_12 + 16615087/5802815, c_0101_11 + 2773528/5802815*c_1001_12^13 - 4104701/5802815*c_1001_12^12 - 15024/5195*c_1001_12^11 + 23000351/5802815*c_1001_12^10 + 35648504/5802815*c_1001_12^9 - 46681773/5802815*c_1001_12^8 - 5105960/1160563*c_1001_12^7 + 53495384/5802815*c_1001_12^6 - 3818656/1160563*c_1001_12^5 - 9313404/1160563*c_1001_12^4 + 61605576/5802815*c_1001_12^3 - 18756709/5802815*c_1001_12^2 - 5931944/1160563*c_1001_12 + 15880677/5802815, c_0110_4 + 403006/5802815*c_1001_12^13 + 311008/5802815*c_1001_12^12 - 2468/5195*c_1001_12^11 - 2848888/5802815*c_1001_12^10 + 6568548/5802815*c_1001_12^9 + 7797944/5802815*c_1001_12^8 - 1387469/1160563*c_1001_12^7 - 6298312/5802815*c_1001_12^6 + 1516170/1160563*c_1001_12^5 + 321212/1160563*c_1001_12^4 - 8228728/5802815*c_1001_12^3 + 756032/5802815*c_1001_12^2 - 275348/1160563*c_1001_12 - 13074916/5802815, c_0110_6 + 322593/1160563*c_1001_12^13 - 356715/1160563*c_1001_12^12 - 1758/1039*c_1001_12^11 + 1814719/1160563*c_1001_12^10 + 4112237/1160563*c_1001_12^9 - 3301427/1160563*c_1001_12^8 - 2784834/1160563*c_1001_12^7 + 4199924/1160563*c_1001_12^6 - 1497530/1160563*c_1001_12^5 - 4671152/1160563*c_1001_12^4 + 4893512/1160563*c_1001_12^3 - 1894441/1160563*c_1001_12^2 - 2450255/1160563*c_1001_12 - 73441/1160563, c_0110_9 + 1368914/5802815*c_1001_12^13 - 3219688/5802815*c_1001_12^12 - 5617/5195*c_1001_12^11 + 18348208/5802815*c_1001_12^10 + 6328032/5802815*c_1001_12^9 - 37007424/5802815*c_1001_12^8 + 1917056/1160563*c_1001_12^7 + 34433992/5802815*c_1001_12^6 - 6472258/1160563*c_1001_12^5 - 2140640/1160563*c_1001_12^4 + 47792923/5802815*c_1001_12^3 - 36404392/5802815*c_1001_12^2 - 580538/1160563*c_1001_12 + 18950356/5802815, c_1001_12^14 - 2*c_1001_12^13 - 6*c_1001_12^12 + 12*c_1001_12^11 + 13*c_1001_12^10 - 26*c_1001_12^9 - 10*c_1001_12^8 + 28*c_1001_12^7 - 10*c_1001_12^6 - 20*c_1001_12^5 + 32*c_1001_12^4 - 8*c_1001_12^3 - 15*c_1001_12^2 + 14*c_1001_12 + 10 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.170 Total time: 0.380 seconds, Total memory usage: 32.09MB