Magma V2.19-8 Tue Aug 20 2013 16:18:52 on localhost [Seed = 3221103305] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3034 geometric_solution 6.20509056 oriented_manifold CS_known 0.0000000000000001 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 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.462766840651 0.425143845111 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 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.365376163747 0.651441046600 1 4 5 6 0132 0132 0132 0132 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 -1 0 1 0 0 0 0 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.639414842970 0.694760054140 6 5 4 1 0132 1023 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.639414842970 0.694760054140 4 2 3 4 3201 0132 1023 2310 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 0 -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 0.064197872788 0.880782890166 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 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 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.414746658653 0.512870860928 3 6 2 6 0132 2310 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 0 -1 1 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 1.169332135552 0.904408790254 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : 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_1'], 'c_0101_5' : d['c_0101_4'], '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_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' : negation(d['c_0011_3']), '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_4'], 'c_1001_2' : d['c_0101_4'], '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_0'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], '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_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 881354141002387754064498890263165944873/540995252322047818013743112\ 1966772957*c_0101_4^21 - 9560261989774669223845926658491038605551/5\ 409952523220478180137431121966772957*c_0101_4^20 - 16618721659952376165363631591351399625408/5409952523220478180137431\ 121966772957*c_0101_4^19 + 4758196485718762045266611460218633533463\ 4/5409952523220478180137431121966772957*c_0101_4^18 + 170370872144635891365924240434812923101116/540995252322047818013743\ 1121966772957*c_0101_4^17 + 111635771807043205998372237305886783028\ 098/5409952523220478180137431121966772957*c_0101_4^16 - 133942895448839039910702674458622623992768/540995252322047818013743\ 1121966772957*c_0101_4^15 - 230424981014210110935234112105055089085\ 567/5409952523220478180137431121966772957*c_0101_4^14 - 384059803552379883946555104251910752284924/540995252322047818013743\ 1121966772957*c_0101_4^13 - 358311556516100317513121587394807968053\ 5/38920521749787612806744108791127863*c_0101_4^12 + 351075206268850638414946611208055292718241/540995252322047818013743\ 1121966772957*c_0101_4^11 + 965599754018016080234430238393923783770\ 886/5409952523220478180137431121966772957*c_0101_4^10 + 129995832504558698002171013349149268813841/540995252322047818013743\ 1121966772957*c_0101_4^9 - 3372525439972338881385014598493070976504\ 96/5409952523220478180137431121966772957*c_0101_4^8 - 70196551266541764069496921042631500383614/5409952523220478180137431\ 121966772957*c_0101_4^7 - 23916935391126353004520298018927089288650\ /5409952523220478180137431121966772957*c_0101_4^6 - 23733128632900576438436568686637511662892/5409952523220478180137431\ 121966772957*c_0101_4^5 - 10791499999174666260559515182872147775576\ /5409952523220478180137431121966772957*c_0101_4^4 - 5807607160952533065772175117109817229523/54099525232204781801374311\ 21966772957*c_0101_4^3 + 2984087798713043118636717560621815127682/5\ 409952523220478180137431121966772957*c_0101_4^2 + 1237502677591355748724128090385232997695/54099525232204781801374311\ 21966772957*c_0101_4 + 75830655625695442844483647744788752311/54099\ 52523220478180137431121966772957, c_0011_0 - 1, c_0011_1 + 1675341243809922748443164534133927/9492810182875027513840026\ 53442143*c_0101_4^21 + 17198582348840414294919875770392192/94928101\ 8287502751384002653442143*c_0101_4^20 + 21300350327682306926114688086909844/9492810182875027513840026534421\ 43*c_0101_4^19 - 105839792128885670795948019381699558/9492810182875\ 02751384002653442143*c_0101_4^18 - 266433206075931193735009637391288372/949281018287502751384002653442\ 143*c_0101_4^17 - 39519539740153411768676372120718741/9492810182875\ 02751384002653442143*c_0101_4^16 + 326662576669387712471289266223618220/949281018287502751384002653442\ 143*c_0101_4^15 + 261825703264595763789087244399403794/949281018287\ 502751384002653442143*c_0101_4^14 + 520097226395821195598817456195515088/949281018287502751384002653442\ 143*c_0101_4^13 + 586876402723966236040601820568653789/949281018287\ 502751384002653442143*c_0101_4^12 - 1105218222756951528361460290337681479/94928101828750275138400265344\ 2143*c_0101_4^11 - 1303734599370678327801051574677545696/9492810182\ 87502751384002653442143*c_0101_4^10 + 693374450941354126582428237747982367/949281018287502751384002653442\ 143*c_0101_4^9 + 504689972968419959843239076039053707/9492810182875\ 02751384002653442143*c_0101_4^8 - 241282274857594538221784789940750\ 116/949281018287502751384002653442143*c_0101_4^7 + 64067272063435651720888991027479460/9492810182875027513840026534421\ 43*c_0101_4^6 + 20540803774587210025813318515419367/949281018287502\ 751384002653442143*c_0101_4^5 + 387713958420987204260801835736906/9\ 49281018287502751384002653442143*c_0101_4^4 + 8685786469067992928084907950894409/94928101828750275138400265344214\ 3*c_0101_4^3 - 7587399458581202090635064353718550/94928101828750275\ 1384002653442143*c_0101_4^2 + 2419788410055500918657763387049572/94\ 9281018287502751384002653442143*c_0101_4 + 754634750349493341180639183430452/949281018287502751384002653442143\ , c_0011_3 + 1212153430214163686958924466382427/9492810182875027513840026\ 53442143*c_0101_4^21 + 12877890162757425415054893396037368/94928101\ 8287502751384002653442143*c_0101_4^20 + 19795848162296604793835525375325532/9492810182875027513840026534421\ 43*c_0101_4^19 - 71832764503668879187897331963350345/94928101828750\ 2751384002653442143*c_0101_4^18 - 221365445462375726632784876183816\ 761/949281018287502751384002653442143*c_0101_4^17 - 93344734812826657974887702330602954/9492810182875027513840026534421\ 43*c_0101_4^16 + 239115423226291518446163314451459153/9492810182875\ 02751384002653442143*c_0101_4^15 + 279704276905858523313505300622109005/949281018287502751384002653442\ 143*c_0101_4^14 + 430975509986047436764731395387320800/949281018287\ 502751384002653442143*c_0101_4^13 + 543149930690898541043693355644068271/949281018287502751384002653442\ 143*c_0101_4^12 - 674634494287170503122663110166883932/949281018287\ 502751384002653442143*c_0101_4^11 - 1261756515871741963049544135374733071/94928101828750275138400265344\ 2143*c_0101_4^10 + 203314798601375370613937737370680129/94928101828\ 7502751384002653442143*c_0101_4^9 + 615193915139238145217317754706729985/949281018287502751384002653442\ 143*c_0101_4^8 - 52459474206217487396756390280455050/94928101828750\ 2751384002653442143*c_0101_4^7 - 4710457999258023335659037857062498\ 7/949281018287502751384002653442143*c_0101_4^6 + 30143890344282467058835200128309862/9492810182875027513840026534421\ 43*c_0101_4^5 + 8403303421282741960612599027297479/9492810182875027\ 51384002653442143*c_0101_4^4 + 7945960730041815000500837609456214/9\ 49281018287502751384002653442143*c_0101_4^3 - 5139200430636817905682935895069505/94928101828750275138400265344214\ 3*c_0101_4^2 - 1338641378900273883394326363898633/94928101828750275\ 1384002653442143*c_0101_4 + 1347659915741715438824652132790853/9492\ 81018287502751384002653442143, c_0101_0 + 2529409529805330711600137005660959/9492810182875027513840026\ 53442143*c_0101_4^21 + 26567530115239985283009587037958392/94928101\ 8287502751384002653442143*c_0101_4^20 + 38173181159800421041282743893234303/9492810182875027513840026534421\ 43*c_0101_4^19 - 153754763835203497378711830998581899/9492810182875\ 02751384002653442143*c_0101_4^18 - 442001850235753234625033662896434973/949281018287502751384002653442\ 143*c_0101_4^17 - 144930967593113641992903737814554547/949281018287\ 502751384002653442143*c_0101_4^16 + 503046612741348301556254895958821346/949281018287502751384002653442\ 143*c_0101_4^15 + 513128181963001981201762209594913755/949281018287\ 502751384002653442143*c_0101_4^14 + 845730584788885187901882578031688563/949281018287502751384002653442\ 143*c_0101_4^13 + 1045699773051200601663082209758218823/94928101828\ 7502751384002653442143*c_0101_4^12 - 1507355929562147709240247256930083286/94928101828750275138400265344\ 2143*c_0101_4^11 - 2408620604067120547269044830439911516/9492810182\ 87502751384002653442143*c_0101_4^10 + 696233819097867867121771394334277482/949281018287502751384002653442\ 143*c_0101_4^9 + 1131618105327072084853020201945051519/949281018287\ 502751384002653442143*c_0101_4^8 - 245641007501295083966007780924167362/949281018287502751384002653442\ 143*c_0101_4^7 - 42956505234895886211737307695988626/94928101828750\ 2751384002653442143*c_0101_4^6 + 5801909965947159896184566702628759\ 7/949281018287502751384002653442143*c_0101_4^5 + 8704678705392937431026601265098954/94928101828750275138400265344214\ 3*c_0101_4^4 + 16485996539977923676361063527052524/9492810182875027\ 51384002653442143*c_0101_4^3 - 12338440053266586336792440607572641/\ 949281018287502751384002653442143*c_0101_4^2 + 625925363454576987751947468616660/949281018287502751384002653442143\ *c_0101_4 + 2432260592916173799248850332276155/94928101828750275138\ 4002653442143, c_0101_1 - 4240791882850546860772392910845630/9492810182875027513840026\ 53442143*c_0101_4^21 - 43917555449849795832388957308939831/94928101\ 8287502751384002653442143*c_0101_4^20 - 57822455902010345142137972438629731/9492810182875027513840026534421\ 43*c_0101_4^19 + 263300923834368037870421022029742181/9492810182875\ 02751384002653442143*c_0101_4^18 + 698886732934278537050981727631986179/949281018287502751384002653442\ 143*c_0101_4^17 + 158846711294668940656257211526363182/949281018287\ 502751384002653442143*c_0101_4^16 - 822284528633936225018058592573771525/949281018287502751384002653442\ 143*c_0101_4^15 - 734998360549740620726605847739573793/949281018287\ 502751384002653442143*c_0101_4^14 - 1365631854189875064682714251518530958/94928101828750275138400265344\ 2143*c_0101_4^13 - 1600566070533080332689429829242768816/9492810182\ 87502751384002653442143*c_0101_4^12 + 2666754686500368196613979670323854807/94928101828750275138400265344\ 2143*c_0101_4^11 + 3558468452433500315854587918515643154/9492810182\ 87502751384002653442143*c_0101_4^10 - 1489582649055152611271484776362550686/94928101828750275138400265344\ 2143*c_0101_4^9 - 1465430279331424954568959067043765230/94928101828\ 7502751384002653442143*c_0101_4^8 + 532232880681968138115606356750181762/949281018287502751384002653442\ 143*c_0101_4^7 - 90422946386446252664315058509568091/94928101828750\ 2751384002653442143*c_0101_4^6 - 8221673401516707062807749746742613\ 0/949281018287502751384002653442143*c_0101_4^5 - 7160653759945214125756638063435573/94928101828750275138400265344214\ 3*c_0101_4^4 - 20963081377029717544235550147422494/9492810182875027\ 51384002653442143*c_0101_4^3 + 18748611384367785936871920798956253/\ 949281018287502751384002653442143*c_0101_4^2 - 4091968032308570367274497035362942/94928101828750275138400265344214\ 3*c_0101_4 - 1437723855835771827365038406848890/9492810182875027513\ 84002653442143, c_0101_3 + 4897110371321343712705205630581743/9492810182875027513840026\ 53442143*c_0101_4^21 + 51302763445494156727428033559687470/94928101\ 8287502751384002653442143*c_0101_4^20 + 72855604449191273954203432949947802/9492810182875027513840026534421\ 43*c_0101_4^19 - 296068955254359254989399182772552266/9492810182875\ 02751384002653442143*c_0101_4^18 - 843181754167845531554957347867493530/949281018287502751384002653442\ 143*c_0101_4^17 - 279259847107021276263851128070515509/949281018287\ 502751384002653442143*c_0101_4^16 + 925718012698763460246371366574771455/949281018287502751384002653442\ 143*c_0101_4^15 + 955555088070343007651539942178903204/949281018287\ 502751384002653442143*c_0101_4^14 + 1676658795724925032940066668485215178/94928101828750275138400265344\ 2143*c_0101_4^13 + 2045392861409312702649742928597073081/9492810182\ 87502751384002653442143*c_0101_4^12 - 2853370797302165551388416923895989814/94928101828750275138400265344\ 2143*c_0101_4^11 - 4466806403353157442087588751259952305/9492810182\ 87502751384002653442143*c_0101_4^10 + 1247561486694398964473832385815118981/94928101828750275138400265344\ 2143*c_0101_4^9 + 1872716954256333838735280530052481616/94928101828\ 7502751384002653442143*c_0101_4^8 - 446543717374263904891673399793628508/949281018287502751384002653442\ 143*c_0101_4^7 + 49359827505853976733698089034065658/94928101828750\ 2751384002653442143*c_0101_4^6 + 1205576368166297104377301014353636\ 59/949281018287502751384002653442143*c_0101_4^5 + 15045465576787857563450709260440544/9492810182875027513840026534421\ 43*c_0101_4^4 + 24242092550177616592303799432652372/949281018287502\ 751384002653442143*c_0101_4^3 - 22071515650604412041561053457691571\ /949281018287502751384002653442143*c_0101_4^2 + 2316272201431399172210447837516360/94928101828750275138400265344214\ 3*c_0101_4 + 3224930749068274264088471982268373/9492810182875027513\ 84002653442143, c_0101_4^22 + 11*c_0101_4^21 + 61/3*c_0101_4^20 - 53*c_0101_4^19 - 613/3*c_0101_4^18 - 436/3*c_0101_4^17 + 494/3*c_0101_4^16 + 889/3*c_0101_4^15 + 439*c_0101_4^14 + 1771/3*c_0101_4^13 - 1127/3*c_0101_4^12 - 1231*c_0101_4^11 - 617/3*c_0101_4^10 + 545*c_0101_4^9 + 105*c_0101_4^8 - 148/3*c_0101_4^7 + 30*c_0101_4^6 + 47/3*c_0101_4^5 + 19/3*c_0101_4^4 - 2*c_0101_4^3 - 2*c_0101_4^2 + c_0101_4 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB