Magma V2.19-8 Tue Aug 20 2013 16:17:22 on localhost [Seed = 2084430000] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1604 geometric_solution 5.36642424 oriented_manifold CS_known 0.0000000000000003 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 0 0 0 0 0 0 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.521369165798 0.244272023900 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 0 0 0 0 0 0 0 0 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 1.149171627579 0.371530332050 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 1 0 -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 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631694288327 0.439285969804 2 4 6 5 0132 0321 0132 0132 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 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.736692893071 1.058100145251 6 5 2 3 1023 2310 0132 0321 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 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.736692893071 1.058100145251 5 5 3 4 1302 2031 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.465217251796 0.389649071868 6 4 6 3 2310 1023 3201 0132 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 -1 0 1 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.255563624272 0.962298974417 ==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' : negation(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' : negation(d['c_0011_4']), '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' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), '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' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0011_5']), '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_5, c_0101_0, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 359551720432531664813952888772706639437009286008848882639733081/643\ 3814910313612915861283864067818903121800639180485418643293696*c_011\ 0_5^30 - 1164883328860799546480666920565262635337217785529947835292\ 2154833/96507223654704193737919257961017283546827009587707281279649\ 40544*c_0110_5^28 + 23970121808248684377684703949381724960809927553\ 912243830368348543/321690745515680645793064193203390945156090031959\ 0242709321646848*c_0110_5^26 - 999092912643739287771755577614120447\ 121483089083736307915121626755/965072236547041937379192579610172835\ 4682700958770728127964940544*c_0110_5^24 + 4119991626150352192639811484119479307938260924748418175742067770778\ 5/19301444730940838747583851592203456709365401917541456255929881088\ *c_0110_5^22 - 6962443498481738613024798370334469588080212931607147\ 2095881724470637/48253611827352096868959628980508641773413504793853\ 64063982470272*c_0110_5^20 + 60532079583120291847946496284085272743\ 328261777423477096961348086495/160845372757840322896532096601695472\ 5780450159795121354660823424*c_0110_5^18 - 1319088285565420127915934073651577512337226958808377231459692663968\ 87/1608453727578403228965320966016954725780450159795121354660823424\ *c_0110_5^16 + 4069100845736743308145512445882423442587785690828105\ 551770172625850711/193014447309408387475838515922034567093654019175\ 41456255929881088*c_0110_5^14 - 78319474323769757447491322847822088\ 66340209542075569034991952052468655/1930144473094083874758385159220\ 3456709365401917541456255929881088*c_0110_5^12 + 1047293708115027935643211998873400581676991477125515322339113020680\ 5961/19301444730940838747583851592203456709365401917541456255929881\ 088*c_0110_5^10 - 3295796557438240765457821016446606819758108907157\ 042763472483620488669/643381491031361291586128386406781890312180063\ 9180485418643293696*c_0110_5^8 + 2195232563724860188544121081455412\ 769250984981993087628187323980174257/643381491031361291586128386406\ 7818903121800639180485418643293696*c_0110_5^6 - 1371110115173063330826546421261544011539945047344748514181047650277\ 39/804226863789201614482660483008477362890225079897560677330411712*\ c_0110_5^4 + 201705058162588992433386871545847207865329686476410181\ 88332350985545/4021134318946008072413302415042386814451125399487803\ 38665205856*c_0110_5^2 - 174746876135953434616234343361161996583678\ 8696394116545685690682461/30158507392095060543099768112817901108383\ 4404961585253998904392, c_0011_0 - 1, c_0011_1 + 86114154086352492890290749386177821565005293804626787761/478\ 421691724688646331148413449421393747903081438168160220352*c_0110_5^\ 30 - 933478423238515244782085969780537223814678041576739271835/2392\ 10845862344323165574206724710696873951540719084080110176*c_0110_5^2\ 8 + 5814861491960139497996132729479367827343128151114062917007/2392\ 10845862344323165574206724710696873951540719084080110176*c_0110_5^2\ 6 - 80194794981774682902866793231181356737681464608813233986489/239\ 210845862344323165574206724710696873951540719084080110176*c_0110_5^\ 24 + 3301753835472784979139033779851249059588453418094047300268747/\ 478421691724688646331148413449421393747903081438168160220352*c_0110\ _5^22 - 56237999979745426209351657548169549275853769548285963202139\ 87/119605422931172161582787103362355348436975770359542040055088*c_0\ 110_5^20 + 14919253405461792022419722271703233995514825864261821719\ 505931/119605422931172161582787103362355348436975770359542040055088\ *c_0110_5^18 - 3258124064085096569621795309168063098032871602158560\ 4249814063/11960542293117216158278710336235534843697577035954204005\ 5088*c_0110_5^16 + 333432239969670819828719738939344829488538237092\ 023153362936533/478421691724688646331148413449421393747903081438168\ 160220352*c_0110_5^14 - 6479918264792139911033383778455328624244062\ 97655625974503905485/4784216917246886463311484134494213937479030814\ 38168160220352*c_0110_5^12 + 87704174455917933279914068238108134857\ 4530254647721591100186923/47842169172468864633114841344942139374790\ 3081438168160220352*c_0110_5^10 - 840044695366501780650015524692066\ 669397536545933359151445781269/478421691724688646331148413449421393\ 747903081438168160220352*c_0110_5^8 + 569475303685988646564333593156033402437916442077573444302552329/478\ 421691724688646331148413449421393747903081438168160220352*c_0110_5^\ 6 - 36053005251189710806197585754832810267742954164849794782390615/\ 59802711465586080791393551681177674218487885179771020027544*c_0110_\ 5^4 + 1385759848931327079939396785339968600568638074711343167043973\ /7475338933198260098924193960147209277310985647471377503443*c_0110_\ 5^2 - 168423466586905574834056381275144272759785579271330706491418/\ 7475338933198260098924193960147209277310985647471377503443, c_0011_4 + 2768074752530452045852346698612478030395249111232246991379/1\ 913686766898754585324593653797685574991612325752672640881408*c_0110\ _5^31 - 29949402369435850355642039232188181405170484581273411866129\ /956843383449377292662296826898842787495806162876336320440704*c_011\ 0_5^29 + 1857281191483110383930742800536219997533745399581595739122\ 77/956843383449377292662296826898842787495806162876336320440704*c_0\ 110_5^27 - 25709962971696427408047494230227599148092048231655702153\ 18811/956843383449377292662296826898842787495806162876336320440704*\ c_0110_5^25 + 10593109901060108007887112383175662936110139581484128\ 6288574657/19136867668987545853245936537976855749916123257526726408\ 81408*c_0110_5^23 - 17972374978373560251951839464018014170847745093\ 9530669275412721/47842169172468864633114841344942139374790308143816\ 8160220352*c_0110_5^21 + 472917502424292613497545786930850637275391\ 365283578331322233357/478421691724688646331148413449421393747903081\ 438168160220352*c_0110_5^19 - 1032301803391417859603434598268640690\ 753710074407450322937642381/478421691724688646331148413449421393747\ 903081438168160220352*c_0110_5^17 + 10586403398153583896329169279364514473757886300018588325763948735/1\ 913686766898754585324593653797685574991612325752672640881408*c_0110\ _5^15 - 20477149065740497599984366486284243917040320704051910579982\ 803751/191368676689875458532459365379768557499161232575267264088140\ 8*c_0110_5^13 + 275751062799790448573936669828071831764995624182670\ 56867190993041/1913686766898754585324593653797685574991612325752672\ 640881408*c_0110_5^11 - 2625121691000503265023767937957151794338953\ 4668909397178057208079/19136867668987545853245936537976855749916123\ 25752672640881408*c_0110_5^9 + 176619818385238058182047759141734687\ 79379156551854867473733890443/1913686766898754585324593653797685574\ 991612325752672640881408*c_0110_5^7 - 1111964719756751036881738924833730799901980756018442396977704063/23\ 9210845862344323165574206724710696873951540719084080110176*c_0110_5\ ^5 + 16790287896998287564136027544454839136149374826356633233502280\ 1/119605422931172161582787103362355348436975770359542040055088*c_01\ 10_5^3 - 5068828909423512012322800293693661081959734603165671276845\ 481/29901355732793040395696775840588837109243942589885510013772*c_0\ 110_5, c_0011_5 + 1042172026916377522294180829766463450692556061718841519429/1\ 913686766898754585324593653797685574991612325752672640881408*c_0110\ _5^31 - 11235995716265722593496156263545008055311947181874640197415\ /956843383449377292662296826898842787495806162876336320440704*c_011\ 0_5^29 + 6907579284555862281282811760692475144534433374059439065477\ 1/956843383449377292662296826898842787495806162876336320440704*c_01\ 10_5^27 - 962886317136055064728900791433339521414675458109760537147\ 421/956843383449377292662296826898842787495806162876336320440704*c_\ 0110_5^25 + 3973777469946635851711764739931738516278404441162264297\ 7493063/19136867668987545853245936537976855749916123257526726408814\ 08*c_0110_5^23 - 66913864137980845295509674871774740426086546919875\ 100603474559/478421691724688646331148413449421393747903081438168160\ 220352*c_0110_5^21 + 1731081456234410285415901867518627352477903932\ 22867753371389371/4784216917246886463311484134494213937479030814381\ 68160220352*c_0110_5^19 - 37656289863543759399151119321770344099088\ 4095604460544083240635/47842169172468864633114841344942139374790308\ 1438168160220352*c_0110_5^17 + 388159391248087124766330240170013872\ 4679877695531926597161055097/19136867668987545853245936537976855749\ 91612325752672640881408*c_0110_5^15 - 7436385973963833718019606836277047491964749502705774206822215985/19\ 13686766898754585324593653797685574991612325752672640881408*c_0110_\ 5^13 + 987592921615096635387863605305843655109079426479952501437459\ 7783/1913686766898754585324593653797685574991612325752672640881408*\ c_0110_5^11 - 92433483125933564925235794663744347899786530566256893\ 80141644233/1913686766898754585324593653797685574991612325752672640\ 881408*c_0110_5^9 + 60864828815542540571838779836942069140861791537\ 57969000666395885/1913686766898754585324593653797685574991612325752\ 672640881408*c_0110_5^7 - 37631061129368670574793977664415925579862\ 5785386412666726438837/23921084586234432316557420672471069687395154\ 0719084080110176*c_0110_5^5 + 5363348648068489745366563361656823780\ 6383084409298714072055607/11960542293117216158278710336235534843697\ 5770359542040055088*c_0110_5^3 - 1442227801054375804381063439405048\ 660964697534966645794814823/299013557327930403956967758405888371092\ 43942589885510013772*c_0110_5, c_0101_0 - 4658286454799781216148803193133637736001612495458675558845/1\ 913686766898754585324593653797685574991612325752672640881408*c_0110\ _5^31 + 50321457912121816219844186708264847986696937365024276628863\ /956843383449377292662296826898842787495806162876336320440704*c_011\ 0_5^29 - 3108639456080544873725177945259319154933157150268602609509\ 23/956843383449377292662296826898842787495806162876336320440704*c_0\ 110_5^27 + 43165056485389277992911130446990198566632545961193375098\ 48277/956843383449377292662296826898842787495806162876336320440704*\ c_0110_5^25 - 17797902174614968654859322344492459656803560224799502\ 0108062447/19136867668987545853245936537976855749916123257526726408\ 81408*c_0110_5^23 + 30095566279165946920781535987843045500721139813\ 7914300188378207/47842169172468864633114841344942139374790308143816\ 8160220352*c_0110_5^21 - 786014527788196612740913079684108248998319\ 309542470658514636107/478421691724688646331148413449421393747903081\ 438168160220352*c_0110_5^19 + 1713083804334638412261274421223263574\ 703670159939950794159152675/478421691724688646331148413449421393747\ 903081438168160220352*c_0110_5^17 - 17607562818319659921000742202142139484368852149256294252320988625/1\ 913686766898754585324593653797685574991612325752672640881408*c_0110\ _5^15 + 33916238115471856320556122143002175394258801774618645517463\ 692585/191368676689875458532459365379768557499161232575267264088140\ 8*c_0110_5^13 - 453951990011599206103746196947549126709924149581552\ 06939898748671/1913686766898754585324593653797685574991612325752672\ 640881408*c_0110_5^11 + 4289771703317667521614146224210140125622292\ 1501559164961954526881/19136867668987545853245936537976855749916123\ 25752672640881408*c_0110_5^9 - 286013461533645037468296063409669372\ 32542217281781957317205202981/1913686766898754585324593653797685574\ 991612325752672640881408*c_0110_5^7 + 1787395111454874561496362031145058263547424672615642276896916757/23\ 9210845862344323165574206724710696873951540719084080110176*c_0110_5\ ^5 - 26378076044283761438745179926566589551508891147008841334159403\ 7/119605422931172161582787103362355348436975770359542040055088*c_01\ 10_5^3 + 7624896940663477763458272983863873183906058470607769556205\ 305/29901355732793040395696775840588837109243942589885510013772*c_0\ 110_5, c_0101_3 - 192556414562074954192006003482966989608497160892818040613/47\ 8421691724688646331148413449421393747903081438168160220352*c_0110_5\ ^30 + 2086532674025286109675434615527104820468543445950312485325/23\ 9210845862344323165574206724710696873951540719084080110176*c_0110_5\ ^28 - 12987055141878501389730677633169104807425678668916813809983/2\ 39210845862344323165574206724710696873951540719084080110176*c_0110_\ 5^26 + 179247886764791043453165094633320931647674098900531334699809\ /239210845862344323165574206724710696873951540719084080110176*c_011\ 0_5^24 - 7380365290415213795772990348643699532737069068888961567608\ 351/478421691724688646331148413449421393747903081438168160220352*c_\ 0110_5^22 + 1570195761141508606738740746899288787828846270538655853\ 694029/14950677866396520197848387920294418554621971294942755006886*\ c_0110_5^20 - 33287505415224467580179108052161196324503823852262757\ 219051371/119605422931172161582787103362355348436975770359542040055\ 088*c_0110_5^18 + 7275804923542571963529984943503896362277848384937\ 1092207647247/11960542293117216158278710336235534843697577035954204\ 0055088*c_0110_5^16 - 744554621976637166262378917305210033908871445\ 593811854867468329/478421691724688646331148413449421393747903081438\ 168160220352*c_0110_5^14 + 1445824353391647448090590247893025849354\ 893012125291470408183437/478421691724688646331148413449421393747903\ 081438168160220352*c_0110_5^12 - 1957688763286711783066267774691476\ 157190038226026481449503076067/478421691724688646331148413449421393\ 747903081438168160220352*c_0110_5^10 + 1875487696196629626124388285236571349528285148203614926717323773/47\ 8421691724688646331148413449421393747903081438168160220352*c_0110_5\ ^8 - 12713844453548553534030345049439460907503660999618712913976504\ 25/478421691724688646331148413449421393747903081438168160220352*c_0\ 110_5^6 + 161042028966028990575624154516105070178462324083325952817\ 831657/119605422931172161582787103362355348436975770359542040055088\ *c_0110_5^4 - 61885263397441867254918809333554236436069416361204076\ 91510433/1495067786639652019784838792029441855462197129494275500688\ 6*c_0110_5^2 + 3848029692316760373397107825057708572945171567384395\ 57880741/7475338933198260098924193960147209277310985647471377503443\ , c_0110_5^32 - 22*c_0110_5^30 + 142*c_0110_5^28 - 1906*c_0110_5^26 + 38939*c_0110_5^24 - 273516*c_0110_5^22 + 777052*c_0110_5^20 - 1737980*c_0110_5^18 + 4361893*c_0110_5^16 - 8775965*c_0110_5^14 + 12626667*c_0110_5^12 - 13069621*c_0110_5^10 + 9792777*c_0110_5^8 - 5508552*c_0110_5^6 + 2126416*c_0110_5^4 - 465856*c_0110_5^2 + 41984 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB