Magma V2.19-8 Tue Aug 20 2013 16:17:42 on localhost [Seed = 1781266055] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1948 geometric_solution 5.53487468 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 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 -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.210429853427 0.167677692011 0 0 2 2 0132 2310 2310 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 1 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 2.096031379591 2.203811210260 3 1 1 4 0132 3201 0132 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 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.373451955129 0.430468104592 2 5 4 6 0132 0132 1302 0132 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 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.518841571661 0.635052841049 3 6 2 5 2031 2310 0132 0132 0 0 0 0 0 -1 0 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 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.518841571661 0.635052841049 5 3 4 5 3012 0132 0132 1230 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 0 0 0 0 0 0 1.228475390923 0.944332377540 6 6 3 4 1230 3012 0132 3201 0 0 0 0 0 0 -1 1 1 0 0 -1 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 1 0 0 -1 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.392176254137 0.589060612797 ==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' : 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' : 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' : 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_4']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_0'], '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_6'], '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_0011_6']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 114772388184084127333863830435559776718116697960410665859608121/778\ 27738481502189542405598380747248520611267580535762579402180*c_0101_\ 5^34 + 132031434312036318196522813908402130082258113083959338538256\ 4483/19456934620375547385601399595186812130152816895133940644850545\ *c_0101_5^32 - 5317887684013066352218050801108997671331285288915229\ 9190881205899/38913869240751094771202799190373624260305633790267881\ 289701090*c_0101_5^30 + 1275874245567597120549667068907963805123996\ 170265974670012628396491/778277384815021895424055983807472485206112\ 67580535762579402180*c_0101_5^28 - 5106887095031175609960380239228037149815188680839278839740091261469\ /38913869240751094771202799190373624260305633790267881289701090*c_0\ 101_5^26 + 11593937748144602094023601030665031456026081337693423088\ 210437599681/155655476963004379084811196761494497041222535161071525\ 15880436*c_0101_5^24 - 12125099458668128517190292650950424586032856\ 1850349176612537612155119/38913869240751094771202799190373624260305\ 633790267881289701090*c_0101_5^22 + 1517055018401120343436315849160606500527663166194702127118529654392\ 47/15565547696300437908481119676149449704122253516107152515880436*c\ _0101_5^20 - 880547412774576624185893667075140892349399001889544506\ 326452714380657/389138692407510947712027991903736242603056337902678\ 81289701090*c_0101_5^18 + 29985755181088759469897139678085977372752\ 37012398479969378784969466911/7782773848150218954240559838074724852\ 0611267580535762579402180*c_0101_5^16 - 1188488010838259490241643077989263379697712446739060307778504549896\ 511/25942579493834063180801866126915749506870422526845254193134060*\ c_0101_5^14 + 27109460393744031150641165740864411662225757710301594\ 5509289621126299/77827738481502189542405598380747248520611267580535\ 76257940218*c_0101_5^12 - 14722893378321106154405167641009648525922\ 6644573394481539785820280461/86475264979446877269339553756385831689\ 56807508948418064378020*c_0101_5^10 + 1437240465254648156906513136610741388169333944839152332979015178951\ 96/19456934620375547385601399595186812130152816895133940644850545*c\ _0101_5^8 - 6868734707660614231130962868795594064126513856710491263\ 9738290584347/25942579493834063180801866126915749506870422526845254\ 193134060*c_0101_5^6 + 19670391903036697166421066886966117790053414\ 956108114543117552298829/389138692407510947712027991903736242603056\ 33790267881289701090*c_0101_5^4 - 294133097114504114806049046330634\ 0286750088972881169935138125585157/77827738481502189542405598380747\ 248520611267580535762579402180*c_0101_5^2 + 4829254420648320377690434256456822103197634292189382473667090117/12\ 971289746917031590400933063457874753435211263422627096567030, c_0011_0 - 1, c_0011_2 + 22767398787901190454274111537469722720471247141101750714093/\ 2594257949383406318080186612691574950687042252684525419313406*c_010\ 1_5^34 - 1567883669552982127873306991294686741954758158700634399063\ 045/3891386924075109477120279919037362426030563379026788128970109*c\ _0101_5^32 + 314832899949056242541792789691523264054883430574290184\ 41667604/3891386924075109477120279919037362426030563379026788128970\ 109*c_0101_5^30 - 7527205665575131216777547762912092719545585422712\ 03129352905251/7782773848150218954240559838074724852061126758053576\ 257940218*c_0101_5^28 + 3000070862951375846849202203926048192834727\ 849277971528222186038/389138692407510947712027991903736242603056337\ 9026788128970109*c_0101_5^26 - 338781275358805226830477127976832568\ 48982332917939232097847783357/7782773848150218954240559838074724852\ 061126758053576257940218*c_0101_5^24 + 70417021497457325188245814931240961194080957845177362765404708514/3\ 891386924075109477120279919037362426030563379026788128970109*c_0101\ _5^22 - 43703945053664663367941056661577950598809812666514902223747\ 6701729/77827738481502189542405598380747248520611267580535762579402\ 18*c_0101_5^20 + 50193603748117384599717313224948598266384357012356\ 3819552399236024/38913869240751094771202799190373624260305633790267\ 88128970109*c_0101_5^18 - 16843215883238449977687004032766392693424\ 94175479263888283239101235/7782773848150218954240559838074724852061\ 126758053576257940218*c_0101_5^16 + 1956859795429196532569138227217203584006399673061567290996749583253\ /7782773848150218954240559838074724852061126758053576257940218*c_01\ 01_5^14 - 237903353408743971027878897386295140185480842995002991356\ 089954405/129712897469170315904009330634578747534352112634226270965\ 6703*c_0101_5^12 + 660900816622156829024286363546930587841495591681\ 164865059118950495/778277384815021895424055983807472485206112675805\ 3576257940218*c_0101_5^10 - 480545458322957724020980708204116880061\ 21420696223384236030855075/1297128974691703159040093306345787475343\ 521126342262709656703*c_0101_5^8 + 99175518450903270050345510373002325235089910751216780133583107871/7\ 782773848150218954240559838074724852061126758053576257940218*c_0101\ _5^6 - 265658751704150167399578793908363587445807272512172499742811\ 4877/1297128974691703159040093306345787475343521126342262709656703*\ c_0101_5^4 + 104023268912549106357005964672330960757823833859241942\ 1971189079/77827738481502189542405598380747248520611267580535762579\ 40218*c_0101_5^2 - 119797897387425549782150010231785410375782242774\ 86742206391893/3891386924075109477120279919037362426030563379026788\ 128970109, c_0011_4 - 15917701486121765072941407464586506937495971383489531161560/\ 3891386924075109477120279919037362426030563379026788128970109*c_010\ 1_5^34 + 7307625339437721214662548143393217696340058398302890406910\ 67/3891386924075109477120279919037362426030563379026788128970109*c_\ 0101_5^32 - 1467322280585121255622890096090333750853471959673592211\ 3230317/38913869240751094771202799190373624260305633790267881289701\ 09*c_0101_5^30 + 17539958838235025697735921368678563841231381080673\ 4714156075014/38913869240751094771202799190373624260305633790267881\ 28970109*c_0101_5^28 - 13980756920758831604532695230884907402834012\ 64685583954058590390/3891386924075109477120279919037362426030563379\ 026788128970109*c_0101_5^26 + 7893262498133356130739905634326923176\ 929460126718915989332697211/389138692407510947712027991903736242603\ 0563379026788128970109*c_0101_5^24 - 32809878272380360638379858197931290806937022977294720011017916104/3\ 891386924075109477120279919037362426030563379026788128970109*c_0101\ _5^22 + 10180384708695823922344327503040504580630331851176614325020\ 3160592/38913869240751094771202799190373624260305633790267881289701\ 09*c_0101_5^20 - 23380000162336928383801523377236100053747233235514\ 6489191406735357/38913869240751094771202799190373624260305633790267\ 88128970109*c_0101_5^18 + 39216866502177091974636803793470218318353\ 2352715681193406253141946/38913869240751094771202799190373624260305\ 63379026788128970109*c_0101_5^16 - 50599897092843345834288285648518570961792655603205350319937808785/4\ 32376324897234386346697768781929158447840375447420903218901*c_0101_\ 5^14 + 331818609284131023680856148515562981175699234079993910344642\ 789965/389138692407510947712027991903736242603056337902678812897010\ 9*c_0101_5^12 - 510842267300792668583333478974458463477362205602900\ 34721737147390/1297128974691703159040093306345787475343521126342262\ 709656703*c_0101_5^10 + 6668379536302893873698216014234769138054151\ 7960545885954294325174/38913869240751094771202799190373624260305633\ 79026788128970109*c_0101_5^8 - 254103333511619103916882582380872799\ 8813057364605359952369609069/43237632489723438634669776878192915844\ 7840375447420903218901*c_0101_5^6 + 3634550245880471098314680412964302616644100108270400834392408711/38\ 91386924075109477120279919037362426030563379026788128970109*c_0101_\ 5^4 - 2039469224011440971102557419696712346201163199381848599174722\ 79/3891386924075109477120279919037362426030563379026788128970109*c_\ 0101_5^2 + 18179880280227485100175979397488253688030041537480218948\ 6107/432376324897234386346697768781929158447840375447420903218901, c_0011_6 - 79849407725493407743156871810776083917347225783884474900205/\ 7782773848150218954240559838074724852061126758053576257940218*c_010\ 1_5^34 + 1833434626761341348749703608517419333672079894129382658084\ 531/3891386924075109477120279919037362426030563379026788128970109*c\ _0101_5^32 - 368280345697092829034539380163152984116039465406079856\ 92486156/3891386924075109477120279919037362426030563379026788128970\ 109*c_0101_5^30 + 8808638007485703583190152514186164834708181563667\ 06707118913703/7782773848150218954240559838074724852061126758053576\ 257940218*c_0101_5^28 - 3512555950066875761604154352467615472919013\ 675081678396829428927/389138692407510947712027991903736242603056337\ 9026788128970109*c_0101_5^26 + 396896348882882729505733903341722734\ 99244710311796803847973596805/7782773848150218954240559838074724852\ 061126758053576257940218*c_0101_5^24 - 82557973098020494590824715234058255929640356096894923952989662999/3\ 891386924075109477120279919037362426030563379026788128970109*c_0101\ _5^22 + 51287835342868637324847289275378417276911307014933657340188\ 1284407/77827738481502189542405598380747248520611267580535762579402\ 18*c_0101_5^20 - 58980107259989719624680408688158089546490624331652\ 0982576398553190/38913869240751094771202799190373624260305633790267\ 88128970109*c_0101_5^18 + 19827450153633304877197149611373487763923\ 37986333703433055496266063/7782773848150218954240559838074724852061\ 126758053576257940218*c_0101_5^16 - 770091035365110451781115109788002891686366482258263293042794253631/\ 2594257949383406318080186612691574950687042252684525419313406*c_010\ 1_5^14 + 8471470348199061868896989741815588598910325324187540230823\ 57553989/3891386924075109477120279919037362426030563379026788128970\ 109*c_0101_5^12 - 2634288352829803878216129783446701770544368026020\ 68999285162926851/2594257949383406318080186612691574950687042252684\ 525419313406*c_0101_5^10 + 1722540670885695741977523090029014748317\ 04214791401344061253011945/3891386924075109477120279919037362426030\ 563379026788128970109*c_0101_5^8 - 13238481547969216146677718384841888624290468172737999897810121963/8\ 64752649794468772693395537563858316895680750894841806437802*c_0101_\ 5^6 + 9853421297998802059358228209549791077558048270027465092690203\ 985/3891386924075109477120279919037362426030563379026788128970109*c\ _0101_5^4 - 1310864928593271441043435192520579794775992067772644742\ 205324945/778277384815021895424055983807472485206112675805357625794\ 0218*c_0101_5^2 + 1470328346929201550150377574487403670866876085195\ 558172209753/432376324897234386346697768781929158447840375447420903\ 218901, c_0101_0 - 777483807956100299822274230038910918368616190141004551444571\ /15565547696300437908481119676149449704122253516107152515880436*c_0\ 101_5^35 + 17871353397145352545063614242016992074080875839249428456\ 149411/778277384815021895424055983807472485206112675805357625794021\ 8*c_0101_5^33 - 119826768933420615903115611152471002244854063221004\ 436440614257/259425794938340631808018661269157495068704225268452541\ 9313406*c_0101_5^31 + 861253300254672065450333485299450343869192526\ 9084697329142932481/15565547696300437908481119676149449704122253516\ 107152515880436*c_0101_5^29 - 1720696919772758891083340877715102623\ 6372445322136433001447494117/38913869240751094771202799190373624260\ 30563379026788128970109*c_0101_5^27 + 129943688585393104814690732668117355945810031079647736197795794245/\ 5188515898766812636160373225383149901374084505369050838626812*c_010\ 1_5^25 - 4518628132756828363226592726192394064761198234185185424432\ 7597888/43237632489723438634669776878192915844784037544742090321890\ 1*c_0101_5^23 + 507238174956529022538183044215062222941433593138654\ 6501054078160221/15565547696300437908481119676149449704122253516107\ 152515880436*c_0101_5^21 - 2931949716310881700047186881804596959716\ 746711952713817198238381343/389138692407510947712027991903736242603\ 0563379026788128970109*c_0101_5^19 + 1985698904626267625024442253606371991907349785039362563490244251105\ 7/15565547696300437908481119676149449704122253516107152515880436*c_\ 0101_5^17 - 2340813979914780420242560612506949365525668253026334446\ 4014043398909/15565547696300437908481119676149449704122253516107152\ 515880436*c_0101_5^15 + 4384150807818031130909434277778124718125440\ 057220762865320739204800/389138692407510947712027991903736242603056\ 3379026788128970109*c_0101_5^13 - 842407683211612555193119235481927\ 9903873410980429277275356061055735/15565547696300437908481119676149\ 449704122253516107152515880436*c_0101_5^11 + 1836780953798839646681429159504193224139574061919376953014920656361\ /7782773848150218954240559838074724852061126758053576257940218*c_01\ 01_5^9 - 1299750670818500699519315042017673935005828531249343038485\ 620497979/155655476963004379084811196761494497041222535161071525158\ 80436*c_0101_5^7 + 593265594713514462895193525841947839468399207988\ 07000575071445348/3891386924075109477120279919037362426030563379026\ 788128970109*c_0101_5^5 - 18508399983907658027692731082111159611540\ 933698075369224405961579/155655476963004379084811196761494497041222\ 53516107152515880436*c_0101_5^3 + 111110853647508825378312481309948\ 018043353621836241260923096915/389138692407510947712027991903736242\ 6030563379026788128970109*c_0101_5, c_0101_1 - 8273390692347434544770560672461051290909453437813883681665/2\ 594257949383406318080186612691574950687042252684525419313406*c_0101\ _5^34 + 57235355636778884208455947286631755501642813188682194919262\ 2/3891386924075109477120279919037362426030563379026788128970109*c_0\ 101_5^32 - 11560032283569727165244574978713427033036150582019825041\ 877732/389138692407510947712027991903736242603056337902678812897010\ 9*c_0101_5^30 + 278316072082936086313435817573815749519530384339246\ 070980007749/778277384815021895424055983807472485206112675805357625\ 7940218*c_0101_5^28 - 111874039901726014833184305216755434124616531\ 4052198891693208488/38913869240751094771202799190373624260305633790\ 26788128970109*c_0101_5^26 + 12764910545568046268671086385671466776\ 558983259161915850568305407/778277384815021895424055983807472485206\ 1126758053576257940218*c_0101_5^24 - 26866321021845579509131668405902920299755280016331204028831691765/3\ 891386924075109477120279919037362426030563379026788128970109*c_0101\ _5^22 + 16939528418702383176915664437898589712066069227222244606773\ 4416351/77827738481502189542405598380747248520611267580535762579402\ 18*c_0101_5^20 - 19873004656202473080398123286266055135394498997506\ 1756810419563956/38913869240751094771202799190373624260305633790267\ 88128970109*c_0101_5^18 + 68655606337209856938105468115625119876730\ 8899528178496248590906197/77827738481502189542405598380747248520611\ 26758053576257940218*c_0101_5^16 - 834801840255068547129128181441038095432174959760518593460728645635/\ 7782773848150218954240559838074724852061126758053576257940218*c_010\ 1_5^14 + 1099938134859550060921630207193826669643895511878216562110\ 44276604/1297128974691703159040093306345787475343521126342262709656\ 703*c_0101_5^12 - 3397390243295802407495371877116522669440321152468\ 25288085641923083/7782773848150218954240559838074724852061126758053\ 576257940218*c_0101_5^10 + 8245973657923690925077855052903117215516\ 429427258995163254801812/432376324897234386346697768781929158447840\ 375447420903218901*c_0101_5^8 - 54997344782231205847428656719105381\ 309759054695500599670372113601/778277384815021895424055983807472485\ 2061126758053576257940218*c_0101_5^6 + 671688757111551148418229483776737916201830045024562489643809126/432\ 376324897234386346697768781929158447840375447420903218901*c_0101_5^\ 4 - 114433097053738638551654518008124705040221922216262350406721726\ 1/7782773848150218954240559838074724852061126758053576257940218*c_0\ 101_5^2 + 143946562664109237168564489314865168035140879276358724425\ 11121/3891386924075109477120279919037362426030563379026788128970109\ , c_0101_5^36 - 46*c_0101_5^34 + 926*c_0101_5^32 - 11103*c_0101_5^30 + 88832*c_0101_5^28 - 503837*c_0101_5^26 + 2106028*c_0101_5^24 - 6581307*c_0101_5^22 + 15261884*c_0101_5^20 - 25948147*c_0101_5^18 + 30792627*c_0101_5^16 - 23352192*c_0101_5^14 + 11417009*c_0101_5^12 - 4994890*c_0101_5^10 + 1789537*c_0101_5^8 - 345852*c_0101_5^6 + 30329*c_0101_5^4 - 1020*c_0101_5^2 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB