Magma V2.19-8 Tue Aug 20 2013 16:14:57 on localhost [Seed = 1696921980] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s922 geometric_solution 5.76706967 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 0 0 1 -1 0 1 0 -1 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.716044986244 1.001540415703 0 3 5 4 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 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.565942580165 0.763688489197 3 0 4 5 3201 0132 3201 2310 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 -1 1 0 0 0 -1 1 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.565942580165 0.763688489197 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 0 0 0 1 0 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 1 0 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.153584856550 0.935618161188 2 4 1 4 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.854375084532 0.774487257196 2 5 5 1 3201 3201 2310 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 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.575930880764 0.569396071592 ==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' : negation(d['1']), 's_2_0' : negation(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_4']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 1511064685871391471092893588/1238280515309767786792023205*c_0101_5^\ 19 + 3846860767419354097399554499/1238280515309767786792023205*c_01\ 01_5^18 - 20005967404591042329609040999/123828051530976778679202320\ 5*c_0101_5^17 + 95187501206409037130408670277/123828051530976778679\ 2023205*c_0101_5^16 - 118782597563281749963052297364/12382805153097\ 67786792023205*c_0101_5^15 - 404316163873744845176928914322/1238280\ 515309767786792023205*c_0101_5^14 + 754489604701426661893811501397/1238280515309767786792023205*c_0101_\ 5^13 - 68142254412739370019479071966/247656103061953557358404641*c_\ 0101_5^12 - 76464775746453628195401428496/1238280515309767786792023\ 205*c_0101_5^11 + 441357519847799561429061435241/123828051530976778\ 6792023205*c_0101_5^10 + 1111591046442738159517875526789/1238280515\ 309767786792023205*c_0101_5^9 - 1447220385009245953355901234048/123\ 8280515309767786792023205*c_0101_5^8 - 290235227307010438843439342035/247656103061953557358404641*c_0101_5\ ^7 + 567517448472222808108980755568/1238280515309767786792023205*c_\ 0101_5^6 + 1109293406531795428307145974819/123828051530976778679202\ 3205*c_0101_5^5 + 444784353756410651190932437522/123828051530976778\ 6792023205*c_0101_5^4 - 104123001696632240554136962300/247656103061\ 953557358404641*c_0101_5^3 - 209313101406454467234864218042/1238280\ 515309767786792023205*c_0101_5^2 + 3079041867254676601824816553/95252347331520598984001785*c_0101_5 + 18213188793737712390373915949/1238280515309767786792023205, c_0011_0 - 1, c_0011_4 - 41780482286079025768807543/95252347331520598984001785*c_0101\ _5^19 - 40077387458801493493691659/95252347331520598984001785*c_010\ 1_5^18 + 577792270024062667963831184/95252347331520598984001785*c_0\ 101_5^17 - 3584141929104386286705383387/95252347331520598984001785*\ c_0101_5^16 + 9498308373412312258258570339/952523473315205989840017\ 85*c_0101_5^15 - 7273235541499295234429201438/952523473315205989840\ 01785*c_0101_5^14 - 143558929602311951665634527/9525234733152059898\ 4001785*c_0101_5^13 + 277460451540818049629759497/19050469466304119\ 796800357*c_0101_5^12 + 2806099485786637827432967626/95252347331520\ 598984001785*c_0101_5^11 - 17394447432970992575138550616/9525234733\ 1520598984001785*c_0101_5^10 + 272374246246506079744874281/95252347\ 331520598984001785*c_0101_5^9 + 22766073181494566341356678653/95252\ 347331520598984001785*c_0101_5^8 + 1243377810419082028597034598/19050469466304119796800357*c_0101_5^7 - 9504981104330053999349387488/95252347331520598984001785*c_0101_5^6 - 11712331817630760027846129484/95252347331520598984001785*c_0101_5^5 + 1247833860600425708937219383/95252347331520598984001785*c_0101_5^\ 4 + 894472484353152102497142150/19050469466304119796800357*c_0101_5\ ^3 + 539571135994229144573719962/95252347331520598984001785*c_0101_\ 5^2 - 210347271897761942207731344/95252347331520598984001785*c_0101\ _5 - 66607868300662182328531189/95252347331520598984001785, c_0101_0 - 5343681688464854983899273/19050469466304119796800357*c_0101_\ 5^19 - 10440032691500192491751234/19050469466304119796800357*c_0101\ _5^18 + 68929632800819907695987529/19050469466304119796800357*c_010\ 1_5^17 - 383814128811465622434250126/19050469466304119796800357*c_0\ 101_5^16 + 758217461175792458901006731/19050469466304119796800357*c\ _0101_5^15 + 276157463861386039692320250/19050469466304119796800357\ *c_0101_5^14 - 888599622715346974565702724/190504694663041197968003\ 57*c_0101_5^13 - 41537987241653830057503200/19050469466304119796800\ 357*c_0101_5^12 + 740130643099385783607195319/190504694663041197968\ 00357*c_0101_5^11 - 1976219112599027730915931453/190504694663041197\ 96800357*c_0101_5^10 - 2173626617397219737908130821/190504694663041\ 19796800357*c_0101_5^9 + 2929498363615690756346031308/1905046946630\ 4119796800357*c_0101_5^8 + 4081084646994373694851834431/19050469466\ 304119796800357*c_0101_5^7 - 521457198101233148864850461/1905046946\ 6304119796800357*c_0101_5^6 - 2995301840903714186476969799/19050469\ 466304119796800357*c_0101_5^5 - 1321401292844228873830437493/190504\ 69466304119796800357*c_0101_5^4 + 823291278135959309206864614/19050\ 469466304119796800357*c_0101_5^3 + 719884055116165464658602004/19050469466304119796800357*c_0101_5^2 - 14519320345688051179266264/19050469466304119796800357*c_0101_5 - 57940187066048739516018864/19050469466304119796800357, c_0101_1 + 5705002360830779771686757/19050469466304119796800357*c_0101_\ 5^19 + 2931486470859022995163285/19050469466304119796800357*c_0101_\ 5^18 - 82103231462249841841711312/19050469466304119796800357*c_0101\ _5^17 + 523532384191139504281526531/19050469466304119796800357*c_01\ 01_5^16 - 1505407684642399214457921924/19050469466304119796800357*c\ _0101_5^15 + 1507077972203932140942969063/1905046946630411979680035\ 7*c_0101_5^14 - 260429927780659950621063978/19050469466304119796800\ 357*c_0101_5^13 - 335722329315165276928315582/190504694663041197968\ 00357*c_0101_5^12 - 201634848028669193913177758/1905046946630411979\ 6800357*c_0101_5^11 + 2521582573327273178436309516/1905046946630411\ 9796800357*c_0101_5^10 - 1054138896868938447841128092/1905046946630\ 4119796800357*c_0101_5^9 - 3395712616371334892385414891/19050469466\ 304119796800357*c_0101_5^8 + 510822078870141357007012644/1905046946\ 6304119796800357*c_0101_5^7 + 1752646025814461423715876162/19050469\ 466304119796800357*c_0101_5^6 + 1095851289189973503185431629/190504\ 69466304119796800357*c_0101_5^5 - 757768059474636981256818276/19050\ 469466304119796800357*c_0101_5^4 - 516001756996997857170512221/19050469466304119796800357*c_0101_5^3 + 187061893709344243051883298/19050469466304119796800357*c_0101_5^2 + 11521984374339304057689353/19050469466304119796800357*c_0101_5 - 20742419789304405455899106/19050469466304119796800357, c_0101_2 + 697249101690952738418/1280049821019453576445*c_0101_5^19 + 877052887691503841884/1280049821019453576445*c_0101_5^18 - 9526203629157463377814/1280049821019453576445*c_0101_5^17 + 56827817742827444132042/1280049821019453576445*c_0101_5^16 - 139554410269602875646239/1280049821019453576445*c_0101_5^15 + 67157631268127927301158/1280049821019453576445*c_0101_5^14 + 55801849187069514024377/1280049821019453576445*c_0101_5^13 - 6715748795383017003649/256009964203890715289*c_0101_5^12 - 53786332525563104977081/1280049821019453576445*c_0101_5^11 + 279676895802553113485541/1280049821019453576445*c_0101_5^10 + 87440039065738835682504/1280049821019453576445*c_0101_5^9 - 414100455667359071281063/1280049821019453576445*c_0101_5^8 - 44863818744075046031771/256009964203890715289*c_0101_5^7 + 161088561431419421346983/1280049821019453576445*c_0101_5^6 + 255757480173677861571709/1280049821019453576445*c_0101_5^5 + 26053502462513949527317/1280049821019453576445*c_0101_5^4 - 19082523924469859016250/256009964203890715289*c_0101_5^3 - 28040820455006256617522/1280049821019453576445*c_0101_5^2 + 6968889228806051903614/1280049821019453576445*c_0101_5 + 1730855883796175362124/1280049821019453576445, c_0101_5^20 + c_0101_5^19 - 14*c_0101_5^18 + 85*c_0101_5^17 - 221*c_0101_5^16 + 147*c_0101_5^15 + 57*c_0101_5^14 - 68*c_0101_5^13 - 67*c_0101_5^12 + 421*c_0101_5^11 + 24*c_0101_5^10 - 632*c_0101_5^9 - 173*c_0101_5^8 + 321*c_0101_5^7 + 316*c_0101_5^6 - 57*c_0101_5^5 - 153*c_0101_5^4 - 9*c_0101_5^3 + 21*c_0101_5^2 + 2*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB