Magma V2.19-8 Tue Aug 20 2013 16:14:26 on localhost [Seed = 1410713685] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s422 geometric_solution 4.71939273 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564005750431 0.116647236006 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.735691751616 0.235008020361 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.977680100320 1.029288182630 5 2 4 4 0132 0132 2310 3120 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 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.335354735130 0.750729175297 3 3 2 5 3120 3201 0132 1023 0 0 0 0 0 -1 0 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 -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.335354735130 0.750729175297 3 5 5 4 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 1 -1 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 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 1.050750697120 1.016100418759 ==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_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_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_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(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_0101_3']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(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_4, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 47581674454747913650956618925125428/3867446044555844413547725699158\ 9*c_0101_5^23 - 163960416487847042435255973486904321/38674460445558\ 444135477256991589*c_0101_5^22 + 3322893080103121316991637850864848\ 873/77348920891116888270954513983178*c_0101_5^21 + 4252254208985878423565505938528417831/77348920891116888270954513983\ 178*c_0101_5^20 - 17178677604491288840528832296395910504/3867446044\ 5558444135477256991589*c_0101_5^19 - 1432092541106586749083842891008223153/85943245434574320301060571092\ 42*c_0101_5^18 + 73599904577800531103274590548399937800/38674460445\ 558444135477256991589*c_0101_5^17 + 15343598207473055861371277130129437389/7734892089111688827095451398\ 3178*c_0101_5^16 - 409013391070915289502312273124559205335/77348920\ 891116888270954513983178*c_0101_5^15 - 10061550683514516750331708639188972077/7734892089111688827095451398\ 3178*c_0101_5^14 + 773198196068871781655969024555799317839/77348920\ 891116888270954513983178*c_0101_5^13 - 45376517278811949574954566813823574279/7734892089111688827095451398\ 3178*c_0101_5^12 - 521514656342407127224398126497163815102/38674460\ 445558444135477256991589*c_0101_5^11 + 29963636749147888340864639402598379429/3867446044555844413547725699\ 1589*c_0101_5^10 + 485332061308859948422962907439887533266/38674460\ 445558444135477256991589*c_0101_5^9 - 8333704904133036173968079989442958206/38674460445558444135477256991\ 589*c_0101_5^8 - 555693910984607827776773886750334861589/7734892089\ 1116888270954513983178*c_0101_5^7 + 6335268062395340026761141939684955375/77348920891116888270954513983\ 178*c_0101_5^6 + 57150513397634125609368314908801431353/25782973630\ 372296090318171327726*c_0101_5^5 - 6151819410974887341290033086339725815/77348920891116888270954513983\ 178*c_0101_5^4 - 1397124805774613022362102647740247879/429716227172\ 8716015053028554621*c_0101_5^3 + 3521300103839863777183820032208072\ 48/12891486815186148045159085663863*c_0101_5^2 + 696062695863824869301844110555538671/386744604455584441354772569915\ 89*c_0101_5 - 191555468698642566586534695807813113/7734892089111688\ 8270954513983178, c_0011_0 - 1, c_0011_1 + 303804626084220731321393218912295/25782973630372296090318171\ 327726*c_0101_5^23 + 1055883180421260219023285646617659/25782973630\ 372296090318171327726*c_0101_5^22 - 5285070004540010019259862475793813/12891486815186148045159085663863\ *c_0101_5^21 - 13866171799050487138567169494336159/2578297363037229\ 6090318171327726*c_0101_5^20 + 54518557434270565087366482913614043/\ 12891486815186148045159085663863*c_0101_5^19 + 14703220920811702526091423220783417/8594324543457432030106057109242\ *c_0101_5^18 - 466210361066033343013790578796411623/257829736303722\ 96090318171327726*c_0101_5^17 - 62203660771795828663955831656864109\ /25782973630372296090318171327726*c_0101_5^16 + 1293923590991852147913977008267645153/25782973630372296090318171327\ 726*c_0101_5^15 + 70546179431512025431793425534941127/2578297363037\ 2296090318171327726*c_0101_5^14 - 121969322092214019955946577487930\ 6756/12891486815186148045159085663863*c_0101_5^13 + 35275962043014945334326969189749507/1289148681518614804515908566386\ 3*c_0101_5^12 + 1641396671163634668681598492034653123/1289148681518\ 6148045159085663863*c_0101_5^11 - 431832555471956873212974755598178\ 55/12891486815186148045159085663863*c_0101_5^10 - 3038130325692736792071407578783055423/25782973630372296090318171327\ 726*c_0101_5^9 - 45571241552634242651100224904088351/25782973630372\ 296090318171327726*c_0101_5^8 + 17173578587707937423730983274388433\ 05/25782973630372296090318171327726*c_0101_5^7 + 35049386424872692368138005108839495/2578297363037229609031817132772\ 6*c_0101_5^6 - 86380236433980604331271532592922398/4297162271728716\ 015053028554621*c_0101_5^5 + 1272481411140935325014920241992445/128\ 91486815186148045159085663863*c_0101_5^4 + 12299666435898351491470066369835405/4297162271728716015053028554621\ *c_0101_5^3 - 1415160083494009157281236622032371/859432454345743203\ 0106057109242*c_0101_5^2 - 1992570625863825352787681615837068/12891\ 486815186148045159085663863*c_0101_5 + 245712738426473833255696995629048/12891486815186148045159085663863, c_0011_4 + 127781089900603610304412833104116/12891486815186148045159085\ 663863*c_0101_5^23 + 452567132186062496374700700290909/128914868151\ 86148045159085663863*c_0101_5^22 - 4415970835734944947816529386694461/12891486815186148045159085663863\ *c_0101_5^21 - 6124186442702549633975987121502271/12891486815186148\ 045159085663863*c_0101_5^20 + 45461520253817087665889569787059732/1\ 2891486815186148045159085663863*c_0101_5^19 + 7180906620185829992059810806060278/4297162271728716015053028554621*\ c_0101_5^18 - 194722274884995480583891636063784705/1289148681518614\ 8045159085663863*c_0101_5^17 - 38816323685294591621684901676865146/\ 12891486815186148045159085663863*c_0101_5^16 + 541829780149257171915692896201139801/128914868151861480451590856638\ 63*c_0101_5^15 + 64497733701337112262150697553163854/12891486815186\ 148045159085663863*c_0101_5^14 - 1021981619441740492229154124351560\ 133/12891486815186148045159085663863*c_0101_5^13 - 35098895019050980743499498274442118/1289148681518614804515908566386\ 3*c_0101_5^12 + 1378518311700474573935588265497192620/1289148681518\ 6148045159085663863*c_0101_5^11 + 494689961661159786990645273582654\ 64/12891486815186148045159085663863*c_0101_5^10 - 1273947957705104021885301249329379673/12891486815186148045159085663\ 863*c_0101_5^9 - 96318871968244626375789672193824749/12891486815186\ 148045159085663863*c_0101_5^8 + 71480578800897047860821249472857502\ 1/12891486815186148045159085663863*c_0101_5^7 + 55507573948796186031749014242074123/1289148681518614804515908566386\ 3*c_0101_5^6 - 71122828791627401376423640656039220/4297162271728716\ 015053028554621*c_0101_5^5 - 9416181182600714750110434325287643/128\ 91486815186148045159085663863*c_0101_5^4 + 9982944149836310055628395635854770/4297162271728716015053028554621*\ c_0101_5^3 - 248681218809107987480640222647667/42971622717287160150\ 53028554621*c_0101_5^2 - 1615051482737144845800544269690151/1289148\ 6815186148045159085663863*c_0101_5 + 170411146536828041802427516004105/12891486815186148045159085663863, c_0101_0 + 33851884064980204262020965211615/257829736303722960903181713\ 27726*c_0101_5^23 + 111998815343005944544110486736121/2578297363037\ 2296090318171327726*c_0101_5^22 - 594942779030975284896624254770226\ /12891486815186148045159085663863*c_0101_5^21 - 1322860526602405088109586495820135/25782973630372296090318171327726\ *c_0101_5^20 + 6072053900317038774144674991231380/12891486815186148\ 045159085663863*c_0101_5^19 + 858832260128712245730762877072333/859\ 4324543457432030106057109242*c_0101_5^18 - 50098207531351849184395455648592283/2578297363037229609031817132772\ 6*c_0101_5^17 + 2458658512805655586023767679223553/2578297363037229\ 6090318171327726*c_0101_5^16 + 134422282948065049693025942692732145\ /25782973630372296090318171327726*c_0101_5^15 - 16311802383754511071077307430542285/2578297363037229609031817132772\ 6*c_0101_5^14 - 122025322327819326321962911494419597/12891486815186\ 148045159085663863*c_0101_5^13 + 2577548951753233682985311663417759\ 8/12891486815186148045159085663863*c_0101_5^12 + 156168958995934594143757024178332598/128914868151861480451590856638\ 63*c_0101_5^11 - 31508617247081109748604297153432017/12891486815186\ 148045159085663863*c_0101_5^10 - 2710836469080917383804985095732444\ 99/25782973630372296090318171327726*c_0101_5^9 + 42972199339945386302400472036869529/2578297363037229609031817132772\ 6*c_0101_5^8 + 136569594624623379324249823007572769/257829736303722\ 96090318171327726*c_0101_5^7 - 23760926431296441168024870606965413/\ 25782973630372296090318171327726*c_0101_5^6 - 5364562398184655099016200926456227/4297162271728716015053028554621*\ c_0101_5^5 + 3806175369348870495473024766063589/1289148681518614804\ 5159085663863*c_0101_5^4 + 501123966905593178819224624848978/429716\ 2271728716015053028554621*c_0101_5^3 - 386080738685999701694931032159727/8594324543457432030106057109242*c\ _0101_5^2 - 62381273856237789178414235811353/1289148681518614804515\ 9085663863*c_0101_5 + 27976709213246718323663281707157/128914868151\ 86148045159085663863, c_0101_3 - 20803368358153214469370131320360/429716227172871601505302855\ 4621*c_0101_5^23 - 150346131437554545517438532994859/85943245434574\ 32030106057109242*c_0101_5^22 + 1423271950321157230403056749155707/\ 8594324543457432030106057109242*c_0101_5^21 + 1041715851986784035558577374803256/4297162271728716015053028554621*\ c_0101_5^20 - 14519129841227422746955126664392459/85943245434574320\ 30106057109242*c_0101_5^19 - 3950116006496834373413356283469163/429\ 7162271728716015053028554621*c_0101_5^18 + 61461703916694186652981247427880541/8594324543457432030106057109242\ *c_0101_5^17 + 16683840738419871186424337953357449/8594324543457432\ 030106057109242*c_0101_5^16 - 169480478465406964062754891737479779/\ 8594324543457432030106057109242*c_0101_5^15 - 33138303562043648836150852989837803/8594324543457432030106057109242\ *c_0101_5^14 + 314785426788418450396336613531748953/859432454345743\ 2030106057109242*c_0101_5^13 + 17538443324419307459873046550048419/\ 4297162271728716015053028554621*c_0101_5^12 - 208811322031425330857908693703755525/429716227172871601505302855462\ 1*c_0101_5^11 - 25211350153569670366526850102479139/429716227172871\ 6015053028554621*c_0101_5^10 + 186906379437068780273048570486821067\ /4297162271728716015053028554621*c_0101_5^9 + 63428458483126401140410218542440081/8594324543457432030106057109242\ *c_0101_5^8 - 195042950116568508787824007489276471/8594324543457432\ 030106057109242*c_0101_5^7 - 35020972861932070151324493869781419/85\ 94324543457432030106057109242*c_0101_5^6 + 49653419071877625049156612153474523/8594324543457432030106057109242\ *c_0101_5^5 + 3985708088938520429319479534449822/429716227172871601\ 5053028554621*c_0101_5^4 - 2449285924259062289939516429157344/42971\ 62271728716015053028554621*c_0101_5^3 - 242092021990803943890855418423645/4297162271728716015053028554621*c\ _0101_5^2 + 130965096575324973178656446390205/859432454345743203010\ 6057109242*c_0101_5 - 1019504226640882179491660793479/4297162271728\ 716015053028554621, c_0101_5^24 + 4*c_0101_5^23 - 33*c_0101_5^22 - 64*c_0101_5^21 + 336*c_0101_5^20 + 335*c_0101_5^19 - 1469*c_0101_5^18 - 1016*c_0101_5^17 + 4197*c_0101_5^16 + 2481*c_0101_5^15 - 8034*c_0101_5^14 - 4011*c_0101_5^13 + 11165*c_0101_5^12 + 5424*c_0101_5^11 - 10469*c_0101_5^10 - 5452*c_0101_5^9 + 5866*c_0101_5^8 + 3147*c_0101_5^7 - 1802*c_0101_5^6 - 925*c_0101_5^5 + 289*c_0101_5^4 + 123*c_0101_5^3 - 25*c_0101_5^2 - 6*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB