Magma V2.19-8 Tue Aug 20 2013 16:14:33 on localhost [Seed = 644332074] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s542 geometric_solution 4.96270349 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 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 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.213023444752 0.864146295236 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 1 -1 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.908227233812 1.235505239710 1 3 0 4 1230 2310 0132 3201 0 0 0 0 0 -1 1 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 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 0 0 0 0.908227233812 1.235505239710 1 3 3 2 0132 1230 3012 3201 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 -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.021184181095 0.690937116463 5 2 5 1 0132 2310 2310 0132 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 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.144808049968 0.989963358938 4 4 5 5 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464884088322 0.108453004288 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(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' : 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_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 903127480133062461/1341648175855484*c_0101_4^12 - 138175043670256316/47916006280553*c_0101_4^11 + 49878707953423245853/10733185406843872*c_0101_4^10 + 152557044820014357273/21466370813687744*c_0101_4^9 - 302165009542954280281/21466370813687744*c_0101_4^8 - 106329826610688574763/21466370813687744*c_0101_4^7 + 56351812803611349501/10733185406843872*c_0101_4^6 + 41541884732809822027/10733185406843872*c_0101_4^5 + 15809202019887016509/10733185406843872*c_0101_4^4 - 25818814506958421009/21466370813687744*c_0101_4^3 - 4421784401219207135/10733185406843872*c_0101_4^2 - 359018418801279853/3066624401955392*c_0101_4 + 98866940367594017/21466370813687744, c_0011_0 - 1, c_0011_1 - 5073837446149545/670824087927742*c_0101_4^12 - 1630422160611716/47916006280553*c_0101_4^11 + 244081037089169289/5366592703421936*c_0101_4^10 + 979203403164355045/10733185406843872*c_0101_4^9 - 1569117363514523565/10733185406843872*c_0101_4^8 - 936104447473848679/10733185406843872*c_0101_4^7 + 322877948042219177/5366592703421936*c_0101_4^6 + 229611492388736715/5366592703421936*c_0101_4^5 + 99132397508940433/5366592703421936*c_0101_4^4 - 91044643561597189/10733185406843872*c_0101_4^3 - 35029698292452191/5366592703421936*c_0101_4^2 + 92716661561375/1533312200977696*c_0101_4 - 2450679260700051/10733185406843872, c_0011_4 - 1160204245472316/335412043963871*c_0101_4^12 - 761432962666906/47916006280553*c_0101_4^11 + 13661321508275691/670824087927742*c_0101_4^10 + 32434359699510371/670824087927742*c_0101_4^9 - 186617685449119573/2683296351710968*c_0101_4^8 - 78938519008562047/1341648175855484*c_0101_4^7 + 119625218661421715/2683296351710968*c_0101_4^6 + 91702087714639263/2683296351710968*c_0101_4^5 + 2807904606609063/2683296351710968*c_0101_4^4 - 27904495582725247/2683296351710968*c_0101_4^3 - 7375968773090815/1341648175855484*c_0101_4^2 + 173499843672981/191664025122212*c_0101_4 + 2523775399839553/2683296351710968, c_0101_0 + 6560003533231797/335412043963871*c_0101_4^12 + 3918540308595254/47916006280553*c_0101_4^11 - 388725408637935685/2683296351710968*c_0101_4^10 - 1062929879340343909/5366592703421936*c_0101_4^9 + 2354009791295857755/5366592703421936*c_0101_4^8 + 618500981285268367/5366592703421936*c_0101_4^7 - 64914190330716534/335412043963871*c_0101_4^6 - 71407299273906559/670824087927742*c_0101_4^5 - 14174398727240963/670824087927742*c_0101_4^4 + 248489389703176847/5366592703421936*c_0101_4^3 + 24257857376458163/2683296351710968*c_0101_4^2 - 700246150494311/766656100488848*c_0101_4 - 3502231954681343/5366592703421936, c_0101_1 - 3365865106217487/670824087927742*c_0101_4^12 - 1028462794064580/47916006280553*c_0101_4^11 + 192734171911738671/5366592703421936*c_0101_4^10 + 625351731265523027/10733185406843872*c_0101_4^9 - 1185515074702658555/10733185406843872*c_0101_4^8 - 556841172399722129/10733185406843872*c_0101_4^7 + 306280035013342759/5366592703421936*c_0101_4^6 + 256743276369374021/5366592703421936*c_0101_4^5 + 35127652886690023/5366592703421936*c_0101_4^4 - 187676514456350483/10733185406843872*c_0101_4^3 - 41718363679346793/5366592703421936*c_0101_4^2 + 165343567586393/1533312200977696*c_0101_4 + 9223331468395899/10733185406843872, c_0101_4^13 + 13/3*c_0101_4^12 - 163/24*c_0101_4^11 - 545/48*c_0101_4^10 + 503/24*c_0101_4^9 + 77/8*c_0101_4^8 - 443/48*c_0101_4^7 - 89/12*c_0101_4^6 - 23/12*c_0101_4^5 + 39/16*c_0101_4^4 + 17/16*c_0101_4^3 + 1/16*c_0101_4^2 - 1/12*c_0101_4 - 1/48 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB