Magma V2.19-8 Tue Aug 20 2013 16:17:26 on localhost [Seed = 3667609104] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1665 geometric_solution 5.39927283 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 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.125853697858 0.801512400897 3 2 4 0 0132 3012 0132 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 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.840817694477 1.307017295091 1 3 0 4 1230 2310 0132 2310 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 0 0 1 -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 0.840817694477 1.307017295091 1 3 3 2 0132 3201 2310 3201 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 -1 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.634398288781 0.509558526087 2 5 5 1 3201 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 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.224774427068 0.291672997980 4 4 6 6 2310 0132 2310 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.900501487365 3.248332336152 6 5 5 6 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.144830907639 0.177832820035 ==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' : negation(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' : negation(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_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), '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_6' : d['c_0011_6'], '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_0011_1']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0011_1'], 'c_1010_5' : negation(d['c_0101_5']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 1915541525363093241311476189/345209413483619342901710951*c_0101_5^1\ 5 - 4846335937897261836508817558/345209413483619342901710951*c_0101\ _5^14 - 37956080075817149010418987087/345209413483619342901710951*c\ _0101_5^13 - 39643426910268455549532520141/345209413483619342901710\ 951*c_0101_5^12 - 138582864125414291394783054532/345209413483619342\ 901710951*c_0101_5^11 - 72887727266591762933898265008/3452094134836\ 19342901710951*c_0101_5^10 - 190339920742721493807289181225/3452094\ 13483619342901710951*c_0101_5^9 + 43392182863125284792837609621/345\ 209413483619342901710951*c_0101_5^8 + 155200994530724280367542711216/345209413483619342901710951*c_0101_5\ ^7 + 13615016421207914474858601063/11903772878745494582817619*c_010\ 1_5^6 + 460424298908455570823893403134/345209413483619342901710951*\ c_0101_5^5 + 537498457691653449242353278637/34520941348361934290171\ 0951*c_0101_5^4 - 60249341804348711537926748902/3452094134836193429\ 01710951*c_0101_5^3 - 131737028953835803838786123563/34520941348361\ 9342901710951*c_0101_5^2 - 227191532602434155989427109174/345209413\ 483619342901710951*c_0101_5 - 47569712140396582526685764613/3452094\ 13483619342901710951, c_0011_0 - 1, c_0011_1 + 42900344674352016169/802195085837690854021*c_0101_5^15 + 116842501496612937186/802195085837690854021*c_0101_5^14 + 864863512224133861479/802195085837690854021*c_0101_5^13 + 1042303389526342529917/802195085837690854021*c_0101_5^12 + 3167448060332427466179/802195085837690854021*c_0101_5^11 + 2212399742072805012263/802195085837690854021*c_0101_5^10 + 4243967006055414887060/802195085837690854021*c_0101_5^9 - 62098237274468607771/802195085837690854021*c_0101_5^8 - 4136169746518958580694/802195085837690854021*c_0101_5^7 - 9003388978104672245201/802195085837690854021*c_0101_5^6 - 11587725661658139387797/802195085837690854021*c_0101_5^5 - 13359871952055747449618/802195085837690854021*c_0101_5^4 - 333466276065050637246/802195085837690854021*c_0101_5^3 + 4117016557438758551885/802195085837690854021*c_0101_5^2 + 4722166959542282789262/802195085837690854021*c_0101_5 + 1544887769654597677237/802195085837690854021, c_0011_4 + 4980399821656528217/802195085837690854021*c_0101_5^15 + 13122635551973801842/802195085837690854021*c_0101_5^14 + 91118372873485037314/802195085837690854021*c_0101_5^13 + 89898311081512946005/802195085837690854021*c_0101_5^12 + 194906471314004781023/802195085837690854021*c_0101_5^11 + 31858393629718202551/802195085837690854021*c_0101_5^10 - 94109337443182452302/802195085837690854021*c_0101_5^9 - 388641278443528924032/802195085837690854021*c_0101_5^8 - 1154596156984207675630/802195085837690854021*c_0101_5^7 - 978739243344213342938/802195085837690854021*c_0101_5^6 - 405907317197594872752/802195085837690854021*c_0101_5^5 + 27212578638557377309/802195085837690854021*c_0101_5^4 + 2121860635842693447365/802195085837690854021*c_0101_5^3 + 1928002393005749170572/802195085837690854021*c_0101_5^2 + 75545181712028697513/802195085837690854021*c_0101_5 - 653842047528277192932/802195085837690854021, c_0011_6 + 24479147848088670713/802195085837690854021*c_0101_5^15 + 65468521819123055496/802195085837690854021*c_0101_5^14 + 495998527256171053392/802195085837690854021*c_0101_5^13 + 584164771132402656514/802195085837690854021*c_0101_5^12 + 1886288387440896279093/802195085837690854021*c_0101_5^11 + 1262937375126746982501/802195085837690854021*c_0101_5^10 + 2678249992029416590469/802195085837690854021*c_0101_5^9 - 106512965342431936801/802195085837690854021*c_0101_5^8 - 2099746454519977452313/802195085837690854021*c_0101_5^7 - 5434169973312945147535/802195085837690854021*c_0101_5^6 - 7160417859726303961727/802195085837690854021*c_0101_5^5 - 8275244769433820864781/802195085837690854021*c_0101_5^4 - 711829040635826050375/802195085837690854021*c_0101_5^3 + 1614309291659184171181/802195085837690854021*c_0101_5^2 + 3654430528060826722603/802195085837690854021*c_0101_5 + 1508156793674244995727/802195085837690854021, c_0101_0 - 756167940087739257/802195085837690854021*c_0101_5^15 + 9901606979504360411/802195085837690854021*c_0101_5^14 + 14934325802998002036/802195085837690854021*c_0101_5^13 + 215075387587082357543/802195085837690854021*c_0101_5^12 + 184902732268749682747/802195085837690854021*c_0101_5^11 + 773993517945237014928/802195085837690854021*c_0101_5^10 + 381425462195044303136/802195085837690854021*c_0101_5^9 + 1132054399838263246219/802195085837690854021*c_0101_5^8 - 104250930611934582530/802195085837690854021*c_0101_5^7 - 743008633944997176979/802195085837690854021*c_0101_5^6 - 2072443387920745377630/802195085837690854021*c_0101_5^5 - 2086597819212930985128/802195085837690854021*c_0101_5^4 - 3323438102216914722699/802195085837690854021*c_0101_5^3 + 113827445457122577435/802195085837690854021*c_0101_5^2 + 718902635912200833151/802195085837690854021*c_0101_5 + 516430587495085563703/802195085837690854021, c_0101_1 - 37495914185696892488/802195085837690854021*c_0101_5^15 - 91168939043852255800/802195085837690854021*c_0101_5^14 - 733659955625177015846/802195085837690854021*c_0101_5^13 - 706437051410269416396/802195085837690854021*c_0101_5^12 - 2638391070136890143992/802195085837690854021*c_0101_5^11 - 1210840749737558419002/802195085837690854021*c_0101_5^10 - 3521022271975050648239/802195085837690854021*c_0101_5^9 + 1103891710047438443852/802195085837690854021*c_0101_5^8 + 3159071337337495820873/802195085837690854021*c_0101_5^7 + 7268058121624256609973/802195085837690854021*c_0101_5^6 + 8496885258924279382126/802195085837690854021*c_0101_5^5 + 10014489247596868165269/802195085837690854021*c_0101_5^4 - 2654824921026173528985/802195085837690854021*c_0101_5^3 - 2543414094924256426227/802195085837690854021*c_0101_5^2 - 3749881176551680218054/802195085837690854021*c_0101_5 - 1612025657028263572453/802195085837690854021, c_0101_5^16 + 3*c_0101_5^15 + 21*c_0101_5^14 + 30*c_0101_5^13 + 82*c_0101_5^12 + 72*c_0101_5^11 + 117*c_0101_5^10 + 24*c_0101_5^9 - 92*c_0101_5^8 - 244*c_0101_5^7 - 337*c_0101_5^6 - 393*c_0101_5^5 - 100*c_0101_5^4 + 84*c_0101_5^3 + 150*c_0101_5^2 + 80*c_0101_5 + 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB