Magma V2.19-8 Tue Aug 20 2013 23:40:11 on localhost [Seed = 3381636463] Type ? for help. Type -D to quit. Loading file "K9a10__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K9a10 geometric_solution 9.88549866 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 11 1 1 2 3 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 -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.275235080589 0.582607691272 0 4 2 0 0132 0132 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 -1 0 0 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.838153792183 0.673756183165 5 5 1 0 0132 1230 1023 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 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.061845087867 0.820637097613 6 7 0 7 0132 0132 0132 0213 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 0 -1 1 -1 0 1 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.273868631713 0.695182925716 8 1 6 5 0132 0132 1230 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 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.272873389358 0.911420272201 2 9 2 4 0132 0132 3012 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 0 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.410400592815 0.455666416689 3 10 8 4 0132 0132 2310 3012 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 -1 0 1 1 0 -1 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.092471238041 1.555825990628 9 3 10 3 3012 0132 0132 0213 0 0 0 0 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 0 0 -4 4 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.273868631713 0.695182925716 4 6 9 10 0132 3201 0321 1302 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 -5 0 5 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.342344580729 0.434155405790 10 5 8 7 0321 0132 0321 1230 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 0 0 5 -1 0 -4 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.487036636131 0.357422769698 9 6 8 7 0321 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -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 0 -1 1 0 -5 4 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.465877109313 0.782194137298 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_4']), 'c_1001_5' : negation(d['c_0011_2']), 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_1001_6'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : negation(d['c_0101_6']), 'c_1010_10' : d['c_1001_6'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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' : negation(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' : 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_1100_9' : negation(d['c_0101_6']), 'c_1100_8' : d['c_0101_10'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : d['c_0101_1'], 'c_1100_7' : d['c_1001_6'], 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_1' : negation(d['c_1001_3']), 'c_1100_0' : d['c_1001_3'], 'c_1100_3' : d['c_1001_3'], 'c_1100_2' : d['c_1001_3'], 'c_1100_10' : d['c_1001_6'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_10'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_1001_6'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_1001_3'], 'c_1010_9' : negation(d['c_0011_2']), 'c_1010_8' : negation(d['c_1001_6']), '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' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_2'], 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), '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' : d['c_0011_10'], 'c_0011_2' : d['c_0011_2'], 'c_0110_10' : negation(d['c_0011_2']), 'c_0101_7' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], '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_0101_0'], 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0101_6']), '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_2, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_4, c_0101_6, c_1001_3, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 6938713949511138057662/31033139858513716927*c_1001_6^18 + 277856354650244696745161/155165699292568584635*c_1001_6^17 - 1074942073716506012386878/155165699292568584635*c_1001_6^16 + 427195146809974326116120/31033139858513716927*c_1001_6^15 - 3512109274467728723871591/155165699292568584635*c_1001_6^14 + 1030514131804617323167663/155165699292568584635*c_1001_6^13 + 4990948194408610700328709/155165699292568584635*c_1001_6^12 - 10872334711606693173984161/155165699292568584635*c_1001_6^11 + 14903076577637697601537676/155165699292568584635*c_1001_6^10 - 14677838011895694899465259/155165699292568584635*c_1001_6^9 + 11239218632718923355614027/155165699292568584635*c_1001_6^8 - 7140869348058491385224203/155165699292568584635*c_1001_6^7 + 3236321360670075766023094/155165699292568584635*c_1001_6^6 - 52234127735432184480661/9127394076033446155*c_1001_6^5 - 75600178642672668896211/155165699292568584635*c_1001_6^4 + 390870622051995054230892/155165699292568584635*c_1001_6^3 - 253017280003676956006694/155165699292568584635*c_1001_6^2 + 113261329308680818174973/155165699292568584635*c_1001_6 - 39097878815184258611442/155165699292568584635, c_0011_0 - 1, c_0011_10 - 5000675941665662108/1825478815206689231*c_1001_6^18 + 36863097113033681818/1825478815206689231*c_1001_6^17 - 131076296058074120548/1825478815206689231*c_1001_6^16 + 220380202394761733054/1825478815206689231*c_1001_6^15 - 346875565210694989437/1825478815206689231*c_1001_6^14 - 122076481621586057604/1825478815206689231*c_1001_6^13 + 725513422015502626484/1825478815206689231*c_1001_6^12 - 1187543249568697744003/1825478815206689231*c_1001_6^11 + 1318691306746970380354/1825478815206689231*c_1001_6^10 - 1003460133186248381521/1825478815206689231*c_1001_6^9 + 565371835579206641115/1825478815206689231*c_1001_6^8 - 223791633436647442606/1825478815206689231*c_1001_6^7 - 1405360326285916697/1825478815206689231*c_1001_6^6 + 41668214092525801851/1825478815206689231*c_1001_6^5 - 42020256186518978771/1825478815206689231*c_1001_6^4 + 15147944293509535121/1825478815206689231*c_1001_6^3 + 1919472584054054699/1825478815206689231*c_1001_6^2 - 3720022033570840727/1825478815206689231*c_1001_6 + 4189509624033087813/1825478815206689231, c_0011_2 + 6245570335009408548/9127394076033446155*c_1001_6^18 - 40573243544279097782/9127394076033446155*c_1001_6^17 + 129778623298224740414/9127394076033446155*c_1001_6^16 - 176469259392972836513/9127394076033446155*c_1001_6^15 + 339779814726210081397/9127394076033446155*c_1001_6^14 + 324227278217023257078/9127394076033446155*c_1001_6^13 - 92902157669619163614/1825478815206689231*c_1001_6^12 + 1034351747038833010236/9127394076033446155*c_1001_6^11 - 248816735648016030822/1825478815206689231*c_1001_6^10 + 826635840915948380703/9127394076033446155*c_1001_6^9 - 113472602576627610259/1825478815206689231*c_1001_6^8 + 246177934980476417301/9127394076033446155*c_1001_6^7 + 24073183845446500842/9127394076033446155*c_1001_6^6 + 8916445975024902168/9127394076033446155*c_1001_6^5 + 95247100039974942794/9127394076033446155*c_1001_6^4 - 23853410910443888628/9127394076033446155*c_1001_6^3 - 5933923729962290664/9127394076033446155*c_1001_6^2 - 1384524111876376470/1825478815206689231*c_1001_6 - 10098718106336612039/9127394076033446155, c_0101_0 - 9732442507289549764/9127394076033446155*c_1001_6^18 + 64006773828028348046/9127394076033446155*c_1001_6^17 - 206682070123485587412/9127394076033446155*c_1001_6^16 + 287196303221973530074/9127394076033446155*c_1001_6^15 - 539509204076527652226/9127394076033446155*c_1001_6^14 - 474554098905810442904/9127394076033446155*c_1001_6^13 + 156433822098973723129/1825478815206689231*c_1001_6^12 - 1619070288786206074373/9127394076033446155*c_1001_6^11 + 402571595618382249886/1825478815206689231*c_1001_6^10 - 1400588019734161462274/9127394076033446155*c_1001_6^9 + 201038146819968059659/1825478815206689231*c_1001_6^8 - 386503870507020765453/9127394076033446155*c_1001_6^7 - 74451416282285094921/9127394076033446155*c_1001_6^6 + 22232735619431609476/9127394076033446155*c_1001_6^5 - 158399070869075634697/9127394076033446155*c_1001_6^4 + 48838919373270910534/9127394076033446155*c_1001_6^3 + 8489933712662817807/9127394076033446155*c_1001_6^2 + 2297762132898736257/1825478815206689231*c_1001_6 + 13682580016987781957/9127394076033446155, c_0101_1 + 8538221114118150582/1825478815206689231*c_1001_6^18 - 58432733357200460889/1825478815206689231*c_1001_6^17 + 190560330308347479346/1825478815206689231*c_1001_6^16 - 259551676550512595730/1825478815206689231*c_1001_6^15 + 403836597882378919511/1825478815206689231*c_1001_6^14 + 486400143576680562639/1825478815206689231*c_1001_6^13 - 1078464890463681967559/1825478815206689231*c_1001_6^12 + 1295137649252464268133/1825478815206689231*c_1001_6^11 - 1262423103138674607656/1825478815206689231*c_1001_6^10 + 729618260659335896966/1825478815206689231*c_1001_6^9 - 344380466935162162247/1825478815206689231*c_1001_6^8 + 115204065359452442201/1825478815206689231*c_1001_6^7 + 99271782685417361265/1825478815206689231*c_1001_6^6 - 39325073173495773826/1825478815206689231*c_1001_6^5 + 35999500170920455878/1825478815206689231*c_1001_6^4 - 17163317723337766130/1825478815206689231*c_1001_6^3 - 8665144249985944933/1825478815206689231*c_1001_6^2 - 263481871136551012/1825478815206689231*c_1001_6 - 3325786103970906076/1825478815206689231, c_0101_10 + 3889475551126986118/1825478815206689231*c_1001_6^18 - 25884840139345416135/1825478815206689231*c_1001_6^17 + 82239542400892113601/1825478815206689231*c_1001_6^16 - 105020379924420026671/1825478815206689231*c_1001_6^15 + 171770828028711731514/1825478815206689231*c_1001_6^14 + 243517092971893482212/1825478815206689231*c_1001_6^13 - 432523731394854134325/1825478815206689231*c_1001_6^12 + 523258548663389210708/1825478815206689231*c_1001_6^11 - 531385558228366987033/1825478815206689231*c_1001_6^10 + 260033562373840471597/1825478815206689231*c_1001_6^9 - 144431067304313259335/1825478815206689231*c_1001_6^8 + 69787191654677499749/1825478815206689231*c_1001_6^7 + 32746985757720803990/1825478815206689231*c_1001_6^6 + 5125087598654242663/1825478815206689231*c_1001_6^5 + 14451249991923941834/1825478815206689231*c_1001_6^4 - 7145204422312701815/1825478815206689231*c_1001_6^3 - 7414156133213723653/1825478815206689231*c_1001_6^2 - 2856298513508658990/1825478815206689231*c_1001_6 - 2024338708589480537/1825478815206689231, c_0101_2 + 34042677331436988778/9127394076033446155*c_1001_6^18 - 235122643773104191757/9127394076033446155*c_1001_6^17 + 773917086688758924969/9127394076033446155*c_1001_6^16 - 1078226961713922025853/9127394076033446155*c_1001_6^15 + 1658691945938101507192/9127394076033446155*c_1001_6^14 + 1866570380660264718368/9127394076033446155*c_1001_6^13 - 891461609341066082951/1825478815206689231*c_1001_6^12 + 5427635630982525233631/9127394076033446155*c_1001_6^11 - 1045451964575617897357/1825478815206689231*c_1001_6^10 + 3117426505298335756013/9127394076033446155*c_1001_6^9 - 285797401475372773997/1825478815206689231*c_1001_6^8 + 429870102792486977721/9127394076033446155*c_1001_6^7 + 444297589120653228207/9127394076033446155*c_1001_6^6 - 203623461107178933992/9127394076033446155*c_1001_6^5 + 151286025995802689859/9127394076033446155*c_1001_6^4 - 70978903190602956343/9127394076033446155*c_1001_6^3 - 19014896676682519324/9127394076033446155*c_1001_6^2 + 653329172322243560/1825478815206689231*c_1001_6 - 12856544289344173014/9127394076033446155, c_0101_4 - 4591690646123613800/1825478815206689231*c_1001_6^18 + 31675018560064667288/1825478815206689231*c_1001_6^17 - 106617819252231395252/1825478815206689231*c_1001_6^16 + 161390096120822872491/1825478815206689231*c_1001_6^15 - 275903294014670640178/1825478815206689231*c_1001_6^14 - 187162173965546270007/1825478815206689231*c_1001_6^13 + 499880786054771661103/1825478815206689231*c_1001_6^12 - 892651379229223471757/1825478815206689231*c_1001_6^11 + 1017032011200068129260/1825478815206689231*c_1001_6^10 - 713191272766896369319/1825478815206689231*c_1001_6^9 + 456950937327201882052/1825478815206689231*c_1001_6^8 - 183271476891744584290/1825478815206689231*c_1001_6^7 - 11422799219415686884/1825478815206689231*c_1001_6^6 + 6987245587863357710/1825478815206689231*c_1001_6^5 - 44560471216011042610/1825478815206689231*c_1001_6^4 + 14535129453011022716/1825478815206689231*c_1001_6^3 + 3581405683998603333/1825478815206689231*c_1001_6^2 + 1926295661430613813/1825478815206689231*c_1001_6 + 4147761948962179586/1825478815206689231, c_0101_6 + 9748300763393569028/9127394076033446155*c_1001_6^18 - 89369832244806862492/9127394076033446155*c_1001_6^17 + 376069445738415407819/9127394076033446155*c_1001_6^16 - 822784099709871921273/9127394076033446155*c_1001_6^15 + 1207222667249723538507/9127394076033446155*c_1001_6^14 - 555617632236247983377/9127394076033446155*c_1001_6^13 - 490851014034390340261/1825478815206689231*c_1001_6^12 + 4688858282647173879571/9127394076033446155*c_1001_6^11 - 1033940891983929954091/1825478815206689231*c_1001_6^10 + 4336954602150067135203/9127394076033446155*c_1001_6^9 - 461824811747601077973/1825478815206689231*c_1001_6^8 + 812719400105619159211/9127394076033446155*c_1001_6^7 - 67535979356807979923/9127394076033446155*c_1001_6^6 - 350141151475586878562/9127394076033446155*c_1001_6^5 + 178936527741366463989/9127394076033446155*c_1001_6^4 - 53326857603773087978/9127394076033446155*c_1001_6^3 + 16803074724754769296/9127394076033446155*c_1001_6^2 + 6878480374005823695/1825478815206689231*c_1001_6 - 12958541699015959909/9127394076033446155, c_1001_3 + 5400681803747434076/9127394076033446155*c_1001_6^18 - 37723234591960340924/9127394076033446155*c_1001_6^17 + 127076271240139405763/9127394076033446155*c_1001_6^16 - 190166057418929447196/9127394076033446155*c_1001_6^15 + 308493395269922827494/9127394076033446155*c_1001_6^14 + 227239829190101265841/9127394076033446155*c_1001_6^13 - 129466839985532134010/1825478815206689231*c_1001_6^12 + 973271662861452356932/9127394076033446155*c_1001_6^11 - 208920728825745804488/1825478815206689231*c_1001_6^10 + 828756322042371381981/9127394076033446155*c_1001_6^9 - 114104819652346866775/1825478815206689231*c_1001_6^8 + 300534308004299811627/9127394076033446155*c_1001_6^7 - 79202133943591500506/9127394076033446155*c_1001_6^6 + 11857935175698293301/9127394076033446155*c_1001_6^5 + 36653256403127165468/9127394076033446155*c_1001_6^4 - 20024400136007063811/9127394076033446155*c_1001_6^3 + 20311537901371003917/9127394076033446155*c_1001_6^2 - 715572382921267264/1825478815206689231*c_1001_6 - 3684440364704179893/9127394076033446155, c_1001_6^19 - 15/2*c_1001_6^18 + 27*c_1001_6^17 - 93/2*c_1001_6^16 + 145/2*c_1001_6^15 + 17*c_1001_6^14 - 151*c_1001_6^13 + 479/2*c_1001_6^12 - 282*c_1001_6^11 + 457/2*c_1001_6^10 - 141*c_1001_6^9 + 72*c_1001_6^8 - 13*c_1001_6^7 - 11/2*c_1001_6^6 + 7*c_1001_6^5 - 13/2*c_1001_6^4 + 1/2*c_1001_6^3 + 1/2*c_1001_6^2 - 1/2*c_1001_6 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.130 Total time: 0.340 seconds, Total memory usage: 32.09MB