Magma V2.19-8 Tue Aug 20 2013 16:14:23 on localhost [Seed = 1781265992] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s364 geometric_solution 4.58480898 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 1.593273750736 0.203081595444 0 2 2 0 3201 0132 1023 0132 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 0 -1 1 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.292809283353 0.451961868058 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 1 -1 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.405738342992 0.550353966360 2 5 4 4 0132 0132 3201 0321 0 0 0 0 0 0 0 0 -1 0 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 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.387631338743 1.137273931723 3 3 2 5 2310 0321 0132 2310 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 -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.387631338743 1.137273931723 4 3 5 5 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.210669514031 0.444418244489 ==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_0110_5'], 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0011_4']), '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_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 950505847225498019650943773095003/84452917160453483080664555454464*\ c_0110_5^21 + 3598733141121777516195627492234275/844529171604534830\ 80664555454464*c_0110_5^20 - 31094527614407759839017640831954753/84\ 452917160453483080664555454464*c_0110_5^19 - 129891398871329012066750670864584005/844529171604534830806645554544\ 64*c_0110_5^18 + 2146242298222521463386430006524835/211132292901133\ 70770166138863616*c_0110_5^17 + 55779265998704689103852418525105233\ /10556614645056685385083069431808*c_0110_5^16 - 356115779159610893018461823012365135/844529171604534830806645554544\ 64*c_0110_5^15 - 309588420421398891555534239544369087/2111322929011\ 3370770166138863616*c_0110_5^14 + 167337168406625657779813111368430\ 3467/84452917160453483080664555454464*c_0110_5^13 + 991475615306756675288967153894978567/844529171604534830806645554544\ 64*c_0110_5^12 - 785153535738964467204792106531152033/4222645858022\ 6741540332277727232*c_0110_5^11 - 932041724500496325954941930110016\ 311/84452917160453483080664555454464*c_0110_5^10 + 997693030861064550733134947177971879/422264585802267415403322777272\ 32*c_0110_5^9 + 123831384281697589316527348683945655/10556614645056\ 685385083069431808*c_0110_5^8 - 29156176487605347417132203753321604\ 7/21113229290113370770166138863616*c_0110_5^7 - 211153886485431531722738078981016363/211132292901133707701661388636\ 16*c_0110_5^6 + 98539562890280610157922356381675861/844529171604534\ 83080664555454464*c_0110_5^5 + 63520247148490321575955106839801485/\ 21113229290113370770166138863616*c_0110_5^4 + 8102776173979790911537570939928057/84452917160453483080664555454464\ *c_0110_5^3 + 5456993178234276699117035464201267/844529171604534830\ 80664555454464*c_0110_5^2 + 2436846551852185748904192693971633/2111\ 3229290113370770166138863616*c_0110_5 - 259823516176491473404542148555409/84452917160453483080664555454464, c_0011_0 - 1, c_0011_1 - 4276414082070685675842815576019/7389630251539679769558148602\ 2656*c_0110_5^21 - 17143591366825164242091031052315/738963025153967\ 97695581486022656*c_0110_5^20 + 19819372626481354379201317083855/10\ 556614645056685385083069431808*c_0110_5^19 + 624473304223185173307230363169037/73896302515396797695581486022656*\ c_0110_5^18 + 2709502818938682386785671202981/184740756288491994238\ 95371505664*c_0110_5^17 - 41731470284983534951828410914335/13195768\ 30632085673135383678976*c_0110_5^16 + 1206078917545419590721544511020263/73896302515396797695581486022656\ *c_0110_5^15 + 1747577142765771282553827967306151/18474075628849199\ 423895371505664*c_0110_5^14 - 7389509474220211779399824708907811/73\ 896302515396797695581486022656*c_0110_5^13 - 8945810030007845653796508266079327/73896302515396797695581486022656\ *c_0110_5^12 + 763856530919963487460407455644559/527830732252834269\ 2541534715904*c_0110_5^11 + 6925678183603104831714213316783951/7389\ 6302515396797695581486022656*c_0110_5^10 - 5873274471923559519856585773633983/36948151257698398847790743011328\ *c_0110_5^9 - 929133983148057347565970987090831/9237037814424599711\ 947685752832*c_0110_5^8 + 2255843416717947136266186465968199/184740\ 75628849199423895371505664*c_0110_5^7 + 1521497978954439262374068555371235/18474075628849199423895371505664\ *c_0110_5^6 - 1947543056076470491984686636064093/738963025153967976\ 95581486022656*c_0110_5^5 - 544936260102774726474295217753989/18474\ 075628849199423895371505664*c_0110_5^4 + 4770366198621246930369463856799/73896302515396797695581486022656*c_\ 0110_5^3 + 162964274410050592963588402651925/7389630251539679769558\ 1486022656*c_0110_5^2 - 52031614176625954446406309290825/1847407562\ 8849199423895371505664*c_0110_5 - 13637196581051500099522393652679/\ 73896302515396797695581486022656, c_0011_4 - 30225635254010956111877229175/164947103829010709141922959872\ *c_0110_5^21 - 225038056143769789121127248299/329894207658021418283\ 845919744*c_0110_5^20 + 498802636138426315579238959277/824735519145\ 05354570961479936*c_0110_5^19 + 8146221338247521790638966170491/329\ 894207658021418283845919744*c_0110_5^18 - 146649739192344417444444797569/41236775957252677285480739968*c_0110\ _5^17 - 7182683724748494015049977512717/824735519145053545709614799\ 36*c_0110_5^16 + 12268256273813662465248675913285/16494710382901070\ 9141922959872*c_0110_5^15 + 78487186959939287961714872622549/329894\ 207658021418283845919744*c_0110_5^14 - 113004789946759296821587763651337/329894207658021418283845919744*c_\ 0110_5^13 - 29551478283471203241334497230077/1649471038290107091419\ 22959872*c_0110_5^12 + 109674607481259675287119796768143/3298942076\ 58021418283845919744*c_0110_5^11 + 52150375750023284777044599328811/329894207658021418283845919744*c_0\ 110_5^10 - 66516495861866465481197940471609/16494710382901070914192\ 2959872*c_0110_5^9 - 3452726690257918224095571365233/20618387978626\ 338642740369984*c_0110_5^8 + 5173564120770553672671363531023/206183\ 87978626338642740369984*c_0110_5^7 + 12348811990469117654753266794693/82473551914505354570961479936*c_01\ 10_5^6 - 5444800372277169870690155348473/16494710382901070914192295\ 9872*c_0110_5^5 - 15836551065006583955042203434859/3298942076580214\ 18283845919744*c_0110_5^4 - 307300052588632006049618633349/32989420\ 7658021418283845919744*c_0110_5^3 - 194069340504254016966036821529/82473551914505354570961479936*c_0110\ _5^2 - 967460524326749776602982032827/32989420765802141828384591974\ 4*c_0110_5 + 169647424677009751594795138239/32989420765802141828384\ 5919744, c_0101_0 + 21767172918187480684704935722977/738963025153967976955814860\ 22656*c_0110_5^21 + 89154614833080297854786767819033/73896302515396\ 797695581486022656*c_0110_5^20 - 97991355061821237655733904921525/1\ 0556614645056685385083069431808*c_0110_5^19 - 3191999018544446684053094342616543/73896302515396797695581486022656\ *c_0110_5^18 - 185483821651957735045108285199175/184740756288491994\ 23895371505664*c_0110_5^17 + 181607043082283050359060322476245/1319\ 576830632085673135383678976*c_0110_5^16 - 5092381303368433640433470003378429/73896302515396797695581486022656\ *c_0110_5^15 - 7649859404333638077044458094392805/18474075628849199\ 423895371505664*c_0110_5^14 + 29637454395399484275024284772005297/7\ 3896302515396797695581486022656*c_0110_5^13 + 33459553025601343821505331434646437/7389630251539679769558148602265\ 6*c_0110_5^12 - 2056599207432286811369271291647621/5278307322528342\ 692541534715904*c_0110_5^11 - 30467987492039454156880264605621269/7\ 3896302515396797695581486022656*c_0110_5^10 + 19325793790075939161346758791083941/3694815125769839884779074301132\ 8*c_0110_5^9 + 4369403954874418180668029953029045/92370378144245997\ 11947685752832*c_0110_5^8 - 4652565032081748174707576982725213/1847\ 4075628849199423895371505664*c_0110_5^7 - 6364351199191111598273522539516017/18474075628849199423895371505664\ *c_0110_5^6 - 3990001700015888191959924047249873/738963025153967976\ 95581486022656*c_0110_5^5 + 1293927388761874139611161202784063/1847\ 4075628849199423895371505664*c_0110_5^4 + 1858320169262055242436681703033467/73896302515396797695581486022656\ *c_0110_5^3 + 380339416971515464981967379752233/7389630251539679769\ 5581486022656*c_0110_5^2 + 59506179685890053910438474746347/1847407\ 5628849199423895371505664*c_0110_5 + 4468915225674496225100302878333/73896302515396797695581486022656, c_0101_3 - 9419438203787217188237122623565/7389630251539679769558148602\ 2656*c_0110_5^21 - 33555255241771032623524621590309/738963025153967\ 97695581486022656*c_0110_5^20 + 45263256316530262125929133753233/10\ 556614645056685385083069431808*c_0110_5^19 + 1221075878590441272569855144839283/73896302515396797695581486022656\ *c_0110_5^18 - 99027848798607992160418644287557/1847407562884919942\ 3895371505664*c_0110_5^17 - 80426165505574793243304872821041/131957\ 6830632085673135383678976*c_0110_5^16 + 4508540604355606593491004220590905/73896302515396797695581486022656\ *c_0110_5^15 + 2949293950805818321885046556983681/18474075628849199\ 423895371505664*c_0110_5^14 - 19584532190867506611365155104199645/7\ 3896302515396797695581486022656*c_0110_5^13 - 7044774546299967026999716062726337/73896302515396797695581486022656\ *c_0110_5^12 + 1353211251663036187974141195338017/52783073225283426\ 92541534715904*c_0110_5^11 + 6438056814378403401327147376729713/738\ 96302515396797695581486022656*c_0110_5^10 - 11523940212555877785279967230779073/3694815125769839884779074301132\ 8*c_0110_5^9 - 715539467247268763074419339688337/923703781442459971\ 1947685752832*c_0110_5^8 + 3804052896506153577346212117238041/18474\ 075628849199423895371505664*c_0110_5^7 + 1546606463855877021913282712736669/18474075628849199423895371505664\ *c_0110_5^6 - 3423747615168367835611722591755395/738963025153967976\ 95581486022656*c_0110_5^5 - 612696581807178286213420545225939/18474\ 075628849199423895371505664*c_0110_5^4 + 611573672984322017561684545231649/73896302515396797695581486022656*\ c_0110_5^3 - 124949012922043355626507039016949/73896302515396797695\ 581486022656*c_0110_5^2 - 49060605614368167448314862690831/18474075\ 628849199423895371505664*c_0110_5 + 14038156876448636706261204673351/73896302515396797695581486022656, c_0110_5^22 + 4*c_0110_5^21 - 32*c_0110_5^20 - 144*c_0110_5^19 - 17*c_0110_5^18 + 484*c_0110_5^17 - 277*c_0110_5^16 - 1427*c_0110_5^15 + 1525*c_0110_5^14 + 1536*c_0110_5^13 - 1615*c_0110_5^12 - 1399*c_0110_5^11 + 2051*c_0110_5^10 + 1558*c_0110_5^9 - 1212*c_0110_5^8 - 1216*c_0110_5^7 + 35*c_0110_5^6 + 353*c_0110_5^5 + 47*c_0110_5^4 - 14*c_0110_5^3 + 15*c_0110_5^2 + c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB