Magma V2.19-8 Tue Aug 20 2013 16:18:45 on localhost [Seed = 3398129598] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2918 geometric_solution 6.11700302 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1023 0132 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0.750727847711 0.516005906857 0 4 4 5 0132 0132 1230 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.922122814326 0.797181346879 2 0 0 2 3201 0132 1023 2310 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 0 0 0 0 0 0 0 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.226849447344 0.427738471663 4 5 0 5 2031 1023 0132 2031 0 0 0 0 0 1 -1 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 -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.529330600258 0.462436004478 6 1 3 1 0132 0132 1302 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631738103685 0.528702052291 3 3 1 6 1023 1302 0132 0213 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460877004695 0.446451183179 4 6 6 5 0132 3201 2310 0213 0 0 0 0 0 1 -1 0 1 0 -1 0 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 -1 1 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.589671913887 0.600202181318 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(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' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_6'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_1'], '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_3'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(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_1001_5' : d['c_0110_3'], 'c_1001_4' : d['c_0110_3'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0110_3'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 105230330474849099152743/13981101787914078862400*c_0110_3^24 + 27252102915244192332577/13981101787914078862400*c_0110_3^23 + 3480568163680412440269363/27962203575828157724800*c_0110_3^22 - 55588574519832246449299/5592440715165631544960*c_0110_3^21 - 23423261055043316008459879/27962203575828157724800*c_0110_3^20 + 2516987245587836742421677/27962203575828157724800*c_0110_3^19 + 46473974139612466620491643/13981101787914078862400*c_0110_3^18 - 1461551413262575175808887/1747637723489259857800*c_0110_3^17 - 251910631124643340969589977/27962203575828157724800*c_0110_3^16 + 120349551785614306200266199/27962203575828157724800*c_0110_3^15 + 29173469233309116845043997/1747637723489259857800*c_0110_3^14 - 370357307853852531435885369/27962203575828157724800*c_0110_3^13 - 536756552111303749374741537/27962203575828157724800*c_0110_3^12 + 133703717258568800732158641/5592440715165631544960*c_0110_3^11 + 278809640471271289022740201/27962203575828157724800*c_0110_3^10 - 684851858551882036834552931/27962203575828157724800*c_0110_3^9 + 13192369374679134507048587/5592440715165631544960*c_0110_3^8 + 365105566330524901827320057/27962203575828157724800*c_0110_3^7 - 74097140643928536502770103/13981101787914078862400*c_0110_3^6 - 1671115148961117490030621/559244071516563154496*c_0110_3^5 + 14297380159349782449785037/6990550893957039431200*c_0110_3^4 + 68774416760342708647617/1118488143033126308992*c_0110_3^3 - 4909731413669753200631273/27962203575828157724800*c_0110_3^2 + 352929097157087988001307/5592440715165631544960*c_0110_3 - 109155662119486388020139/27962203575828157724800, c_0011_0 - 1, c_0011_3 - 5460074103832957056/218454715436157482225*c_0110_3^24 + 97850377114002807394/218454715436157482225*c_0110_3^23 - 102390199813736093962/218454715436157482225*c_0110_3^22 - 244131770237199664711/43690943087231496445*c_0110_3^21 + 1534275617506450720211/218454715436157482225*c_0110_3^20 + 6561618467492156438342/218454715436157482225*c_0110_3^19 - 9114297394140297107339/218454715436157482225*c_0110_3^18 - 20857099058765000385552/218454715436157482225*c_0110_3^17 + 35124524276798626329643/218454715436157482225*c_0110_3^16 + 40550196520179295287429/218454715436157482225*c_0110_3^15 - 94662354757686743066498/218454715436157482225*c_0110_3^14 - 32403034668175839855064/218454715436157482225*c_0110_3^13 + 166652513263182241224768/218454715436157482225*c_0110_3^12 - 7850124520833819732313/43690943087231496445*c_0110_3^11 - 168043620521759088758839/218454715436157482225*c_0110_3^10 + 118159588961189080783084/218454715436157482225*c_0110_3^9 + 3034797686411106631913/8738188617446299289*c_0110_3^8 - 106997960910566911429808/218454715436157482225*c_0110_3^7 + 4289102404202622403989/218454715436157482225*c_0110_3^6 + 8085255704124540029116/43690943087231496445*c_0110_3^5 - 14098170720742078640902/218454715436157482225*c_0110_3^4 - 832341525555691053877/43690943087231496445*c_0110_3^3 + 2429467122510062507012/218454715436157482225*c_0110_3^2 - 23301382006874240602/8738188617446299289*c_0110_3 + 120628133342602485526/218454715436157482225, c_0101_0 - 195653164187109993398/218454715436157482225*c_0110_3^24 + 396766402478052943852/218454715436157482225*c_0110_3^23 + 2543467339411982103479/218454715436157482225*c_0110_3^22 - 918657148135380749518/43690943087231496445*c_0110_3^21 - 14235941119595691154887/218454715436157482225*c_0110_3^20 + 25661514204501838362111/218454715436157482225*c_0110_3^19 + 46753868773495316762613/218454715436157482225*c_0110_3^18 - 95560145445963549360591/218454715436157482225*c_0110_3^17 - 93306522244413680762181/218454715436157482225*c_0110_3^16 + 253463892899188613932407/218454715436157482225*c_0110_3^15 + 77330834902554475734866/218454715436157482225*c_0110_3^14 - 454633903697624563398387/218454715436157482225*c_0110_3^13 + 97946844670857687643394/218454715436157482225*c_0110_3^12 + 98774513806500219297376/43690943087231496445*c_0110_3^11 - 322512077977797279131337/218454715436157482225*c_0110_3^10 - 268067282451309086525303/218454715436157482225*c_0110_3^9 + 13336316559306431359180/8738188617446299289*c_0110_3^8 + 18434882977909351020011/218454715436157482225*c_0110_3^7 - 155079452518066924726813/218454715436157482225*c_0110_3^6 + 8846576462840131191743/43690943087231496445*c_0110_3^5 + 26682756795556027589934/218454715436157482225*c_0110_3^4 - 2913003566533907078381/43690943087231496445*c_0110_3^3 + 639950672410475388221/218454715436157482225*c_0110_3^2 + 42779531264354795413/8738188617446299289*c_0110_3 - 200078106576583958542/218454715436157482225, c_0101_1 - 20477565893256104244/218454715436157482225*c_0110_3^24 + 31293510535440545696/218454715436157482225*c_0110_3^23 + 297446014136124707072/218454715436157482225*c_0110_3^22 - 69779448710683604982/43690943087231496445*c_0110_3^21 - 1892666204074009092881/218454715436157482225*c_0110_3^20 + 1927676193332064952583/218454715436157482225*c_0110_3^19 + 7214361479189660651659/218454715436157482225*c_0110_3^18 - 7488438412160957385203/218454715436157482225*c_0110_3^17 - 18196169082563842446578/218454715436157482225*c_0110_3^16 + 21940668582753095861596/218454715436157482225*c_0110_3^15 + 29596251096487841891888/218454715436157482225*c_0110_3^14 - 46397629774217699272496/218454715436157482225*c_0110_3^13 - 26508558087487158747188/218454715436157482225*c_0110_3^12 + 13214679715327686713097/43690943087231496445*c_0110_3^11 + 3467638512282680435524/218454715436157482225*c_0110_3^10 - 59152004655610467029719/218454715436157482225*c_0110_3^9 + 3661345825516725309527/43690943087231496445*c_0110_3^8 + 30245682825550056550263/218454715436157482225*c_0110_3^7 - 18603638718938645404879/218454715436157482225*c_0110_3^6 - 1297243060044497237642/43690943087231496445*c_0110_3^5 + 7266022747219903989537/218454715436157482225*c_0110_3^4 - 90173180178763433351/43690943087231496445*c_0110_3^3 - 478914912538959194507/218454715436157482225*c_0110_3^2 + 33043598334163479222/43690943087231496445*c_0110_3 - 228739748469943885621/218454715436157482225, c_0101_2 - 225612459223295640824/218454715436157482225*c_0110_3^24 + 407022355223601866596/218454715436157482225*c_0110_3^23 + 2835377627038145451832/218454715436157482225*c_0110_3^22 - 829284570996379034418/43690943087231496445*c_0110_3^21 - 15354300290499232378216/218454715436157482225*c_0110_3^20 + 20634940809171511905618/218454715436157482225*c_0110_3^19 + 49716269982823009957079/218454715436157482225*c_0110_3^18 - 71603265849274686384798/218454715436157482225*c_0110_3^17 - 102391885384875764482033/218454715436157482225*c_0110_3^16 + 180335616076875177656741/218454715436157482225*c_0110_3^15 + 113110479259222143311578/218454715436157482225*c_0110_3^14 - 303138238088922029334961/218454715436157482225*c_0110_3^13 - 24974476465525167067938/218454715436157482225*c_0110_3^12 + 12449672290441817985586/8738188617446299289*c_0110_3^11 - 76704751335118940464451/218454715436157482225*c_0110_3^10 - 198825505363501825943594/218454715436157482225*c_0110_3^9 + 17710038182020845595921/43690943087231496445*c_0110_3^8 + 88946678648677723797858/218454715436157482225*c_0110_3^7 - 56837119882009580648589/218454715436157482225*c_0110_3^6 - 4966075182642665404654/43690943087231496445*c_0110_3^5 + 23740693153061915716872/218454715436157482225*c_0110_3^4 - 34379173691479785157/43690943087231496445*c_0110_3^3 - 3513381719808202320437/218454715436157482225*c_0110_3^2 + 300699668997956672331/43690943087231496445*c_0110_3 + 37656591432188442269/218454715436157482225, c_0101_6 - 20570066067572806792/218454715436157482225*c_0110_3^24 + 61617698028401717828/218454715436157482225*c_0110_3^23 + 246402381376792345996/218454715436157482225*c_0110_3^22 - 158225519951574414016/43690943087231496445*c_0110_3^21 - 1276137975784833711658/218454715436157482225*c_0110_3^20 + 4751905387466629236969/218454715436157482225*c_0110_3^19 + 3677666810081524898237/218454715436157482225*c_0110_3^18 - 18219346825341112285379/218454715436157482225*c_0110_3^17 - 4514195138267775377929/218454715436157482225*c_0110_3^16 + 48537016532233732464778/218454715436157482225*c_0110_3^15 - 9547203777040479769416/218454715436157482225*c_0110_3^14 - 87346711581198496960428/218454715436157482225*c_0110_3^13 + 53288601906854589547816/218454715436157482225*c_0110_3^12 + 19190620226322590895396/43690943087231496445*c_0110_3^11 - 104107450735580553323893/218454715436157482225*c_0110_3^10 - 49318315776902466774892/218454715436157482225*c_0110_3^9 + 21325543427913701021131/43690943087231496445*c_0110_3^8 - 8391957283013533673891/218454715436157482225*c_0110_3^7 - 57799286323063831248147/218454715436157482225*c_0110_3^6 + 4741003020739340297859/43690943087231496445*c_0110_3^5 + 13541747961399958917866/218454715436157482225*c_0110_3^4 - 2055907485223864036913/43690943087231496445*c_0110_3^3 + 80604711677506644499/218454715436157482225*c_0110_3^2 + 217640176651800001156/43690943087231496445*c_0110_3 - 247498255941108623278/218454715436157482225, c_0110_3^25 - 2*c_0110_3^24 - 27/2*c_0110_3^23 + 24*c_0110_3^22 + 79*c_0110_3^21 - 139*c_0110_3^20 - 545/2*c_0110_3^19 + 535*c_0110_3^18 + 1167/2*c_0110_3^17 - 1475*c_0110_3^16 - 1205/2*c_0110_3^15 + 5615/2*c_0110_3^14 - 335*c_0110_3^13 - 3376*c_0110_3^12 + 1849*c_0110_3^11 + 2229*c_0110_3^10 - 2308*c_0110_3^9 - 482*c_0110_3^8 + 2679/2*c_0110_3^7 - 248*c_0110_3^6 - 343*c_0110_3^5 + 293/2*c_0110_3^4 + 18*c_0110_3^3 - 19*c_0110_3^2 + 4*c_0110_3 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB