Magma V2.19-8 Tue Aug 20 2013 23:39:03 on localhost [Seed = 627261762] Type ? for help. Type -D to quit. Loading file "K12n673__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n673 geometric_solution 9.75654679 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 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 0 0 0 0 0.305086563212 0.937491740995 0 5 6 4 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 0 0 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.871167624039 0.982431185335 7 0 8 6 0132 0132 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 0 0 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.029601166262 1.663134610639 9 10 8 0 0132 0132 2310 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 1 0 -1 -1 0 1 0 3 -3 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.412897011811 0.402093642748 9 10 0 1 2310 2310 0132 0213 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 -1 1 0 -3 0 0 3 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.598673313616 0.800868412171 7 1 8 7 1023 0132 2103 2103 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 -1 0 0 1 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.398622606424 0.647589228465 9 10 2 1 1302 0213 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 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.394806439672 0.359913677479 2 5 9 5 0132 1023 0132 2103 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 -1 0 0 0 1 -1 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.261725944982 0.448563479744 5 3 10 2 2103 3201 2103 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.230016736610 0.829151332918 3 6 4 7 0132 2031 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 1 2 0 -3 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.034484415774 0.714451641458 8 3 6 4 2103 0132 0213 3201 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 0 0 0 0 0 -1 0 1 -1 3 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687039316454 0.639944194380 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_0'], 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_2']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_1']), 'c_1001_8' : d['c_0011_10'], 'c_1010_10' : negation(d['c_1001_2']), '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_0011_6'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(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' : 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' : negation(d['c_0011_4']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : d['c_0011_8'], 'c_1100_7' : negation(d['c_0011_4']), 'c_1100_6' : negation(d['c_0110_10']), 'c_1100_1' : negation(d['c_0110_10']), 'c_1100_0' : d['c_0011_8'], 'c_1100_3' : d['c_0011_8'], 'c_1100_2' : negation(d['c_0110_10']), 'c_1100_10' : negation(d['c_0011_4']), 'c_1010_7' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_0110_10']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_8'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_6'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_0110_10']), 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : negation(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' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0110_10'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : negation(d['c_0011_10']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_10']), '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' : d['c_0011_6'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0101_2'], '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_0011_10']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0101_0']), '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_4, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_2, c_0110_10, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 6840828465110067680045/5177557288638944*c_1001_2^11 - 37783717524664981489855/5177557288638944*c_1001_2^10 + 3046366965788188470633/2588778644319472*c_1001_2^9 - 10601590894818497094449/647194661079868*c_1001_2^8 + 11778192806897547454525/5177557288638944*c_1001_2^7 - 28306274794851801530781/2588778644319472*c_1001_2^6 + 13995677645474553912533/5177557288638944*c_1001_2^5 - 5217644236193017135185/2588778644319472*c_1001_2^4 + 3310741064065809329081/5177557288638944*c_1001_2^3 + 149744345253899911307/647194661079868*c_1001_2^2 - 388156830478275284823/2588778644319472*c_1001_2 + 285356907254047492935/5177557288638944, c_0011_0 - 1, c_0011_10 - 3048586016133931/323597330539934*c_1001_2^11 + 8562888808978656/161798665269967*c_1001_2^10 - 3020298975529246/161798665269967*c_1001_2^9 + 23584105333518072/161798665269967*c_1001_2^8 - 7108543876117715/323597330539934*c_1001_2^7 + 43402473715778423/323597330539934*c_1001_2^6 - 2785616453546712/161798665269967*c_1001_2^5 + 7018942529841883/161798665269967*c_1001_2^4 - 1296702203786501/323597330539934*c_1001_2^3 + 746041754972907/323597330539934*c_1001_2^2 + 335503979909107/323597330539934*c_1001_2 - 67977198764885/161798665269967, c_0011_4 + 2450806291153289/1294389322159736*c_1001_2^11 - 22120642411274083/1294389322159736*c_1001_2^10 + 24431104164326557/647194661079868*c_1001_2^9 - 3907807039596143/161798665269967*c_1001_2^8 + 95877697131959757/1294389322159736*c_1001_2^7 - 15238706129683561/647194661079868*c_1001_2^6 + 52468433844956609/1294389322159736*c_1001_2^5 - 9812060046827919/647194661079868*c_1001_2^4 + 6878018239486913/1294389322159736*c_1001_2^3 - 645830143476911/323597330539934*c_1001_2^2 - 910704462768569/647194661079868*c_1001_2 + 1045400672232039/1294389322159736, c_0011_6 + 8345727898762667/1294389322159736*c_1001_2^11 - 43460607547710211/1294389322159736*c_1001_2^10 - 3822393423031217/647194661079868*c_1001_2^9 - 24520155753960435/323597330539934*c_1001_2^8 - 19129840263012781/1294389322159736*c_1001_2^7 - 15238945931986873/323597330539934*c_1001_2^6 - 4061969769435795/1294389322159736*c_1001_2^5 - 5501169459432451/647194661079868*c_1001_2^4 + 610726718830595/1294389322159736*c_1001_2^3 - 1553367142406947/647194661079868*c_1001_2^2 - 148613252001485/323597330539934*c_1001_2 - 856325140004561/1294389322159736, c_0011_8 + 14615045771584081/1294389322159736*c_1001_2^11 - 73629917025283309/1294389322159736*c_1001_2^10 - 14449993792487911/647194661079868*c_1001_2^9 - 40520960989289611/323597330539934*c_1001_2^8 - 50563891870490703/1294389322159736*c_1001_2^7 - 10705422353944387/161798665269967*c_1001_2^6 - 7220290131365933/1294389322159736*c_1001_2^5 - 3462554920644145/647194661079868*c_1001_2^4 + 6764472070668601/1294389322159736*c_1001_2^3 + 442687932399601/647194661079868*c_1001_2^2 + 127487163667662/161798665269967*c_1001_2 - 10629813119351/1294389322159736, c_0101_0 - 6334640605786007/1294389322159736*c_1001_2^11 + 19461667065470373/1294389322159736*c_1001_2^10 + 39826308880748705/647194661079868*c_1001_2^9 + 8890736482522626/161798665269967*c_1001_2^8 + 157892557765025437/1294389322159736*c_1001_2^7 + 21584741450009795/647194661079868*c_1001_2^6 + 78427925039512929/1294389322159736*c_1001_2^5 + 1894954971552613/647194661079868*c_1001_2^4 + 10811720464875225/1294389322159736*c_1001_2^3 + 422111798585743/323597330539934*c_1001_2^2 + 582000228596643/647194661079868*c_1001_2 + 519374145595959/1294389322159736, c_0101_1 + 1272907096444883/161798665269967*c_1001_2^11 - 22252084994794705/647194661079868*c_1001_2^10 - 5980679888900126/161798665269967*c_1001_2^9 - 40429527878120961/323597330539934*c_1001_2^8 - 27582135499385449/323597330539934*c_1001_2^7 - 77911797017592895/647194661079868*c_1001_2^6 - 26040511820851719/647194661079868*c_1001_2^5 - 12234777815743847/323597330539934*c_1001_2^4 - 779454796069977/161798665269967*c_1001_2^3 - 782939964710353/647194661079868*c_1001_2^2 - 955781684411887/647194661079868*c_1001_2 + 440384292263841/647194661079868, c_0101_2 + 4435848108521799/647194661079868*c_1001_2^11 - 29732638299053661/647194661079868*c_1001_2^10 + 16160309045151729/323597330539934*c_1001_2^9 - 13889118523602948/161798665269967*c_1001_2^8 + 65024142454349355/647194661079868*c_1001_2^7 - 17803267793827195/323597330539934*c_1001_2^6 + 39272262250648835/647194661079868*c_1001_2^5 - 4901004737747533/323597330539934*c_1001_2^4 + 3510252106316411/647194661079868*c_1001_2^3 - 67066545722746/161798665269967*c_1001_2^2 - 543416747581335/323597330539934*c_1001_2 + 480822513680129/647194661079868, c_0110_10 + c_1001_2, c_1001_0 + 513766752698253/58835878279988*c_1001_2^11 - 1314073972686869/29417939139994*c_1001_2^10 - 222931668749947/29417939139994*c_1001_2^9 - 3759927262536729/29417939139994*c_1001_2^8 - 1996750488261289/58835878279988*c_1001_2^7 - 6213349842923411/58835878279988*c_1001_2^6 - 175881601153015/14708969569997*c_1001_2^5 - 299543770083796/14708969569997*c_1001_2^4 + 235566943321981/58835878279988*c_1001_2^3 + 114838893163921/58835878279988*c_1001_2^2 + 36213246693841/58835878279988*c_1001_2 - 3698841180739/29417939139994, c_1001_2^12 - 468/89*c_1001_2^11 - 51/89*c_1001_2^10 - 1082/89*c_1001_2^9 - 139/89*c_1001_2^8 - 695/89*c_1001_2^7 - 13/89*c_1001_2^6 - 87/89*c_1001_2^5 + 7/89*c_1001_2^4 + 27/89*c_1001_2^3 - 6/89*c_1001_2^2 + 1/89*c_1001_2 + 1/89 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.270 Total time: 0.480 seconds, Total memory usage: 32.09MB