Magma V2.19-8 Tue Aug 20 2013 16:19:00 on localhost [Seed = 3718004917] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3155 geometric_solution 6.30985506 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -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.508737001955 0.241221063590 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 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 0 -1 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.886419163583 0.519726410561 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 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 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.476614480748 0.863866794468 6 5 4 1 3201 1023 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 -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.476614480748 0.863866794468 4 2 4 3 2031 0132 1302 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.853289921122 0.647679500033 3 5 5 2 1023 3201 2310 0132 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 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.292591086065 1.139617904007 6 6 2 3 1302 2031 0132 2310 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 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.044375531090 0.740757990150 ==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_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], '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_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_5'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_6, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 34809448215426115844445047024992829247661678/2347419567327848637530\ 80542896476479858809*c_0101_5^20 + 528044944884693278579944325766097361089623385/234741956732784863753\ 080542896476479858809*c_0101_5^19 - 3222365391353819359353290722898198252829966876/23474195673278486375\ 3080542896476479858809*c_0101_5^18 + 7995210345210293859253101061000046878271414901/23474195673278486375\ 3080542896476479858809*c_0101_5^17 + 4842799024102104343318909293451918810729721998/23474195673278486375\ 3080542896476479858809*c_0101_5^16 - 59201188451657404648866273244919651904622185758/2347419567327848637\ 53080542896476479858809*c_0101_5^15 + 32514152489225442054833280906256717959142301291/2347419567327848637\ 53080542896476479858809*c_0101_5^14 + 247809314934752557265200446761515617908473271113/234741956732784863\ 753080542896476479858809*c_0101_5^13 - 301392980161323624425512527004638167743971710560/234741956732784863\ 753080542896476479858809*c_0101_5^12 - 441069942980575969693570807730268520373351201413/234741956732784863\ 753080542896476479858809*c_0101_5^11 + 602201293663961586400170837797840811176265002121/234741956732784863\ 753080542896476479858809*c_0101_5^10 + 577776861590549996718333331872912269330713989426/234741956732784863\ 753080542896476479858809*c_0101_5^9 - 574940569428621078281883406654947544945895067920/234741956732784863\ 753080542896476479858809*c_0101_5^8 - 587270112111064283946885167383420911722473060480/234741956732784863\ 753080542896476479858809*c_0101_5^7 + 141295686066105547833523161607269333337458695257/234741956732784863\ 753080542896476479858809*c_0101_5^6 + 247197637594848433297717552967800531974454229457/234741956732784863\ 753080542896476479858809*c_0101_5^5 + 14153522286675753535354372662161397314790279151/2347419567327848637\ 53080542896476479858809*c_0101_5^4 - 40187662529318026652543861713805717775832559362/2347419567327848637\ 53080542896476479858809*c_0101_5^3 - 6209437662898273623484392199247995179813959147/23474195673278486375\ 3080542896476479858809*c_0101_5^2 + 1906524278899659578675180139708594514064411716/23474195673278486375\ 3080542896476479858809*c_0101_5 + 277366267064215555366533656704156\ 633995512067/234741956732784863753080542896476479858809, c_0011_0 - 1, c_0011_1 + 119759240776360778390372735647670433918/26375500756492681320\ 57084751645803144481*c_0101_5^20 - 1815367658656881159446225154539306291427/26375500756492681320570847\ 51645803144481*c_0101_5^19 + 11035997686781960771665471745608225545\ 158/2637550075649268132057084751645803144481*c_0101_5^18 - 26894558113927770772025986995004867645305/2637550075649268132057084\ 751645803144481*c_0101_5^17 - 2027074290599984228059443159936987967\ 3238/2637550075649268132057084751645803144481*c_0101_5^16 + 213809761487268575049088093872270579656898/263755007564926813205708\ 4751645803144481*c_0101_5^15 - 115504201836603762798082704578888051\ 619372/2637550075649268132057084751645803144481*c_0101_5^14 - 901760700597750233121541024585882987298221/263755007564926813205708\ 4751645803144481*c_0101_5^13 + 110884003024492844065723755082954312\ 6010760/2637550075649268132057084751645803144481*c_0101_5^12 + 1670405103895833404078913167195599450142947/26375500756492681320570\ 84751645803144481*c_0101_5^11 - 24927054518802176081703320210075184\ 77718687/2637550075649268132057084751645803144481*c_0101_5^10 - 1965143220190095660996418252433317494300804/26375500756492681320570\ 84751645803144481*c_0101_5^9 + 256417620502492426416747451031914748\ 7981756/2637550075649268132057084751645803144481*c_0101_5^8 + 1877624107530086373481279168197257820472032/26375500756492681320570\ 84751645803144481*c_0101_5^7 - 987424824073546675113891800061002435\ 110917/2637550075649268132057084751645803144481*c_0101_5^6 - 757175951954150407771519671294435308523326/263755007564926813205708\ 4751645803144481*c_0101_5^5 + 1510634950837499589822927621883743562\ 95228/2637550075649268132057084751645803144481*c_0101_5^4 + 113488583971867036159229240222608149465795/263755007564926813205708\ 4751645803144481*c_0101_5^3 - 3252903620263232123670062354662180695\ 6642/2637550075649268132057084751645803144481*c_0101_5^2 - 4864252807265214970368293114864068314581/26375500756492681320570847\ 51645803144481*c_0101_5 + 2347563951565808617859653743831873149827/\ 2637550075649268132057084751645803144481, c_0011_3 - 760037188385558010606976735492041169770/26375500756492681320\ 57084751645803144481*c_0101_5^20 + 11721681046132248086042584411676372901327/2637550075649268132057084\ 751645803144481*c_0101_5^19 - 7332414142417911397416848885263048320\ 8061/2637550075649268132057084751645803144481*c_0101_5^18 + 193178008444111058379192772182889200715203/263755007564926813205708\ 4751645803144481*c_0101_5^17 + 561329571059943835202302481333309324\ 87697/2637550075649268132057084751645803144481*c_0101_5^16 - 1302721669815746871533716989474184161299284/26375500756492681320570\ 84751645803144481*c_0101_5^15 + 10298816418253379494994986502805959\ 24644758/2637550075649268132057084751645803144481*c_0101_5^14 + 5144837765220332357005634223104856383671898/26375500756492681320570\ 84751645803144481*c_0101_5^13 - 78165036888807833561730130325210378\ 22892441/2637550075649268132057084751645803144481*c_0101_5^12 - 7690545936809612299138600141032395164944459/26375500756492681320570\ 84751645803144481*c_0101_5^11 + 14829863677770741249240791174704330\ 968520218/2637550075649268132057084751645803144481*c_0101_5^10 + 9212317799246414581240586911070928650792264/26375500756492681320570\ 84751645803144481*c_0101_5^9 - 145015309330922691834490358016760017\ 77442178/2637550075649268132057084751645803144481*c_0101_5^8 - 9763052431522213565867776538015463709088365/26375500756492681320570\ 84751645803144481*c_0101_5^7 + 511008005610707189240816970422314278\ 9910899/2637550075649268132057084751645803144481*c_0101_5^6 + 4614304152221302671887607031895107373749719/26375500756492681320570\ 84751645803144481*c_0101_5^5 - 432808249058627135057407519279920203\ 111147/2637550075649268132057084751645803144481*c_0101_5^4 - 835914773918068277171535775460553068765154/263755007564926813205708\ 4751645803144481*c_0101_5^3 - 4418522617696020728883843373872628147\ 3213/2637550075649268132057084751645803144481*c_0101_5^2 + 40333433047353845513747694393566980584243/2637550075649268132057084\ 751645803144481*c_0101_5 + 3672438347530082437893501745221573741723\ /2637550075649268132057084751645803144481, c_0011_6 + 447493591052958071270506356007629947207/26375500756492681320\ 57084751645803144481*c_0101_5^20 - 7078208299870594823785694383803298723500/26375500756492681320570847\ 51645803144481*c_0101_5^19 + 45984714017790611993334687881054071534\ 036/2637550075649268132057084751645803144481*c_0101_5^18 - 132148292058666734945058237760878484774644/263755007564926813205708\ 4751645803144481*c_0101_5^17 + 204991475952147468047894423886212586\ 78745/2637550075649268132057084751645803144481*c_0101_5^16 + 756417781351223005894333558898855959862668/263755007564926813205708\ 4751645803144481*c_0101_5^15 - 910794855037237844589939922459458293\ 891259/2637550075649268132057084751645803144481*c_0101_5^14 - 2644340246818590813353305554044091017591559/26375500756492681320570\ 84751645803144481*c_0101_5^13 + 56589881904176655497654338129473827\ 18119356/2637550075649268132057084751645803144481*c_0101_5^12 + 2168547618081870234335687944530269436499944/26375500756492681320570\ 84751645803144481*c_0101_5^11 - 95692515324955079276791923800759208\ 60026858/2637550075649268132057084751645803144481*c_0101_5^10 - 1341965561926056894748651566658016303940668/26375500756492681320570\ 84751645803144481*c_0101_5^9 + 905729250332267279234510462756373766\ 1926804/2637550075649268132057084751645803144481*c_0101_5^8 + 1721001557329134591707298758749548155508547/26375500756492681320570\ 84751645803144481*c_0101_5^7 - 381086695546486758033758941894012369\ 0388564/2637550075649268132057084751645803144481*c_0101_5^6 - 836023903367689984481486556180920365820575/263755007564926813205708\ 4751645803144481*c_0101_5^5 + 8886642544605873991906142306507300165\ 17530/2637550075649268132057084751645803144481*c_0101_5^4 + 145235541380457661568460827170527491166476/263755007564926813205708\ 4751645803144481*c_0101_5^3 - 1077810894318480213103007559800457239\ 34074/2637550075649268132057084751645803144481*c_0101_5^2 - 6866543913790814385046463026255289106246/26375500756492681320570847\ 51645803144481*c_0101_5 + 2366099010209023341197321391702696735527/\ 2637550075649268132057084751645803144481, c_0101_0 - 70524562907079928608993287327207397458/263755007564926813205\ 7084751645803144481*c_0101_5^20 + 108920115273960206776289103795487\ 1174049/2637550075649268132057084751645803144481*c_0101_5^19 - 6825214412063206569892075371894576623951/26375500756492681320570847\ 51645803144481*c_0101_5^18 + 18029093160241042929875042207075708793\ 739/2637550075649268132057084751645803144481*c_0101_5^17 + 5183591002311997484992759590358179364415/26375500756492681320570847\ 51645803144481*c_0101_5^16 - 12254286139734205727015678850742422487\ 5974/2637550075649268132057084751645803144481*c_0101_5^15 + 100994750095871994413911334048609165424778/263755007564926813205708\ 4751645803144481*c_0101_5^14 + 477726213693794377602703667316608414\ 407320/2637550075649268132057084751645803144481*c_0101_5^13 - 752742107796336336624552332434701862959005/263755007564926813205708\ 4751645803144481*c_0101_5^12 - 691696335342587160600967211503489721\ 708211/2637550075649268132057084751645803144481*c_0101_5^11 + 1458694306472304400309399842188573290680287/26375500756492681320570\ 84751645803144481*c_0101_5^10 + 72873457426684858587922609245936917\ 9219699/2637550075649268132057084751645803144481*c_0101_5^9 - 1408987613339026136134732143330297329789876/26375500756492681320570\ 84751645803144481*c_0101_5^8 - 746203925633717301734532985247215163\ 451991/2637550075649268132057084751645803144481*c_0101_5^7 + 527154647432235222800312367950067303470054/263755007564926813205708\ 4751645803144481*c_0101_5^6 + 3078981136087686717652917778960088328\ 97333/2637550075649268132057084751645803144481*c_0101_5^5 - 70077972052628737735405119615375443430790/2637550075649268132057084\ 751645803144481*c_0101_5^4 - 42092660161207558201496544696028514126\ 712/2637550075649268132057084751645803144481*c_0101_5^3 + 1541531648982097370547242076273591132091/26375500756492681320570847\ 51645803144481*c_0101_5^2 - 745185806726732568162830813106881034553\ 0/2637550075649268132057084751645803144481*c_0101_5 + 9558748629557838745074750336083053077/26375500756492681320570847516\ 45803144481, c_0101_3 - 70259131577672822629722739485095458262/263755007564926813205\ 7084751645803144481*c_0101_5^20 + 126159826919732213466827812596184\ 2140265/2637550075649268132057084751645803144481*c_0101_5^19 - 9612463908293676697253611918730602253327/26375500756492681320570847\ 51645803144481*c_0101_5^18 + 36414107837073887776877118624420731626\ 377/2637550075649268132057084751645803144481*c_0101_5^17 - 48852575423311204805515359772153159671247/2637550075649268132057084\ 751645803144481*c_0101_5^16 - 1093505939490881258624234466282478483\ 98019/2637550075649268132057084751645803144481*c_0101_5^15 + 401294477644393363960795463088764365948694/263755007564926813205708\ 4751645803144481*c_0101_5^14 + 866063398886403608727266129126939777\ 19814/2637550075649268132057084751645803144481*c_0101_5^13 - 1782031400179876198427547836701224160228964/26375500756492681320570\ 84751645803144481*c_0101_5^12 + 16671447830506109463858478659143328\ 95520088/2637550075649268132057084751645803144481*c_0101_5^11 + 2191679153115836309146960129340416110675292/26375500756492681320570\ 84751645803144481*c_0101_5^10 - 32429957178434890129564303801278495\ 97506472/2637550075649268132057084751645803144481*c_0101_5^9 - 1826511595018792291590211836606666995129123/26375500756492681320570\ 84751645803144481*c_0101_5^8 + 311748146762121252417487635492742233\ 1206640/2637550075649268132057084751645803144481*c_0101_5^7 + 1242685685328485238123092774017598007519973/26375500756492681320570\ 84751645803144481*c_0101_5^6 - 143802421474032003507621735542148827\ 8561958/2637550075649268132057084751645803144481*c_0101_5^5 - 647742173897812809053723376884938279910401/263755007564926813205708\ 4751645803144481*c_0101_5^4 + 2658332109872596728571500200852431179\ 69231/2637550075649268132057084751645803144481*c_0101_5^3 + 123854164068792062604944535522901022428738/263755007564926813205708\ 4751645803144481*c_0101_5^2 - 1307338310820179333634122925340182723\ 5494/2637550075649268132057084751645803144481*c_0101_5 - 4136038128406032716012031488115501682510/26375500756492681320570847\ 51645803144481, c_0101_5^21 - 15*c_0101_5^20 + 90*c_0101_5^19 - 214*c_0101_5^18 - 178*c_0101_5^17 + 1677*c_0101_5^16 - 646*c_0101_5^15 - 7276*c_0101_5^14 + 7452*c_0101_5^13 + 14132*c_0101_5^12 - 15151*c_0101_5^11 - 19513*c_0101_5^10 + 13703*c_0101_5^9 + 19642*c_0101_5^8 - 1209*c_0101_5^7 - 7761*c_0101_5^6 - 1588*c_0101_5^5 + 1080*c_0101_5^4 + 364*c_0101_5^3 - 26*c_0101_5^2 - 16*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB