Magma V2.19-8 Tue Aug 20 2013 16:14:25 on localhost [Seed = 3768679651] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s404 geometric_solution 4.65839605 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 2 2 3 0132 0132 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 1 0 -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.035397818056 0.381905235052 0 3 4 3 0132 2310 0132 0321 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 0 -1 1 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 0.452020681975 1.155908115057 2 0 0 2 3201 0132 1023 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 -1 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 0 0 0 1.877467496496 0.942362425112 4 1 0 1 2310 0321 0132 3201 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 1 -1 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.452020681975 1.155908115057 5 5 3 1 0132 2310 3201 0132 0 0 0 0 0 -1 0 1 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 0 -1 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.441850175814 0.977851920133 4 5 5 4 0132 3201 2310 3201 0 0 0 0 0 -1 1 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 1 -1 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.811069950634 0.523538676263 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['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_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_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_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_1'], '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' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], '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_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0011_4, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 94462174235373/517192183*c_0101_4^20 - 523696808159265/517192183*c_0101_4^19 - 1555958145512398/517192183*c_0101_4^18 - 3446753260553569/517192183*c_0101_4^17 - 6362943733607274/517192183*c_0101_4^16 - 6922250118836533/517192183*c_0101_4^15 - 4683337666955067/517192183*c_0101_4^14 - 1642576155239852/517192183*c_0101_4^13 + 7928297010165857/517192183*c_0101_4^12 + 32469100185129489/517192183*c_0101_4^11 + 57928684766743409/517192183*c_0101_4^10 + 50473499481954478/517192183*c_0101_4^9 + 1634942648671961/517192183*c_0101_4^8 - 49111435822501842/517192183*c_0101_4^7 - 57989978963812794/517192183*c_0101_4^6 - 27868312114139039/517192183*c_0101_4^5 + 3925328906940504/517192183*c_0101_4^4 + 13418427631720123/517192183*c_0101_4^3 + 7766162654406496/517192183*c_0101_4^2 + 2031312407629841/517192183*c_0101_4 + 207134726299390/517192183, c_0011_0 - 1, c_0011_3 - 7154225791446/517192183*c_0101_4^20 - 39713862765780/517192183*c_0101_4^19 - 118100403709701/517192183*c_0101_4^18 - 261758481430782/517192183*c_0101_4^17 - 483417615742341/517192183*c_0101_4^16 - 526961155415140/517192183*c_0101_4^15 - 357117531563997/517192183*c_0101_4^14 - 125742859841251/517192183*c_0101_4^13 + 600231779227251/517192183*c_0101_4^12 + 2463484037146404/517192183*c_0101_4^11 + 4402689668694094/517192183*c_0101_4^10 + 3846432522773033/517192183*c_0101_4^9 + 139440072816273/517192183*c_0101_4^8 - 3726315206836785/517192183*c_0101_4^7 - 4415175051249033/517192183*c_0101_4^6 - 2130584703883594/517192183*c_0101_4^5 + 292038585953661/517192183*c_0101_4^4 + 1020985577669922/517192183*c_0101_4^3 + 593121341034071/517192183*c_0101_4^2 + 155609152984659/517192183*c_0101_4 + 15913088820580/517192183, c_0011_4 + 8390459484820/517192183*c_0101_4^20 + 46562952125649/517192183*c_0101_4^19 + 138441364295413/517192183*c_0101_4^18 + 306807326196338/517192183*c_0101_4^17 + 566566827626072/517192183*c_0101_4^16 + 617336381859847/517192183*c_0101_4^15 + 418234339878473/517192183*c_0101_4^14 + 147143087830305/517192183*c_0101_4^13 - 703997588187549/517192183*c_0101_4^12 - 2888019658830014/517192183*c_0101_4^11 - 5159522512822218/517192183*c_0101_4^10 - 4505128426684153/517192183*c_0101_4^9 - 159771338736458/517192183*c_0101_4^8 + 4368319797765587/517192183*c_0101_4^7 + 5172241597794153/517192183*c_0101_4^6 + 2493866570946376/517192183*c_0101_4^5 - 343687612364783/517192183*c_0101_4^4 - 1196190532406578/517192183*c_0101_4^3 - 694406195440793/517192183*c_0101_4^2 - 182079871194526/517192183*c_0101_4 - 18610241237780/517192183, c_0101_1 + 8758863029134/517192183*c_0101_4^20 + 48610444366254/517192183*c_0101_4^19 + 144534421115539/517192183*c_0101_4^18 + 320317022965037/517192183*c_0101_4^17 + 591523363755597/517192183*c_0101_4^16 + 644582466182839/517192183*c_0101_4^15 + 436707685129003/517192183*c_0101_4^14 + 153663161417952/517192183*c_0101_4^13 - 734905830978080/517192183*c_0101_4^12 - 3015084113087905/517192183*c_0101_4^11 - 5386904686006102/517192183*c_0101_4^10 - 4704132108484993/517192183*c_0101_4^9 - 167443586582074/517192183*c_0101_4^8 + 4560626342116448/517192183*c_0101_4^7 + 5400548328227762/517192183*c_0101_4^6 + 2604266316700873/517192183*c_0101_4^5 - 358628857615993/517192183*c_0101_4^4 - 1248983136489797/517192183*c_0101_4^3 - 725117137921267/517192183*c_0101_4^2 - 190141746395490/517192183*c_0101_4 - 19434824041721/517192183, c_0101_2 - 3393342067035/517192183*c_0101_4^20 - 18786295177940/517192183*c_0101_4^19 - 55758277194151/517192183*c_0101_4^18 - 123435095320817/517192183*c_0101_4^17 - 227760240884591/517192183*c_0101_4^16 - 247205972988519/517192183*c_0101_4^15 - 166872194160251/517192183*c_0101_4^14 - 58235204693722/517192183*c_0101_4^13 + 284962652111825/517192183*c_0101_4^12 + 1164104668351393/517192183*c_0101_4^11 + 2072769510525614/517192183*c_0101_4^10 + 1800139635294412/517192183*c_0101_4^9 + 49703121329699/517192183*c_0101_4^8 - 1761116358556177/517192183*c_0101_4^7 - 2070600019043183/517192183*c_0101_4^6 - 989795565880406/517192183*c_0101_4^5 + 144346154815423/517192183*c_0101_4^4 + 479589606552419/517192183*c_0101_4^3 + 276173985084612/517192183*c_0101_4^2 + 71907177327252/517192183*c_0101_4 + 7296175233265/517192183, c_0101_4^21 + 6*c_0101_4^20 + 19*c_0101_4^19 + 44*c_0101_4^18 + 84*c_0101_4^17 + 104*c_0101_4^16 + 83*c_0101_4^15 + 40*c_0101_4^14 - 76*c_0101_4^13 - 382*c_0101_4^12 - 770*c_0101_4^11 - 814*c_0101_4^10 - 261*c_0101_4^9 + 512*c_0101_4^8 + 851*c_0101_4^7 + 575*c_0101_4^6 + 93*c_0101_4^5 - 161*c_0101_4^4 - 147*c_0101_4^3 - 59*c_0101_4^2 - 12*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB