Magma V2.19-8 Tue Aug 20 2013 16:14:26 on localhost [Seed = 3633923289] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s434 geometric_solution 4.74445360 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.387984152880 0.227866923039 2 0 3 0 0132 2310 0132 0132 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 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.695619210766 0.897651739531 1 4 3 3 0132 0132 3012 1230 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 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 1.289114427329 1.244926219045 2 2 4 1 3012 1230 0132 0132 0 0 0 0 0 0 1 -1 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 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 1.289114427329 1.244926219045 5 2 5 3 0132 0132 1023 0132 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 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.686337292030 0.818406803623 4 5 4 5 0132 2310 1023 3201 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 0 0 0 0 0 0 0 0.650200846951 0.218100380394 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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' : 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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_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_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], '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_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0011_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_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 2677773457544983293993727422564906119646718497728575112/13061649159\ 3325980985139427251425426624889816181297681*c_0101_4^26 - 24680669953474905261516886561585105749909535119075876386/1306164915\ 93325980985139427251425426624889816181297681*c_0101_4^25 - 96400112911646631514624643466565036097042460994414070455/2612329831\ 86651961970278854502850853249779632362595362*c_0101_4^24 + 1097230793751008221407056133543473479186268500594383631435/26123298\ 3186651961970278854502850853249779632362595362*c_0101_4^23 - 419354004357352385889954489039613284563997790663491724535/261232983\ 186651961970278854502850853249779632362595362*c_0101_4^22 - 13134841517086157910046815890824569612491855448754745414321/2612329\ 83186651961970278854502850853249779632362595362*c_0101_4^21 + 4741180230611000608811592023057385200192833057920291767314/13061649\ 1593325980985139427251425426624889816181297681*c_0101_4^20 + 42575901219560060145472759905649741166646830235063256851773/1306164\ 91593325980985139427251425426624889816181297681*c_0101_4^19 - 46930331796056732332722395980495076649302607294104727664823/2612329\ 83186651961970278854502850853249779632362595362*c_0101_4^18 - 157625675626027380054578985475629382502509208797580398634326/130616\ 491593325980985139427251425426624889816181297681*c_0101_4^17 + 55911096171406089347669236008209984876835625439649809815607/1306164\ 91593325980985139427251425426624889816181297681*c_0101_4^16 + 232944013257201289421783646150325796197065347286254846637569/870776\ 61062217320656759618167616951083259877454198454*c_0101_4^15 - 51361586822588238170747069389696410775830053514728405759033/8707766\ 1062217320656759618167616951083259877454198454*c_0101_4^14 - 467912836751779409833620433209279546821092946502737615843365/130616\ 491593325980985139427251425426624889816181297681*c_0101_4^13 + 23102919935758496296754027689625182204719638645176983764236/4353883\ 0531108660328379809083808475541629938727099227*c_0101_4^12 + 736339055760284294569669692913943958241651530264209841978329/261232\ 983186651961970278854502850853249779632362595362*c_0101_4^11 - 49605755479046476212807400864079366360732143691128480813855/1306164\ 91593325980985139427251425426624889816181297681*c_0101_4^10 - 105130390992150710502933595321252920019090672571847540390545/870776\ 61062217320656759618167616951083259877454198454*c_0101_4^9 + 68136361832999527591357184900717494232921842087233489934939/2612329\ 83186651961970278854502850853249779632362595362*c_0101_4^8 + 66676054349516842157863241934181762885826430352584258401401/2612329\ 83186651961970278854502850853249779632362595362*c_0101_4^7 - 5455460985662091525999093478375080368274744653064283725890/43538830\ 531108660328379809083808475541629938727099227*c_0101_4^6 - 1294494650444571528009581131950180572146206435797723499687/43538830\ 531108660328379809083808475541629938727099227*c_0101_4^5 + 1263644199170931392912368648502491634724383878557361553136/43538830\ 531108660328379809083808475541629938727099227*c_0101_4^4 + 344779792618020841343599399446884668075744542256492119613/130616491\ 593325980985139427251425426624889816181297681*c_0101_4^3 - 865701987882683059878845235768253247834872841774039637535/261232983\ 186651961970278854502850853249779632362595362*c_0101_4^2 - 5083674546280657483355813461755739885719428790144003904/43538830531\ 108660328379809083808475541629938727099227*c_0101_4 + 48585025500513586392725949060953470632438867500833429543/2612329831\ 86651961970278854502850853249779632362595362, c_0011_0 - 1, c_0011_1 + 328734453992453063052780611156416755174673972603702/25611076\ 78300509431081165240224027973037055219241131*c_0101_4^26 - 3160946211875770159842969926163918691788494512449057/25611076783005\ 09431081165240224027973037055219241131*c_0101_4^25 - 4638275271279760702597900144638306046352509118453536/25611076783005\ 09431081165240224027973037055219241131*c_0101_4^24 + 69022111260920480761833124887700372179174655111286518/2561107678300\ 509431081165240224027973037055219241131*c_0101_4^23 - 53553582749874139597719823706706898269174200992074436/2561107678300\ 509431081165240224027973037055219241131*c_0101_4^22 - 781088046614606344629207164631876455113916771735936900/256110767830\ 0509431081165240224027973037055219241131*c_0101_4^21 + 890987975075676071864633007780612244129624123324695407/256110767830\ 0509431081165240224027973037055219241131*c_0101_4^20 + 4828065469662623753238619560143811101797657013559227249/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^19 - 4763918103783818633913899419788614140926917006433381629/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^18 - 17188988911608726763157751975296635392100389151476706575/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^17 + 13504788722766850107152194810558528495781117186793882762/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^16 + 36629767262450550743283210459890453193635791844422139510/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^15 - 23472650838560272469662387649477653562652340169927322558/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^14 - 46368098735140678413567701632079036647464837845419612909/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^13 + 25925809316272755601166570389718065962173235058615190065/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^12 + 32975756634750937816401544068675682437121544586372274080/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^11 - 17920662469263010123443652135122803813449902894810501132/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^10 - 11197224290095088658806996516777917331767825482898000781/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^9 + 7596929432983996138415837448571912570647302697457755435/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^8 + 947837600991741399120362937342680687447493840799979490/256110767830\ 0509431081165240224027973037055219241131*c_0101_4^7 - 1903503574333827600039819396964269612838498194592069519/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^6 + 190536123872723863661488015179137211424255664415724977/256110767830\ 0509431081165240224027973037055219241131*c_0101_4^5 + 299395951494663125370227408567581488606550561486329203/256110767830\ 0509431081165240224027973037055219241131*c_0101_4^4 - 42059721688834444592757135702703838806474696815826923/2561107678300\ 509431081165240224027973037055219241131*c_0101_4^3 - 34672926880052971910374180078578300007326858870677988/2561107678300\ 509431081165240224027973037055219241131*c_0101_4^2 + 3679507884705044209142411049833760147667990632764357/25611076783005\ 09431081165240224027973037055219241131*c_0101_4 + 176923136303813049858498663765899861399123787187627/256110767830050\ 9431081165240224027973037055219241131, c_0011_3 - 232991304863042249535716548983422793651590100689830/25611076\ 78300509431081165240224027973037055219241131*c_0101_4^26 + 2258338588643315368922364942161677248749974591518222/25611076783005\ 09431081165240224027973037055219241131*c_0101_4^25 + 3124925932844202877592157799648287991449612640524128/25611076783005\ 09431081165240224027973037055219241131*c_0101_4^24 - 49273442483880545211656887506180332602560410054747595/2561107678300\ 509431081165240224027973037055219241131*c_0101_4^23 + 41562092542183189955370004672759155362338684330242519/2561107678300\ 509431081165240224027973037055219241131*c_0101_4^22 + 552808037442629553420388929743475462966969154686223067/256110767830\ 0509431081165240224027973037055219241131*c_0101_4^21 - 675540660022986974523520837694191007263209334252928440/256110767830\ 0509431081165240224027973037055219241131*c_0101_4^20 - 3397873173295575917830577447213555103928073056844254076/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^19 + 3662998307396198278687854305187223615091301285565771732/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^18 + 12071804069133470956455568897126235741829754997404157819/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^17 - 10627612470991396848640219200820499223875944845152173253/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^16 - 25733112216513598591872673639905826757990577956436424457/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^15 + 18970199528106315351725382449268670249562663075683691248/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^14 + 32624737151385880095303403438054280348453304132333868195/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^13 - 21511083729789413458391737558714937181545609555075992369/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^12 - 23255494103783831271653912028200026821083338594187477180/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^11 + 15188441508500544669133466452558067505203811468288794161/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^10 + 7911881523650118846365844762137009153983401831095590742/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^9 - 6446793740109013074943302932611272098852075236803010023/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^8 - 639139697877382159036670391143062101147571519453935245/256110767830\ 0509431081165240224027973037055219241131*c_0101_4^7 + 1557294635016470971776941148147575454609162001016351432/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^6 - 170983880832182168104559101419603138740904002164483476/256110767830\ 0509431081165240224027973037055219241131*c_0101_4^5 - 240440707811750121277753837668348572469953915325616854/256110767830\ 0509431081165240224027973037055219241131*c_0101_4^4 + 44108093689726039221809399765661516764016672841133351/2561107678300\ 509431081165240224027973037055219241131*c_0101_4^3 + 36879488678734403569400726997334708143057493783619296/2561107678300\ 509431081165240224027973037055219241131*c_0101_4^2 - 3978682196652833355228895272761575956454704654681795/25611076783005\ 09431081165240224027973037055219241131*c_0101_4 - 2662635752861015327483414441787925635123617114001042/25611076783005\ 09431081165240224027973037055219241131, c_0101_0 + 375798681807061770238453495163306888692932802840501/25611076\ 78300509431081165240224027973037055219241131*c_0101_4^26 - 3454861531795869634375642346557800227040193907975408/25611076783005\ 09431081165240224027973037055219241131*c_0101_4^25 - 6796329056843324100604166007818388322814712879505248/25611076783005\ 09431081165240224027973037055219241131*c_0101_4^24 + 76365593606089370249277667176251038354127921590158802/2561107678300\ 509431081165240224027973037055219241131*c_0101_4^23 - 28361083652140763180979691279058714817446616846126920/2561107678300\ 509431081165240224027973037055219241131*c_0101_4^22 - 912273266074213887633155975883218678768989869284053369/256110767830\ 0509431081165240224027973037055219241131*c_0101_4^21 + 636967361902153591821169436387037967585445709872172406/256110767830\ 0509431081165240224027973037055219241131*c_0101_4^20 + 5876241037618513448150238055857049390099114666589963343/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^19 - 3040379333233219701506027889387350244220862362216074156/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^18 - 21495149231830997230801902310504723203983488623426507758/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^17 + 6786481556078339130634708946580502795410335521548517894/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^16 + 46771209508711889779161898508036107121195133521852665864/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^15 - 8392651028326711391118722840945871486549377371066126841/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^14 - 60920581418180647454271166340777332441452703684654613406/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^13 + 6563555781451194872878376593566370823716988396652273415/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^12 + 46039563617177895314489770206096292901394645996269184623/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^11 - 4695173150448232705953395521605528471714120691711026247/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^10 - 18672315260592318595866579251656555712710184440284715428/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^9 + 4017176627967664295975823038652809284197379550803851396/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^8 + 3887652896793548220758234295388347446906898362462850824/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^7 - 2154255515750086037256086122201521205018802172015919931/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^6 - 565582253516804220825105308089324046360849614021747495/256110767830\ 0509431081165240224027973037055219241131*c_0101_4^5 + 472339256284872208069008310884734304128913795664286260/256110767830\ 0509431081165240224027973037055219241131*c_0101_4^4 + 25491479281802629557473711701717817822183563308706767/2561107678300\ 509431081165240224027973037055219241131*c_0101_4^3 - 51362794265699718012269892291602557651670940735885592/2561107678300\ 509431081165240224027973037055219241131*c_0101_4^2 + 2810619811196340420543902932837554638703674440995847/25611076783005\ 09431081165240224027973037055219241131*c_0101_4 + 3211346430202159355640254139575434781129039923088487/25611076783005\ 09431081165240224027973037055219241131, c_0101_3 + 75395061743307153456249462202002199312561892427716/256110767\ 8300509431081165240224027973037055219241131*c_0101_4^26 - 774298704819175194623309221991013755336140903763316/256110767830050\ 9431081165240224027973037055219241131*c_0101_4^25 - 605293611633688278204384260037802543212717927623485/256110767830050\ 9431081165240224027973037055219241131*c_0101_4^24 + 16667756748840295669711884247592460116727836855900324/2561107678300\ 509431081165240224027973037055219241131*c_0101_4^23 - 22312100876312378767688719096388114353241349399081267/2561107678300\ 509431081165240224027973037055219241131*c_0101_4^22 - 174234312298277719394586352604997689395192357634626603/256110767830\ 0509431081165240224027973037055219241131*c_0101_4^21 + 321920675857164275801480066943287723693149487444937105/256110767830\ 0509431081165240224027973037055219241131*c_0101_4^20 + 1012285870375324589540454072410982576739343067221160377/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^19 - 1833782061878971027859345484097573770789727766880536921/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^18 - 3478727044024342760013459718472627064808018748976715375/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^17 + 5746356632723154002294584840246108003533963146381838776/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^16 + 7291280330482639220978933107983805347180737528191919695/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^15 - 10992557564474438850606886135905573233170792615153769805/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^14 - 9109523926806202981361185204664897755198872088441070762/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^13 + 12962419534217622822764466264536417518532017631319462386/2561107678\ 300509431081165240224027973037055219241131*c_0101_4^12 + 6316102761318078394346240625283440243130683521912765152/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^11 - 9021802678977109075128937022636307241606632620734435876/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^10 - 1945439459915796960422443451371884141503873503478649101/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^9 + 3386522939304488012379438532915995129261881711440404911/25611076783\ 00509431081165240224027973037055219241131*c_0101_4^8 - 49367791422698623011292367811408361831823831210091812/2561107678300\ 509431081165240224027973037055219241131*c_0101_4^7 - 599949026628754773885184218685953082244348911794311153/256110767830\ 0509431081165240224027973037055219241131*c_0101_4^6 + 157570494835602130315342094387284655549306338721572655/256110767830\ 0509431081165240224027973037055219241131*c_0101_4^5 + 66171942161598537922826724764142427935031209439071591/2561107678300\ 509431081165240224027973037055219241131*c_0101_4^4 - 31662231331835814541311265582108119985449241101879157/2561107678300\ 509431081165240224027973037055219241131*c_0101_4^3 - 11698939904034910271452195224813959469549898256054076/2561107678300\ 509431081165240224027973037055219241131*c_0101_4^2 - 1982701034423443985089115006794448341382998358959373/25611076783005\ 09431081165240224027973037055219241131*c_0101_4 + 826939744150939220280230458341831203974647268911450/256110767830050\ 9431081165240224027973037055219241131, c_0101_4^27 - 9*c_0101_4^26 - 20*c_0101_4^25 + 201*c_0101_4^24 - 34*c_0101_4^23 - 2470*c_0101_4^22 + 1242*c_0101_4^21 + 16284*c_0101_4^20 - 5353*c_0101_4^19 - 60742*c_0101_4^18 + 8345*c_0101_4^17 + 134869*c_0101_4^16 - 1272*c_0101_4^15 - 180542*c_0101_4^14 - 10358*c_0101_4^13 + 142328*c_0101_4^12 + 9264*c_0101_4^11 - 62042*c_0101_4^10 + 1342*c_0101_4^9 + 14600*c_0101_4^8 - 3863*c_0101_4^7 - 2502*c_0101_4^6 + 1137*c_0101_4^5 + 362*c_0101_4^4 - 128*c_0101_4^3 - 31*c_0101_4^2 + 7*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB