Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 1612840070] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0763 geometric_solution 4.70467156 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 1023 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 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 1.809054860351 0.441029687964 0 3 3 0 0132 0132 3201 1023 0 0 0 0 0 -1 0 1 -1 0 1 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 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.087920501559 0.598799260577 2 0 0 2 3012 0132 1023 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 1.697530801509 0.091179501766 1 1 4 5 2310 0132 0132 0132 0 0 0 0 0 1 -1 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 -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.381140614118 0.536903466805 5 6 5 3 1230 0132 2031 0132 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 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.686908548800 0.789033246640 6 4 3 4 0132 3012 0132 1302 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 1 -1 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.686908548800 0.789033246640 5 4 6 6 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.113834204078 0.982280852837 ==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_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_0101_6'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], '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_6' : negation(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_0011_4']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : 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_1']), 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 183371978569092201252/12712868219037381233*c_0101_6^21 + 763854034624934519853/12712868219037381233*c_0101_6^20 - 696738638672684054328/12712868219037381233*c_0101_6^19 - 17856070024290516486052/12712868219037381233*c_0101_6^18 + 34051729193453383315314/12712868219037381233*c_0101_6^17 + 184751584554059173876126/12712868219037381233*c_0101_6^16 - 101033587788240691983268/12712868219037381233*c_0101_6^15 - 606124224165210557682421/12712868219037381233*c_0101_6^14 + 204181073069236802338042/12712868219037381233*c_0101_6^13 + 919855667396468322427417/12712868219037381233*c_0101_6^12 - 456235802817574674537080/12712868219037381233*c_0101_6^11 - 672086327112915678491032/12712868219037381233*c_0101_6^10 + 656304006553273465578733/12712868219037381233*c_0101_6^9 + 118733297745842522472535/12712868219037381233*c_0101_6^8 - 460701281820549029654310/12712868219037381233*c_0101_6^7 + 147898985061486412547194/12712868219037381233*c_0101_6^6 + 130951261414121682707577/12712868219037381233*c_0101_6^5 - 89156855439988982252480/12712868219037381233*c_0101_6^4 - 1752750942903268120799/12712868219037381233*c_0101_6^3 + 12644956558342699088047/12712868219037381233*c_0101_6^2 - 3843800654773674873833/12712868219037381233*c_0101_6 + 306147557253340810394/12712868219037381233, c_0011_0 - 1, c_0011_4 + 11160541791271858067/12712868219037381233*c_0101_6^21 - 42118872748621111495/12712868219037381233*c_0101_6^20 + 25327879529588532215/12712868219037381233*c_0101_6^19 + 1093257861063173018476/12712868219037381233*c_0101_6^18 - 1618556744613343019448/12712868219037381233*c_0101_6^17 - 11973497188644244124087/12712868219037381233*c_0101_6^16 + 1023972714583706167669/12712868219037381233*c_0101_6^15 + 39267098682129720968861/12712868219037381233*c_0101_6^14 + 7781193915095397198029/12712868219037381233*c_0101_6^13 - 60770656361399856540399/12712868219037381233*c_0101_6^12 - 13013141045388992688741/12712868219037381233*c_0101_6^11 + 51085003526630648381560/12712868219037381233*c_0101_6^10 + 6613587836061879137983/12712868219037381233*c_0101_6^9 - 23197651663898341972044/12712868219037381233*c_0101_6^8 - 996773187178173313115/12712868219037381233*c_0101_6^7 + 4740015660142065515902/12712868219037381233*c_0101_6^6 + 261806255828060012476/12712868219037381233*c_0101_6^5 - 202431849684198479404/12712868219037381233*c_0101_6^4 - 183046325826470314929/12712868219037381233*c_0101_6^3 + 7023191861161143804/12712868219037381233*c_0101_6^2 + 36031289509733736661/12712868219037381233*c_0101_6 - 4858078024961325024/12712868219037381233, c_0101_0 - 8222214147433465952/12712868219037381233*c_0101_6^21 + 39082285968195591018/12712868219037381233*c_0101_6^20 - 45646886973622433840/12712868219037381233*c_0101_6^19 - 799376599435753711493/12712868219037381233*c_0101_6^18 + 1987038066430785347014/12712868219037381233*c_0101_6^17 + 7988190397886238616353/12712868219037381233*c_0101_6^16 - 9833435519035360038313/12712868219037381233*c_0101_6^15 - 31877667378476056579885/12712868219037381233*c_0101_6^14 + 22356169953619696611488/12712868219037381233*c_0101_6^13 + 61617740029890632380063/12712868219037381233*c_0101_6^12 - 31290297164646006775420/12712868219037381233*c_0101_6^11 - 62908292192390654615005/12712868219037381233*c_0101_6^10 + 29535921706395184523532/12712868219037381233*c_0101_6^9 + 33970059898742933389379/12712868219037381233*c_0101_6^8 - 17360274170285671233751/12712868219037381233*c_0101_6^7 - 8875826785639140127070/12712868219037381233*c_0101_6^6 + 5396798332395107752155/12712868219037381233*c_0101_6^5 + 802903292882706410302/12712868219037381233*c_0101_6^4 - 838303745227582955815/12712868219037381233*c_0101_6^3 + 12716731043456119023/12712868219037381233*c_0101_6^2 + 89485202214338339738/12712868219037381233*c_0101_6 - 526548211687963444/12712868219037381233, c_0101_1 - 11513642031926128802/12712868219037381233*c_0101_6^21 + 42501371474354493439/12712868219037381233*c_0101_6^20 - 18629552656011519805/12712868219037381233*c_0101_6^19 - 1151834372058072897162/12712868219037381233*c_0101_6^18 + 1618187064053159971966/12712868219037381233*c_0101_6^17 + 12828647099582231294490/12712868219037381233*c_0101_6^16 - 1250412003574764382941/12712868219037381233*c_0101_6^15 - 43243713734307719258437/12712868219037381233*c_0101_6^14 - 4855923183045442729526/12712868219037381233*c_0101_6^13 + 70416590074360532776074/12712868219037381233*c_0101_6^12 + 1798791620113781945564/12712868219037381233*c_0101_6^11 - 63917891332280750350909/12712868219037381233*c_0101_6^10 + 12440645835349432313390/12712868219037381233*c_0101_6^9 + 31429775350214789170952/12712868219037381233*c_0101_6^8 - 14976101733754984683316/12712868219037381233*c_0101_6^7 - 6135409905415377827335/12712868219037381233*c_0101_6^6 + 6285693499025022417454/12712868219037381233*c_0101_6^5 - 508812738038806160505/12712868219037381233*c_0101_6^4 - 980024746035209490965/12712868219037381233*c_0101_6^3 + 250487182968786380171/12712868219037381233*c_0101_6^2 + 29199261018098556554/12712868219037381233*c_0101_6 - 16004289797656155007/12712868219037381233, c_0101_2 - 1485555769250321658/12712868219037381233*c_0101_6^21 + 31490850754977229228/12712868219037381233*c_0101_6^20 - 112658706947183489415/12712868219037381233*c_0101_6^19 - 50868053201440074532/12712868219037381233*c_0101_6^18 + 2761483682127544764312/12712868219037381233*c_0101_6^17 - 3350043452497115977460/12712868219037381233*c_0101_6^16 - 26936928423551223538942/12712868219037381233*c_0101_6^15 + 11365874573663719517047/12712868219037381233*c_0101_6^14 + 95600949916785106710534/12712868219037381233*c_0101_6^13 - 20976599395675419832011/12712868219037381233*c_0101_6^12 - 167133962002714480434212/12712868219037381233*c_0101_6^11 + 38575121076519681807856/12712868219037381233*c_0101_6^10 + 157883132196953740465280/12712868219037381233*c_0101_6^9 - 51498954569093532872434/12712868219037381233*c_0101_6^8 - 78007097012570997892584/12712868219037381233*c_0101_6^7 + 34818952553046986758012/12712868219037381233*c_0101_6^6 + 16828842619922174884382/12712868219037381233*c_0101_6^5 - 9970878646410367507393/12712868219037381233*c_0101_6^4 - 706825274418239387167/12712868219037381233*c_0101_6^3 + 953196681251933066692/12712868219037381233*c_0101_6^2 - 68837601182886183631/12712868219037381233*c_0101_6 - 37575934490934548336/12712868219037381233, c_0101_4 - 3192547672046009796/12712868219037381233*c_0101_6^21 - 10148375285880827580/12712868219037381233*c_0101_6^20 + 77999349198310477410/12712868219037381233*c_0101_6^19 - 368663251430082746713/12712868219037381233*c_0101_6^18 - 1711853496748303084091/12712868219037381233*c_0101_6^17 + 6803734154386886259823/12712868219037381233*c_0101_6^16 + 23294820885421783084964/12712868219037381233*c_0101_6^15 - 15215487444885067285299/12712868219037381233*c_0101_6^14 - 79611694927703159136590/12712868219037381233*c_0101_6^13 + 10885790322832886053995/12712868219037381233*c_0101_6^12 + 125241988100472972594715/12712868219037381233*c_0101_6^11 - 7993151091837797625916/12712868219037381233*c_0101_6^10 - 107458726371837466698727/12712868219037381233*c_0101_6^9 + 15308671744762572547907/12712868219037381233*c_0101_6^8 + 50771129244555528219791/12712868219037381233*c_0101_6^7 - 13117319225794643618793/12712868219037381233*c_0101_6^6 - 11329458609736396608059/12712868219037381233*c_0101_6^5 + 4348825793560734510111/12712868219037381233*c_0101_6^4 + 738260691692625455860/12712868219037381233*c_0101_6^3 - 545741284401566267833/12712868219037381233*c_0101_6^2 + 7008816123609061920/12712868219037381233*c_0101_6 + 27032287026312329350/12712868219037381233, c_0101_6^22 - 4*c_0101_6^21 + 2*c_0101_6^20 + 102*c_0101_6^19 - 171*c_0101_6^18 - 1149*c_0101_6^17 + 528*c_0101_6^16 + 4649*c_0101_6^15 - 532*c_0101_6^14 - 9455*c_0101_6^13 + 415*c_0101_6^12 + 11015*c_0101_6^11 - 992*c_0101_6^10 - 7606*c_0101_6^9 + 1408*c_0101_6^8 + 2984*c_0101_6^7 - 872*c_0101_6^6 - 565*c_0101_6^5 + 237*c_0101_6^4 + 29*c_0101_6^3 - 25*c_0101_6^2 + c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB