Magma V2.19-8 Tue Aug 20 2013 16:17:03 on localhost [Seed = 2378961247] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1305 geometric_solution 5.19173538 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 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 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.636919501261 0.841656339928 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 0 -1 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 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.048358437987 0.890901016060 3 0 4 1 2310 0132 3201 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 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 1.048358437987 0.890901016060 3 1 2 3 3201 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.278715211940 0.650286674193 2 5 1 5 2310 0132 0132 1023 0 0 0 0 0 1 -1 0 0 0 0 0 0 -1 0 1 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 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.345190589266 0.362489576440 6 4 6 4 0132 0132 1023 1023 0 0 0 0 0 -1 1 0 0 0 0 0 0 1 0 -1 -1 1 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.894597806747 0.311463140031 5 6 5 6 0132 2310 1023 3201 0 0 0 0 0 0 0 0 0 0 -1 1 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 -1 1 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.837064369649 0.177189849923 ==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' : negation(d['1']), 's_2_0' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], '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' : negation(d['c_0011_4']), '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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 80044059299042900956866751561440272/5468401412037234817054111371361\ 75*c_0101_6^21 - 314965275270190419120084980332440728/5468401412037\ 23481705411137136175*c_0101_6^20 - 3525073031397802255431882301980914656/16405204236111704451162334114\ 08525*c_0101_6^19 - 6097954253306943446050672714246098298/164052042\ 3611170445116233411408525*c_0101_6^18 + 2138299659016340711213147685840253574/16405204236111704451162334114\ 08525*c_0101_6^17 + 29246835779625818724203798417542790662/16405204\ 23611170445116233411408525*c_0101_6^16 + 68067739693028336269033683188299724548/1640520423611170445116233411\ 408525*c_0101_6^15 + 46036080513725034690243800877209686627/1640520\ 423611170445116233411408525*c_0101_6^14 - 113114134992281462086703523473436539593/164052042361117044511623341\ 1408525*c_0101_6^13 - 74192268802741749222213935123867935724/546840\ 141203723481705411137136175*c_0101_6^12 - 29253261366374096465261746740931604506/1640520423611170445116233411\ 408525*c_0101_6^11 + 224089162734073670527573257812199878806/164052\ 0423611170445116233411408525*c_0101_6^10 + 153048220534549718845753973558258331583/164052042361117044511623341\ 1408525*c_0101_6^9 - 62088993572642325677221641794638425331/1640520\ 423611170445116233411408525*c_0101_6^8 - 29341146169726996509104947423780087792/5468401412037234817054111371\ 36175*c_0101_6^7 - 12967292041078619146483197201542032054/164052042\ 3611170445116233411408525*c_0101_6^6 + 260644664357921334154229787275805076/656208169444468178046493364563\ 41*c_0101_6^5 + 844238015160627778169630467462938081/54684014120372\ 3481705411137136175*c_0101_6^4 + 1547746950141551464776712751034844\ 457/546840141203723481705411137136175*c_0101_6^3 + 216436962121390520115347065916666296/109368028240744696341082227427\ 235*c_0101_6^2 - 93235773502226427130403661120057832/54684014120372\ 3481705411137136175*c_0101_6 - 838241332692998544445537656872389892\ /1640520423611170445116233411408525, c_0011_0 - 1, c_0011_4 + 32046795929830060509127947815624/656208169444468178046493364\ 56341*c_0101_6^21 + 188533420448124456605458480900516/6562081694444\ 6817804649336456341*c_0101_6^20 + 259967292704950505733100358765020\ /21873605648148939268216445485447*c_0101_6^19 + 2041006679438423942631817591009799/65620816944446817804649336456341\ *c_0101_6^18 + 2530982756246270972786131687263304/65620816944446817\ 804649336456341*c_0101_6^17 - 559523289450020116467074595262312/218\ 73605648148939268216445485447*c_0101_6^16 - 14616567222272610663562397586008594/6562081694444681780464933645634\ 1*c_0101_6^15 - 9882362692601437917692849188097931/2187360564814893\ 9268216445485447*c_0101_6^14 - 20501717604302185257730480981919516/\ 65620816944446817804649336456341*c_0101_6^13 + 8143625284075998344016728441625887/21873605648148939268216445485447\ *c_0101_6^12 + 58860347293864439870806593002286790/6562081694444681\ 7804649336456341*c_0101_6^11 + 34462741857083389086992029974749335/\ 65620816944446817804649336456341*c_0101_6^10 - 5296291473212770648392875528118462/21873605648148939268216445485447\ *c_0101_6^9 - 31204897710477124204895882189429321/65620816944446817\ 804649336456341*c_0101_6^8 - 4833561506988364073297334702389888/218\ 73605648148939268216445485447*c_0101_6^7 - 276120453457910765263758462501232/21873605648148939268216445485447*\ c_0101_6^6 + 2573566088642161025249476401922636/6562081694444681780\ 4649336456341*c_0101_6^5 + 913877964929211440870709197452387/218736\ 05648148939268216445485447*c_0101_6^4 + 539284707609889555422446648134417/21873605648148939268216445485447*\ c_0101_6^3 + 461984671276595825539917801140464/65620816944446817804\ 649336456341*c_0101_6^2 - 37449198564863198193530153980901/65620816\ 944446817804649336456341*c_0101_6 - 47454099332697790777957598112173/65620816944446817804649336456341, c_0101_0 + 594302891855177608288973885524328/65620816944446817804649336\ 456341*c_0101_6^21 + 2864678235246815525785155104023492/65620816944\ 446817804649336456341*c_0101_6^20 + 3721894157056169633436555544882076/21873605648148939268216445485447\ *c_0101_6^19 + 24647994901731711726574309320732671/6562081694444681\ 7804649336456341*c_0101_6^18 + 15273511993762053760496330734505218/\ 65620816944446817804649336456341*c_0101_6^17 - 20242150651822866156950100680897971/2187360564814893926821644548544\ 7*c_0101_6^16 - 220656878538201537676508101596224510/65620816944446\ 817804649336456341*c_0101_6^15 - 9948117126546703575526456945302364\ 9/21873605648148939268216445485447*c_0101_6^14 + 38614345093578850136173858189927798/6562081694444681780464933645634\ 1*c_0101_6^13 + 198330252525247520996038177863795776/21873605648148\ 939268216445485447*c_0101_6^12 + 5521913078102748366842161143450930\ 91/65620816944446817804649336456341*c_0101_6^11 - 136682036521949873562515010565318958/656208169444468178046493364563\ 41*c_0101_6^10 - 165089426044805056817302125553059412/2187360564814\ 8939268216445485447*c_0101_6^9 - 2094609253734168982511880470617531\ 88/65620816944446817804649336456341*c_0101_6^8 + 24411175066131370568839320071252756/2187360564814893926821644548544\ 7*c_0101_6^7 + 26052638527859949360707436646266892/2187360564814893\ 9268216445485447*c_0101_6^6 + 32023049248422088009865003969655826/6\ 5620816944446817804649336456341*c_0101_6^5 + 5575840458682226280515890111640875/21873605648148939268216445485447\ *c_0101_6^4 + 587985438336283816978919646525218/2187360564814893926\ 8216445485447*c_0101_6^3 - 6362968208724533101921359248025149/65620\ 816944446817804649336456341*c_0101_6^2 - 3427943750423761180402761190244942/65620816944446817804649336456341\ *c_0101_6 - 40848896798211124348612392805034/6562081694444681780464\ 9336456341, c_0101_1 - 814824145762020371265612512856416/32810408472223408902324668\ 2281705*c_0101_6^21 - 3688101652789695148112416185293144/3281040847\ 22234089023246682281705*c_0101_6^20 - 4892054251279726234595702092678412/10936802824074469634108222742723\ 5*c_0101_6^19 - 31551339691383918200397800348603648/328104084722234\ 089023246682281705*c_0101_6^18 - 1993960545486263440823934184828615\ 1/328104084722234089023246682281705*c_0101_6^17 + 23702882878750246850194540458165824/1093680282407446963410822274272\ 35*c_0101_6^16 + 269391243301388638391199423005165603/3281040847222\ 34089023246682281705*c_0101_6^15 + 368749407775476733103104683751971082/328104084722234089023246682281\ 705*c_0101_6^14 - 2993588844071866464287315235908121/10936802824074\ 4696341082227427235*c_0101_6^13 - 598505130426034448505987035753346\ 067/328104084722234089023246682281705*c_0101_6^12 - 572849305699440906076956374996707421/328104084722234089023246682281\ 705*c_0101_6^11 + 19962916978755525775018784788064471/3281040847222\ 34089023246682281705*c_0101_6^10 + 327292283916232647156891769543159993/328104084722234089023246682281\ 705*c_0101_6^9 + 61678968227588646624311694897549918/10936802824074\ 4696341082227427235*c_0101_6^8 + 4276135234357291933537384961863133\ 9/328104084722234089023246682281705*c_0101_6^7 - 34592873335444727139600365034484/328104084722234089023246682281705*\ c_0101_6^6 - 4841111909058042265128230229321478/6562081694444681780\ 4649336456341*c_0101_6^5 - 7544132025065777717217875136296934/10936\ 8028240744696341082227427235*c_0101_6^4 - 2776733496128410625233953197225198/10936802824074469634108222742723\ 5*c_0101_6^3 - 67678365864464095158122442590633/6562081694444681780\ 4649336456341*c_0101_6^2 + 75761026159345616254634536442143/1093680\ 28240744696341082227427235*c_0101_6 - 102569306788303492473366216456662/328104084722234089023246682281705\ , c_0101_2 - 135854012697705490295513595013160/65620816944446817804649336\ 456341*c_0101_6^21 - 617273391309844938475429033423444/656208169444\ 46817804649336456341*c_0101_6^20 - 771248118454166197453217298338588/21873605648148939268216445485447*\ c_0101_6^19 - 4639629186431094028379294334223691/656208169444468178\ 04649336456341*c_0101_6^18 - 770462235442573660538636406095020/6562\ 0816944446817804649336456341*c_0101_6^17 + 5860867203344956448497669944760118/21873605648148939268216445485447\ *c_0101_6^16 + 49089672042044178297114901101627863/6562081694444681\ 7804649336456341*c_0101_6^15 + 16648845542068726891617908584761328/\ 21873605648148939268216445485447*c_0101_6^14 - 49107085506091422760982242342539346/6562081694444681780464933645634\ 1*c_0101_6^13 - 56271815443470560808079523093617370/218736056481489\ 39268216445485447*c_0101_6^12 - 10061774055252875069302712939152573\ 0/65620816944446817804649336456341*c_0101_6^11 + 108319137119164929390071691901392353/656208169444468178046493364563\ 41*c_0101_6^10 + 54920501003682406518884935676706140/21873605648148\ 939268216445485447*c_0101_6^9 + 35009172516259400104036176293607302\ /65620816944446817804649336456341*c_0101_6^8 - 17565437572275373796928938089462814/2187360564814893926821644548544\ 7*c_0101_6^7 - 12473708087958943750548407575841138/2187360564814893\ 9268216445485447*c_0101_6^6 - 12200731331580078095914271123742118/6\ 5620816944446817804649336456341*c_0101_6^5 - 991264594833709510564146854723239/21873605648148939268216445485447*\ c_0101_6^4 + 878785461511839315052252085903504/21873605648148939268\ 216445485447*c_0101_6^3 + 3756330131175344996743316930687642/656208\ 16944446817804649336456341*c_0101_6^2 + 1630793798392153335188126097938723/65620816944446817804649336456341\ *c_0101_6 + 86712955632886075778593677330488/6562081694444681780464\ 9336456341, c_0101_5 + 53700139139924631724728255717504/109368028240744696341082227\ 427235*c_0101_6^21 + 1111400792882766192002263370587168/32810408472\ 2234089023246682281705*c_0101_6^20 + 1634463639516593378128886711333664/10936802824074469634108222742723\ 5*c_0101_6^19 + 4788496157946364179479389680880352/1093680282407446\ 96341082227427235*c_0101_6^18 + 23695309261488201368679786617071672\ /328104084722234089023246682281705*c_0101_6^17 + 2013490864263790884704597941302622/10936802824074469634108222742723\ 5*c_0101_6^16 - 26498483581364421653891563369767727/109368028240744\ 696341082227427235*c_0101_6^15 - 2228005780463073658796647164456147\ 19/328104084722234089023246682281705*c_0101_6^14 - 262299506754406459559462417629079389/328104084722234089023246682281\ 705*c_0101_6^13 - 4573425088150813686704018764238876/32810408472223\ 4089023246682281705*c_0101_6^12 + 391963160101837579083449912883954\ 562/328104084722234089023246682281705*c_0101_6^11 + 155409736963855857393041783363595126/109368028240744696341082227427\ 235*c_0101_6^10 + 126607443779810856420522195133000424/328104084722\ 234089023246682281705*c_0101_6^9 - 190595586932090394088405855399765603/328104084722234089023246682281\ 705*c_0101_6^8 - 206586966347360632383957721407231608/3281040847222\ 34089023246682281705*c_0101_6^7 - 850797526836722717399998754717246\ 27/328104084722234089023246682281705*c_0101_6^6 - 2045506650825272970009459384689449/65620816944446817804649336456341\ *c_0101_6^5 + 4841721287340214821565564970922613/109368028240744696\ 341082227427235*c_0101_6^4 + 6257305193465271617680020188991701/109\ 368028240744696341082227427235*c_0101_6^3 + 766580649173192865673290565843731/21873605648148939268216445485447*\ c_0101_6^2 + 3313984941196695148177890750167462/3281040847222340890\ 23246682281705*c_0101_6 + 305157698113327116794590413892519/3281040\ 84722234089023246682281705, c_0101_6^22 + 11/2*c_0101_6^21 + 22*c_0101_6^20 + 431/8*c_0101_6^19 + 419/8*c_0101_6^18 - 709/8*c_0101_6^17 - 3563/8*c_0101_6^16 - 6007/8*c_0101_6^15 - 1985/8*c_0101_6^14 + 8807/8*c_0101_6^13 + 6581/4*c_0101_6^12 + 2829/8*c_0101_6^11 - 8761/8*c_0101_6^10 - 7823/8*c_0101_6^9 - 365/4*c_0101_6^8 + 531/2*c_0101_6^7 + 1363/8*c_0101_6^6 + 283/4*c_0101_6^5 + 39/2*c_0101_6^4 - 107/8*c_0101_6^3 - 33/2*c_0101_6^2 - 21/4*c_0101_6 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB