Magma V2.19-8 Tue Aug 20 2013 17:55:25 on localhost [Seed = 2833850211] Type ? for help. Type -D to quit. Loading file "10_20__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_20 geometric_solution 8.31737872 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 9 1 2 1 3 0132 0132 3012 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 -1 0 1 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.490114420983 1.171602511711 0 0 5 4 0132 1230 0132 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 1 -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 0.312308228756 0.717614147755 6 0 3 6 0132 0132 3201 2031 0 0 0 0 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 0 0 0 0 1 -1 0 5 0 0 -5 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.660082876280 1.297192550471 2 5 0 7 2310 2031 0132 0132 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 -1 1 0 0 0 0 0 6 0 -6 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.068428490445 0.494316637536 7 6 1 8 0213 0321 0132 0132 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 -1 0 1 0 0 0 0 0 6 -5 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.182729701346 0.701047325988 3 7 8 1 1302 1302 2310 0132 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 1 0 0 -1 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.728177568381 0.571540498791 2 2 7 4 0132 1302 2310 0321 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 5 -5 0 -5 0 0 5 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.688407621970 0.612340247094 4 6 3 5 0213 3201 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1 5 0 -6 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.357520627696 0.700345320268 8 5 4 8 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.873252628826 1.245864457649 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : d['c_0011_7'], 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_1']), 'c_1001_8' : d['c_0011_3'], 's_2_8' : 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_2_7' : d['1'], 's_0_8' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_8' : d['c_0011_8'], 'c_1100_5' : d['c_0011_8'], 'c_1100_4' : d['c_0011_8'], 'c_1100_7' : negation(d['c_1001_1']), 'c_1100_6' : d['c_0011_7'], 'c_1100_1' : d['c_0011_8'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_0011_3']), 'c_1010_7' : d['c_0011_5'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0011_7'], 'c_1010_0' : negation(d['c_0101_1']), 'c_1010_8' : d['c_0101_8'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(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_1_8' : d['1'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_4'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0011_7'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_7'], 'c_0101_8' : d['c_0101_8'], 'c_0110_8' : d['c_0011_8'], 'c_0110_1' : d['c_0011_7'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : negation(d['c_0101_8']), 'c_0110_6' : negation(d['c_0011_4'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_5, c_0011_7, c_0011_8, c_0101_1, c_0101_8, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 8674971052058016429335753144367/198343813386903466368404625200*c_10\ 01_1^16 + 10040817144673573185933321181677/198343813386903466368404\ 625200*c_1001_1^15 + 8696592508016847698245784052957/19834381338690\ 346636840462520*c_1001_1^14 + 5179892483002964451186164429246/12396\ 488336681466648025289075*c_1001_1^13 + 25983024217339873850128219064769/19834381338690346636840462520*c_10\ 01_1^12 + 5371178639947864533495167930639/4958595334672586659210115\ 630*c_1001_1^11 + 223674973119185105646038151831187/495859533467258\ 66592101156300*c_1001_1^10 + 4440255585641932009972961321381/111429\ 1086443277900946093400*c_1001_1^9 + 368245041178577877061487676967397/39668762677380693273680925040*c_1\ 001_1^8 + 721702580453447571854974419345619/19834381338690346636840\ 4625200*c_1001_1^7 + 138101333152099695204092272433213/198343813386\ 903466368404625200*c_1001_1^6 + 855489080217033982403778161715981/1\ 98343813386903466368404625200*c_1001_1^5 + 3998088273328052770657313648761997/198343813386903466368404625200*c\ _1001_1^4 - 144391717594470937670803328153851/991719066934517331842\ 02312600*c_1001_1^3 - 51134772805429124135916331083497/991719066934\ 5173318420231260*c_1001_1^2 - 96153336877507533334680466993457/2479\ 2976673362933296050578150*c_1001_1 + 916400676297214657699577302188553/198343813386903466368404625200, c_0011_0 - 1, c_0011_3 + 4375862357258123418589/6804831062249025349289120*c_1001_1^16 + 70957414975004373390079/6804831062249025349289120*c_1001_1^15 + 19161680748455390452143/680483106224902534928912*c_1001_1^14 + 50189078579447087564577/425301941390564084330570*c_1001_1^13 + 152650750469787122085491/680483106224902534928912*c_1001_1^12 + 74418020631576636071247/170120776556225633732228*c_1001_1^11 + 1163124216020593865378689/1701207765562256337322280*c_1001_1^10 + 4848923187557184857949863/3402415531124512674644560*c_1001_1^9 + 3052953244759204301845471/1360966212449805069857824*c_1001_1^8 + 22766193877855297293025793/6804831062249025349289120*c_1001_1^7 + 23993034722023184401968871/6804831062249025349289120*c_1001_1^6 + 12156505064976368272394127/6804831062249025349289120*c_1001_1^5 + 13389156306824527612768519/6804831062249025349289120*c_1001_1^4 + 17723827463510237515610683/3402415531124512674644560*c_1001_1^3 + 1270889327083753315649755/340241553112451267464456*c_1001_1^2 - 300210642242317446694047/425301941390564084330570*c_1001_1 - 4998338971323075616824589/6804831062249025349289120, c_0011_4 - 747207685625626892405/680483106224902534928912*c_1001_1^16 - 7082605866998146857479/680483106224902534928912*c_1001_1^15 - 9779786583202068552075/340241553112451267464456*c_1001_1^14 - 4738356047389042593256/42530194139056408433057*c_1001_1^13 - 66553549413775263700255/340241553112451267464456*c_1001_1^12 - 32420964351126354445893/85060388278112816866114*c_1001_1^11 - 98611918989143680710301/170120776556225633732228*c_1001_1^10 - 426354662722703873073575/340241553112451267464456*c_1001_1^9 - 1238053363437921350636307/680483106224902534928912*c_1001_1^8 - 1870802319220873202730265/680483106224902534928912*c_1001_1^7 - 1639204861102057855299647/680483106224902534928912*c_1001_1^6 - 708604251820301568103863/680483106224902534928912*c_1001_1^5 - 971878222413924488996303/680483106224902534928912*c_1001_1^4 - 1515974805956306266477483/340241553112451267464456*c_1001_1^3 - 352750095120325870129675/170120776556225633732228*c_1001_1^2 + 41944726995706781638744/42530194139056408433057*c_1001_1 + 344369851199314188711477/680483106224902534928912, c_0011_5 + 1387370151735419194863/170120776556225633732228*c_1001_1^16 + 2216471559083112947525/170120776556225633732228*c_1001_1^15 + 7150350447276634554025/85060388278112816866114*c_1001_1^14 + 4967286001698520050622/42530194139056408433057*c_1001_1^13 + 22605681816084170490581/85060388278112816866114*c_1001_1^12 + 14579165792426396107116/42530194139056408433057*c_1001_1^11 + 39248343347470341026541/42530194139056408433057*c_1001_1^10 + 104231754379906761194793/85060388278112816866114*c_1001_1^9 + 339028197736011181947425/170120776556225633732228*c_1001_1^8 + 307683073097868658622067/170120776556225633732228*c_1001_1^7 + 78660112403382308982381/170120776556225633732228*c_1001_1^6 + 297559668882844186142225/170120776556225633732228*c_1001_1^5 + 764196778225563760115629/170120776556225633732228*c_1001_1^4 + 110829578713514502009429/85060388278112816866114*c_1001_1^3 - 66277722261271417907357/42530194139056408433057*c_1001_1^2 + 26959215500260780101894/42530194139056408433057*c_1001_1 + 71958235813138396921737/170120776556225633732228, c_0011_7 + 6820078508262238233303/6804831062249025349289120*c_1001_1^16 - 24277530552848153692547/6804831062249025349289120*c_1001_1^15 + 3044322128549781091869/680483106224902534928912*c_1001_1^14 - 15347966537114133383421/425301941390564084330570*c_1001_1^13 - 10558447412880605398999/680483106224902534928912*c_1001_1^12 - 16845434408290542872535/170120776556225633732228*c_1001_1^11 - 25108303326091018893717/1701207765562256337322280*c_1001_1^10 - 1165217938459165613008219/3402415531124512674644560*c_1001_1^9 - 317105001635548580735619/1360966212449805069857824*c_1001_1^8 - 5088089023006465226389949/6804831062249025349289120*c_1001_1^7 - 2576401393194309207315723/6804831062249025349289120*c_1001_1^6 + 2792770556957479776465549/6804831062249025349289120*c_1001_1^5 - 1769323768781547361876747/6804831062249025349289120*c_1001_1^4 - 7410172811806730029044479/3402415531124512674644560*c_1001_1^3 - 35398577471703743023303/340241553112451267464456*c_1001_1^2 + 450946804171164936262561/425301941390564084330570*c_1001_1 + 656414165238119466881017/6804831062249025349289120, c_0011_8 - 564118713351789454833/3402415531124512674644560*c_1001_1^16 + 6802171432161309328917/3402415531124512674644560*c_1001_1^15 + 1071782150985798325989/340241553112451267464456*c_1001_1^14 + 4531917458307904154206/212650970695282042165285*c_1001_1^13 + 12655659325672233746641/340241553112451267464456*c_1001_1^12 + 5587681050858418780355/85060388278112816866114*c_1001_1^11 + 77119311274295199429187/850603882781128168661140*c_1001_1^10 + 366071429628502641124869/1701207765562256337322280*c_1001_1^9 + 240391952998572077818805/680483106224902534928912*c_1001_1^8 + 1701928494151508736135899/3402415531124512674644560*c_1001_1^7 + 1791499601481496854895853/3402415531124512674644560*c_1001_1^6 - 718912925281898908481019/3402415531124512674644560*c_1001_1^5 - 84559618518565219044643/3402415531124512674644560*c_1001_1^4 + 2147072879559341777202209/1701207765562256337322280*c_1001_1^3 + 136445830652105718554021/170120776556225633732228*c_1001_1^2 - 95163433361912985941106/212650970695282042165285*c_1001_1 - 993162759688763542651407/3402415531124512674644560, c_0101_1 + 36789450142669051249487/6804831062249025349289120*c_1001_1^1\ 6 + 58181985169709428305477/6804831062249025349289120*c_1001_1^15 + 38976452076226238885397/680483106224902534928912*c_1001_1^14 + 31860551006789002486881/425301941390564084330570*c_1001_1^13 + 126793448825817830149937/680483106224902534928912*c_1001_1^12 + 34828435809938877973321/170120776556225633732228*c_1001_1^11 + 1040341085395842806744467/1701207765562256337322280*c_1001_1^10 + 2510406707789770158801069/3402415531124512674644560*c_1001_1^9 + 1855773824431378484340677/1360966212449805069857824*c_1001_1^8 + 6566785133207879167651579/6804831062249025349289120*c_1001_1^7 + 1554077438930884615456093/6804831062249025349289120*c_1001_1^6 + 4041620626712407143831541/6804831062249025349289120*c_1001_1^5 + 17072354257009424192822237/6804831062249025349289120*c_1001_1^4 + 4150265802732577593606329/3402415531124512674644560*c_1001_1^3 - 151974520010385551295055/340241553112451267464456*c_1001_1^2 - 643440791332014436315821/425301941390564084330570*c_1001_1 - 1379338532142187882538847/6804831062249025349289120, c_0101_8 + 8381690169613672247/49670299724445440505760*c_1001_1^16 + 297420608470725069597/49670299724445440505760*c_1001_1^15 + 69325241600852675789/4967029972444544050576*c_1001_1^14 + 203031158849430355321/3104393732777840031610*c_1001_1^13 + 578990208870540811353/4967029972444544050576*c_1001_1^12 + 274037672572574832097/1241757493111136012644*c_1001_1^11 + 4055834777525155244547/12417574931111360126440*c_1001_1^10 + 17328666696448194917989/24835149862222720252880*c_1001_1^9 + 10965189416051290683517/9934059944889088101152*c_1001_1^8 + 79129654264907194634019/49670299724445440505760*c_1001_1^7 + 80108102484375428211893/49670299724445440505760*c_1001_1^6 + 12637428817976217542061/49670299724445440505760*c_1001_1^5 + 25485162548179222874837/49670299724445440505760*c_1001_1^4 + 71035622989481106078609/24835149862222720252880*c_1001_1^3 + 4665805141309737315737/2483514986222272025288*c_1001_1^2 - 2396212823655152300711/3104393732777840031610*c_1001_1 - 27147894908058225088327/49670299724445440505760, c_1001_1^17 + 2*c_1001_1^16 + 11*c_1001_1^15 + 18*c_1001_1^14 + 38*c_1001_1^13 + 50*c_1001_1^12 + 124*c_1001_1^11 + 178*c_1001_1^10 + 289*c_1001_1^9 + 262*c_1001_1^8 + 86*c_1001_1^7 + 112*c_1001_1^6 + 544*c_1001_1^5 + 355*c_1001_1^4 - 146*c_1001_1^3 - 188*c_1001_1^2 + 31*c_1001_1 + 89 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB