Magma V2.19-8 Tue Aug 20 2013 16:17:05 on localhost [Seed = 240095964] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1337 geometric_solution 5.21521739 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 -1 0 1 -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 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.285382427389 0.118146247761 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 0 1 0 0 -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 -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 2.219916863444 1.167499619332 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 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 1 0 -1 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.766106336464 0.639359212360 2 5 4 6 0132 0132 3201 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 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.048171451091 0.619984714714 3 6 2 5 2310 1023 0132 2310 0 0 0 0 0 0 0 0 0 0 1 -1 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 1 -1 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.048171451091 0.619984714714 4 3 5 5 3201 0132 1230 3012 0 0 0 0 0 -1 0 1 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 -1 1 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.153925848310 1.023954796240 4 6 3 6 1023 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.124570105646 1.603264167096 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0110_5'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0110_5']), 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 3948263682460550513534698131182211939353393/95475749421635694544313\ 951700622762585860*c_0110_5^19 - 6601587013645228272687273941409882\ 03872872/2652104150600991515119831991683965627385*c_0110_5^18 - 15094390622503691177607320762691187427496011/7956312451802974545359\ 495975051896882155*c_0110_5^17 + 3214608572936612096987864320081947\ 22179862021/47737874710817847272156975850311381292930*c_0110_5^16 - 981085887734238786308938133990707599789896999/318252498072118981814\ 37983900207587528620*c_0110_5^15 + 4409146320465680230560586023478494672573356209/95475749421635694544\ 313951700622762585860*c_0110_5^14 - 817152853739228296257897246596468286250449413/106084166024039660604\ 79327966735862509540*c_0110_5^13 + 6017286422562714449279055074145521162733101267/47737874710817847272\ 156975850311381292930*c_0110_5^12 + 6946292970300233247981246798895644477351064309/95475749421635694544\ 313951700622762585860*c_0110_5^11 + 1472392062791379071594905257173911208709678673/86796135837850631403\ 92177427329342053260*c_0110_5^10 + 42617228621124320477470715377492999859926503803/9547574942163569454\ 4313951700622762585860*c_0110_5^9 + 4618687289111840972203838444423564561603954/11643384075809231041989\ 5063049539954373*c_0110_5^8 + 4415057548375751456154572683685305004\ 9912637457/95475749421635694544313951700622762585860*c_0110_5^7 - 16905903901359178185172315790861520007804477949/9547574942163569454\ 4313951700622762585860*c_0110_5^6 + 138702900915551452773712324893239524908702511/265210415060099151511\ 9831991683965627385*c_0110_5^5 - 1281556997771000804782327745537002\ 549049124416/7956312451802974545359495975051896882155*c_0110_5^4 - 9235770016214493270843374200689221938764577627/95475749421635694544\ 313951700622762585860*c_0110_5^3 - 130539574774556709096759305659031691941490593/795631245180297454535\ 9495975051896882155*c_0110_5^2 - 7364188759969237936537414875792182\ 64061173757/95475749421635694544313951700622762585860*c_0110_5 - 84307984261203617119819962035835459860094407/4773787471081784727215\ 6975850311381292930, c_0011_0 - 1, c_0011_2 - 138284713257580729000590246513377/20995526359956418169176753\ 50040842*c_0110_5^19 + 414447040783723021018326532948781/1049776317\ 997820908458837675020421*c_0110_5^18 + 6361802345374359022729957358044171/20995526359956418169176753500408\ 42*c_0110_5^17 - 22305949442213483301654113749525087/20995526359956\ 41816917675350040842*c_0110_5^16 + 51232659306159803175098681249109154/1049776317997820908458837675020\ 421*c_0110_5^15 - 153920101708467812495756057077360235/209955263599\ 5641816917675350040842*c_0110_5^14 + 261728069504339861943841619047437847/209955263599564181691767535004\ 0842*c_0110_5^13 - 73448837362157609532185803229343899/349925439332\ 606969486279225006807*c_0110_5^12 - 109966003275054523582786194436350584/104977631799782090845883767502\ 0421*c_0110_5^11 - 101825484822563997902734546413810411/34992543933\ 2606969486279225006807*c_0110_5^10 - 1452184669072668282276149046081781013/20995526359956418169176753500\ 40842*c_0110_5^9 - 43322416708789841307508978231916582/104977631799\ 7820908458837675020421*c_0110_5^8 - 1534251985632764694757899202396197191/20995526359956418169176753500\ 40842*c_0110_5^7 + 250099123964849660592784056073970107/69985087866\ 5213938972558450013614*c_0110_5^6 - 81532331323673399378076792483542769/6998508786652139389725584500136\ 14*c_0110_5^5 + 102235850117314275272862291643362063/34992543933260\ 6969486279225006807*c_0110_5^4 + 2475366337728078521933919420971835\ 07/2099552635995641816917675350040842*c_0110_5^3 + 36050615042439607346068130495438659/2099552635995641816917675350040\ 842*c_0110_5^2 + 24910087534444431386651359251744629/20995526359956\ 41816917675350040842*c_0110_5 + 344711169506153330510453437305379/3\ 49925439332606969486279225006807, c_0011_4 - 194809525271371342692483176343845141/70565964095813521466603\ 06851487269962*c_0110_5^19 + 409722760516846470553992184164929719/2\ 352198803193784048886768950495756654*c_0110_5^18 + 1429037591147136752901999451523839531/11760994015968920244433844752\ 47878327*c_0110_5^17 - 34145630619298691245934620384714017317/70565\ 96409581352146660306851487269962*c_0110_5^16 + 25876199213874620535358556367759019876/1176099401596892024443384475\ 247878327*c_0110_5^15 - 265082859973018624690076362309229508181/705\ 6596409581352146660306851487269962*c_0110_5^14 + 74782511285277948065355586191057230180/1176099401596892024443384475\ 247878327*c_0110_5^13 - 747205468748738017809898017205488359851/705\ 6596409581352146660306851487269962*c_0110_5^12 - 101212118486098159782108073275343067257/705659640958135214666030685\ 1487269962*c_0110_5^11 - 794770006583396665640331737314220210975/70\ 56596409581352146660306851487269962*c_0110_5^10 - 1847618529187650225048575456638287991013/70565964095813521466603068\ 51487269962*c_0110_5^9 + 435564210950435252674158754327912204261/70\ 56596409581352146660306851487269962*c_0110_5^8 - 2294550257163970632738284997352304886577/70565964095813521466603068\ 51487269962*c_0110_5^7 + 827658600569967696334392552288501809899/35\ 28298204790676073330153425743634981*c_0110_5^6 - 255971554314114597282268893952983408757/235219880319378404888676895\ 0495756654*c_0110_5^5 + 335598999714180361034152534525429901593/235\ 2198803193784048886768950495756654*c_0110_5^4 + 107618986176699475195023395377841491939/705659640958135214666030685\ 1487269962*c_0110_5^3 + 1813166398561635723516865048527036155/23521\ 98803193784048886768950495756654*c_0110_5^2 + 18233286916255889828935664943667860524/3528298204790676073330153425\ 743634981*c_0110_5 - 1890475397500161166898801041635243275/70565964\ 09581352146660306851487269962, c_0101_0 - 233961851481271784017574404059381088/35282982047906760733301\ 53425743634981*c_0110_5^19 + 2960442967192334098947842488641312263/\ 7056596409581352146660306851487269962*c_0110_5^18 + 10289939025083833622400103881707382145/3528298204790676073330153425\ 743634981*c_0110_5^17 - 27587415073950405522502072178213028875/2352\ 198803193784048886768950495756654*c_0110_5^16 + 373751838473689398236362333303754197015/705659640958135214666030685\ 1487269962*c_0110_5^15 - 104805961018086242752928121416846696449/11\ 76099401596892024443384475247878327*c_0110_5^14 + 1031969520827322873252257180085567905693/70565964095813521466603068\ 51487269962*c_0110_5^13 - 1655960623501011540231442725393358579541/\ 7056596409581352146660306851487269962*c_0110_5^12 - 212062717570230229375432836211732987148/352829820479067607333015342\ 5743634981*c_0110_5^11 - 826934788106615556020667974719524540479/35\ 28298204790676073330153425743634981*c_0110_5^10 - 2329978436635191992992510939739864334352/35282982047906760733301534\ 25743634981*c_0110_5^9 + 248502775719296113302469970685634746073/23\ 52198803193784048886768950495756654*c_0110_5^8 - 907612403518255491619641687849807987459/117609940159689202444338447\ 5247878327*c_0110_5^7 + 3045592283638241612398479895529624781235/70\ 56596409581352146660306851487269962*c_0110_5^6 - 432280225342732539683725171568285614697/235219880319378404888676895\ 0495756654*c_0110_5^5 + 648252226753814802051676985989757779449/235\ 2198803193784048886768950495756654*c_0110_5^4 + 367920633909936409750619225884397115077/352829820479067607333015342\ 5743634981*c_0110_5^3 + 53993352081008242172169827443523384375/7056\ 596409581352146660306851487269962*c_0110_5^2 + 28794060869565152394320116787731329355/2352198803193784048886768950\ 495756654*c_0110_5 + 7206403526893504803487583821597406393/70565964\ 09581352146660306851487269962, c_0101_1 - 138235520845964313717341468399699/20995526359956418169176753\ 50040842*c_0110_5^19 + 146515209085644448624623649820986/3499254393\ 32606969486279225006807*c_0110_5^18 + 1009105216357095137455556604933400/34992543933260696948627922500680\ 7*c_0110_5^17 - 12316430723500992850767763605931459/104977631799782\ 0908458837675020421*c_0110_5^16 + 369431283135594449169252910429970\ 65/699850878665213938972558450013614*c_0110_5^15 - 190424726621793282591208471290036529/209955263599564181691767535004\ 0842*c_0110_5^14 + 105049118007029747100652034049805549/69985087866\ 5213938972558450013614*c_0110_5^13 - 260938900570427053763424480862776047/104977631799782090845883767502\ 0421*c_0110_5^12 - 75054408661233923364990337077667459/209955263599\ 5641816917675350040842*c_0110_5^11 - 519320056467861562109824103636369843/209955263599564181691767535004\ 0842*c_0110_5^10 - 1275040122275153864300473710212388971/2099552635\ 995641816917675350040842*c_0110_5^9 + 178800494457878775503802635038777688/104977631799782090845883767502\ 0421*c_0110_5^8 - 1561679426256883434672718536060478063/20995526359\ 95641816917675350040842*c_0110_5^7 + 1163212525919035378814434160046700301/20995526359956418169176753500\ 40842*c_0110_5^6 - 85103538256973091267611085603903296/349925439332\ 606969486279225006807*c_0110_5^5 + 112232443128983516700047125580085633/349925439332606969486279225006\ 807*c_0110_5^4 + 77000933965335591609651122512793569/20995526359956\ 41816917675350040842*c_0110_5^3 - 153582316144220558674636127496045\ 2/349925439332606969486279225006807*c_0110_5^2 + 21734074956361965511652221268896213/2099552635995641816917675350040\ 842*c_0110_5 - 874619624860783465570130940647902/104977631799782090\ 8458837675020421, c_0101_3 - 9718362321826296094196536283080/3499254393326069694862792250\ 06807*c_0110_5^19 + 179157453312871059135124776344011/1049776317997\ 820908458837675020421*c_0110_5^18 + 1313424045177294270757191361889506/10497763179978209084588376750204\ 21*c_0110_5^17 - 4893867706831641345596399896519910/104977631799782\ 0908458837675020421*c_0110_5^16 + 447354376790105087776619822345672\ 11/2099552635995641816917675350040842*c_0110_5^15 - 72137601825615434863465081600260995/2099552635995641816917675350040\ 842*c_0110_5^14 + 123113003258842961356598348573476307/209955263599\ 5641816917675350040842*c_0110_5^13 - 104406081917164873683648852994553000/104977631799782090845883767502\ 0421*c_0110_5^12 - 9306322933136891103299471291493962/3499254393326\ 06969486279225006807*c_0110_5^11 - 128132844334922550173862517666081342/104977631799782090845883767502\ 0421*c_0110_5^10 - 190398981883986772045108921746213923/69985087866\ 5213938972558450013614*c_0110_5^9 + 60592531772185368251462615171683721/2099552635995641816917675350040\ 842*c_0110_5^8 - 330413781277131991319285929598129140/1049776317997\ 820908458837675020421*c_0110_5^7 + 223514262941337439002159374095362823/104977631799782090845883767502\ 0421*c_0110_5^6 - 29515821528217125667866089205571530/3499254393326\ 06969486279225006807*c_0110_5^5 + 495766719003447289018037345975995\ 29/349925439332606969486279225006807*c_0110_5^4 + 17264296503514872903930048398542497/6998508786652139389725584500136\ 14*c_0110_5^3 + 282293554305472123868867084035225/10497763179978209\ 08458837675020421*c_0110_5^2 + 4040681580848957888133685011240883/1\ 049776317997820908458837675020421*c_0110_5 - 500609452993259141404829980602041/209955263599564181691767535004084\ 2, c_0110_5^20 - 6*c_0110_5^19 - 46*c_0110_5^18 + 162*c_0110_5^17 - 742*c_0110_5^16 + 1101*c_0110_5^15 - 1835*c_0110_5^14 + 3001*c_0110_5^13 + 1837*c_0110_5^12 + 4105*c_0110_5^11 + 10874*c_0110_5^10 + 1138*c_0110_5^9 + 11134*c_0110_5^8 - 4041*c_0110_5^7 + 1088*c_0110_5^6 - 3798*c_0110_5^5 - 2456*c_0110_5^4 - 399*c_0110_5^3 - 195*c_0110_5^2 - 45*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB