Magma V2.19-8 Tue Aug 20 2013 16:17:26 on localhost [Seed = 1031578102] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1674 geometric_solution 5.40364800 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 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 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 2.135031384629 0.939502925307 0 1 1 0 0132 3201 2310 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.640742215366 0.134742344682 0 3 4 0 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.604864284313 0.676987744868 5 2 6 4 0132 0132 0132 3201 0 0 0 0 0 0 -1 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 -1 0 1 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.133355432309 0.777065944564 6 3 5 2 1023 2310 2310 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.133355432309 0.777065944564 3 4 5 5 0132 3201 1230 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 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.155600455077 0.822201884206 6 4 6 3 2031 1023 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.694087014456 1.276963164063 ==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' : 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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), '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_0101_3']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 608133147828741324760131257992784150880/243286020994599458618611010\ 07052367033*c_0101_5^21 - 577884962904057610108058057387618957673/2\ 4328602099459945861861101007052367033*c_0101_5^20 + 410582373382185252368519576951474684242/243286020994599458618611010\ 07052367033*c_0101_5^19 + 2790618881254263240416207201037010944951/\ 24328602099459945861861101007052367033*c_0101_5^18 + 20172542812349209340767819160201595327329/2432860209945994586186110\ 1007052367033*c_0101_5^17 + 955410626714652509779729754813935121254\ 6/24328602099459945861861101007052367033*c_0101_5^16 + 16423734840137735622989162227882446364046/2432860209945994586186110\ 1007052367033*c_0101_5^15 - 397195413592287602936663929122398749021\ 60/24328602099459945861861101007052367033*c_0101_5^14 - 119840291874217518642522701180878708927041/243286020994599458618611\ 01007052367033*c_0101_5^13 - 25142611763407251064725754590086373491\ 812/24328602099459945861861101007052367033*c_0101_5^12 - 81400504447332861642590770331104475993643/2432860209945994586186110\ 1007052367033*c_0101_5^11 + 211033337991177308722760422539458788808\ 834/24328602099459945861861101007052367033*c_0101_5^10 + 194664472855181792478200628407010426561283/243286020994599458618611\ 01007052367033*c_0101_5^9 - 322645233446168673286148110256789119113\ 77/24328602099459945861861101007052367033*c_0101_5^8 + 45570477050314791194631597651226337209594/2432860209945994586186110\ 1007052367033*c_0101_5^7 - 2437133353486364055765281430096911414532\ 42/24328602099459945861861101007052367033*c_0101_5^6 + 10378450823509685187516527595329523882151/2432860209945994586186110\ 1007052367033*c_0101_5^5 + 8459755799854108129174824467910645902203\ 8/24328602099459945861861101007052367033*c_0101_5^4 - 84629577996192455845078644591559274535946/2432860209945994586186110\ 1007052367033*c_0101_5^3 + 2510476203164818822220347331786014430858\ 1/24328602099459945861861101007052367033*c_0101_5^2 - 239754246355132375322242136003795963186/243286020994599458618611010\ 07052367033*c_0101_5 + 2451620827823723449942847376118724317621/243\ 28602099459945861861101007052367033, c_0011_0 - 1, c_0011_2 + 139125267467215319807830143600735/47078201326431383133427058\ 4729229*c_0101_5^21 + 266026586235403560027682473859586/47078201326\ 4313831334270584729229*c_0101_5^20 + 201513598876603710452821631528924/470782013264313831334270584729229\ *c_0101_5^19 - 358328492525042662339634362631611/470782013264313831\ 334270584729229*c_0101_5^18 - 4897644524927586573530674938160531/47\ 0782013264313831334270584729229*c_0101_5^17 - 7015945115374259529283803521521478/47078201326431383133427058472922\ 9*c_0101_5^16 - 11958808116931382384238610987148987/470782013264313\ 831334270584729229*c_0101_5^15 - 4756927146237799589693827809446206\ /470782013264313831334270584729229*c_0101_5^14 + 19453714394576221452795900810761477/4707820132643138313342705847292\ 29*c_0101_5^13 + 23096181782074105358574034402324231/47078201326431\ 3831334270584729229*c_0101_5^12 + 476594339957476587288815347720802\ 94/470782013264313831334270584729229*c_0101_5^11 + 6624875951731893537700765434189687/47078201326431383133427058472922\ 9*c_0101_5^10 - 24434082208905080908905073592345273/470782013264313\ 831334270584729229*c_0101_5^9 - 13389161651775341639413698742858163\ /470782013264313831334270584729229*c_0101_5^8 - 36080948843605919395506887430268004/4707820132643138313342705847292\ 29*c_0101_5^7 + 12762151721081235921108263182801565/470782013264313\ 831334270584729229*c_0101_5^6 - 800988983623696137170411973769043/4\ 70782013264313831334270584729229*c_0101_5^5 - 17505219905741937803072176646787163/4707820132643138313342705847292\ 29*c_0101_5^4 + 8033460355595995259493696478010051/4707820132643138\ 31334270584729229*c_0101_5^3 - 2203207769490954125684598199061469/4\ 70782013264313831334270584729229*c_0101_5^2 + 13239956881681367613159424211412/470782013264313831334270584729229*\ c_0101_5 + 314563534376377339405030296680572/4707820132643138313342\ 70584729229, c_0011_4 - 397851807702647938482662385829943855/78479361611161115683422\ 9064743624743*c_0101_5^21 - 864073116146144581836915995168629463/78\ 4793616111611156834229064743624743*c_0101_5^20 - 762619171219838415161580838590697571/784793616111611156834229064743\ 624743*c_0101_5^19 + 922317911687508174451495580019091971/784793616\ 111611156834229064743624743*c_0101_5^18 + 14356646563366647583556505180205936313/7847936161116111568342290647\ 43624743*c_0101_5^17 + 23749902865518706020551282163447153654/78479\ 3616111611156834229064743624743*c_0101_5^16 + 38987321029171787254651332112585076567/7847936161116111568342290647\ 43624743*c_0101_5^15 + 20965548627262312053076024088874986485/78479\ 3616111611156834229064743624743*c_0101_5^14 - 55069014559097573110757954225445694127/7847936161116111568342290647\ 43624743*c_0101_5^13 - 84250848854754389441642125988022091699/78479\ 3616111611156834229064743624743*c_0101_5^12 - 154771386882822909092830810310851982079/784793616111611156834229064\ 743624743*c_0101_5^11 - 49768723936875127813991603376031178328/7847\ 93616111611156834229064743624743*c_0101_5^10 + 75914477639841731822157220365209120324/7847936161116111568342290647\ 43624743*c_0101_5^9 + 70728192447457445780193605718375979819/784793\ 616111611156834229064743624743*c_0101_5^8 + 121451838774128525057474395076430140957/784793616111611156834229064\ 743624743*c_0101_5^7 - 12805835807334450112208931929389391829/78479\ 3616111611156834229064743624743*c_0101_5^6 - 15792587835742820652349953807781637699/7847936161116111568342290647\ 43624743*c_0101_5^5 + 38300251590783128452304334538437318993/784793\ 616111611156834229064743624743*c_0101_5^4 - 15702882828875470656867853405940889382/7847936161116111568342290647\ 43624743*c_0101_5^3 - 594161891913530863223877623325705916/78479361\ 6111611156834229064743624743*c_0101_5^2 - 135264131037796624693930018445259718/784793616111611156834229064743\ 624743*c_0101_5 - 314260437909456052288844112211487912/784793616111\ 611156834229064743624743, c_0101_0 + 256334487164942123888609302400390/47078201326431383133427058\ 4729229*c_0101_5^21 + 428387546484501931162791070467649/47078201326\ 4313831334270584729229*c_0101_5^20 + 289243000942926284178896656998327/470782013264313831334270584729229\ *c_0101_5^19 - 688903293731167886209133857933053/470782013264313831\ 334270584729229*c_0101_5^18 - 8828533028217599133806152835851178/47\ 0782013264313831334270584729229*c_0101_5^17 - 10870588128444127789598986703197070/4707820132643138313342705847292\ 29*c_0101_5^16 - 20189959109565826878441525642113575/47078201326431\ 3831334270584729229*c_0101_5^15 - 500022522773817478212338093628745\ 4/470782013264313831334270584729229*c_0101_5^14 + 35323760760586619341795744198269926/4707820132643138313342705847292\ 29*c_0101_5^13 + 33861557115375714840324625102943352/47078201326431\ 3831334270584729229*c_0101_5^12 + 834976974851759374199267350515878\ 72/470782013264313831334270584729229*c_0101_5^11 - 3116320185476748040498805991072004/47078201326431383133427058472922\ 9*c_0101_5^10 - 37020423087036908281373566993469927/470782013264313\ 831334270584729229*c_0101_5^9 - 17174417591748866428071056095329019\ /470782013264313831334270584729229*c_0101_5^8 - 69963944856834007718445620991889858/4707820132643138313342705847292\ 29*c_0101_5^7 + 33217775506750473385511644595559386/470782013264313\ 831334270584729229*c_0101_5^6 - 14862032760467845642532079331294950\ /470782013264313831334270584729229*c_0101_5^5 - 23244626924818119969230896901419302/4707820132643138313342705847292\ 29*c_0101_5^4 + 24747944096008838943983837553487603/470782013264313\ 831334270584729229*c_0101_5^3 - 9813277687298061960555181749497242/\ 470782013264313831334270584729229*c_0101_5^2 + 2364370494113756788617496889437912/47078201326431383133427058472922\ 9*c_0101_5 + 141965256973222496343717251646305/47078201326431383133\ 4270584729229, c_0101_1 + 48515112681429226637876135888995/470782013264313831334270584\ 729229*c_0101_5^21 + 34040030525862617516177543782217/4707820132643\ 13831334270584729229*c_0101_5^20 - 26760016468265300763751521312829/470782013264313831334270584729229*\ c_0101_5^19 - 180147570185818872408465992442571/4707820132643138313\ 34270584729229*c_0101_5^18 - 1535375692580410243301745380428956/470\ 782013264313831334270584729229*c_0101_5^17 - 425082021079191281443786751667361/470782013264313831334270584729229\ *c_0101_5^16 - 1756273964062682885527921903157279/47078201326431383\ 1334270584729229*c_0101_5^15 + 2597835488725901882625026282326422/4\ 70782013264313831334270584729229*c_0101_5^14 + 7533644515543552147527902610783017/47078201326431383133427058472922\ 9*c_0101_5^13 - 508975994114267052363062791581984/47078201326431383\ 1334270584729229*c_0101_5^12 + 9301061626165354761822399105879816/4\ 70782013264313831334270584729229*c_0101_5^11 - 14854908465283335242554777309782264/4707820132643138313342705847292\ 29*c_0101_5^10 - 6303366702804308460171702043502762/470782013264313\ 831334270584729229*c_0101_5^9 + 5694561099632639630234971375191606/\ 470782013264313831334270584729229*c_0101_5^8 - 10902888693061274133993268367586021/4707820132643138313342705847292\ 29*c_0101_5^7 + 16861199511105521225322061768523539/470782013264313\ 831334270584729229*c_0101_5^6 - 9155400191983926019849570651801385/\ 470782013264313831334270584729229*c_0101_5^5 - 3644170717463572468778192477470477/47078201326431383133427058472922\ 9*c_0101_5^4 + 11344777603605790619060022426652271/4707820132643138\ 31334270584729229*c_0101_5^3 - 5240638462502777546233584207936935/4\ 70782013264313831334270584729229*c_0101_5^2 + 1513063140202393779531760357331081/47078201326431383133427058472922\ 9*c_0101_5 + 45561590743896309129844899666245/470782013264313831334\ 270584729229, c_0101_3 - 18597342831648673488977869306306765/784793616111611156834229\ 064743624743*c_0101_5^21 + 13279923325117744725389651371156016/7847\ 93616111611156834229064743624743*c_0101_5^20 + 97834303233713324499472839717551417/7847936161116111568342290647436\ 24743*c_0101_5^19 + 187070255181306420097723729863704426/7847936161\ 11611156834229064743624743*c_0101_5^18 + 594081985041959031252604128317471598/784793616111611156834229064743\ 624743*c_0101_5^17 - 847575122752418008130539422412732431/784793616\ 111611156834229064743624743*c_0101_5^16 - 1991064082782581694209523871033983451/78479361611161115683422906474\ 3624743*c_0101_5^15 - 5457987171653320299475519355223395331/7847936\ 16111611156834229064743624743*c_0101_5^14 - 7509727736536597615280758923694823345/78479361611161115683422906474\ 3624743*c_0101_5^13 + 1911026667738275780259877180842383790/7847936\ 16111611156834229064743624743*c_0101_5^12 + 5660899750054125591801200490688012915/78479361611161115683422906474\ 3624743*c_0101_5^11 + 22537428828008311127924930763788361878/784793\ 616111611156834229064743624743*c_0101_5^10 + 18234426856609562408640408857175932737/7847936161116111568342290647\ 43624743*c_0101_5^9 - 2215967141988021076402814701768577288/7847936\ 16111611156834229064743624743*c_0101_5^8 - 4239950384333727025673139290554316550/78479361611161115683422906474\ 3624743*c_0101_5^7 - 20532652757968410222967326176081459710/7847936\ 16111611156834229064743624743*c_0101_5^6 - 4185388144289293082203118159141536403/78479361611161115683422906474\ 3624743*c_0101_5^5 + 1981179288153614150477696158630586750/78479361\ 6111611156834229064743624743*c_0101_5^4 - 6185914791134451110975878795739768693/78479361611161115683422906474\ 3624743*c_0101_5^3 + 838876314042968809438173781308165709/784793616\ 111611156834229064743624743*c_0101_5^2 - 914050405467370918367833478551493384/784793616111611156834229064743\ 624743*c_0101_5 + 270977350770607302987490116441867087/784793616111\ 611156834229064743624743, c_0101_5^22 + 8/5*c_0101_5^21 + 4/5*c_0101_5^20 - 16/5*c_0101_5^19 - 173/5*c_0101_5^18 - 197/5*c_0101_5^17 - 341/5*c_0101_5^16 - 11/5*c_0101_5^15 + 791/5*c_0101_5^14 + 651/5*c_0101_5^13 + 285*c_0101_5^12 - 391/5*c_0101_5^11 - 1099/5*c_0101_5^10 - 70*c_0101_5^9 - 1104/5*c_0101_5^8 + 943/5*c_0101_5^7 - 49/5*c_0101_5^6 - 527/5*c_0101_5^5 + 453/5*c_0101_5^4 - 27*c_0101_5^3 + 23/5*c_0101_5^2 - 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB