Magma V2.19-8 Tue Aug 20 2013 16:14:50 on localhost [Seed = 3018993631] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s804 geometric_solution 5.35846702 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.249686182838 0.218952684152 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.486273813484 1.766410022737 1 3 4 5 0132 3201 0132 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 -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.086374068937 0.943202364810 5 4 2 1 3201 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -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 -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.086374068937 0.943202364810 4 3 4 2 2310 0132 3201 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 -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.435509159200 0.917014620650 5 5 2 3 1302 2031 0132 2310 0 0 0 0 0 0 -1 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 0 -1 1 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.519879518276 0.948501772706 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 525760586133225299426954607410494716109/144619740700281021844344832\ 48252972697*c_0101_3^23 - 362510594987240473395576425800906156034/1\ 4461974070028102184434483248252972697*c_0101_3^22 + 952572975429603535543719393877264264112/144619740700281021844344832\ 48252972697*c_0101_3^21 - 14432761650765777942117462703175607910268\ /14461974070028102184434483248252972697*c_0101_3^20 - 5505819708915367848400838639509951868994/14461974070028102184434483\ 248252972697*c_0101_3^19 - 3130196417531257325904754012901428076251\ /14461974070028102184434483248252972697*c_0101_3^18 - 2216442784057691388923983692216735616346/14461974070028102184434483\ 248252972697*c_0101_3^17 + 8322936558960521133466123289275719522177\ 4/14461974070028102184434483248252972697*c_0101_3^16 + 49831649020584737596248483690020735046175/1446197407002810218443448\ 3248252972697*c_0101_3^15 + 303481138937465597540120691151428578927\ 167/14461974070028102184434483248252972697*c_0101_3^14 - 372228717564527414466112222579075181780157/144619740700281021844344\ 83248252972697*c_0101_3^13 - 57657198580869796797210545229726844040\ 3398/14461974070028102184434483248252972697*c_0101_3^12 - 586797576290075108815736472364462509151660/144619740700281021844344\ 83248252972697*c_0101_3^11 + 13600578085292314960367800556444230544\ 11487/14461974070028102184434483248252972697*c_0101_3^10 + 880987758778847017174379650923098436782561/144619740700281021844344\ 83248252972697*c_0101_3^9 - 855726051731918263844076206854777921584\ 359/14461974070028102184434483248252972697*c_0101_3^8 - 453928820154264674722902493023612001042314/144619740700281021844344\ 83248252972697*c_0101_3^7 - 187854517494958423958908509759693717871\ 08/14461974070028102184434483248252972697*c_0101_3^6 + 88701449165284503592804091673001314491370/1446197407002810218443448\ 3248252972697*c_0101_3^5 + 1161157249374359797071565353011222001736\ 25/14461974070028102184434483248252972697*c_0101_3^4 + 43673257026944007683704764082845975368430/1446197407002810218443448\ 3248252972697*c_0101_3^3 - 3081488965716124963361062110166314360336\ 1/14461974070028102184434483248252972697*c_0101_3^2 - 9528100181110709517105841507237167423267/14461974070028102184434483\ 248252972697*c_0101_3 + 1787695203500029564233943724305254645321/14\ 461974070028102184434483248252972697, c_0011_0 - 1, c_0011_1 + 61536738106964000862971946398335771/144619740700281021844344\ 83248252972697*c_0101_3^23 - 1944374674537568201847563025837218107/\ 14461974070028102184434483248252972697*c_0101_3^22 + 177826181519383285290739673916462720/144619740700281021844344832482\ 52972697*c_0101_3^21 - 5423088502606780315320557019745855983/144619\ 74070028102184434483248252972697*c_0101_3^20 + 49118579421864401676057365121332427067/1446197407002810218443448324\ 8252972697*c_0101_3^19 + 51363997184095283195218198396376171008/144\ 61974070028102184434483248252972697*c_0101_3^18 + 53585263873615564408255651937966676730/1446197407002810218443448324\ 8252972697*c_0101_3^17 + 62125623494580709239155877646729027085/144\ 61974070028102184434483248252972697*c_0101_3^16 - 248192992825137226013412570579260926632/144619740700281021844344832\ 48252972697*c_0101_3^15 - 298957633445890685899460892011284461051/1\ 4461974070028102184434483248252972697*c_0101_3^14 - 1399789296721270856546163387889010527947/14461974070028102184434483\ 248252972697*c_0101_3^13 + 335505917578017520505549443057110014004/\ 14461974070028102184434483248252972697*c_0101_3^12 + 2029581072339960558028589109183196022050/14461974070028102184434483\ 248252972697*c_0101_3^11 + 3700741916006528411657841423821539067131\ /14461974070028102184434483248252972697*c_0101_3^10 - 2213521258509483055775246439111913164658/14461974070028102184434483\ 248252972697*c_0101_3^9 - 4144882004077904947234379237990166434717/\ 14461974070028102184434483248252972697*c_0101_3^8 + 91906023781969342279142441761771545243/1446197407002810218443448324\ 8252972697*c_0101_3^7 + 1206744177305204060455912810518260746503/14\ 461974070028102184434483248252972697*c_0101_3^6 + 734562201164490514837745455822823471614/144619740700281021844344832\ 48252972697*c_0101_3^5 + 271828101009154545805132215521114257993/14\ 461974070028102184434483248252972697*c_0101_3^4 - 108199261076498444909651951440150477494/144619740700281021844344832\ 48252972697*c_0101_3^3 - 173172811460431202793554546122320743503/14\ 461974070028102184434483248252972697*c_0101_3^2 - 1726966656199208581341746734074044371/14461974070028102184434483248\ 252972697*c_0101_3 + 5894880415827364311250980838553664223/14461974\ 070028102184434483248252972697, c_0011_3 + 1214189005044977186378163171257451241/1446197407002810218443\ 4483248252972697*c_0101_3^23 - 114703560220795398102811177098639948\ 0/14461974070028102184434483248252972697*c_0101_3^22 + 2854047687041990494926234358021730799/14461974070028102184434483248\ 252972697*c_0101_3^21 - 33743538615787556851066274958293236416/1446\ 1974070028102184434483248252972697*c_0101_3^20 - 3225330060587697563309646764665340102/14461974070028102184434483248\ 252972697*c_0101_3^19 - 15161560779279830398799861805426034121/1446\ 1974070028102184434483248252972697*c_0101_3^18 - 19295362489136487036087493103139173541/1446197407002810218443448324\ 8252972697*c_0101_3^17 + 173401648405881841326151298571709606735/14\ 461974070028102184434483248252972697*c_0101_3^16 + 45064723206967265529024604867754175890/1446197407002810218443448324\ 8252972697*c_0101_3^15 + 721191058279091644930762945883302304889/14\ 461974070028102184434483248252972697*c_0101_3^14 - 944441976140724452299524815462088828857/144619740700281021844344832\ 48252972697*c_0101_3^13 - 754176416846097255896438247108781369375/1\ 4461974070028102184434483248252972697*c_0101_3^12 - 966897953944206564968077259485398678873/144619740700281021844344832\ 48252972697*c_0101_3^11 + 3060974302282129217191534890263669501950/\ 14461974070028102184434483248252972697*c_0101_3^10 + 232217826089237652510501802319194084266/144619740700281021844344832\ 48252972697*c_0101_3^9 - 2397893034697813953195413491229498545392/1\ 4461974070028102184434483248252972697*c_0101_3^8 + 342383638331005883969236185085449172665/144619740700281021844344832\ 48252972697*c_0101_3^7 + 610710633651291948599464487300439457792/14\ 461974070028102184434483248252972697*c_0101_3^6 + 184997961227925210488327297694254217231/144619740700281021844344832\ 48252972697*c_0101_3^5 - 29576477458262476547462168278830155279/144\ 61974070028102184434483248252972697*c_0101_3^4 - 105731414684029769259033739695097520883/144619740700281021844344832\ 48252972697*c_0101_3^3 - 132311395933163224062966710253474971639/14\ 461974070028102184434483248252972697*c_0101_3^2 + 14549338729755752321147048447691099564/1446197407002810218443448324\ 8252972697*c_0101_3 + 17083266765288039584816560500184253100/144619\ 74070028102184434483248252972697, c_0011_5 - 4883081127076597095423922451308959089/1446197407002810218443\ 4483248252972697*c_0101_3^23 + 380697025816031163049513290461371014\ 3/14461974070028102184434483248252972697*c_0101_3^22 - 9134855393225542016173931569562290617/14461974070028102184434483248\ 252972697*c_0101_3^21 + 135001193057812059889252613533178237604/144\ 61974070028102184434483248252972697*c_0101_3^20 + 39224516234020692588819954192558324528/1446197407002810218443448324\ 8252972697*c_0101_3^19 + 24590936769787245252021129043669338108/144\ 61974070028102184434483248252972697*c_0101_3^18 + 13860509206752350057686806898742673619/1446197407002810218443448324\ 8252972697*c_0101_3^17 - 782707209184618136117347587381424303908/14\ 461974070028102184434483248252972697*c_0101_3^16 - 407574656283691362951902361029664519890/144619740700281021844344832\ 48252972697*c_0101_3^15 - 2793746654721671916133245184136284929304/\ 14461974070028102184434483248252972697*c_0101_3^14 + 3714521438760756299019679542613524429045/14461974070028102184434483\ 248252972697*c_0101_3^13 + 5079692688388020286243969522824186796943\ /14461974070028102184434483248252972697*c_0101_3^12 + 5112400880907357958343267880877171975579/14461974070028102184434483\ 248252972697*c_0101_3^11 - 1302683235220666243434325960213551507216\ 9/14461974070028102184434483248252972697*c_0101_3^10 - 7070723038902555409179169840591717330387/14461974070028102184434483\ 248252972697*c_0101_3^9 + 8374745127865680176104435538993191356862/\ 14461974070028102184434483248252972697*c_0101_3^8 + 3353622055216780332505278486917197851524/14461974070028102184434483\ 248252972697*c_0101_3^7 - 191993224669380717444975861899094207351/1\ 4461974070028102184434483248252972697*c_0101_3^6 - 700586915685278276900440049219312360639/144619740700281021844344832\ 48252972697*c_0101_3^5 - 881581482161017957309600164180582925895/14\ 461974070028102184434483248252972697*c_0101_3^4 - 302520702026299067900856464796664205088/144619740700281021844344832\ 48252972697*c_0101_3^3 + 316733231335938300193616103557609497917/14\ 461974070028102184434483248252972697*c_0101_3^2 + 52567977427817491115203075256138170027/1446197407002810218443448324\ 8252972697*c_0101_3 - 26670893829831445979050137584687958650/144619\ 74070028102184434483248252972697, c_0101_0 + 7685977276828599266159120291737595114/1446197407002810218443\ 4483248252972697*c_0101_3^23 - 467321514494963670196219042043240195\ 1/14461974070028102184434483248252972697*c_0101_3^22 + 14463961749198772257536619156549412756/1446197407002810218443448324\ 8252972697*c_0101_3^21 - 209768276319478997254057100895060085709/14\ 461974070028102184434483248252972697*c_0101_3^20 - 95652381855737224276278328256572296790/1446197407002810218443448324\ 8252972697*c_0101_3^19 - 77434148663366355262726260037969952092/144\ 61974070028102184434483248252972697*c_0101_3^18 - 65368754770989552176445135324282012906/1446197407002810218443448324\ 8252972697*c_0101_3^17 + 1180151368150589289653304190110859158392/1\ 4461974070028102184434483248252972697*c_0101_3^16 + 793161556362105317074442149860479755504/144619740700281021844344832\ 48252972697*c_0101_3^15 + 4616313639557408041509612774335109675725/\ 14461974070028102184434483248252972697*c_0101_3^14 - 4900682374718456412760732234092668756739/14461974070028102184434483\ 248252972697*c_0101_3^13 - 8147280613349500752682603581341168198684\ /14461974070028102184434483248252972697*c_0101_3^12 - 9362895490700168746330007599661078289111/14461974070028102184434483\ 248252972697*c_0101_3^11 + 1818601257894054083759663477192563112453\ 4/14461974070028102184434483248252972697*c_0101_3^10 + 12572094185995350355032856349231422045229/1446197407002810218443448\ 3248252972697*c_0101_3^9 - 1060295810352747417735115661001574557364\ 4/14461974070028102184434483248252972697*c_0101_3^8 - 5685376234726843324134360176685390630061/14461974070028102184434483\ 248252972697*c_0101_3^7 - 578508388649040954714675804734795198037/1\ 4461974070028102184434483248252972697*c_0101_3^6 + 847774794034630903574065969198690898047/144619740700281021844344832\ 48252972697*c_0101_3^5 + 1376988668028834920168821983335558509070/1\ 4461974070028102184434483248252972697*c_0101_3^4 + 581665018532897781377333777522569058469/144619740700281021844344832\ 48252972697*c_0101_3^3 - 386912168960719399751440798818157411349/14\ 461974070028102184434483248252972697*c_0101_3^2 - 104852134557739836224035836078169648098/144619740700281021844344832\ 48252972697*c_0101_3 + 32153861487496821712963413475735245084/14461\ 974070028102184434483248252972697, c_0101_3^24 - c_0101_3^23 + 2*c_0101_3^22 - 28*c_0101_3^21 - 2*c_0101_3^20 - 2*c_0101_3^19 - 2*c_0101_3^18 + 160*c_0101_3^17 + 46*c_0101_3^16 + 544*c_0101_3^15 - 890*c_0101_3^14 - 893*c_0101_3^13 - 761*c_0101_3^12 + 2959*c_0101_3^11 + 906*c_0101_3^10 - 2203*c_0101_3^9 - 397*c_0101_3^8 + 262*c_0101_3^7 + 194*c_0101_3^6 + 171*c_0101_3^5 + 14*c_0101_3^4 - 88*c_0101_3^3 - 2*c_0101_3^2 + 10*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB