Magma V2.19-8 Tue Aug 20 2013 16:18:06 on localhost [Seed = 391547859] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2326 geometric_solution 5.71618218 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 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.487274312812 0.296620297303 2 0 3 0 0132 2310 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 1 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.015354513359 0.614880003608 1 4 3 5 0132 0132 3012 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 0 0 0 0 0 0 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.039357252064 0.873882276531 5 2 4 1 1023 1230 1023 0132 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 0 0 0 1 0 0 -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 1.039357252064 0.873882276531 4 2 3 4 3012 0132 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444405437337 0.651077731949 6 3 2 6 0132 1023 0132 3201 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 -1 0 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.644408256724 0.398206298642 5 5 6 6 0132 2310 1230 3012 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.539335392958 0.643332903295 ==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_0101_1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : 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' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_1']), '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_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1630887864648286543803287617221544071684701050615576/14072339898940\ 377213639289033516396392488405070551*c_0101_6^22 - 1501313854164648265061170573951155502323220611811492/14072339898940\ 377213639289033516396392488405070551*c_0101_6^21 - 44044237156856471090318173496180263945320096730904942/1407233989894\ 0377213639289033516396392488405070551*c_0101_6^20 + 12721959840042975068577723061384036890637614515917918/1407233989894\ 0377213639289033516396392488405070551*c_0101_6^19 + 73113390972936309156932474717946133162965455985360475/2010334271277\ 196744805612719073770913212629295793*c_0101_6^18 + 214038271909397724262887777303853784947039153549228389/140723398989\ 40377213639289033516396392488405070551*c_0101_6^17 - 514588880338149368507999814621272557793867385030103496/201033427127\ 7196744805612719073770913212629295793*c_0101_6^16 - 2887136544264082120670994532070975575254021953463590657/14072339898\ 940377213639289033516396392488405070551*c_0101_6^15 + 17883472513272101808847598401250123800756830560716097124/1407233989\ 8940377213639289033516396392488405070551*c_0101_6^14 + 13734019304256754796707525442374330783629378630346253715/1407233989\ 8940377213639289033516396392488405070551*c_0101_6^13 - 61618884384294403689767288818401198423942211373855675059/1407233989\ 8940377213639289033516396392488405070551*c_0101_6^12 - 30975061375661026846474904086202774892668224162455695581/1407233989\ 8940377213639289033516396392488405070551*c_0101_6^11 + 137727391301409832842163921789807233332117022900178859804/140723398\ 98940377213639289033516396392488405070551*c_0101_6^10 + 23871585177253295567802481059279955793490659729538958900/1407233989\ 8940377213639289033516396392488405070551*c_0101_6^9 - 167843573805229045868837969382218262912890113191422173283/140723398\ 98940377213639289033516396392488405070551*c_0101_6^8 + 11747022369394305472468266883824682897461086061289786508/1407233989\ 8940377213639289033516396392488405070551*c_0101_6^7 + 13083109459261462517499311829067296538079897199796129166/2010334271\ 277196744805612719073770913212629295793*c_0101_6^6 - 18163362392052829715272635352219470788196039450851550481/1407233989\ 8940377213639289033516396392488405070551*c_0101_6^5 - 18383471586526099062399934356556649931796695213932481610/1407233989\ 8940377213639289033516396392488405070551*c_0101_6^4 + 3533072676220792865667736855725701438876419265771642928/14072339898\ 940377213639289033516396392488405070551*c_0101_6^3 + 1408700704102852266891162062707866080307830542992636887/14072339898\ 940377213639289033516396392488405070551*c_0101_6^2 - 21418880958109468215653204466652690986097968822279088/2010334271277\ 196744805612719073770913212629295793*c_0101_6 - 24438864164136331803087381680808772661726684169408066/1407233989894\ 0377213639289033516396392488405070551, c_0011_0 - 1, c_0011_1 + 2053329791299980499532261164680450577130003485/1689356530485\ 0392813492543857762780783299405847*c_0101_6^22 - 1451721431044266379695220947534055398563359401/16893565304850392813\ 492543857762780783299405847*c_0101_6^21 - 55566788704801489162428299201935817302522561221/1689356530485039281\ 3492543857762780783299405847*c_0101_6^20 + 4075460090714513433792814921511022226617857676/16893565304850392813\ 492543857762780783299405847*c_0101_6^19 + 639920359332289995756049324896042575056498142022/168935653048503928\ 13492543857762780783299405847*c_0101_6^18 + 404813964840829049448002568867608302472157618428/168935653048503928\ 13492543857762780783299405847*c_0101_6^17 - 4388533951323084661180978685541106391361545872994/16893565304850392\ 813492543857762780783299405847*c_0101_6^16 - 4514329982711651566879642248688325952346676475943/16893565304850392\ 813492543857762780783299405847*c_0101_6^15 + 21156783648107189273842504913363439701857869802727/1689356530485039\ 2813492543857762780783299405847*c_0101_6^14 + 21257094577486522525252970155924054597641686518265/1689356530485039\ 2813492543857762780783299405847*c_0101_6^13 - 71233778515926413497014308475808869670428424949811/1689356530485039\ 2813492543857762780783299405847*c_0101_6^12 - 51651105071161399266451423843932066302128190536681/1689356530485039\ 2813492543857762780783299405847*c_0101_6^11 + 156559843597166332316316149987651957265552735957608/168935653048503\ 92813492543857762780783299405847*c_0101_6^10 + 56919776089783417501910048017056275414899057442863/1689356530485039\ 2813492543857762780783299405847*c_0101_6^9 - 186873592637096817197641501555892989535189337001355/168935653048503\ 92813492543857762780783299405847*c_0101_6^8 - 16304963149518408774059799365162014662915017128771/1689356530485039\ 2813492543857762780783299405847*c_0101_6^7 + 97993362855353129105190439360951753023536444421173/1689356530485039\ 2813492543857762780783299405847*c_0101_6^6 - 7245971079454117968941626173931500030417448991639/16893565304850392\ 813492543857762780783299405847*c_0101_6^5 - 18396931130769538397647840077301194961892893429100/1689356530485039\ 2813492543857762780783299405847*c_0101_6^4 + 1561249922954996707549823553347753370287056841758/16893565304850392\ 813492543857762780783299405847*c_0101_6^3 + 1286354537406843359595507588174799963429274830019/16893565304850392\ 813492543857762780783299405847*c_0101_6^2 - 45328224950775458459608703535474732233428817325/1689356530485039281\ 3492543857762780783299405847*c_0101_6 - 13791189971747187669170664222843727593383966583/1689356530485039281\ 3492543857762780783299405847, c_0011_3 + 3682648030260790244420607948848576716343458564/1689356530485\ 0392813492543857762780783299405847*c_0101_6^22 - 2927733053110566845927803829131406021833500772/16893565304850392813\ 492543857762780783299405847*c_0101_6^21 - 99562184446953138372986967739973454147308702739/1689356530485039281\ 3492543857762780783299405847*c_0101_6^20 + 16120094431126008515802014862223317034133114272/1689356530485039281\ 3492543857762780783299405847*c_0101_6^19 + 1150630535313793851291512019308873892892833939741/16893565304850392\ 813492543857762780783299405847*c_0101_6^18 + 626205248588461252137393632337773153777126825075/168935653048503928\ 13492543857762780783299405847*c_0101_6^17 - 7974970908119832597381841032544831837612300744139/16893565304850392\ 813492543857762780783299405847*c_0101_6^16 - 7445773659934018052931408486587431004413371467832/16893565304850392\ 813492543857762780783299405847*c_0101_6^15 + 38917422611131304047240567218225328126455230535913/1689356530485039\ 2813492543857762780783299405847*c_0101_6^14 + 35174250658718048657668072705514902147503015442520/1689356530485039\ 2813492543857762780783299405847*c_0101_6^13 - 132283495070832959118621485677193746179576851052470/168935653048503\ 92813492543857762780783299405847*c_0101_6^12 - 83176669968804648178832010848916682862737172733906/1689356530485039\ 2813492543857762780783299405847*c_0101_6^11 + 292650630589144948334955200408925669341696328220164/168935653048503\ 92813492543857762780783299405847*c_0101_6^10 + 81942204800615642994223270683803332460081284306165/1689356530485039\ 2813492543857762780783299405847*c_0101_6^9 - 351857768351110031465657639857523368512710646500179/168935653048503\ 92813492543857762780783299405847*c_0101_6^8 - 5901757032558896348733995070080078840027742945879/16893565304850392\ 813492543857762780783299405847*c_0101_6^7 + 186736617645514229446409123386439562282852123651793/168935653048503\ 92813492543857762780783299405847*c_0101_6^6 - 24761963277904500924805872564114244776418339290145/1689356530485039\ 2813492543857762780783299405847*c_0101_6^5 - 35365012899984753920240908067159002667760473779115/1689356530485039\ 2813492543857762780783299405847*c_0101_6^4 + 5008236916627746124464959326133293847972240651405/16893565304850392\ 813492543857762780783299405847*c_0101_6^3 + 2427086807593799973623046690360102369799572939430/16893565304850392\ 813492543857762780783299405847*c_0101_6^2 - 184946592470150121931379767118973179750706369959/168935653048503928\ 13492543857762780783299405847*c_0101_6 - 36035473702640539704904641786352534691062811759/1689356530485039281\ 3492543857762780783299405847, c_0101_0 - 711997830958734057054954048328510797601871640/16893565304850\ 392813492543857762780783299405847*c_0101_6^22 + 343194654762318357735773149881863719577229058/168935653048503928134\ 92543857762780783299405847*c_0101_6^21 + 19120419792819980869097651665548539551737993101/1689356530485039281\ 3492543857762780783299405847*c_0101_6^20 + 3118539708175511059964604520554656506629283679/16893565304850392813\ 492543857762780783299405847*c_0101_6^19 - 215141935603895402306045470832500815507622433698/168935653048503928\ 13492543857762780783299405847*c_0101_6^18 - 191129513033570166669557036905680070682740300868/168935653048503928\ 13492543857762780783299405847*c_0101_6^17 + 1408322414393744509131983019565369856619292698189/16893565304850392\ 813492543857762780783299405847*c_0101_6^16 + 1859392319340194103351184425612187629042510162456/16893565304850392\ 813492543857762780783299405847*c_0101_6^15 - 6418022295009365224293932795622771490181591127299/16893565304850392\ 813492543857762780783299405847*c_0101_6^14 - 8461415915615522220212703374649396418723457998756/16893565304850392\ 813492543857762780783299405847*c_0101_6^13 + 20294493727856095984541809520509698314721544514754/1689356530485039\ 2813492543857762780783299405847*c_0101_6^12 + 20793470178947058367982094918037334941764507463193/1689356530485039\ 2813492543857762780783299405847*c_0101_6^11 - 40967288357359102909082715329335535347339754165057/1689356530485039\ 2813492543857762780783299405847*c_0101_6^10 - 25371901079697424005060361509541478913370172247388/1689356530485039\ 2813492543857762780783299405847*c_0101_6^9 + 39896630918700497827892705062836595169102501676550/1689356530485039\ 2813492543857762780783299405847*c_0101_6^8 + 12742760293462402351130107093276022233690131620176/1689356530485039\ 2813492543857762780783299405847*c_0101_6^7 - 8258979400536670550694178868055144511401164685800/16893565304850392\ 813492543857762780783299405847*c_0101_6^6 - 2293935628263832053663405861117365477833846687084/16893565304850392\ 813492543857762780783299405847*c_0101_6^5 - 5675462489356675781665191930147613543919844210455/16893565304850392\ 813492543857762780783299405847*c_0101_6^4 + 924878539628442601565506866531206162588274382759/168935653048503928\ 13492543857762780783299405847*c_0101_6^3 + 1426002951506812526745945675164391516841719177392/16893565304850392\ 813492543857762780783299405847*c_0101_6^2 - 15595247127276157550105561781333998389483308976/1689356530485039281\ 3492543857762780783299405847*c_0101_6 - 47453473766302839611873173110961960308604562271/1689356530485039281\ 3492543857762780783299405847, c_0101_1 - 2348413176639945760825728080846858799342620997/1689356530485\ 0392813492543857762780783299405847*c_0101_6^22 + 2385273831307836856694244235994916673553972575/16893565304850392813\ 492543857762780783299405847*c_0101_6^21 + 63285635517685255814205213273871129880954399004/1689356530485039281\ 3492543857762780783299405847*c_0101_6^20 - 24332675974503946532662415133092832949374663728/1689356530485039281\ 3492543857762780783299405847*c_0101_6^19 - 737135724156109142002624341025381180659533029510/168935653048503928\ 13492543857762780783299405847*c_0101_6^18 - 239837314905277808215750042468115431729792424969/168935653048503928\ 13492543857762780783299405847*c_0101_6^17 + 5237695458778632310781970691845400891557881904742/16893565304850392\ 813492543857762780783299405847*c_0101_6^16 + 3699041333645028434705295801633193794151350211667/16893565304850392\ 813492543857762780783299405847*c_0101_6^15 - 26278110223350500154191191376574042699960354325547/1689356530485039\ 2813492543857762780783299405847*c_0101_6^14 - 17622804231498302137153947171219954669218014548308/1689356530485039\ 2813492543857762780783299405847*c_0101_6^13 + 91150059663916530796037757511250125407964702659375/1689356530485039\ 2813492543857762780783299405847*c_0101_6^12 + 37552714967316924523716544867527447072501882864281/1689356530485039\ 2813492543857762780783299405847*c_0101_6^11 - 204157649204836134291764778340843869711209476740131/168935653048503\ 92813492543857762780783299405847*c_0101_6^10 - 19453955967066369026548702881173417584656486617914/1689356530485039\ 2813492543857762780783299405847*c_0101_6^9 + 248210644026121337229911521229833954049016319918721/168935653048503\ 92813492543857762780783299405847*c_0101_6^8 - 33287849639497101419622439908629524934730634488547/1689356530485039\ 2813492543857762780783299405847*c_0101_6^7 - 134047664265537863146091079071789212909797097701328/168935653048503\ 92813492543857762780783299405847*c_0101_6^6 + 32838777324066502425373868281589105415662572094940/1689356530485039\ 2813492543857762780783299405847*c_0101_6^5 + 26015308979232819420845310660300643764835057203324/1689356530485039\ 2813492543857762780783299405847*c_0101_6^4 - 5418282870488541217804685659466897876196280106454/16893565304850392\ 813492543857762780783299405847*c_0101_6^3 - 2023229857594351157380292476924421718708804616743/16893565304850392\ 813492543857762780783299405847*c_0101_6^2 + 156470857038244073919696001196517979143058398601/168935653048503928\ 13492543857762780783299405847*c_0101_6 + 37861634210873842820629018274204373812601803020/1689356530485039281\ 3492543857762780783299405847, c_0101_3 - 415901194447569275948482165949898365974096806/16893565304850\ 392813492543857762780783299405847*c_0101_6^22 + 1439775256871506678315190373494183013521520355/16893565304850392813\ 492543857762780783299405847*c_0101_6^21 + 10423308747025869971870502656567893776571925670/1689356530485039281\ 3492543857762780783299405847*c_0101_6^20 - 31795054769431586590964883951315079247055706237/1689356530485039281\ 3492543857762780783299405847*c_0101_6^19 - 126789149086508653288784432745175728855921789661/168935653048503928\ 13492543857762780783299405847*c_0101_6^18 + 274466869348316182381644608118039266516693806479/168935653048503928\ 13492543857762780783299405847*c_0101_6^17 + 1108594177839851448199859438058835392240383032964/16893565304850392\ 813492543857762780783299405847*c_0101_6^16 - 1531758983155583387074022246087311303016848804934/16893565304850392\ 813492543857762780783299405847*c_0101_6^15 - 6759643888969147485569266872431463138108208004129/16893565304850392\ 813492543857762780783299405847*c_0101_6^14 + 7493772399401697873602716067589568013167440950122/16893565304850392\ 813492543857762780783299405847*c_0101_6^13 + 26055141699938576171509977829086498833324072696426/1689356530485039\ 2813492543857762780783299405847*c_0101_6^12 - 29220262548555819077830152433473500477946029128911/1689356530485039\ 2813492543857762780783299405847*c_0101_6^11 - 59702133689556591296415263548177689362964572286081/1689356530485039\ 2813492543857762780783299405847*c_0101_6^10 + 75313149127558474261810949912423764747685576970104/1689356530485039\ 2813492543857762780783299405847*c_0101_6^9 + 67816261317487137215554909621456183621034652277670/1689356530485039\ 2813492543857762780783299405847*c_0101_6^8 - 99084893104837511283794122048837223902473943591256/1689356530485039\ 2813492543857762780783299405847*c_0101_6^7 - 27082144059050146248591927494351209778906717805753/1689356530485039\ 2813492543857762780783299405847*c_0101_6^6 + 53079129610378792237158743563375992704617927390368/1689356530485039\ 2813492543857762780783299405847*c_0101_6^5 - 955238507377421181278003846857723677174195323062/168935653048503928\ 13492543857762780783299405847*c_0101_6^4 - 8562101408104122187962665505096281975763075917105/16893565304850392\ 813492543857762780783299405847*c_0101_6^3 + 683702921117893614276462304203102351521289221567/168935653048503928\ 13492543857762780783299405847*c_0101_6^2 + 346267119131948726622357342511551114919100197219/168935653048503928\ 13492543857762780783299405847*c_0101_6 - 47078483311139005901385313378683615356392406387/1689356530485039281\ 3492543857762780783299405847, c_0101_6^23 - c_0101_6^22 - 27*c_0101_6^21 + 10*c_0101_6^20 + 315*c_0101_6^19 + 106*c_0101_6^18 - 2240*c_0101_6^17 - 1606*c_0101_6^16 + 11251*c_0101_6^15 + 7684*c_0101_6^14 - 39159*c_0101_6^13 - 16624*c_0101_6^12 + 88364*c_0101_6^11 + 9419*c_0101_6^10 - 109398*c_0101_6^9 + 13934*c_0101_6^8 + 61964*c_0101_6^7 - 15545*c_0101_6^6 - 13742*c_0101_6^5 + 3547*c_0101_6^4 + 1294*c_0101_6^3 - 266*c_0101_6^2 - 39*c_0101_6 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB