Magma V2.19-8 Tue Aug 20 2013 16:17:03 on localhost [Seed = 3583265031] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1301 geometric_solution 5.18959397 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 0 -1 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.515602482478 1.110662721167 3 2 4 0 0132 1023 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 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.205015988990 1.213528685714 1 3 0 4 1023 3201 0132 2310 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 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.205015988990 1.213528685714 1 5 2 5 0132 0132 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.351784400517 1.112732878075 2 6 6 1 3201 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379598354707 0.220946405624 3 3 5 5 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.466188221793 0.132884202774 4 4 6 6 2310 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.793172731677 1.639567763273 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_0']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_4, c_0101_0, c_0101_1, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 11067733978085315205172802471269958031528068586425147347/8558851729\ 52502061586666120548657591827171543587893*c_0110_5^19 + 45970119208480745739959416037622508647608457861540261489/3423540691\ 810008246346664482194630367308686174351572*c_0110_5^18 - 331146438231889425134330682525607644076684578990986755267/171177034\ 5905004123173332241097315183654343087175786*c_0110_5^17 - 3089536800676114969804781373556820530923487654061199875719/17117703\ 45905004123173332241097315183654343087175786*c_0110_5^16 - 17989909045832728083482286148414216884479119992403191789607/3423540\ 691810008246346664482194630367308686174351572*c_0110_5^15 - 11435575113524767919768196881310610538864164196306856835519/1711770\ 345905004123173332241097315183654343087175786*c_0110_5^14 - 44125818441374418120565973533757879177812208143836179720165/8558851\ 72952502061586666120548657591827171543587893*c_0110_5^13 - 80355945352461706861310245311029909284585335694555312074809/3423540\ 691810008246346664482194630367308686174351572*c_0110_5^12 - 69738536376080158791475665553974190158455511470274705221167/3423540\ 691810008246346664482194630367308686174351572*c_0110_5^11 - 489843324569721053061136442187147962070454974792237892355827/342354\ 0691810008246346664482194630367308686174351572*c_0110_5^10 + 243070731520476714921511423423547705255037611121934763084127/855885\ 172952502061586666120548657591827171543587893*c_0110_5^9 - 37070880174036702824362057953074773212863010722339295512393/1711770\ 345905004123173332241097315183654343087175786*c_0110_5^8 + 437823253247812912933608307528667425983216978989980231868627/171177\ 0345905004123173332241097315183654343087175786*c_0110_5^7 - 2429341791343732626590388957099273949389430034924727479621/85588517\ 2952502061586666120548657591827171543587893*c_0110_5^6 - 112141913259232266347711586414342595693485226009763675120247/855885\ 172952502061586666120548657591827171543587893*c_0110_5^5 - 231195080213112561450464662774359052403838517589450773464203/342354\ 0691810008246346664482194630367308686174351572*c_0110_5^4 - 17110073430958489793513285009213504321193779063543024407025/8558851\ 72952502061586666120548657591827171543587893*c_0110_5^3 - 10357867971185255853345487798748180764028775353292118379817/3423540\ 691810008246346664482194630367308686174351572*c_0110_5^2 - 10542932358548469055910620768652024311364557065831250213411/3423540\ 691810008246346664482194630367308686174351572*c_0110_5 - 1113760639503164320356681799596514272314686626597559772031/34235406\ 91810008246346664482194630367308686174351572, c_0011_0 - 1, c_0011_1 + 775746364032689445737800432377949087194933129315/45046588050\ 131687451929795818350399569851133873047*c_0110_5^19 + 772884127758242155990578498692878020958089408022/450465880501316874\ 51929795818350399569851133873047*c_0110_5^18 - 11736753104026927719424057027924076028455119293607/4504658805013168\ 7451929795818350399569851133873047*c_0110_5^17 - 107875808251692213902914770675328174326404552088587/450465880501316\ 87451929795818350399569851133873047*c_0110_5^16 - 309206312357297169310259516865724942947271538570746/450465880501316\ 87451929795818350399569851133873047*c_0110_5^15 - 374041335301174921863596656878037368151992055484934/450465880501316\ 87451929795818350399569851133873047*c_0110_5^14 - 3037802762301092977464900270579068144628295672762149/45046588050131\ 687451929795818350399569851133873047*c_0110_5^13 - 1231641318442513844225053393431140814155485879534528/45046588050131\ 687451929795818350399569851133873047*c_0110_5^12 - 777647588497737413285189336277631988179819575484350/450465880501316\ 87451929795818350399569851133873047*c_0110_5^11 - 8398069263791567132992025854795922270058547450431850/45046588050131\ 687451929795818350399569851133873047*c_0110_5^10 + 17545253607958151965915361715397178217839385835260150/4504658805013\ 1687451929795818350399569851133873047*c_0110_5^9 - 941097414728296756188014064586671511024447043983454/450465880501316\ 87451929795818350399569851133873047*c_0110_5^8 + 13136164224442900933980229708506057174976422942181638/4504658805013\ 1687451929795818350399569851133873047*c_0110_5^7 - 357226093251627095979845746663151371758602031235976/450465880501316\ 87451929795818350399569851133873047*c_0110_5^6 - 9848497487965575214883162256772659029741822186276381/45046588050131\ 687451929795818350399569851133873047*c_0110_5^5 - 3477045414753289764938910812265090004608704666906874/45046588050131\ 687451929795818350399569851133873047*c_0110_5^4 - 96310960332563966791923793330210336069563435234220/4504658805013168\ 7451929795818350399569851133873047*c_0110_5^3 + 263594614350809562778693440963169786563157408411017/450465880501316\ 87451929795818350399569851133873047*c_0110_5^2 - 48811355061786578884558426086354376260160161925685/4504658805013168\ 7451929795818350399569851133873047*c_0110_5 - 1125993626921512115887810103559427728001521992491/45046588050131687\ 451929795818350399569851133873047, c_0011_4 - 5650503506651334365729195692580351785212596792/4504658805013\ 1687451929795818350399569851133873047*c_0110_5^19 + 6586627362844686396562998199265247198311380378/45046588050131687451\ 929795818350399569851133873047*c_0110_5^18 + 94367722359848835839837366220874962599654668267/4504658805013168745\ 1929795818350399569851133873047*c_0110_5^17 + 608900054588271156997531259754584687167910111920/450465880501316874\ 51929795818350399569851133873047*c_0110_5^16 + 612667230874576579821418902552136920684921476802/450465880501316874\ 51929795818350399569851133873047*c_0110_5^15 - 1862463098626426541103346186622973687320954799973/45046588050131687\ 451929795818350399569851133873047*c_0110_5^14 + 16012225863275632439456206296277620967270408102856/4504658805013168\ 7451929795818350399569851133873047*c_0110_5^13 - 41450863028709859983224465821491017557656795325588/4504658805013168\ 7451929795818350399569851133873047*c_0110_5^12 - 5063739122626837730273366645374152681623843219327/45046588050131687\ 451929795818350399569851133873047*c_0110_5^11 + 12051111189316872897820250279348179816818337014834/4504658805013168\ 7451929795818350399569851133873047*c_0110_5^10 - 267021880674087572139618014549564375014665598652702/450465880501316\ 87451929795818350399569851133873047*c_0110_5^9 + 322993768532504520902288555923546176856405488779777/450465880501316\ 87451929795818350399569851133873047*c_0110_5^8 - 311019042250032043855340854531999683387128586748157/450465880501316\ 87451929795818350399569851133873047*c_0110_5^7 + 481055371848663542108021715401225056008508052187877/450465880501316\ 87451929795818350399569851133873047*c_0110_5^6 - 11036484769108179354609167851637659439415009485654/4504658805013168\ 7451929795818350399569851133873047*c_0110_5^5 - 61494048994316329477140803507993130292253260733767/4504658805013168\ 7451929795818350399569851133873047*c_0110_5^4 - 3096829707526478111608745913934376498443315783391/45046588050131687\ 451929795818350399569851133873047*c_0110_5^3 - 179978761434337926540805259230707756942834832931030/450465880501316\ 87451929795818350399569851133873047*c_0110_5^2 - 1320085439177411292166359196773519528650452690740/45046588050131687\ 451929795818350399569851133873047*c_0110_5 + 45102014279170698698186357389073379886260310365466/4504658805013168\ 7451929795818350399569851133873047, c_0101_0 + 787847094975876645403775328096332622668128329333/45046588050\ 131687451929795818350399569851133873047*c_0110_5^19 + 734763699865413143472850156986985368345605620237/450465880501316874\ 51929795818350399569851133873047*c_0110_5^18 - 11864832330180488849090146795831909102521573915640/4504658805013168\ 7451929795818350399569851133873047*c_0110_5^17 - 108708729364239550134042639115734845871346288206690/450465880501316\ 87451929795818350399569851133873047*c_0110_5^16 - 308638208249075424490120758660891001275279287499220/450465880501316\ 87451929795818350399569851133873047*c_0110_5^15 - 374247212837777598266671334876491260677680259797642/450465880501316\ 87451929795818350399569851133873047*c_0110_5^14 - 3101142670000310913158579649358343965348005116875511/45046588050131\ 687451929795818350399569851133873047*c_0110_5^13 - 1101700278508727744493736213392834995320228857096917/45046588050131\ 687451929795818350399569851133873047*c_0110_5^12 - 1121315973580070159250497630933667206102278611252258/45046588050131\ 687451929795818350399569851133873047*c_0110_5^11 - 8600168757796398667202618236556901177827547164751544/45046588050131\ 687451929795818350399569851133873047*c_0110_5^10 + 18212431797585589363406960375797233061995346113593323/4504658805013\ 1687451929795818350399569851133873047*c_0110_5^9 - 3251039718346950152591450200287416671181178103229956/45046588050131\ 687451929795818350399569851133873047*c_0110_5^8 + 15882457631207333870193424380635263416875657265325574/4504658805013\ 1687451929795818350399569851133873047*c_0110_5^7 - 1850630390344506306108266398746123656391161487308866/45046588050131\ 687451929795818350399569851133873047*c_0110_5^6 - 7887335156200296192085071271451209901331848145836999/45046588050131\ 687451929795818350399569851133873047*c_0110_5^5 - 3251770300396912305283823938652488392543599560566908/45046588050131\ 687451929795818350399569851133873047*c_0110_5^4 - 843742515595970706486063169312290043059009100719161/450465880501316\ 87451929795818350399569851133873047*c_0110_5^3 - 88750877321154482410119260366097970227057973210819/4504658805013168\ 7451929795818350399569851133873047*c_0110_5^2 - 87648013617054102433603864953600269397181456314384/4504658805013168\ 7451929795818350399569851133873047*c_0110_5 + 123268078632676341622776758706144999680202167619/450465880501316874\ 51929795818350399569851133873047, c_0101_1 + 385208144273780239551400522660032873206064197310/45046588050\ 131687451929795818350399569851133873047*c_0110_5^19 + 411181212533105408918893231143291415510763537828/450465880501316874\ 51929795818350399569851133873047*c_0110_5^18 - 5850239995459623644847228488486653846834423190544/45046588050131687\ 451929795818350399569851133873047*c_0110_5^17 - 54023553895065380595675231270709429657854253536068/4504658805013168\ 7451929795818350399569851133873047*c_0110_5^16 - 156605473148516177001294690614037606474110040656069/450465880501316\ 87451929795818350399569851133873047*c_0110_5^15 - 189896268175113225725050978648447870259849390340165/450465880501316\ 87451929795818350399569851133873047*c_0110_5^14 - 1502825420850111142288017117596881724523429330687848/45046588050131\ 687451929795818350399569851133873047*c_0110_5^13 - 696493201835781566936467892252668882889221311957925/450465880501316\ 87451929795818350399569851133873047*c_0110_5^12 - 235459332133459421346037535670521447987045908134352/450465880501316\ 87451929795818350399569851133873047*c_0110_5^11 - 4144215472026778610919724133142050482957836587917916/45046588050131\ 687451929795818350399569851133873047*c_0110_5^10 + 8495900488292698168686088758998434856554750192807891/45046588050131\ 687451929795818350399569851133873047*c_0110_5^9 + 686743446945272436783184943948198322625346177674675/450465880501316\ 87451929795818350399569851133873047*c_0110_5^8 + 5297644442776352657541678498959097682566791536035293/45046588050131\ 687451929795818350399569851133873047*c_0110_5^7 + 634585729710108727226818773298426053801398962278167/450465880501316\ 87451929795818350399569851133873047*c_0110_5^6 - 6034931033803959766491639181355237109396633375757497/45046588050131\ 687451929795818350399569851133873047*c_0110_5^5 - 1840681999989946783635790049344860593930098300808064/45046588050131\ 687451929795818350399569851133873047*c_0110_5^4 + 249839782402910275170734431855810993265749666364641/450465880501316\ 87451929795818350399569851133873047*c_0110_5^3 + 306144425147828782186341762802025570505908263015538/450465880501316\ 87451929795818350399569851133873047*c_0110_5^2 + 41482177206808068938414347765263941692605137270690/4504658805013168\ 7451929795818350399569851133873047*c_0110_5 - 1230808824608763208248640574823483918715185545541/45046588050131687\ 451929795818350399569851133873047, c_0101_6 + 2819436075510861112612442464970621267931995063665/4504658805\ 0131687451929795818350399569851133873047*c_0110_5^19 + 2657100280457146644559654241838723077397622774177/45046588050131687\ 451929795818350399569851133873047*c_0110_5^18 - 42477183368001855113509033397386231649638936476384/4504658805013168\ 7451929795818350399569851133873047*c_0110_5^17 - 389484518395570029112382684623417035140533123629283/450465880501316\ 87451929795818350399569851133873047*c_0110_5^16 - 1107660943068828933790497736774710843120103454995704/45046588050131\ 687451929795818350399569851133873047*c_0110_5^15 - 1344274294316579492684477547542737946019082012503655/45046588050131\ 687451929795818350399569851133873047*c_0110_5^14 - 11094971370411912054526470787130483226882016705060384/4504658805013\ 1687451929795818350399569851133873047*c_0110_5^13 - 4034140611760881657959231603747328808128023093021709/45046588050131\ 687451929795818350399569851133873047*c_0110_5^12 - 3888285226719564501670810679928291560329062093794793/45046588050131\ 687451929795818350399569851133873047*c_0110_5^11 - 30768550375245051339453565375947090314402014653728403/4504658805013\ 1687451929795818350399569851133873047*c_0110_5^10 + 64878438237017712349297153998274923642010539377705429/4504658805013\ 1687451929795818350399569851133873047*c_0110_5^9 - 10482803505244603870327680413190148885866081821186650/4504658805013\ 1687451929795818350399569851133873047*c_0110_5^8 + 55727878309544040482761436086152177205106607946273702/4504658805013\ 1687451929795818350399569851133873047*c_0110_5^7 - 5962101743756319831665475755330674642824418974816955/45046588050131\ 687451929795818350399569851133873047*c_0110_5^6 - 28525848342377858959699837407102418252063181328546435/4504658805013\ 1687451929795818350399569851133873047*c_0110_5^5 - 12103489477137490193821380353951993222504766695501715/4504658805013\ 1687451929795818350399569851133873047*c_0110_5^4 - 2421710879635163399099764790141866260211619498348150/45046588050131\ 687451929795818350399569851133873047*c_0110_5^3 - 315216736009267099151259282375999520860583116558308/450465880501316\ 87451929795818350399569851133873047*c_0110_5^2 - 662321584770824848176242646356726850063103874707005/450465880501316\ 87451929795818350399569851133873047*c_0110_5 - 1157347113551750375163313609104957429004749170884/45046588050131687\ 451929795818350399569851133873047, c_0110_5^20 + c_0110_5^19 - 15*c_0110_5^18 - 139*c_0110_5^17 - 401*c_0110_5^16 - 501*c_0110_5^15 - 3967*c_0110_5^14 - 1662*c_0110_5^13 - 1505*c_0110_5^12 - 11004*c_0110_5^11 + 22387*c_0110_5^10 - 2516*c_0110_5^9 + 19840*c_0110_5^8 - 978*c_0110_5^7 - 10127*c_0110_5^6 - 4833*c_0110_5^5 - 1344*c_0110_5^4 - 174*c_0110_5^3 - 229*c_0110_5^2 - 16*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB