Magma V2.19-8 Tue Aug 20 2013 16:14:24 on localhost [Seed = 509575708] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s389 geometric_solution 4.61804665 oriented_manifold CS_known -0.0000000000000001 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 -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.585651764877 0.117809416018 2 0 2 0 0132 2310 1023 0132 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 -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.773255935285 0.212311889970 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 1 -1 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 -1 1 0 -1 0 1 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.932298854860 0.805836898096 4 2 4 5 3120 0132 3012 0132 0 0 0 0 0 -1 1 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 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.741327153151 0.780207610057 5 3 2 3 1023 1230 0132 3120 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 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.741327153151 0.780207610057 5 4 3 5 3201 1023 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.956321444182 0.531376090351 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_4'], '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' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), '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_4'], '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' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_4']), '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_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 138196103495758251336348985176428871251496/138492855213468055929820\ 9938283174803905*c_0101_5^23 + 150353957346735051983484026724362465\ 5932718/1384928552134680559298209938283174803905*c_0101_5^22 + 5487316243217908601016975912219565103688787/13849285521346805592982\ 09938283174803905*c_0101_5^21 + 65509265382923063315961352309106579\ 32066756/1384928552134680559298209938283174803905*c_0101_5^20 - 1498181590545080948111304650050893614523358/10653296554882158148447\ 7687560244215685*c_0101_5^19 - 139194738669948341539460438803943430\ 85992475/276985710426936111859641987656634960781*c_0101_5^18 - 6390872612481537744841966639161982426638851/13849285521346805592982\ 09938283174803905*c_0101_5^17 + 28910699948812809071798843401901385\ 3424160453/1384928552134680559298209938283174803905*c_0101_5^16 - 41824329903820050784152796919440543216312601/1384928552134680559298\ 209938283174803905*c_0101_5^15 - 5526611182718329213386555703896599\ 26268019316/1384928552134680559298209938283174803905*c_0101_5^14 + 289396612164257406998077692927713272910144401/138492855213468055929\ 8209938283174803905*c_0101_5^13 + 609188925766715511293796143969740\ 118186528574/1384928552134680559298209938283174803905*c_0101_5^12 - 134668330026478079947863542625857071850385174/276985710426936111859\ 641987656634960781*c_0101_5^11 - 1102966672491499862217894642809031\ 83217762339/1384928552134680559298209938283174803905*c_0101_5^10 + 518460122063570612369995748366371803558080751/138492855213468055929\ 8209938283174803905*c_0101_5^9 - 2932354098423041373598103909005216\ 85230728554/1384928552134680559298209938283174803905*c_0101_5^8 + 10256423973547494810053842593902558850393850/2769857104269361118596\ 41987656634960781*c_0101_5^7 - 267418761724792320618156944686267114\ 22174919/1384928552134680559298209938283174803905*c_0101_5^6 + 4962535756606885637923289630080293166631348/13849285521346805592982\ 09938283174803905*c_0101_5^5 + 498619090404884687382596662870430505\ 30873424/1384928552134680559298209938283174803905*c_0101_5^4 - 48632871131832409645753984547352020605803528/1384928552134680559298\ 209938283174803905*c_0101_5^3 + 18323701431963701144987258111605143\ 165722626/1384928552134680559298209938283174803905*c_0101_5^2 - 1155008292927977710501136258044287616055299/13849285521346805592982\ 09938283174803905*c_0101_5 - 10445431714486938800416638730722738828\ 70502/1384928552134680559298209938283174803905, c_0011_0 - 1, c_0011_1 + 111067261451047097843859562235540093185/27698571042693611185\ 9641987656634960781*c_0101_5^23 + 128851985208719214644724371500010\ 6298195/276985710426936111859641987656634960781*c_0101_5^22 + 5335927193029178581342313747901985906457/27698571042693611185964198\ 7656634960781*c_0101_5^21 + 906974106843944805319775182502329147681\ 4/276985710426936111859641987656634960781*c_0101_5^20 - 715306873231301762689130479058530742195/213065931097643162968955375\ 12048843137*c_0101_5^19 - 62985440279333698632959846099162944367697\ /276985710426936111859641987656634960781*c_0101_5^18 - 50332730507039265763193653912296308588312/2769857104269361118596419\ 87656634960781*c_0101_5^17 + 19815680369685882417944979654980890661\ 0956/276985710426936111859641987656634960781*c_0101_5^16 + 111335349167827815198078125884358163850001/276985710426936111859641\ 987656634960781*c_0101_5^15 - 3700214157803152925227834324427592800\ 65422/276985710426936111859641987656634960781*c_0101_5^14 - 38253017271164993208331439065245667048614/2769857104269361118596419\ 87656634960781*c_0101_5^13 + 47273843842142926243661899149009513179\ 0270/276985710426936111859641987656634960781*c_0101_5^12 - 198823959467769930507588740854816072055803/276985710426936111859641\ 987656634960781*c_0101_5^11 - 2450454036828306735818775696615913826\ 81059/276985710426936111859641987656634960781*c_0101_5^10 + 245860363695952559296227602641163993133178/276985710426936111859641\ 987656634960781*c_0101_5^9 - 53360716583851236618613903408297912676\ 424/276985710426936111859641987656634960781*c_0101_5^8 - 3006577448980673387734322917469671919308/27698571042693611185964198\ 7656634960781*c_0101_5^7 - 2078394423778965557299197341259328310786\ 5/276985710426936111859641987656634960781*c_0101_5^6 - 13148277222819752438050757773478449101431/2769857104269361118596419\ 87656634960781*c_0101_5^5 + 323942508892779553623314631102482096337\ 84/276985710426936111859641987656634960781*c_0101_5^4 - 15216582853697893991051320759246421966475/2769857104269361118596419\ 87656634960781*c_0101_5^3 + 255335704973511088632871319225432979124\ 7/276985710426936111859641987656634960781*c_0101_5^2 + 1421663575996093920521626680859742238072/27698571042693611185964198\ 7656634960781*c_0101_5 - 34372264770195260339734888170232290733/276\ 985710426936111859641987656634960781, c_0011_4 + 34626209803889708300807909020118992842/276985710426936111859\ 641987656634960781*c_0101_5^23 + 4048755565547644712331180211349679\ 73604/276985710426936111859641987656634960781*c_0101_5^22 + 1693789354353296616595806093110897338567/27698571042693611185964198\ 7656634960781*c_0101_5^21 + 290142615892329240493521653509180813342\ 8/276985710426936111859641987656634960781*c_0101_5^20 - 230014620497353965315465102856737790872/213065931097643162968955375\ 12048843137*c_0101_5^19 - 20608996411359744511498813246055651647870\ /276985710426936111859641987656634960781*c_0101_5^18 - 17338022332361550348722739817867354614023/2769857104269361118596419\ 87656634960781*c_0101_5^17 + 63943999889037087941048275184995368487\ 114/276985710426936111859641987656634960781*c_0101_5^16 + 44876724141260782979877380850827755975617/2769857104269361118596419\ 87656634960781*c_0101_5^15 - 12131919358112987352784343542903833981\ 4917/276985710426936111859641987656634960781*c_0101_5^14 - 32443298739481803236494828293224406163636/2769857104269361118596419\ 87656634960781*c_0101_5^13 + 16320061480137269191826719508143603925\ 5229/276985710426936111859641987656634960781*c_0101_5^12 - 39083811891427051302473372439053663847189/2769857104269361118596419\ 87656634960781*c_0101_5^11 - 10541098600595506650783205956555749877\ 5570/276985710426936111859641987656634960781*c_0101_5^10 + 70330299077303032453345115818816334926320/2769857104269361118596419\ 87656634960781*c_0101_5^9 + 518121422780250534182385982819947019396\ 5/276985710426936111859641987656634960781*c_0101_5^8 - 9225887084690217923950540488395661827878/27698571042693611185964198\ 7656634960781*c_0101_5^7 - 7656191969614059303737860241765902384956\ /276985710426936111859641987656634960781*c_0101_5^6 - 5195284317248963648864906934182608613726/27698571042693611185964198\ 7656634960781*c_0101_5^5 + 1152825084790953199192587083291974581716\ 8/276985710426936111859641987656634960781*c_0101_5^4 - 3222567165943186443817489453993931661316/27698571042693611185964198\ 7656634960781*c_0101_5^3 - 799430138452032811124490619524881022612/\ 276985710426936111859641987656634960781*c_0101_5^2 + 931792627889470429446285296519172796361/276985710426936111859641987\ 656634960781*c_0101_5 + 56323818764544370389004246954069093822/2769\ 85710426936111859641987656634960781, c_0101_0 + 169675208420465608025036089983905609712/27698571042693611185\ 9641987656634960781*c_0101_5^23 + 190909539046997862726506442563408\ 8535848/276985710426936111859641987656634960781*c_0101_5^22 + 7468073626959700962768718134149508029323/27698571042693611185964198\ 7656634960781*c_0101_5^21 + 110639745662644134271912105715993411997\ 78/276985710426936111859641987656634960781*c_0101_5^20 - 1445627512126461174363797584594931640174/21306593109764316296895537\ 512048843137*c_0101_5^19 - 9075171348474103400917800503775776648602\ 3/276985710426936111859641987656634960781*c_0101_5^18 - 43436578989368984708100633470631280906797/2769857104269361118596419\ 87656634960781*c_0101_5^17 + 32685520178285870226575312271446830222\ 4797/276985710426936111859641987656634960781*c_0101_5^16 + 61041992448408808635765210173020640576927/2769857104269361118596419\ 87656634960781*c_0101_5^15 - 61755885287777515289334057950982524697\ 4979/276985710426936111859641987656634960781*c_0101_5^14 + 145683099804254948025892974564385268811181/276985710426936111859641\ 987656634960781*c_0101_5^13 + 7308052296401363715934147223948910596\ 33150/276985710426936111859641987656634960781*c_0101_5^12 - 560196766769109384293931111731425236782649/276985710426936111859641\ 987656634960781*c_0101_5^11 - 2535287650533668944613720986935654584\ 50771/276985710426936111859641987656634960781*c_0101_5^10 + 501780947025670259150473317228370436614717/276985710426936111859641\ 987656634960781*c_0101_5^9 - 21886177278453001188655848282531664292\ 2254/276985710426936111859641987656634960781*c_0101_5^8 + 29098972615639717035565891251999868441664/2769857104269361118596419\ 87656634960781*c_0101_5^7 - 330994406662978910058530288502695468908\ 82/276985710426936111859641987656634960781*c_0101_5^6 - 6412258660762859200564329206144850923713/27698571042693611185964198\ 7656634960781*c_0101_5^5 + 5421677698382806736488623356138599168815\ 5/276985710426936111859641987656634960781*c_0101_5^4 - 41034699912093846790110829103338442290663/2769857104269361118596419\ 87656634960781*c_0101_5^3 + 128691384296348309207967260500398855796\ 10/276985710426936111859641987656634960781*c_0101_5^2 + 410872941053440858681543425744334550391/276985710426936111859641987\ 656634960781*c_0101_5 - 430475303479284458629609898505663063666/276\ 985710426936111859641987656634960781, c_0101_1 - 65944005797292970719632796753473201327/276985710426936111859\ 641987656634960781*c_0101_5^23 - 7823104133360857692612579152043573\ 08520/276985710426936111859641987656634960781*c_0101_5^22 - 3362552141979483383593427473619249862847/27698571042693611185964198\ 7656634960781*c_0101_5^21 - 614170013211350970784345114510491960021\ 0/276985710426936111859641987656634960781*c_0101_5^20 + 341894175844479837716507998617521598457/213065931097643162968955375\ 12048843137*c_0101_5^19 + 39541847597850988346265744333062777445089\ /276985710426936111859641987656634960781*c_0101_5^18 + 39615586701653359645129557375238797217935/2769857104269361118596419\ 87656634960781*c_0101_5^17 - 11324744166041611735228185601815117653\ 9817/276985710426936111859641987656634960781*c_0101_5^16 - 101638378113819272891342502557035630789176/276985710426936111859641\ 987656634960781*c_0101_5^15 + 2105185766983741244624464774364691868\ 55453/276985710426936111859641987656634960781*c_0101_5^14 + 91507824710713924439927505188771763313178/2769857104269361118596419\ 87656634960781*c_0101_5^13 - 28951166231153721925819850883749079136\ 8864/276985710426936111859641987656634960781*c_0101_5^12 + 32183865488477823123841770587129297103278/2769857104269361118596419\ 87656634960781*c_0101_5^11 + 19720080762146843802465903498604851217\ 5999/276985710426936111859641987656634960781*c_0101_5^10 - 104850397867568855882378346140015260619333/276985710426936111859641\ 987656634960781*c_0101_5^9 - 21378132847864481135789306332346711000\ 312/276985710426936111859641987656634960781*c_0101_5^8 + 15455163452429801065872255509556018436542/2769857104269361118596419\ 87656634960781*c_0101_5^7 + 148946642826362130642356299797252806335\ 68/276985710426936111859641987656634960781*c_0101_5^6 + 10529293754686601667255542480235329661206/2769857104269361118596419\ 87656634960781*c_0101_5^5 - 178834317600289212696391189535137701250\ 68/276985710426936111859641987656634960781*c_0101_5^4 + 3206273946279462572761501578443734521304/27698571042693611185964198\ 7656634960781*c_0101_5^3 + 1961336221629748394153772255064528944240\ /276985710426936111859641987656634960781*c_0101_5^2 - 1583291532175962197636965591673239737358/27698571042693611185964198\ 7656634960781*c_0101_5 - 136773586367582412910661454392715137288/27\ 6985710426936111859641987656634960781, c_0101_5^24 + 11*c_0101_5^23 + 41*c_0101_5^22 + 52*c_0101_5^21 - 136*c_0101_5^20 - 522*c_0101_5^19 - 106*c_0101_5^18 + 2095*c_0101_5^17 - 42*c_0101_5^16 - 4059*c_0101_5^15 + 1593*c_0101_5^14 + 4702*c_0101_5^13 - 4328*c_0101_5^12 - 1439*c_0101_5^11 + 3669*c_0101_5^10 - 1641*c_0101_5^9 + 93*c_0101_5^8 - 144*c_0101_5^7 + 11*c_0101_5^6 + 368*c_0101_5^5 - 306*c_0101_5^4 + 87*c_0101_5^3 + 9*c_0101_5^2 - 9*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB