Magma V2.19-8 Tue Aug 20 2013 23:39:52 on localhost [Seed = 3481906046] Type ? for help. Type -D to quit. Loading file "K14n19947__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n19947 geometric_solution 9.93654872 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 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 0 1 -1 1 0 -1 0 -1 0 0 1 16 -1 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.832536359387 0.794073176390 0 3 6 5 0132 3120 0132 0132 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 -1 0 0 1 -16 15 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.703111599059 0.689840509335 7 0 7 8 0132 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0.368941409340 0.393939354309 9 1 9 0 0132 3120 0213 0132 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 0 0 0 1 0 -1 0 0 -1 1 0 -15 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334470527414 0.442798857686 8 10 0 5 3201 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.086781520175 0.711188139911 6 9 1 4 2310 1302 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.447241482275 0.619227023946 10 9 5 1 2310 3201 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.868489148429 0.934238117732 2 8 2 10 0132 2103 0321 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.586850354297 0.912796780627 10 7 2 4 0132 2103 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.108092749436 1.125325598762 3 3 6 5 0132 0213 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0.371834797424 0.772368060192 8 4 6 7 0132 0132 3201 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.713884689961 0.975611756552 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_6']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_1001_1']), 'c_1001_8' : d['c_0011_0'], 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0101_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_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_6'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_5'], 'c_1100_7' : d['c_1001_2'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0011_6']), 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_5'], 'c_1010_8' : d['c_0011_6'], 'c_1100_8' : negation(d['c_0011_10']), 's_3_1' : d['1'], 's_3_0' : 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'], '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' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], '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_10' : negation(d['c_0101_2']), 'c_0101_7' : negation(d['c_0101_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0101_2']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_3']), 'c_0110_8' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 9869408390799596767327/56303387797452496950*c_1001_2^16 - 14429440437354900752973/18767795932484165650*c_1001_2^15 + 23121910784476616071412/28151693898726248475*c_1001_2^14 + 188415017863992092033827/56303387797452496950*c_1001_2^13 - 65340637913993304328223/5630338779745249695*c_1001_2^12 + 359909198192950639869476/28151693898726248475*c_1001_2^11 + 102943947567162507603544/28151693898726248475*c_1001_2^10 - 960501887272531470635741/56303387797452496950*c_1001_2^9 + 113043427901900205347089/28151693898726248475*c_1001_2^8 + 75716558524475981403207/3753559186496833130*c_1001_2^7 - 66912037175471989459601/3753559186496833130*c_1001_2^6 + 252336741667292392265137/28151693898726248475*c_1001_2^5 - 90367119807736378139659/28151693898726248475*c_1001_2^4 - 66036265278850908783631/9383897966242082825*c_1001_2^3 + 705233124037414777225253/56303387797452496950*c_1001_2^2 - 1357072779002612868691/18767795932484165650*c_1001_2 - 23824377389682035443466/5630338779745249695, c_0011_0 - 1, c_0011_10 - 424139371/1674987595*c_1001_2^16 + 10749848344/5024962785*c_1001_2^15 - 41844067012/5024962785*c_1001_2^14 + 91094712638/5024962785*c_1001_2^13 - 107765225137/5024962785*c_1001_2^12 + 38767048622/5024962785*c_1001_2^11 + 54117014516/5024962785*c_1001_2^10 - 9912796333/1674987595*c_1001_2^9 - 107197467041/5024962785*c_1001_2^8 + 186271316617/5024962785*c_1001_2^7 - 29600602073/1004992557*c_1001_2^6 + 82298318944/5024962785*c_1001_2^5 - 3410983322/5024962785*c_1001_2^4 - 20490846801/1674987595*c_1001_2^3 + 16203073303/1674987595*c_1001_2^2 + 5502458039/5024962785*c_1001_2 - 9682339547/5024962785, c_0011_3 - 676349834/5024962785*c_1001_2^16 + 2059061584/1674987595*c_1001_2^15 - 25902093251/5024962785*c_1001_2^14 + 61720038889/5024962785*c_1001_2^13 - 83397202901/5024962785*c_1001_2^12 + 45443851201/5024962785*c_1001_2^11 + 30693673478/5024962785*c_1001_2^10 - 41261623052/5024962785*c_1001_2^9 - 50818254493/5024962785*c_1001_2^8 + 45469098377/1674987595*c_1001_2^7 - 8639204482/334997519*c_1001_2^6 + 76092710027/5024962785*c_1001_2^5 - 10208598731/5024962785*c_1001_2^4 - 18096587943/1674987595*c_1001_2^3 + 53576174717/5024962785*c_1001_2^2 - 2595884056/1674987595*c_1001_2 - 8859680471/5024962785, c_0011_5 - 722521852/5024962785*c_1001_2^16 + 5463569281/5024962785*c_1001_2^15 - 18894888593/5024962785*c_1001_2^14 + 34569652672/5024962785*c_1001_2^13 - 27589100723/5024962785*c_1001_2^12 - 13571637932/5024962785*c_1001_2^11 + 14419037348/1674987595*c_1001_2^10 - 9709141906/5024962785*c_1001_2^9 - 51547253419/5024962785*c_1001_2^8 + 63193455643/5024962785*c_1001_2^7 - 5848177100/1004992557*c_1001_2^6 - 3845549944/5024962785*c_1001_2^5 + 13115628534/1674987595*c_1001_2^4 - 15158481464/1674987595*c_1001_2^3 + 20461682041/5024962785*c_1001_2^2 + 8185215191/5024962785*c_1001_2 - 1155211956/1674987595, c_0011_6 + 536961636/1674987595*c_1001_2^16 - 4473013903/1674987595*c_1001_2^15 + 17047939154/1674987595*c_1001_2^14 - 35973400421/1674987595*c_1001_2^13 + 40151314004/1674987595*c_1001_2^12 - 10850881454/1674987595*c_1001_2^11 - 22588018842/1674987595*c_1001_2^10 + 6146884003/1674987595*c_1001_2^9 + 47541779917/1674987595*c_1001_2^8 - 70240412974/1674987595*c_1001_2^7 + 10377831122/334997519*c_1001_2^6 - 30965718873/1674987595*c_1001_2^5 + 1462374279/1674987595*c_1001_2^4 + 23836517491/1674987595*c_1001_2^3 - 14285203838/1674987595*c_1001_2^2 - 3073830488/1674987595*c_1001_2 + 1665432349/1674987595, c_0101_0 + 124710219/1674987595*c_1001_2^16 - 3156633221/5024962785*c_1001_2^15 + 12026690468/5024962785*c_1001_2^14 - 24767157307/5024962785*c_1001_2^13 + 24654114803/5024962785*c_1001_2^12 + 2303967497/5024962785*c_1001_2^11 - 30442586854/5024962785*c_1001_2^10 + 4897808157/1674987595*c_1001_2^9 + 31809510229/5024962785*c_1001_2^8 - 48522991193/5024962785*c_1001_2^7 + 5661173140/1004992557*c_1001_2^6 - 5594440451/5024962785*c_1001_2^5 - 22550704922/5024962785*c_1001_2^4 + 13203518479/1674987595*c_1001_2^3 - 5725262432/1674987595*c_1001_2^2 - 3727316686/5024962785*c_1001_2 - 635310767/5024962785, c_0101_1 + 558933887/5024962785*c_1001_2^16 - 4286667866/5024962785*c_1001_2^15 + 15079048078/5024962785*c_1001_2^14 - 28247940062/5024962785*c_1001_2^13 + 23906977708/5024962785*c_1001_2^12 + 8195805097/5024962785*c_1001_2^11 - 10518910943/1674987595*c_1001_2^10 + 3357325121/5024962785*c_1001_2^9 + 45675157124/5024962785*c_1001_2^8 - 49852816223/5024962785*c_1001_2^7 + 4205506090/1004992557*c_1001_2^6 - 3365798041/5024962785*c_1001_2^5 - 6895882319/1674987595*c_1001_2^4 + 11054451879/1674987595*c_1001_2^3 - 13713340331/5024962785*c_1001_2^2 - 12187701871/5024962785*c_1001_2 + 531660861/1674987595, c_0101_2 - 1404699538/5024962785*c_1001_2^16 + 11105314879/5024962785*c_1001_2^15 - 40380820067/5024962785*c_1001_2^14 + 80126421073/5024962785*c_1001_2^13 - 79798568927/5024962785*c_1001_2^12 + 5491463602/5024962785*c_1001_2^11 + 20279761342/1674987595*c_1001_2^10 - 4515326794/5024962785*c_1001_2^9 - 118056290671/5024962785*c_1001_2^8 + 149276923702/5024962785*c_1001_2^7 - 18636474887/1004992557*c_1001_2^6 + 44987739164/5024962785*c_1001_2^5 + 6760700426/1674987595*c_1001_2^4 - 18323363176/1674987595*c_1001_2^3 + 24763544869/5024962785*c_1001_2^2 + 15485912024/5024962785*c_1001_2 - 886280619/1674987595, c_0101_6 + 853767521/1674987595*c_1001_2^16 - 21657681994/5024962785*c_1001_2^15 + 84451660732/5024962785*c_1001_2^14 - 184508008733/5024962785*c_1001_2^13 + 219842734537/5024962785*c_1001_2^12 - 82352329802/5024962785*c_1001_2^11 - 105348253586/5024962785*c_1001_2^10 + 19335177213/1674987595*c_1001_2^9 + 215909885171/5024962785*c_1001_2^8 - 376212632902/5024962785*c_1001_2^7 + 61289272520/1004992557*c_1001_2^6 - 181650797539/5024962785*c_1001_2^5 + 14050404962/5024962785*c_1001_2^4 + 42095347106/1674987595*c_1001_2^3 - 30241460143/1674987595*c_1001_2^2 - 8679627599/5024962785*c_1001_2 + 14210904812/5024962785, c_1001_1 + 285564908/1674987595*c_1001_2^16 - 7016009762/5024962785*c_1001_2^15 + 26367100991/5024962785*c_1001_2^14 - 54586123309/5024962785*c_1001_2^13 + 58280652701/5024962785*c_1001_2^12 - 8737172701/5024962785*c_1001_2^11 - 46573391503/5024962785*c_1001_2^10 + 6899924199/1674987595*c_1001_2^9 + 69126864343/5024962785*c_1001_2^8 - 110479242506/5024962785*c_1001_2^7 + 15148400491/1004992557*c_1001_2^6 - 29843241062/5024962785*c_1001_2^5 - 18822194414/5024962785*c_1001_2^4 + 16964694013/1674987595*c_1001_2^3 - 11771893329/1674987595*c_1001_2^2 - 2971902022/5024962785*c_1001_2 + 8836081786/5024962785, c_1001_2^17 - 8*c_1001_2^16 + 29*c_1001_2^15 - 56*c_1001_2^14 + 49*c_1001_2^13 + 16*c_1001_2^12 - 67*c_1001_2^11 + 8*c_1001_2^10 + 102*c_1001_2^9 - 114*c_1001_2^8 + 40*c_1001_2^7 + 7*c_1001_2^6 - 41*c_1001_2^5 + 56*c_1001_2^4 - 13*c_1001_2^3 - 28*c_1001_2^2 + 9*c_1001_2 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.810 Total time: 1.010 seconds, Total memory usage: 32.09MB