Magma V2.19-8 Tue Aug 20 2013 16:18:44 on localhost [Seed = 1208603965] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2904 geometric_solution 6.10989370 oriented_manifold CS_known -0.0000000000000001 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 -1 1 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.463793802692 0.666415817399 0 0 3 2 0132 3201 0132 0132 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 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.526977191769 1.422480833073 4 5 1 6 0132 0132 0132 0132 0 0 0 0 0 1 -1 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 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.117435894587 0.701720220972 5 4 6 1 3201 0132 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.117435894587 0.701720220972 2 3 6 6 0132 0132 3012 1230 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 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.597842942098 0.889481501726 5 2 5 3 2310 0132 3201 2310 0 0 0 0 0 -1 1 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.431837955277 1.287167944822 4 4 2 3 3012 1230 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.030147866917 1.301925845670 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(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_1100_1'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0101_3'], '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' : d['c_0101_4'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_6'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_6'], '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_0011_6']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0011_6'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0011_6']), '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_1, c_0101_3, c_0101_4, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 40971898033474303972494109258118367/1898016693813555762136853272505\ 735*c_1100_1^22 + 528026313427035936316258193782683411/379603338762\ 7111524273706545011470*c_1100_1^21 + 114409484808866326716506799552683537/379603338762711152427370654501\ 1470*c_1100_1^20 - 5317344645264946117401062114048276157/3796033387\ 627111524273706545011470*c_1100_1^19 - 1223496753646460527419962767259829739/18980166938135557621368532725\ 05735*c_1100_1^18 + 25806140863630489870262024017680083496/18980166\ 93813555762136853272505735*c_1100_1^17 + 37385845933967533277149909540094981598/1898016693813555762136853272\ 505735*c_1100_1^16 - 232451669802121461613892596703002340541/379603\ 3387627111524273706545011470*c_1100_1^15 - 626664179933900935356854743346189009377/379603338762711152427370654\ 5011470*c_1100_1^14 + 108147439967321066478090282153020676501/18980\ 16693813555762136853272505735*c_1100_1^13 + 444186541380373508466065064205560102195/759206677525422304854741309\ 002294*c_1100_1^12 + 345709216099132129023262088756654400045/759206\ 677525422304854741309002294*c_1100_1^11 - 3226441854770697551999339936036392403447/37960333876271115242737065\ 45011470*c_1100_1^10 - 3505419725156992505767756248869630087154/189\ 8016693813555762136853272505735*c_1100_1^9 - 665026369802969659906134756842380670501/759206677525422304854741309\ 002294*c_1100_1^8 + 2180658553217247343147138953874377298771/189801\ 6693813555762136853272505735*c_1100_1^7 + 7584156244891673015647686267645633961771/37960333876271115242737065\ 45011470*c_1100_1^6 + 4771220413796657706390253163684621673931/3796\ 033387627111524273706545011470*c_1100_1^5 + 1027857516463559656456493167702935770741/37960333876271115242737065\ 45011470*c_1100_1^4 - 177736934662483140825052241963816036851/18980\ 16693813555762136853272505735*c_1100_1^3 - 114648156295447931910724838387252895047/189801669381355576213685327\ 2505735*c_1100_1^2 - 11021189354351122140951598723726681251/1898016\ 693813555762136853272505735*c_1100_1 + 2798346303529846704805351018481913404/18980166938135557621368532725\ 05735, c_0011_0 - 1, c_0011_2 - 6056011787998457789180949454508/4629309009301355517406959201\ 2335*c_1100_1^22 - 8520106162532397055670854012602/9258618018602711\ 034813918402467*c_1100_1^21 - 5514983758909832975567731051634/92586\ 18018602711034813918402467*c_1100_1^20 + 409358142731129801367368649535827/46293090093013555174069592012335*\ c_1100_1^19 + 396356584302748857810242802137099/4629309009301355517\ 4069592012335*c_1100_1^18 - 3948191030211286042731864299800344/4629\ 3090093013555174069592012335*c_1100_1^17 - 7648187207243500192998389618953031/46293090093013555174069592012335\ *c_1100_1^16 + 16285405124436567129097074777660688/4629309009301355\ 5174069592012335*c_1100_1^15 + 57601631208900602731588369208407734/\ 46293090093013555174069592012335*c_1100_1^14 - 236009627659626318126904649137342/9258618018602711034813918402467*c\ _1100_1^13 - 190782308179745982851244118827661572/46293090093013555\ 174069592012335*c_1100_1^12 - 195549513957982443941756057356209031/\ 46293090093013555174069592012335*c_1100_1^11 + 240440256497380916634249883362618526/462930900930135551740695920123\ 35*c_1100_1^10 + 659467842328517638132137671585001626/4629309009301\ 3555174069592012335*c_1100_1^9 + 3922123897250190802120914747457709\ 96/46293090093013555174069592012335*c_1100_1^8 - 346805672819773484355116488766018706/462930900930135551740695920123\ 35*c_1100_1^7 - 726154174076686367731458775627806422/46293090093013\ 555174069592012335*c_1100_1^6 - 49457940586988164616558308951098491\ 4/46293090093013555174069592012335*c_1100_1^5 - 24110948072312159997486118973158508/9258618018602711034813918402467\ *c_1100_1^4 + 32720951906423316242577166898061003/46293090093013555\ 174069592012335*c_1100_1^3 + 24661836103312167937756228244872444/46\ 293090093013555174069592012335*c_1100_1^2 + 552015181995970388038092140267248/9258618018602711034813918402467*c\ _1100_1 - 572745902775066383166217629929379/46293090093013555174069\ 592012335, c_0011_6 + 57149527475855710559511/497302174449215040388195*c_1100_1^22 + 68800183153972589196817/99460434889843008077639*c_1100_1^21 - 11166844297592088573809/99460434889843008077639*c_1100_1^20 - 3626024032836790103382079/497302174449215040388195*c_1100_1^19 - 198397432918911097737123/497302174449215040388195*c_1100_1^18 + 35430987679197001168868893/497302174449215040388195*c_1100_1^17 + 37292446087623141163144297/497302174449215040388195*c_1100_1^16 - 171554774538175329730151306/497302174449215040388195*c_1100_1^15 - 359612630780948328124953958/497302174449215040388195*c_1100_1^14 + 54083608813850801269294534/99460434889843008077639*c_1100_1^13 + 1379586828931468109475989439/497302174449215040388195*c_1100_1^12 + 689827564229801273825272377/497302174449215040388195*c_1100_1^11 - 2311739354249476681183487187/497302174449215040388195*c_1100_1^10 - 3867201990748148592485917822/497302174449215040388195*c_1100_1^9 - 1129686662373116959225339117/497302174449215040388195*c_1100_1^8 + 2972471136432993821729756247/497302174449215040388195*c_1100_1^7 + 4046886855858781085142979774/497302174449215040388195*c_1100_1^6 + 2178762469185276051341971758/497302174449215040388195*c_1100_1^5 + 64310871958770258596008282/99460434889843008077639*c_1100_1^4 - 211942126763512093061330681/497302174449215040388195*c_1100_1^3 - 100447289499222464128264308/497302174449215040388195*c_1100_1^2 - 1372162899894732788508403/99460434889843008077639*c_1100_1 + 2608100203912071494698693/497302174449215040388195, c_0101_1 + 177099915794703729760259/497302174449215040388195*c_1100_1^2\ 2 + 223949804448815617824213/99460434889843008077639*c_1100_1^21 + 21950294499860701132863/99460434889843008077639*c_1100_1^20 - 11499980304848302653189936/497302174449215040388195*c_1100_1^19 - 3814638170438933614369237/497302174449215040388195*c_1100_1^18 + 112001389203878705129910622/497302174449215040388195*c_1100_1^17 + 147106792124029106726165388/497302174449215040388195*c_1100_1^16 - 520154850932734507417541194/497302174449215040388195*c_1100_1^15 - 1283375647653635692053396797/497302174449215040388195*c_1100_1^14 + 125388711600152782570049751/99460434889843008077639*c_1100_1^13 + 4683560989669963538743434796/497302174449215040388195*c_1100_1^12 + 3122981783451302923732353753/497302174449215040388195*c_1100_1^11 - 7246375730689959617331400478/497302174449215040388195*c_1100_1^10 - 14071903686562916045452842848/497302174449215040388195*c_1100_1^9 - 5564451906461447348616296593/497302174449215040388195*c_1100_1^8 + 9654431062305633416615070983/497302174449215040388195*c_1100_1^7 + 14942471092408069920031589941/497302174449215040388195*c_1100_1^6 + 8742317026262228943307469307/497302174449215040388195*c_1100_1^5 + 320185732194936750742440522/99460434889843008077639*c_1100_1^4 - 744709655396621900585939279/497302174449215040388195*c_1100_1^3 - 408518523815740516151167987/497302174449215040388195*c_1100_1^2 - 6781740616610970028831290/99460434889843008077639*c_1100_1 + 9869196751494924414869312/497302174449215040388195, c_0101_3 - 2723265103395839885963560374951/4629309009301355517406959201\ 2335*c_1100_1^22 - 3033277835988984444880595659080/9258618018602711\ 034813918402467*c_1100_1^21 + 1863728295333411696291494287284/92586\ 18018602711034813918402467*c_1100_1^20 + 167754605271980130475655581948004/46293090093013555174069592012335*\ c_1100_1^19 - 64462580360383838499714655471577/46293090093013555174\ 069592012335*c_1100_1^18 - 1648435180443704967461068159948128/46293\ 090093013555174069592012335*c_1100_1^17 - 1051773121068281367498995020599812/46293090093013555174069592012335\ *c_1100_1^16 + 8540544218260023966152476042822821/46293090093013555\ 174069592012335*c_1100_1^15 + 13352951524496715465225663969368633/4\ 6293090093013555174069592012335*c_1100_1^14 - 3650197599093366715218734093938216/9258618018602711034813918402467*\ c_1100_1^13 - 57369275124026301805026124998817954/46293090093013555\ 174069592012335*c_1100_1^12 - 9199708055255960975262658644190492/46\ 293090093013555174069592012335*c_1100_1^11 + 112403879443042478998086799042403392/462930900930135551740695920123\ 35*c_1100_1^10 + 137286660367047492087980694976959112/4629309009301\ 3555174069592012335*c_1100_1^9 - 1607641897524683850328502205282938\ /46293090093013555174069592012335*c_1100_1^8 - 141016144699031532567281731648237572/462930900930135551740695920123\ 35*c_1100_1^7 - 136642907038066768073357881621758619/46293090093013\ 555174069592012335*c_1100_1^6 - 47865965346994599173331374992095403\ /46293090093013555174069592012335*c_1100_1^5 + 1386981073320614233593738874835320/9258618018602711034813918402467*\ c_1100_1^4 + 10048444259763164368724984272120746/462930900930135551\ 74069592012335*c_1100_1^3 + 1761519070401575299847424972534658/4629\ 3090093013555174069592012335*c_1100_1^2 - 74674437932488212335021138809108/9258618018602711034813918402467*c_\ 1100_1 - 74540239214240966325386124535928/4629309009301355517406959\ 2012335, c_0101_4 + 11365572466829327504637733745801/462930900930135551740695920\ 12335*c_1100_1^22 + 14178616057116559630478428118486/92586180186027\ 11034813918402467*c_1100_1^21 + 518922579351522312137037074963/9258\ 618018602711034813918402467*c_1100_1^20 - 729110839371755409591000707657944/46293090093013555174069592012335*\ c_1100_1^19 - 188524310083949595237738112242613/4629309009301355517\ 4069592012335*c_1100_1^18 + 7098433069856267443741441610141343/4629\ 3090093013555174069592012335*c_1100_1^17 + 8879510259116438959887746758720922/46293090093013555174069592012335\ *c_1100_1^16 - 33092945582360607081505969358656921/4629309009301355\ 5174069592012335*c_1100_1^15 - 78995876534039839317935850209138658/\ 46293090093013555174069592012335*c_1100_1^14 + 8269745205208984928930098128264081/9258618018602711034813918402467*\ c_1100_1^13 + 289488233835674452728914851260879644/4629309009301355\ 5174069592012335*c_1100_1^12 + 189478547227313180306319270860563232\ /46293090093013555174069592012335*c_1100_1^11 - 447166583264577556272102997998641622/462930900930135551740695920123\ 35*c_1100_1^10 - 868489262517170851074599806323146182/4629309009301\ 3555174069592012335*c_1100_1^9 - 3549945124144234449898632195400216\ 92/46293090093013555174069592012335*c_1100_1^8 + 583042873910960032804187525020799982/462930900930135551740695920123\ 35*c_1100_1^7 + 929445757403257057342917977043871624/46293090093013\ 555174069592012335*c_1100_1^6 + 56268682885734457376054500192840170\ 8/46293090093013555174069592012335*c_1100_1^5 + 23207621180506464845466989859191347/9258618018602711034813918402467\ *c_1100_1^4 - 42122636763805793440488516140477211/46293090093013555\ 174069592012335*c_1100_1^3 - 26455365343038442094193886179459998/46\ 293090093013555174069592012335*c_1100_1^2 - 537242726650624862702170526606209/9258618018602711034813918402467*c\ _1100_1 + 582438956300008449883729028117363/46293090093013555174069\ 592012335, c_1100_1^23 + 7*c_1100_1^22 + 5*c_1100_1^21 - 64*c_1100_1^20 - 66*c_1100_1^19 + 612*c_1100_1^18 + 1263*c_1100_1^17 - 2317*c_1100_1^16 - 9215*c_1100_1^15 - 1676*c_1100_1^14 + 28459*c_1100_1^13 + 36290*c_1100_1^12 - 27178*c_1100_1^11 - 107321*c_1100_1^10 - 89041*c_1100_1^9 + 29473*c_1100_1^8 + 122103*c_1100_1^7 + 110886*c_1100_1^6 + 46101*c_1100_1^5 + 3019*c_1100_1^4 - 5315*c_1100_1^3 - 1931*c_1100_1^2 - 97*c_1100_1 + 41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB