Magma V2.19-8 Tue Aug 20 2013 16:16:11 on localhost [Seed = 189437903] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0442 geometric_solution 4.48840907 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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.489174425083 0.056697104611 2 0 2 0 0132 2310 1023 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 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.493662855876 0.177099430603 1 3 1 3 0132 0132 1023 2310 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.651017121973 3.599467067924 2 2 5 4 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 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.219253768071 0.506318358401 5 5 3 6 1230 3012 0132 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 -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 0 0 0 0 0 0 1.276324160863 1.170210904310 4 4 6 3 1230 3012 3201 0132 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 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 1.276324160863 1.170210904310 5 6 4 6 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.382270208562 0.618145227820 ==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' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(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' : 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' : negation(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' : negation(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_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_4']), '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_0011_6, c_0101_0, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 388561377765632022829796101042752871356508773739170529974579875187/\ 83125129374532226598773504081841127538579817173970193965951721984*c\ _0101_5^29 + 800901269757991804287333765734066438793172742967937828\ 965585043175/129883014647706604060583600127876761779030964334328428\ 0717995656*c_0101_5^27 + 789558839402540000926775456818269938711508\ 004299763630949633505388447/831251293745322265987735040818411275385\ 79817173970193965951721984*c_0101_5^25 + 1127555448820969279384458419400709176168132423226609082137838367170\ 6047/83125129374532226598773504081841127538579817173970193965951721\ 984*c_0101_5^23 - 1102282663422840870408105292230366796349337724585\ 41250299857731458022565/8312512937453222659877350408184112753857981\ 7173970193965951721984*c_0101_5^21 - 2576697609187967755242047632988394188799914853380879942965095986206\ 93277/8312512937453222659877350408184112753857981717397019396595172\ 1984*c_0101_5^19 + 563737250099334731547189230870553180157193830949\ 89605112812341977031337/2078128234363305664969337602046028188464495\ 4293492548491487930496*c_0101_5^17 + 3682614662404269668077046696107396674066766188486110517704032042874\ 1335/12988301464770660406058360012787676177903096433432842807179956\ 56*c_0101_5^15 - 17817757960508427464278905047776558936982831264728\ 08032161097857112333957/8312512937453222659877350408184112753857981\ 7173970193965951721984*c_0101_5^13 + 4765850581833122109477414412214481281980966110493524018263482259051\ 16299/8312512937453222659877350408184112753857981717397019396595172\ 1984*c_0101_5^11 - 206124685072073545705079301611416136390624661085\ 149773671596579592971913/755682994313929332716122764380373886714361\ 9743088199451450156544*c_0101_5^9 + 2081661285714277105185563594539498339656995337394951721252551433003\ 334351/831251293745322265987735040818411275385798171739701939659517\ 21984*c_0101_5^7 - 148027318113126665874722953128664334787082574418\ 946440822766330252291211/207812823436330566496933760204602818846449\ 54293492548491487930496*c_0101_5^5 + 1902709180877737321909057085051690781852546277109373899522714095406\ 613/259766029295413208121167200255753523558061928668656856143599131\ 2*c_0101_5^3 - 2727684824703572644623950229951991377887408761434891\ 2407223850252989/12988301464770660406058360012787676177903096433432\ 84280717995656*c_0101_5, c_0011_0 - 1, c_0011_1 - 127651278491133774560252648147603497222129825183142783006549\ 7/611214186577442842638040471190008290724851596867427896808468544*c\ _0101_5^28 + 420766468797390976479049310432934329902096756007454606\ 12193049/1528035466443607106595101177975020726812128992168569742021\ 17136*c_0101_5^26 + 26052920452728503986671120642345584481322562754\ 34222094825934109/6112141865774428426380404711900082907248515968674\ 27896808468544*c_0101_5^24 + 37220262791382190020875424661685964758\ 339806002518979824936839305/611214186577442842638040471190008290724\ 851596867427896808468544*c_0101_5^22 - 359588281499596864862207270903177559250594672708033246462945872739/\ 611214186577442842638040471190008290724851596867427896808468544*c_0\ 101_5^20 - 87072590831167175650159099739423041375516734370645850030\ 6795735067/61121418657744284263804047119000829072485159686742789680\ 8468544*c_0101_5^18 + 850140089529956361709336171627441072528489811\ 40119759330917609985/7640177332218035532975505889875103634060644960\ 8428487101058568*c_0101_5^16 + 486556380771847136721129164094525116\ 342127433226545971372923312709/382008866610901776648775294493755181\ 70303224804214243550529284*c_0101_5^14 - 5322593151741220675533483842193807533260231703481243905167288546895\ /611214186577442842638040471190008290724851596867427896808468544*c_\ 0101_5^12 + 1240599621226682329285067942677585978181129720151894574\ 562722913949/611214186577442842638040471190008290724851596867427896\ 808468544*c_0101_5^10 - 6714653649500142971698716584888686971566130\ 98420136125775200591847/5556492605249480387618549738090984461135014\ 5169766172437133504*c_0101_5^8 + 6339775786485573852170743547410507\ 789469534639772704598491070898449/611214186577442842638040471190008\ 290724851596867427896808468544*c_0101_5^6 - 193617330471964255759937560735255205738502238409046552540813629743/\ 76401773322180355329755058898751036340606449608428487101058568*c_01\ 01_5^4 + 7550533841803297306828232604476835153728762196764926905722\ 064235/382008866610901776648775294493755181703032248042142435505292\ 84*c_0101_5^2 - 287348943811844725578247226098797273040763584383604\ 76491886056/9550221665272544416219382362343879542575806201053560887\ 632321, c_0011_4 - 200331607078111054439396729072607090429964362374279863110137\ /305607093288721421319020235595004145362425798433713948404234272*c_\ 0101_5^28 + 1320220107656212023662363719453789314955702991969385732\ 9134483/15280354664436071065951011779750207268121289921685697420211\ 7136*c_0101_5^26 + 410058752291170423620516463557556243426477305538\ 715214317129685/305607093288721421319020235595004145362425798433713\ 948404234272*c_0101_5^24 + 5860021911166057208987226847176591794961\ 810704203165647473932159/305607093288721421319020235595004145362425\ 798433713948404234272*c_0101_5^22 - 56163516007011735991129907469918850309303424537992229682740655589/3\ 05607093288721421319020235595004145362425798433713948404234272*c_01\ 01_5^20 - 139134799237958464945926321054008639474622828592638389383\ 431773829/305607093288721421319020235595004145362425798433713948404\ 234272*c_0101_5^18 + 4996953199881806308124836849828241633743071475\ 3224427625373963223/15280354664436071065951011779750207268121289921\ 6856974202117136*c_0101_5^16 + 382750584910802498349257707282025909\ 60937211400022112008084474365/9550221665272544416219382362343879542\ 575806201053560887632321*c_0101_5^14 - 779504457802204985629057050039719411504199954089072723892015178671/\ 305607093288721421319020235595004145362425798433713948404234272*c_0\ 101_5^12 + 17076081470333543918964482753173410710741605476520154069\ 9188257451/30560709328872142131902023559500414536242579843371394840\ 4234272*c_0101_5^10 - 104970305148952333209972299105787627260231994\ 954033977060925793637/277824630262474019380927486904549223056750725\ 84883086218566752*c_0101_5^8 + 943896418197821584645196339734731001\ 846526324840907210654207225243/305607093288721421319020235595004145\ 362425798433713948404234272*c_0101_5^6 - 105237403530779515194347908176396966072180590349129559911473662741/\ 152803546644360710659510117797502072681212899216856974202117136*c_0\ 101_5^4 + 465639094021357886070334150248228171894084111448868749616\ 888699/955022166527254441621938236234387954257580620105356088763232\ 1*c_0101_5^2 - 9556808847973148876165507021061635660042389416800966\ 553526420/955022166527254441621938236234387954257580620105356088763\ 2321, c_0011_6 - 4388235397092075934729293856235201176397974778073365842829/3\ 05607093288721421319020235595004145362425798433713948404234272*c_01\ 01_5^28 + 286241838213943408837643748642716494964229890768810308157\ 785/152803546644360710659510117797502072681212899216856974202117136\ *c_0101_5^26 + 9759715944472910707535664858282139699207110251181638\ 915147721/305607093288721421319020235595004145362425798433713948404\ 234272*c_0101_5^24 + 1404859878592558179925061808254579743046140346\ 02119001976185927/3056070932887214213190202355950041453624257984337\ 13948404234272*c_0101_5^22 - 10569634705821925793791336639956706588\ 52687479673849246180833277/3056070932887214213190202355950041453624\ 25798433713948404234272*c_0101_5^20 - 4692453726314922183307712024751099835021587571756210675352873677/30\ 5607093288721421319020235595004145362425798433713948404234272*c_010\ 1_5^18 - 1002884677973857867895506888741789542729227427985454393840\ 677983/152803546644360710659510117797502072681212899216856974202117\ 136*c_0101_5^16 + 9236627348434050661111771412289749058219231773834\ 60971915280318/9550221665272544416219382362343879542575806201053560\ 887632321*c_0101_5^14 + 1925789459462261511710336010849131793158499\ 8100207110956057662693/30560709328872142131902023559500414536242579\ 8433713948404234272*c_0101_5^12 - 170902452879664560934063779895202\ 16828613491331543088248612041485/3056070932887214213190202355950041\ 45362425798433713948404234272*c_0101_5^10 - 2000018048015237864265998302520104601102594889526976913171820533/27\ 782463026247401938092748690454922305675072584883086218566752*c_0101\ _5^8 - 134937504417324135842138500480919294090742784953693916197269\ 36933/3056070932887214213190202355950041453624257984337139484042342\ 72*c_0101_5^6 + 105708208068728909584479504361186170736440941732414\ 65950500324525/1528035466443607106595101177975020726812128992168569\ 74202117136*c_0101_5^4 - 133592535040341550964980709861685661726059\ 546357409479427283662/955022166527254441621938236234387954257580620\ 1053560887632321*c_0101_5^2 + 5424050075608208897948140685504832431\ 876575145891860731540848/955022166527254441621938236234387954257580\ 6201053560887632321, c_0101_0 + 333615904893225933131329314837968674769033320325793936382785\ 9/1222428373154885685276080942380016581449703193734855793616937088*\ c_0101_5^29 - 10997740058633889227545358895277249189300155005155370\ 3210729451/30560709328872142131902023559500414536242579843371394840\ 4234272*c_0101_5^27 - 680347717065330144274091961163572135211854659\ 6386521819809185471/12224283731548856852760809423800165814497031937\ 34855793616937088*c_0101_5^25 - 97190340444830852958700715701104991\ 907711004298749539980874392515/122242837315488568527608094238001658\ 1449703193734855793616937088*c_0101_5^23 + 940991666903481014021678409084585656645623890191975007552336941473/\ 1222428373154885685276080942380016581449703193734855793616937088*c_\ 0101_5^21 + 2264100553338630501708221730851928729519067927685704279\ 911364156937/122242837315488568527608094238001658144970319373485579\ 3616937088*c_0101_5^19 - 225790148397828144392031337130063191764031\ 602362134487042943967679/152803546644360710659510117797502072681212\ 899216856974202117136*c_0101_5^17 - 1270415985842111178096925952116041362026704598138927157462049844211\ /76401773322180355329755058898751036340606449608428487101058568*c_0\ 101_5^15 + 14161099652480274246913060318982685624709074681139603392\ 315767404901/122242837315488568527608094238001658144970319373485579\ 3616937088*c_0101_5^13 - 339638823108366197870203846063671806049635\ 9514612955212451362179487/12224283731548856852760809423800165814497\ 03193734855793616937088*c_0101_5^11 + 1759334282679038541636793767986328937308558329980520698475532488653\ /111129852104989607752370994761819689222700290339532344874267008*c_\ 0101_5^9 - 16810557449433728629993634479454387953344070654035242825\ 718961889563/122242837315488568527608094238001658144970319373485579\ 3616937088*c_0101_5^7 + 5297062379440682657923552219684510723693647\ 44553751561813220682977/1528035466443607106595101177975020726812128\ 99216856974202117136*c_0101_5^5 - 230658984230604830562508435297365\ 20970437903448234703874510140245/7640177332218035532975505889875103\ 6340606449608428487101058568*c_0101_5^3 + 188773985734062290457295754821325017480413693332719180691654535/191\ 00443330545088832438764724687759085151612402107121775264642*c_0101_\ 5, c_0101_4 + 230345418631635552803796966770368461104232406145643056983945\ 9/1222428373154885685276080942380016581449703193734855793616937088*\ c_0101_5^29 - 75954922852203337527930792716358249118987205861421559\ 738208305/305607093288721421319020235595004145362425798433713948404\ 234272*c_0101_5^27 - 4686442462465533481173978469467519083368942122\ 969892254195948671/122242837315488568527608094238001658144970319373\ 4855793616937088*c_0101_5^25 - 669331216948319267464835488917087374\ 80927921016451888155721278427/1222428373154885685276080942380016581\ 449703193734855793616937088*c_0101_5^23 + 652167829741987170381973493800436798656433845593824446790584927673/\ 1222428373154885685276080942380016581449703193734855793616937088*c_\ 0101_5^21 + 1539947933865170146764989144573799489812488201866384298\ 706764818433/122242837315488568527608094238001658144970319373485579\ 3616937088*c_0101_5^19 - 816828368733234358452236607822799045274766\ 63545943884839714474087/7640177332218035532975505889875103634060644\ 9608428487101058568*c_0101_5^17 - 437382455899484253084696469608995\ 768927637607148718177242691931743/382008866610901776648775294493755\ 18170303224804214243550529284*c_0101_5^15 + 1029368908677626746099099306099903727381463287293706725906521629896\ 5/1222428373154885685276080942380016581449703193734855793616937088*\ c_0101_5^13 - 26359870902223144626592083201847068564918364182637099\ 85654519730583/1222428373154885685276080942380016581449703193734855\ 793616937088*c_0101_5^11 + 1218223732718634984238624100409155025199\ 097748477729197658411571029/111129852104989607752370994761819689222\ 700290339532344874267008*c_0101_5^9 - 1208747975086996934790483341241180437077839907982661126809563608053\ 1/1222428373154885685276080942380016581449703193734855793616937088*\ c_0101_5^7 + 205455897120451504919414174161987266953416970106085753\ 232152895041/764017733221803553297550588987510363406064496084284871\ 01058568*c_0101_5^5 - 479349612073831159074911325313518348255010458\ 2045450645958234577/19100443330545088832438764724687759085151612402\ 107121775264642*c_0101_5^3 + 70133840905604016216567057774939921006\ 808767130912563269096301/955022166527254441621938236234387954257580\ 6201053560887632321*c_0101_5, c_0101_5^30 - 132*c_0101_5^28 - 2021*c_0101_5^26 - 28849*c_0101_5^24 + 286107*c_0101_5^22 + 639507*c_0101_5^20 - 636040*c_0101_5^18 - 6018128*c_0101_5^16 + 5092391*c_0101_5^14 - 1600997*c_0101_5^12 + 5932021*c_0101_5^10 - 5842937*c_0101_5^8 + 1963128*c_0101_5^6 - 277168*c_0101_5^4 + 15936*c_0101_5^2 - 256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB