Magma V2.19-8 Tue Aug 20 2013 23:47:15 on localhost [Seed = 3970598574] Type ? for help. Type -D to quit. Loading file "K9a16__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K9a16 geometric_solution 10.61134829 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 1302 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 -1 1 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.187812487517 0.615506095655 0 3 4 2 0132 2103 0132 1302 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 1 -1 1 -1 0 0 1 4 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.275867256330 1.046330229739 0 0 1 5 2031 0132 2031 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 1 0 0 -1 -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.546479510574 1.486294279130 4 1 0 6 0132 2103 0132 0132 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 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.648112676631 1.825471452131 3 7 6 1 0132 0132 0132 0132 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 0 0 0 0 0 1 -1 -4 -1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.407788681163 0.366311861074 8 8 2 9 0132 1302 0132 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 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.644722826787 0.477341634328 10 9 3 4 0132 0321 0132 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 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.642857674546 1.219105271782 11 4 11 9 0132 0132 3012 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.358667023057 0.870788183475 5 11 10 5 0132 0321 1023 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 1.003389849844 1.348129817803 10 7 5 6 1023 0321 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1.548344662815 0.744530641675 6 9 8 11 0132 1023 1023 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.001865152241 0.741763637454 7 7 10 8 0132 1230 1230 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 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.548344662815 0.744530641675 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0101_8'], 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : negation(d['c_0011_11']), 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_1001_11']), 'c_1001_8' : d['c_0101_10'], 'c_1010_11' : d['c_0011_5'], 'c_1010_10' : d['c_0011_10'], 's_0_10' : d['1'], 's_3_10' : 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' : negation(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_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' : 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' : d['c_1001_11'], 'c_1100_5' : d['c_1001_6'], 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : negation(d['c_1001_11']), 'c_1100_6' : d['c_0101_2'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_1001_6'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_1001_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_4'], 'c_1010_6' : d['c_1001_4'], 'c_1010_5' : negation(d['c_1001_11']), 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : d['c_1001_6'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_1001_6']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_0011_5'], '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'], '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_5'], 'c_0110_10' : d['c_0101_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_5'], 'c_0101_6' : d['c_0101_10'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_10'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : d['c_0011_0'], 'c_1100_9' : d['c_1001_6'], 'c_0110_3' : d['c_0101_10'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_8'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_10']})} 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_5, c_0101_1, c_0101_10, c_0101_2, c_0101_5, c_0101_8, c_1001_11, c_1001_4, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 5 Groebner basis: [ t - 815253/440*c_1001_6^4 - 702401/440*c_1001_6^3 - 117427/22*c_1001_6^2 - 4566423/440*c_1001_6 - 1472483/110, c_0011_0 - 1, c_0011_10 - c_1001_6, c_0011_11 - 3/11*c_1001_6^4 - 1/11*c_1001_6^3 - 12/11*c_1001_6^2 - 10/11*c_1001_6 - 10/11, c_0011_5 + 1, c_0101_1 + 5/22*c_1001_6^4 - 1/11*c_1001_6^3 + 9/22*c_1001_6^2 + 13/22*c_1001_6 + 13/22, c_0101_10 - 5/22*c_1001_6^4 + 1/11*c_1001_6^3 - 9/22*c_1001_6^2 - 13/22*c_1001_6 - 13/22, c_0101_2 - 1/22*c_1001_6^4 - 2/11*c_1001_6^3 + 7/22*c_1001_6^2 - 7/22*c_1001_6 + 15/22, c_0101_5 + 5/22*c_1001_6^4 - 1/11*c_1001_6^3 + 9/22*c_1001_6^2 + 13/22*c_1001_6 + 13/22, c_0101_8 + 1/22*c_1001_6^4 + 2/11*c_1001_6^3 + 15/22*c_1001_6^2 + 7/22*c_1001_6 + 7/22, c_1001_11 - 1/11*c_1001_6^4 - 4/11*c_1001_6^3 - 4/11*c_1001_6^2 - 7/11*c_1001_6 - 7/11, c_1001_4 - 3/11*c_1001_6^4 - 1/11*c_1001_6^3 - 12/11*c_1001_6^2 - 21/11*c_1001_6 + 1/11, c_1001_6^5 + c_1001_6^4 + 3*c_1001_6^3 + 6*c_1001_6^2 + 8*c_1001_6 + 1 ], 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_5, c_0101_1, c_0101_10, c_0101_2, c_0101_5, c_0101_8, c_1001_11, c_1001_4, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 22305531493937/39701900460213*c_1001_6^15 + 45899521090046/39701900460213*c_1001_6^14 - 42368118117373/13233966820071*c_1001_6^13 + 26950809473471/4411322273357*c_1001_6^12 - 400835714504813/39701900460213*c_1001_6^11 + 438049618199639/39701900460213*c_1001_6^10 - 278044062381580/39701900460213*c_1001_6^9 - 374030286368558/39701900460213*c_1001_6^8 + 949354895521837/39701900460213*c_1001_6^7 - 1410551541499427/39701900460213*c_1001_6^6 + 1801555251862645/39701900460213*c_1001_6^5 - 1927521810541309/39701900460213*c_1001_6^4 + 1214717779305862/39701900460213*c_1001_6^3 - 483039437829953/39701900460213*c_1001_6^2 + 9288830434218/4411322273357*c_1001_6 - 10649778356422/39701900460213, c_0011_0 - 1, c_0011_10 + 78447905800/95208394389*c_1001_6^15 - 144063723385/95208394389*c_1001_6^14 + 173228351487/31736131463*c_1001_6^13 - 363582021717/31736131463*c_1001_6^12 + 2216805947878/95208394389*c_1001_6^11 - 3527587100758/95208394389*c_1001_6^10 + 5192165790026/95208394389*c_1001_6^9 - 5923609891298/95208394389*c_1001_6^8 + 7266989471182/95208394389*c_1001_6^7 - 6825416245358/95208394389*c_1001_6^6 + 5098853116390/95208394389*c_1001_6^5 - 3132969408679/95208394389*c_1001_6^4 + 3113095188055/95208394389*c_1001_6^3 - 2185450209563/95208394389*c_1001_6^2 + 441065115696/31736131463*c_1001_6 - 89293503757/95208394389, c_0011_11 - 10322086282/95208394389*c_1001_6^15 + 8588632579/95208394389*c_1001_6^14 - 16733188644/31736131463*c_1001_6^13 + 25950730988/31736131463*c_1001_6^12 - 154125143119/95208394389*c_1001_6^11 + 191958115813/95208394389*c_1001_6^10 - 252186921413/95208394389*c_1001_6^9 + 161301135908/95208394389*c_1001_6^8 - 268495818556/95208394389*c_1001_6^7 + 62014013789/95208394389*c_1001_6^6 + 92878416815/95208394389*c_1001_6^5 - 117269447786/95208394389*c_1001_6^4 - 99896006029/95208394389*c_1001_6^3 - 115296709156/95208394389*c_1001_6^2 + 21263494505/31736131463*c_1001_6 - 156616765331/95208394389, c_0011_5 + 15081979949/95208394389*c_1001_6^15 - 33640473773/95208394389*c_1001_6^14 + 40073037879/31736131463*c_1001_6^13 - 85750815210/31736131463*c_1001_6^12 + 560449230482/95208394389*c_1001_6^11 - 926462013326/95208394389*c_1001_6^10 + 1444382261305/95208394389*c_1001_6^9 - 1775709497083/95208394389*c_1001_6^8 + 2220459734702/95208394389*c_1001_6^7 - 2228237053420/95208394389*c_1001_6^6 + 2031620069858/95208394389*c_1001_6^5 - 1386128744651/95208394389*c_1001_6^4 + 1110858756161/95208394389*c_1001_6^3 - 868920534211/95208394389*c_1001_6^2 + 221029093712/31736131463*c_1001_6 - 195122296202/95208394389, c_0101_1 + 10550796889/95208394389*c_1001_6^15 - 26134927012/95208394389*c_1001_6^14 + 28730038911/31736131463*c_1001_6^13 - 62990620052/31736131463*c_1001_6^12 + 411362787106/95208394389*c_1001_6^11 - 669741047218/95208394389*c_1001_6^10 + 1043242407686/95208394389*c_1001_6^9 - 1266052738184/95208394389*c_1001_6^8 + 1547627216788/95208394389*c_1001_6^7 - 1566329652980/95208394389*c_1001_6^6 + 1394344682392/95208394389*c_1001_6^5 - 829599299557/95208394389*c_1001_6^4 + 709944809443/95208394389*c_1001_6^3 - 591293269250/95208394389*c_1001_6^2 + 117495845376/31736131463*c_1001_6 - 40532239822/95208394389, c_0101_10 - 5203613110/31736131463*c_1001_6^15 + 1614242216/31736131463*c_1001_6^14 - 23229741681/31736131463*c_1001_6^13 + 23805434127/31736131463*c_1001_6^12 - 55349694490/31736131463*c_1001_6^11 + 43994530205/31736131463*c_1001_6^10 - 55597076958/31736131463*c_1001_6^9 - 28512960320/31736131463*c_1001_6^8 - 26165219159/31736131463*c_1001_6^7 - 128016572046/31736131463*c_1001_6^6 + 152054632690/31736131463*c_1001_6^5 - 138981286855/31736131463*c_1001_6^4 + 3890856396/31736131463*c_1001_6^3 - 81734743868/31736131463*c_1001_6^2 + 41970006432/31736131463*c_1001_6 - 69158113128/31736131463, c_0101_2 + 5288753048/95208394389*c_1001_6^15 + 3745905931/95208394389*c_1001_6^14 + 6496553037/31736131463*c_1001_6^13 + 2145296861/31736131463*c_1001_6^12 + 11923940351/95208394389*c_1001_6^11 + 59974525198/95208394389*c_1001_6^10 - 85395690539/95208394389*c_1001_6^9 + 246840016868/95208394389*c_1001_6^8 - 190000161079/95208394389*c_1001_6^7 + 446063729927/95208394389*c_1001_6^6 - 363285481255/95208394389*c_1001_6^5 + 299674412779/95208394389*c_1001_6^4 - 111568575217/95208394389*c_1001_6^3 + 225115916837/95208394389*c_1001_6^2 - 20706511927/31736131463*c_1001_6 + 146065968442/95208394389, c_0101_5 + 10550796889/95208394389*c_1001_6^15 - 26134927012/95208394389*c_1001_6^14 + 28730038911/31736131463*c_1001_6^13 - 62990620052/31736131463*c_1001_6^12 + 411362787106/95208394389*c_1001_6^11 - 669741047218/95208394389*c_1001_6^10 + 1043242407686/95208394389*c_1001_6^9 - 1266052738184/95208394389*c_1001_6^8 + 1547627216788/95208394389*c_1001_6^7 - 1566329652980/95208394389*c_1001_6^6 + 1394344682392/95208394389*c_1001_6^5 - 829599299557/95208394389*c_1001_6^4 + 709944809443/95208394389*c_1001_6^3 - 591293269250/95208394389*c_1001_6^2 + 117495845376/31736131463*c_1001_6 - 40532239822/95208394389, c_0101_8 + 47337099383/95208394389*c_1001_6^15 - 96429409595/95208394389*c_1001_6^14 + 108409962912/31736131463*c_1001_6^13 - 239955075393/31736131463*c_1001_6^12 + 1442675675855/95208394389*c_1001_6^11 - 2361117437753/95208394389*c_1001_6^10 + 3495008533723/95208394389*c_1001_6^9 - 4096295127385/95208394389*c_1001_6^8 + 4978196371217/95208394389*c_1001_6^7 - 4882760003359/95208394389*c_1001_6^6 + 3691725580784/95208394389*c_1001_6^5 - 2423958148559/95208394389*c_1001_6^4 + 2226486168245/95208394389*c_1001_6^3 - 1535967229546/95208394389*c_1001_6^2 + 352437702316/31736131463*c_1001_6 - 219064675433/95208394389, c_1001_11 - 31961911214/95208394389*c_1001_6^15 + 62994997199/95208394389*c_1001_6^14 - 72706331151/31736131463*c_1001_6^13 + 159000890546/31736131463*c_1001_6^12 - 957954158759/95208394389*c_1001_6^11 + 1569903976799/95208394389*c_1001_6^10 - 2321595422125/95208394389*c_1001_6^9 + 2726120693092/95208394389*c_1001_6^8 - 3336416967476/95208394389*c_1001_6^7 + 3252300534151/95208394389*c_1001_6^6 - 2496670494491/95208394389*c_1001_6^5 + 1698347950862/95208394389*c_1001_6^4 - 1509541767941/95208394389*c_1001_6^3 + 1057396481254/95208394389*c_1001_6^2 - 245101594671/31736131463*c_1001_6 + 144384211853/95208394389, c_1001_4 + 48985288886/95208394389*c_1001_6^15 - 87776615321/95208394389*c_1001_6^14 + 108638501856/31736131463*c_1001_6^13 - 224239442513/31736131463*c_1001_6^12 + 1384067361278/95208394389*c_1001_6^11 - 2195732315831/95208394389*c_1001_6^10 + 3249577606594/95208394389*c_1001_6^9 - 3719817228247/95208394389*c_1001_6^8 + 4592620108397/95208394389*c_1001_6^7 - 4293737719273/95208394389*c_1001_6^6 + 3303003048179/95208394389*c_1001_6^5 - 2038022143316/95208394389*c_1001_6^4 + 2004031072235/95208394389*c_1001_6^3 - 1377451061137/95208394389*c_1001_6^2 + 273436781097/31736131463*c_1001_6 - 66465165434/95208394389, c_1001_6^16 - 2*c_1001_6^15 + 7*c_1001_6^14 - 15*c_1001_6^13 + 31*c_1001_6^12 - 50*c_1001_6^11 + 75*c_1001_6^10 - 88*c_1001_6^9 + 108*c_1001_6^8 - 105*c_1001_6^7 + 84*c_1001_6^6 - 53*c_1001_6^5 + 50*c_1001_6^4 - 36*c_1001_6^3 + 23*c_1001_6^2 - 4*c_1001_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.320 Total time: 0.520 seconds, Total memory usage: 32.09MB