Magma V2.19-8 Tue Aug 20 2013 16:18:44 on localhost [Seed = 2067457550] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2906 geometric_solution 6.11228341 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 -1 0 1 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 0 0 0 1 0 0 -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.460535511879 0.611420703794 0 0 3 2 0132 3201 0132 0132 0 0 0 0 0 -1 1 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 -1 0 0 1 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.471123550017 1.640379782165 4 5 1 6 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 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.084926679527 0.847098224888 5 4 6 1 3201 0132 0132 0132 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 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.084926679527 0.847098224888 2 3 4 4 0132 0132 1230 3012 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.227775406629 0.735693441964 5 2 5 3 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.682811604202 1.151200426105 6 6 2 3 1302 2031 0132 0132 0 0 0 0 0 1 0 -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 0 0 0 1 0 -1 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.064468827813 0.805838620238 ==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_2_6' : 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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : 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_6' : d['c_1100_1'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0101_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : d['c_1100_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 122202123286373725075123838042005568/102897719837800018557179276196\ 119*c_1100_1^25 + 808045928306602936450395283872190323/102897719837\ 800018557179276196119*c_1100_1^24 + 557737598894934829888786269823131273/102897719837800018557179276196\ 119*c_1100_1^23 - 14937469987409975888210774083813170720/1028977198\ 37800018557179276196119*c_1100_1^22 + 17915729194414289829447666767754535150/1028977198378000185571792761\ 96119*c_1100_1^21 + 118649644495806449223624821002337041228/1028977\ 19837800018557179276196119*c_1100_1^20 - 283465625974743488095056251761669299533/102897719837800018557179276\ 196119*c_1100_1^19 - 426129579487807840502469615510726158559/102897\ 719837800018557179276196119*c_1100_1^18 + 1931926210619241030045508714353083023990/10289771983780001855717927\ 6196119*c_1100_1^17 - 147521263931288397558812016278630349904/10289\ 7719837800018557179276196119*c_1100_1^16 - 6831566007850878042058810579936971301810/10289771983780001855717927\ 6196119*c_1100_1^15 + 7095008276984312014733746607579014865782/1028\ 97719837800018557179276196119*c_1100_1^14 + 10495447080898189349322489744678931603040/1028977198378000185571792\ 76196119*c_1100_1^13 - 24624258570709331361588523113806395143087/10\ 2897719837800018557179276196119*c_1100_1^12 + 3894561096509600637033585104779499811279/10289771983780001855717927\ 6196119*c_1100_1^11 + 31807067022337671960706769343622940797754/102\ 897719837800018557179276196119*c_1100_1^10 - 30957771694759707665902763627462958494179/1028977198378000185571792\ 76196119*c_1100_1^9 - 5284193858427610491634219241773035670530/1028\ 97719837800018557179276196119*c_1100_1^8 + 26661900953141805333240930646682808135237/1028977198378000185571792\ 76196119*c_1100_1^7 - 15152437332924059032977135423805148877132/102\ 897719837800018557179276196119*c_1100_1^6 - 1827830235711216280801303927167618387931/10289771983780001855717927\ 6196119*c_1100_1^5 + 5271436718002875325150874293933534987572/10289\ 7719837800018557179276196119*c_1100_1^4 - 1716237470294121321732418975835721867340/10289771983780001855717927\ 6196119*c_1100_1^3 - 222130710731797689684252020359805799166/102897\ 719837800018557179276196119*c_1100_1^2 + 229096628563371366230224991508086770749/102897719837800018557179276\ 196119*c_1100_1 - 35576008031316764949903228062202566471/1028977198\ 37800018557179276196119, c_0011_0 - 1, c_0011_2 - 7283061734418790832389687078925/6374195034200001149559778171\ 441*c_1100_1^25 + 49796707833187489455391980769057/6374195034200001\ 149559778171441*c_1100_1^24 + 22813284944838364600749452235570/6374\ 195034200001149559778171441*c_1100_1^23 - 901112228396533582890696250193468/6374195034200001149559778171441*c\ _1100_1^22 + 1268964100994013738816499844015216/6374195034200001149\ 559778171441*c_1100_1^21 + 6892843507506820726010559209912017/63741\ 95034200001149559778171441*c_1100_1^20 - 18605721675534377811139553989980259/6374195034200001149559778171441\ *c_1100_1^19 - 22070842882429261282531354107209099/6374195034200001\ 149559778171441*c_1100_1^18 + 122417808337174813848316677878237734/\ 6374195034200001149559778171441*c_1100_1^17 - 33182519018216371162326812666462621/6374195034200001149559778171441\ *c_1100_1^16 - 59323135003721306445212773301566904/9105992906000001\ 64222825453063*c_1100_1^15 + 517056395816149907977362231924750933/6\ 374195034200001149559778171441*c_1100_1^14 + 565831024019448899081071834925576856/637419503420000114955977817144\ 1*c_1100_1^13 - 1647169921167830087074371154036264287/6374195034200\ 001149559778171441*c_1100_1^12 + 7201306047384877696800693964226438\ 2/910599290600000164222825453063*c_1100_1^11 + 1973258212899496885757771540846243131/63741950342000011495597781714\ 41*c_1100_1^10 - 2273650115330068553474836311533036763/637419503420\ 0001149559778171441*c_1100_1^9 - 1151334677360551641000862605553474\ 8/910599290600000164222825453063*c_1100_1^8 + 1793415638243305400763566778428348597/63741950342000011495597781714\ 41*c_1100_1^7 - 170130486889874858025511786737587552/91059929060000\ 0164222825453063*c_1100_1^6 - 41660704304691501112935296616105433/6\ 374195034200001149559778171441*c_1100_1^5 + 380862821680812448138639574461173580/637419503420000114955977817144\ 1*c_1100_1^4 - 20644353979829360058220902094051215/9105992906000001\ 64222825453063*c_1100_1^3 - 11653988896395647574622166947232738/637\ 4195034200001149559778171441*c_1100_1^2 + 2580243012347918779154519376760239/910599290600000164222825453063*c\ _1100_1 - 3042049990996074315957932314726048/6374195034200001149559\ 778171441, c_0011_6 + 10624596285076837153338259863627/637419503420000114955977817\ 1441*c_1100_1^25 - 70033138303848340608476342056744/637419503420000\ 1149559778171441*c_1100_1^24 - 49717321680819819307688398093216/637\ 4195034200001149559778171441*c_1100_1^23 + 1296502723191446457497874442757740/6374195034200001149559778171441*\ c_1100_1^22 - 1533355962690506956258338745084504/637419503420000114\ 9559778171441*c_1100_1^21 - 10324157348110799602221914091198804/637\ 4195034200001149559778171441*c_1100_1^20 + 24429838991167918153650575003343912/6374195034200001149559778171441\ *c_1100_1^19 + 37345078263245704958598047521706302/6374195034200001\ 149559778171441*c_1100_1^18 - 166961236551090868832453920512347432/\ 6374195034200001149559778171441*c_1100_1^17 + 10378838143663093232833777177232138/6374195034200001149559778171441\ *c_1100_1^16 + 84582190163237330877329339450138328/9105992906000001\ 64222825453063*c_1100_1^15 - 606743126411446130590539810461235819/6\ 374195034200001149559778171441*c_1100_1^14 - 916078149087471445031358108435605962/637419503420000114955977817144\ 1*c_1100_1^13 + 2119957691788124289632565341184141197/6374195034200\ 001149559778171441*c_1100_1^12 - 4484688316478532132967690448447995\ 1/910599290600000164222825453063*c_1100_1^11 - 2751768690913057920532936425968354274/63741950342000011495597781714\ 41*c_1100_1^10 + 2648439873444934852624459948628699850/637419503420\ 0001149559778171441*c_1100_1^9 + 6818957018480382856381685333422687\ 7/910599290600000164222825453063*c_1100_1^8 - 2294637539782807241163547039409799386/63741950342000011495597781714\ 41*c_1100_1^7 + 184356393863435691012061476940986461/91059929060000\ 0164222825453063*c_1100_1^6 + 163479122176061135279593895058361028/\ 6374195034200001149559778171441*c_1100_1^5 - 451394109830121478130646859755687858/637419503420000114955977817144\ 1*c_1100_1^4 + 20768919043303361933928232038587230/9105992906000001\ 64222825453063*c_1100_1^3 + 19322601381567028840458148691444579/637\ 4195034200001149559778171441*c_1100_1^2 - 2783450334981007127698985238312394/910599290600000164222825453063*c\ _1100_1 + 3014437465394484998443153000095740/6374195034200001149559\ 778171441, c_0101_0 + 18182983271234953553/52984382894598140027*c_1100_1^25 - 118749871387165567296/52984382894598140027*c_1100_1^24 - 93158687610375111339/52984382894598140027*c_1100_1^23 + 2217406282120946558734/52984382894598140027*c_1100_1^22 - 2477305926016159048724/52984382894598140027*c_1100_1^21 - 17909757383967925959374/52984382894598140027*c_1100_1^20 + 40681004703472449098697/52984382894598140027*c_1100_1^19 + 67274076254636252399872/52984382894598140027*c_1100_1^18 - 282137479468470495232848/52984382894598140027*c_1100_1^17 - 4356676813789521301334/52984382894598140027*c_1100_1^16 + 145611577695912097697700/7569197556371162861*c_1100_1^15 - 960913589949571715822647/52984382894598140027*c_1100_1^14 - 1658411951775994408309312/52984382894598140027*c_1100_1^13 + 3507109848950997628670501/52984382894598140027*c_1100_1^12 - 33854090652940188915747/7569197556371162861*c_1100_1^11 - 4743815969039036900758903/52984382894598140027*c_1100_1^10 + 4125108364837378928567118/52984382894598140027*c_1100_1^9 + 166190660993202692037601/7569197556371162861*c_1100_1^8 - 3794519327140239324328426/52984382894598140027*c_1100_1^7 + 267763823561248160894262/7569197556371162861*c_1100_1^6 + 404507494439774563717120/52984382894598140027*c_1100_1^5 - 707771173868946895546940/52984382894598140027*c_1100_1^4 + 27233745093380531116779/7569197556371162861*c_1100_1^3 + 38810066210596886440280/52984382894598140027*c_1100_1^2 - 3938104637990302846630/7569197556371162861*c_1100_1 + 3726289668825458753503/52984382894598140027, c_0101_1 + 19121224265607940010/52984382894598140027*c_1100_1^25 - 132910328864882593613/52984382894598140027*c_1100_1^24 - 52402906008932906337/52984382894598140027*c_1100_1^23 + 2411787590536826766242/52984382894598140027*c_1100_1^22 - 3515136199112060154432/52984382894598140027*c_1100_1^21 - 18514629251861558274848/52984382894598140027*c_1100_1^20 + 50945948752185373951486/52984382894598140027*c_1100_1^19 + 59731551223840665658659/52984382894598140027*c_1100_1^18 - 335662733428627837312813/52984382894598140027*c_1100_1^17 + 86824532149404937593435/52984382894598140027*c_1100_1^16 + 164430472333292249975577/7569197556371162861*c_1100_1^15 - 1393013281702181678392271/52984382894598140027*c_1100_1^14 - 1643257157960482490743034/52984382894598140027*c_1100_1^13 + 4504741766483193800154238/52984382894598140027*c_1100_1^12 - 158146016594143453925279/7569197556371162861*c_1100_1^11 - 5609391885613475650065304/52984382894598140027*c_1100_1^10 + 5909284174197376083576709/52984382894598140027*c_1100_1^9 + 104349054647267828134073/7569197556371162861*c_1100_1^8 - 4924868370122426922413906/52984382894598140027*c_1100_1^7 + 408530723852964637097320/7569197556371162861*c_1100_1^6 + 350906959684878275949596/52984382894598140027*c_1100_1^5 - 989412371538014479796934/52984382894598140027*c_1100_1^4 + 43874345527609499513988/7569197556371162861*c_1100_1^3 + 46997674058383524784123/52984382894598140027*c_1100_1^2 - 5880610283106779260281/7569197556371162861*c_1100_1 + 5886988010839155974633/52984382894598140027, c_0101_3 + 272040525033283517305345686183/63741950342000011495597781714\ 41*c_1100_1^25 - 167569997348002701219257839757/6374195034200001149\ 559778171441*c_1100_1^24 - 10373738546047092076301090871307/6374195\ 034200001149559778171441*c_1100_1^23 + 16890686981576213623541785002380/6374195034200001149559778171441*c_\ 1100_1^22 + 141456450330998078644210303693100/637419503420000114955\ 9778171441*c_1100_1^21 - 324710379268368362934157516248569/63741950\ 34200001149559778171441*c_1100_1^20 - 983466576212397681638021788527152/6374195034200001149559778171441*c\ _1100_1^19 + 3122207531726279852556060775609170/6374195034200001149\ 559778171441*c_1100_1^18 + 3294676737435985488488868925209031/63741\ 95034200001149559778171441*c_1100_1^17 - 17687591588236302007613000924528704/6374195034200001149559778171441\ *c_1100_1^16 + 76014719212112820380788363818860/9105992906000001642\ 22825453063*c_1100_1^15 + 58878328267628456724646481304274002/63741\ 95034200001149559778171441*c_1100_1^14 - 47233957766702564640923223337415736/6374195034200001149559778171441\ *c_1100_1^13 - 100506570813757032152819920733766408/637419503420000\ 1149559778171441*c_1100_1^12 + 24028334631275410554284654834171413/\ 910599290600000164222825453063*c_1100_1^11 + 32994381850412297835357362044540071/6374195034200001149559778171441\ *c_1100_1^10 - 242522336734939306544844395537034676/637419503420000\ 1149559778171441*c_1100_1^9 + 19570617373280992379913274424750096/9\ 10599290600000164222825453063*c_1100_1^8 + 109384067261984210881283585779692688/637419503420000114955977817144\ 1*c_1100_1^7 - 22423664010765308458679133404720599/9105992906000001\ 64222825453063*c_1100_1^6 + 37055636957838280670739117384127676/637\ 4195034200001149559778171441*c_1100_1^5 + 35392542088890396436042870835510752/6374195034200001149559778171441\ *c_1100_1^4 - 3218442784748433647118769335659115/910599290600000164\ 222825453063*c_1100_1^3 + 923284970463212006476152543791435/6374195\ 034200001149559778171441*c_1100_1^2 + 331740750006095410185456452277560/910599290600000164222825453063*c_\ 1100_1 - 490712473060264876998303300804332/637419503420000114955977\ 8171441, c_1100_1^26 - 7*c_1100_1^25 - 2*c_1100_1^24 + 124*c_1100_1^23 - 194*c_1100_1^22 - 914*c_1100_1^21 + 2696*c_1100_1^20 + 2587*c_1100_1^19 - 17160*c_1100_1^18 + 7340*c_1100_1^17 + 55427*c_1100_1^16 - 79741*c_1100_1^15 - 63341*c_1100_1^14 + 234796*c_1100_1^13 - 110069*c_1100_1^12 - 247858*c_1100_1^11 + 354311*c_1100_1^10 - 55108*c_1100_1^9 - 234921*c_1100_1^8 + 208672*c_1100_1^7 - 33181*c_1100_1^6 - 48941*c_1100_1^5 + 30791*c_1100_1^4 - 3634*c_1100_1^3 - 2581*c_1100_1^2 + 1019*c_1100_1 - 113 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB