Magma V2.19-8 Tue Aug 20 2013 16:17:43 on localhost [Seed = 2800171594] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1956 geometric_solution 5.53888219 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 2 -2 0 0 0 0 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.487522632889 0.244730130724 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 0 0 0 0 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 -2 0 0 0 0 2 -2 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.121745719110 0.325552848274 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 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 0 1 0 0 -1 1 -1 1 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.711050206813 0.411458094723 2 5 4 6 0132 0132 3201 0132 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 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.353755705207 0.917371117293 3 6 2 5 2310 0132 0132 1023 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 -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.353755705207 0.917371117293 5 3 5 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.535500923689 0.430167380364 6 4 3 6 3012 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.082282652540 0.831325316947 ==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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(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' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], '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_0011_4']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_2'], '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_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 101920121088389758723975087619539/1209167715273056832355458455875*c\ _0110_5^28 - 45513716342786030989504326246623719/725500629163834099\ 4132750735250*c_0110_5^26 + 7752192092915772837957621592095169/7636\ 8487280403589411923691950*c_0110_5^24 - 2527816389175760222987343530755077271/24183354305461136647109169117\ 50*c_0110_5^22 + 26984843945336055339593915526296527333/24183354305\ 46113664710916911750*c_0110_5^20 - 80413105651104249299926165128988484338/1209167715273056832355458455\ 875*c_0110_5^18 + 792970245534974535077887472799286884131/362750314\ 5819170497066375367625*c_0110_5^16 - 167661581891554074393007626747866518627/381842436402017947059618459\ 750*c_0110_5^14 + 8805051426993767006312522230835286697/15273697456\ 080717882384738390*c_0110_5^12 - 4286443219066780900221129381521631\ 6953/84360538274864430164334310875*c_0110_5^10 + 435010235938038571624140275124373930747/145100125832766819882655014\ 7050*c_0110_5^8 - 278552149270595286996920766754320043659/241833543\ 0546113664710916911750*c_0110_5^6 + 4574492165677593324341740867645169003/16872107654972886032866862175\ 0*c_0110_5^4 - 1687436575023988124395812658628115057/48366708610922\ 2732942183382350*c_0110_5^2 + 672766724988042045330464603350566643/\ 3627503145819170497066375367625, c_0011_0 - 1, c_0011_1 + 7188337778126014512981384097556/1624255139919031565850615836\ 25*c_0110_5^28 - 530087461977818827176276286551766/1624255139919031\ 56585061583625*c_0110_5^26 + 29107126755960035376947707900483/56991\ 4084182116338894952925*c_0110_5^24 - 27854996898419968992245456583491569/54141837997301052195020527875*c\ _0110_5^22 + 298653847734513909512027267582546732/54141837997301052\ 195020527875*c_0110_5^20 - 5073680738239808962534053399151467197/16\ 2425513991903156585061583625*c_0110_5^18 + 15335617983343059250095594470216111693/1624255139919031565850615836\ 25*c_0110_5^16 - 1466624335684336581795652434830288018/854871126273\ 1745083424293875*c_0110_5^14 + 68934903890374494560925651982567451/\ 341948450509269803336971755*c_0110_5^12 - 592235188128002794436237028994525954/3777337534695422246164222875*c\ _0110_5^10 + 872027620979401955459282976963914827/10828367599460210\ 439004105575*c_0110_5^8 - 4322761734906855751403139829751381098/162\ 425513991903156585061583625*c_0110_5^6 + 6767116323133712416719962142672574/1259112511565140748721407625*c_0\ 110_5^4 - 19425306172011281468984688662421023/324851027983806313170\ 12316725*c_0110_5^2 + 503326569939905786092547325551911/18047279332\ 433684065006842625, c_0011_4 - 304470354557931807689715445056446/32647528312372534473597378\ 308625*c_0110_5^29 + 22424106791049096381398729063368066/3264752831\ 2372534473597378308625*c_0110_5^27 - 1225557955421247098281181888140936/114552730920605384117885537925*c\ _0110_5^25 + 1169130994746286519823557903083997054/1088250943745751\ 1491199126102875*c_0110_5^23 - 125431675223465529230728076363581998\ 17/10882509437457511491199126102875*c_0110_5^21 + 211463525326611944165203998814982103647/326475283123725344735973783\ 08625*c_0110_5^19 - 630580260572175622571157452084153227958/3264752\ 8312372534473597378308625*c_0110_5^17 + 59238269414663482043151196331782979153/1718290963809080761768283068\ 875*c_0110_5^15 - 13616250327136037960582440410950696158/3436581927\ 61816152353656613775*c_0110_5^13 + 22737780715298403476655278504437083604/7592448444737798714790087978\ 75*c_0110_5^11 - 32275362014165274507880739868607357546/21765018874\ 91502298239825220575*c_0110_5^9 + 152676005933128597514521251007098\ 457288/32647528312372534473597378308625*c_0110_5^7 - 225953199639951733603861438226799859/253081614824593290493002932625\ *c_0110_5^5 + 609344261935347245629760081066708432/6529505662474506\ 894719475661725*c_0110_5^3 - 14796605467130923890966749712879791/36\ 27503145819170497066375367625*c_0110_5, c_0101_0 - 70269102759897786627460343489221/725500629163834099413275073\ 525*c_0110_5^29 + 5182614316882016959279896905890381/72550062916383\ 4099413275073525*c_0110_5^27 - 854208008219840964007822639964459/76\ 36848728040358941192369195*c_0110_5^25 + 272589891287909783573018291648864487/241833543054611366471091691175\ *c_0110_5^23 - 2922417652820876399018093581057778187/24183354305461\ 1366471091691175*c_0110_5^21 + 993847917356103953104100041574630391\ 2/145100125832766819882655014705*c_0110_5^19 - 10029219730208517714947450893286137594/4836670861092227329421833823\ 5*c_0110_5^17 + 961150075720447150128124570169389663/25456162426801\ 19647064123065*c_0110_5^15 - 5661603782815030348544879930789096334/\ 12728081213400598235320615325*c_0110_5^13 + 5855964289708308943533587986282100116/16872107654972886032866862175\ *c_0110_5^11 - 129876664403060061763440289017970710067/725500629163\ 834099413275073525*c_0110_5^9 + 43146693102392443362898751189588996\ 837/725500629163834099413275073525*c_0110_5^7 - 203902777501336609938748959582503029/16872107654972886032866862175*\ c_0110_5^5 + 982264211913855637582833357374208788/72550062916383409\ 9413275073525*c_0110_5^3 - 46135515185133976380951135781900537/7255\ 00629163834099413275073525*c_0110_5, c_0101_2 - 801674913321428865895716270457931/65295056624745068947194756\ 61725*c_0110_5^29 + 2364869972766660274551660801894595/261180226498\ 980275788779026469*c_0110_5^27 - 1623602364118234929135591482465353\ 1/114552730920605384117885537925*c_0110_5^25 + 3108053076789403714371714087234579193/21765018874915022982398252205\ 75*c_0110_5^23 - 33322580723165776090110923640067402469/21765018874\ 91502298239825220575*c_0110_5^21 + 566335160894002853274527106072126168104/652950566247450689471947566\ 1725*c_0110_5^19 - 1713044989668911917428649590132953768012/6529505\ 662474506894719475661725*c_0110_5^17 + 32797023848738784133862656853891887528/6873163855236323047073132275\ 5*c_0110_5^15 - 192922561823720947461931667071052624027/34365819276\ 1816152353656613775*c_0110_5^13 + 663990192598745823578127414375466\ 84006/151848968894755974295801759575*c_0110_5^11 - 97959622271027695035064017607946450131/4353003774983004596479650441\ 15*c_0110_5^9 + 486812681790077371084876727620489754503/65295056624\ 74506894719475661725*c_0110_5^7 - 764396132694145001342215783300097\ 896/50616322964918658098600586525*c_0110_5^5 + 11008790357560936829495739937232404957/6529505662474506894719475661\ 725*c_0110_5^3 - 57256372023637004383566258172039778/72550062916383\ 4099413275073525*c_0110_5, c_0101_3 + 223271335551494347999859285759/16242551399190315658506158362\ 5*c_0110_5^28 - 16410536942738053262719670571154/162425513991903156\ 585061583625*c_0110_5^26 + 890129003227565899325994966148/569914084\ 182116338894952925*c_0110_5^24 - 844737496056132079815353015401081/\ 54141837997301052195020527875*c_0110_5^22 + 9072255145207925792600903599504193/54141837997301052195020527875*c_\ 0110_5^20 - 151015433852430324176468081386172693/162425513991903156\ 585061583625*c_0110_5^18 + 439953719974465466639722950527815712/162\ 425513991903156585061583625*c_0110_5^16 - 40005953911573552146771953304028817/8548711262731745083424293875*c_\ 0110_5^14 + 1760654345403330766562862453626111/34194845050926980333\ 6971755*c_0110_5^12 - 13819477340686291650559221489168706/377733753\ 4695422246164222875*c_0110_5^10 + 179124468081506272100637683271984\ 97/10828367599460210439004105575*c_0110_5^8 - 73607206756829812419325157289757957/162425513991903156585061583625*\ c_0110_5^6 + 86987722932539126524077780755041/125911251156514074872\ 1407625*c_0110_5^4 - 31985224873054201643192921366794/6497020559676\ 126263402463345*c_0110_5^2 + 1730253248071450210654998539509/180472\ 79332433684065006842625, c_0110_5^30 - 74*c_0110_5^28 + 1173*c_0110_5^26 - 11922*c_0110_5^24 + 127632*c_0110_5^22 - 737890*c_0110_5^20 + 2314999*c_0110_5^18 - 4425406*c_0110_5^16 + 5552446*c_0110_5^14 - 4714487*c_0110_5^12 + 2730936*c_0110_5^10 - 1069373*c_0110_5^8 + 276090*c_0110_5^6 - 44738*c_0110_5^4 + 4104*c_0110_5^2 - 162 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB