Magma V2.19-8 Tue Aug 20 2013 16:17:05 on localhost [Seed = 997894121] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1338 geometric_solution 5.21521739 oriented_manifold CS_known -0.0000000000000001 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 -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 1 0 -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.285382427389 0.118146247761 0 0 2 2 0132 2310 2310 0132 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 0 1 -1 0 -1 0 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 2.219916863444 1.167499619332 3 1 1 4 0132 3201 0132 0132 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 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.766106336464 0.639359212360 2 5 6 6 0132 0132 2310 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 -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.048171451091 0.619984714714 6 6 2 5 3201 1023 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 -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.048171451091 0.619984714714 4 3 5 5 3201 0132 2031 1302 0 0 0 0 0 -1 1 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 1 -1 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.153925848310 1.023954796240 4 3 3 4 1023 3201 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 -0.124570105646 1.603264167096 ==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' : 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' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : negation(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' : d['c_0011_4'], 'c_1100_5' : d['c_0101_5'], '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' : 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' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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_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_0'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(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' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), '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_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 2433811069501160530925583494585863933581316062482070372641877014339\ /2210836177535067588632106451452218773784447885791346466870480165*c\ _0101_5^19 - 243248216969869563953621254270240885058574375505036765\ 61796886749442/2210836177535067588632106451452218773784447885791346\ 466870480165*c_0101_5^18 + 7805855573247892994332244071369223570355\ 247681001190576342727002347/294778157004675678484280860193629169837\ 926384772179528916064022*c_0101_5^17 - 2606842394925743131520206294247294558091062397715206728631504397618\ 1/736945392511689196210702150484072924594815961930448822290160055*c\ _0101_5^16 + 646020623538526197621122611512159216424775263129289178\ 4357497095407063/44216723550701351772642129029044375475688957715826\ 92933740960330*c_0101_5^15 - 39185866960354195713334532164872930429\ 132158832025225944451928909369/884334471014027035452842580580887509\ 513779154316538586748192066*c_0101_5^14 - 9265909274386940309303611175185801761698502916139883979005094361783\ 557/442167235507013517726421290290443754756889577158269293374096033\ 0*c_0101_5^13 - 330885851086350160117235624293059279628054726622979\ 6254735465315342633/73694539251168919621070215048407292459481596193\ 0448822290160055*c_0101_5^12 + 212225592967310043098440338558298377\ 7807682708182134653919387163769053/44216723550701351772642129029044\ 37547568895771582692933740960330*c_0101_5^11 + 1425217731984426549609732830602916139313106872214679440266545307872\ 2789/20098510704864250805746422285929261579858617143557695153368001\ 5*c_0101_5^10 - 572706829697873784272360398965614683536249088251108\ 965876514392081403/133990071365761672038309481906195077199057447623\ 717967689120010*c_0101_5^9 - 40430942071677104443757949991561388848\ 916427624021650505162361750893616/200985107048642508057464222859292\ 615798586171435576951533680015*c_0101_5^8 + 6633022994178421065338407148949627714587263300058770383929825181259\ 7027/88433447101402703545284258058088750951377915431653858674819206\ 6*c_0101_5^7 + 4275135202012846198610544114719597954194409704306035\ 05142766082893148613/1473890785023378392421404300968145849189631923\ 860897644580320110*c_0101_5^6 - 43978184380971964116419039502833511\ 9846175882634966816575782968396642923/44216723550701351772642129029\ 04437547568895771582692933740960330*c_0101_5^5 - 4270961714031495886806665797444064628760322050749539639585301182730\ 84121/2210836177535067588632106451452218773784447885791346466870480\ 165*c_0101_5^4 - 59709128678270122407018875784761534809276836162492\ 120342584701161324837/147389078502337839242140430096814584918963192\ 3860897644580320110*c_0101_5^3 + 1929999332319682002953919840810821\ 648418887725417372448789696827606139/294778157004675678484280860193\ 629169837926384772179528916064022*c_0101_5^2 + 1207980496706847908471627725409296333677708020869105489451396707581\ 029/736945392511689196210702150484072924594815961930448822290160055\ *c_0101_5 - 3900040571975191875014203108289903911513527009527172224\ 09096916360562/2210836177535067588632106451452218773784447885791346\ 466870480165, c_0011_0 - 1, c_0011_2 + 3575486891820642933586277312792275306928668662677476715/9723\ 4469536332589776786439798111100209038720781212014201*c_0101_5^19 + 36020071220449274456148192027565454477044152095509933377/9723446953\ 6332589776786439798111100209038720781212014201*c_0101_5^18 - 83128001399513773432435332760427969506364728067254936651/9723446953\ 6332589776786439798111100209038720781212014201*c_0101_5^17 + 108370600103540013669442116865165938843468287610507909164/972344695\ 36332589776786439798111100209038720781212014201*c_0101_5^16 - 4736912853486058408204687835140818744884667746270502602108/97234469\ 536332589776786439798111100209038720781212014201*c_0101_5^15 - 233006701714353566651014474044563155559185278111604574172/972344695\ 36332589776786439798111100209038720781212014201*c_0101_5^14 + 6774601792947179088714589608785010972179079282113653505795/97234469\ 536332589776786439798111100209038720781212014201*c_0101_5^13 + 15121756551608287524846335995354855526740839543692991226623/9723446\ 9536332589776786439798111100209038720781212014201*c_0101_5^12 - 334037348529923029376243528838358890515505297336899514435/972344695\ 36332589776786439798111100209038720781212014201*c_0101_5^11 - 230301242313851075349701375958153811794332189417448163994899/972344\ 69536332589776786439798111100209038720781212014201*c_0101_5^10 - 4458670677118957230858996665068971898834151740692612247868/97234469\ 536332589776786439798111100209038720781212014201*c_0101_5^9 + 652365156010247452469726597556188712498161289583279059178258/972344\ 69536332589776786439798111100209038720781212014201*c_0101_5^8 - 191672607471189953439010979613742930657038521057140781114599/972344\ 69536332589776786439798111100209038720781212014201*c_0101_5^7 - 955456751653943924802470222176791137257982564940810935939435/972344\ 69536332589776786439798111100209038720781212014201*c_0101_5^6 + 246359502452879288161753691843762621674480925980569043855382/972344\ 69536332589776786439798111100209038720781212014201*c_0101_5^5 + 644245941196043424739895381203901460921935439313253276607361/972344\ 69536332589776786439798111100209038720781212014201*c_0101_5^4 + 183740211223614826188500691962203874558707633825844989538267/972344\ 69536332589776786439798111100209038720781212014201*c_0101_5^3 - 4708216519537464473323900307495942686139116272886438666366/97234469\ 536332589776786439798111100209038720781212014201*c_0101_5^2 - 5276312909345410552847484447014122099438009129987039396327/97234469\ 536332589776786439798111100209038720781212014201*c_0101_5 + 89019067434326092869027377396875707063625429530467561367/9723446953\ 6332589776786439798111100209038720781212014201, c_0011_4 + 200818720235369098754208443312294802863097411958502020715/32\ 6805052111613834239779224161451407802579140545653579729561*c_0101_5\ ^19 + 1844852246992423597576011604179878965418322142242994490344/32\ 6805052111613834239779224161451407802579140545653579729561*c_0101_5\ ^18 - 6393538640133559134967752280662320970782603138198241881786/32\ 6805052111613834239779224161451407802579140545653579729561*c_0101_5\ ^17 + 10921718319923501444243792412808369131208792660465983850346/3\ 26805052111613834239779224161451407802579140545653579729561*c_0101_\ 5^16 - 273328052981629657155188273725594867095425224399167395168582\ /326805052111613834239779224161451407802579140545653579729561*c_010\ 1_5^15 + 2257677333719616572512539322352542113841014229638055797476\ 71/326805052111613834239779224161451407802579140545653579729561*c_0\ 101_5^14 + 29736371539439141126551640524803400406458937189991092288\ 5709/326805052111613834239779224161451407802579140545653579729561*c\ _0101_5^13 + 537537467029941660034696458373881972781083744195927368\ 136527/326805052111613834239779224161451407802579140545653579729561\ *c_0101_5^12 - 6426507661398852480102513668614689877895642772318120\ 73274850/3268050521116138342397792241614514078025791405456535797295\ 61*c_0101_5^11 - 12662342190741149944250240487505895702738318893793\ 205642760221/326805052111613834239779224161451407802579140545653579\ 729561*c_0101_5^10 + 1114533979830146870925495298550643809399609260\ 8467182288857117/32680505211161383423977922416145140780257914054565\ 3579729561*c_0101_5^9 + 3230383093980092853968256432909839592838997\ 0624931312036120394/32680505211161383423977922416145140780257914054\ 5653579729561*c_0101_5^8 - 4188660633294610636987285569988506955502\ 6795888112073079187435/32680505211161383423977922416145140780257914\ 0545653579729561*c_0101_5^7 - 3148454732240017297930384316371732051\ 0113648779163181826870770/32680505211161383423977922416145140780257\ 9140545653579729561*c_0101_5^6 + 5354084310456791703934227078792285\ 1611864423835464832953679554/32680505211161383423977922416145140780\ 2579140545653579729561*c_0101_5^5 + 7437735334512266526310876438624429948833199338860404561579249/32680\ 5052111613834239779224161451407802579140545653579729561*c_0101_5^4 - 11597266084876359755918557553105980991643348285704689382988193/3268\ 05052111613834239779224161451407802579140545653579729561*c_0101_5^3 + 19213429352507176963900821052110604938611582965593949271536/32680\ 5052111613834239779224161451407802579140545653579729561*c_0101_5^2 + 741856217889842382965092321091055469079280066415956198560088/326805\ 052111613834239779224161451407802579140545653579729561*c_0101_5 + 563486830416160549368662226132885506334730627643272156785/326805052\ 111613834239779224161451407802579140545653579729561, c_0101_0 - 11184544167058303264597516634806965997123887768658657546249/\ 326805052111613834239779224161451407802579140545653579729561*c_0101\ _5^19 - 11272035723940076559513092787130976487923369025120244270218\ 7/326805052111613834239779224161451407802579140545653579729561*c_01\ 01_5^18 + 259540760775587838895330592792387935861462975600468565930\ 671/326805052111613834239779224161451407802579140545653579729561*c_\ 0101_5^17 - 3382885683318975541227884834439357556635158277174305782\ 08038/326805052111613834239779224161451407802579140545653579729561*\ c_0101_5^16 + 14817325632386804615254563794647928146279947570730156\ 979347118/326805052111613834239779224161451407802579140545653579729\ 561*c_0101_5^15 + 7871308072237335744440038467868008003665740696287\ 30702350742/3268050521116138342397792241614514078025791405456535797\ 29561*c_0101_5^14 - 21138988848852592709574323028643764012085065632\ 181941718486889/326805052111613834239779224161451407802579140545653\ 579729561*c_0101_5^13 - 4741810688948559428735286450918233028505892\ 4081990618741063276/32680505211161383423977922416145140780257914054\ 5653579729561*c_0101_5^12 + 801224387007565132246949957742009705322\ 746178787442347823614/326805052111613834239779224161451407802579140\ 545653579729561*c_0101_5^11 + 7202925547322007806231235672484460243\ 05025992680356216499660994/3268050521116138342397792241614514078025\ 79140545653579729561*c_0101_5^10 + 16945073140308888702386254649969468617697735039371838401273928/3268\ 05052111613834239779224161451407802579140545653579729561*c_0101_5^9 - 2038300514714337752250218922661530194659458816573039126438012977/\ 326805052111613834239779224161451407802579140545653579729561*c_0101\ _5^8 + 589846624800545515346004169166038543260812817108983339592442\ 098/326805052111613834239779224161451407802579140545653579729561*c_\ 0101_5^7 + 29854110665999437451069790350766137845847947921821000659\ 28158980/3268050521116138342397792241614514078025791405456535797295\ 61*c_0101_5^6 - 752798009593631586211510230658081875079796034382549\ 286653995078/326805052111613834239779224161451407802579140545653579\ 729561*c_0101_5^5 - 20122723664574844470026518786795589554842470350\ 97979152118726584/3268050521116138342397792241614514078025791405456\ 53579729561*c_0101_5^4 - 589749417793591123560632420450721167341067\ 727497483603709770906/326805052111613834239779224161451407802579140\ 545653579729561*c_0101_5^3 + 10039675192346424973512064109848462491\ 057200485714202852715840/326805052111613834239779224161451407802579\ 140545653579729561*c_0101_5^2 + 16939218700125046791819137874489247\ 303659866797283141708100955/326805052111613834239779224161451407802\ 579140545653579729561*c_0101_5 - 2978897150121510393436885514672854\ 73183063023212428843338083/3268050521116138342397792241614514078025\ 79140545653579729561, c_0101_1 - 4623927310172389653421195244918329421209932513718773295/9723\ 4469536332589776786439798111100209038720781212014201*c_0101_5^19 - 46844007232055366145643458520184077723353356806984781639/9723446953\ 6332589776786439798111100209038720781212014201*c_0101_5^18 + 104862298547788013373169392365440617161289946543203599514/972344695\ 36332589776786439798111100209038720781212014201*c_0101_5^17 - 134106802360381539340864071941603304175760779438488577727/972344695\ 36332589776786439798111100209038720781212014201*c_0101_5^16 + 6118065034329794979553677218334006056233737313503287919882/97234469\ 536332589776786439798111100209038720781212014201*c_0101_5^15 + 648030996109515317457476213139886395183310352539498578706/972344695\ 36332589776786439798111100209038720781212014201*c_0101_5^14 - 8738459228976456562480157508744803066409030155754554206089/97234469\ 536332589776786439798111100209038720781212014201*c_0101_5^13 - 20049333473439533814046910110788893008975764991222180546979/9723446\ 9536332589776786439798111100209038720781212014201*c_0101_5^12 - 682023830156760597287920834312869022105297378731699113738/972344695\ 36332589776786439798111100209038720781212014201*c_0101_5^11 + 297835843458129898567465142270369077769578484084498485744141/972344\ 69536332589776786439798111100209038720781212014201*c_0101_5^10 + 22618511069906077708491120949991512719831545500439269668855/9723446\ 9536332589776786439798111100209038720781212014201*c_0101_5^9 - 843061827993653574186794345204077214086564970975088048242905/972344\ 69536332589776786439798111100209038720781212014201*c_0101_5^8 + 200234154197000659373100664211446798012331129837678641574163/972344\ 69536332589776786439798111100209038720781212014201*c_0101_5^7 + 1248933711418251111937331118330680787147189026292920107649178/97234\ 469536332589776786439798111100209038720781212014201*c_0101_5^6 - 248725953719924341032127406365140332275500061261970274385449/972344\ 69536332589776786439798111100209038720781212014201*c_0101_5^5 - 850104441336243176705506674953666432658979062662744356877489/972344\ 69536332589776786439798111100209038720781212014201*c_0101_5^4 - 284642418945661583319306925909832684424842083741875484537115/972344\ 69536332589776786439798111100209038720781212014201*c_0101_5^3 - 7993293617985104121224154160987479709019065035933008744130/97234469\ 536332589776786439798111100209038720781212014201*c_0101_5^2 + 6723285136504256978727723346042244069901941889460452461951/97234469\ 536332589776786439798111100209038720781212014201*c_0101_5 + 92136380000374843104678486511015873359148760087617262016/9723446953\ 6332589776786439798111100209038720781212014201, c_0101_3 - 1155975338981239063246567213505567091397497835605076273/9723\ 4469536332589776786439798111100209038720781212014201*c_0101_5^19 - 11718710599341929696121394786885371142729556860412735041/9723446953\ 6332589776786439798111100209038720781212014201*c_0101_5^18 + 26140072501852538365537858141666372983006871390506838035/9723446953\ 6332589776786439798111100209038720781212014201*c_0101_5^17 - 33316253166811900914535763167701049564754258694315459686/9723446953\ 6332589776786439798111100209038720781212014201*c_0101_5^16 + 1529198345382260658570915697980740718574093276761383753885/97234469\ 536332589776786439798111100209038720781212014201*c_0101_5^15 + 172397194587035007094295441765331893772488424696603524093/972344695\ 36332589776786439798111100209038720781212014201*c_0101_5^14 - 2188017588534770365951943657940324352661585240304986141690/97234469\ 536332589776786439798111100209038720781212014201*c_0101_5^13 - 5026753736307505229065874742283256794668097182477672627538/97234469\ 536332589776786439798111100209038720781212014201*c_0101_5^12 - 196608227788107505294978637994764668789508182431487395335/972344695\ 36332589776786439798111100209038720781212014201*c_0101_5^11 + 74471008702964969409766750537108037226413119272014964323881/9723446\ 9536332589776786439798111100209038720781212014201*c_0101_5^10 + 6152238204987791815744994586706546241662535231739102799542/97234469\ 536332589776786439798111100209038720781212014201*c_0101_5^9 - 210948276056438768988084007637044113301769446191877973309250/972344\ 69536332589776786439798111100209038720781212014201*c_0101_5^8 + 48657590137942919716747234029977785408724760958275592109470/9723446\ 9536332589776786439798111100209038720781212014201*c_0101_5^7 + 313240852986524450680661892477206595877194506740401151033124/972344\ 69536332589776786439798111100209038720781212014201*c_0101_5^6 - 60345069288774306024398762482492785598282905672681127101866/9723446\ 9536332589776786439798111100209038720781212014201*c_0101_5^5 - 213955801528831817721586155195699421415162636018056859609770/972344\ 69536332589776786439798111100209038720781212014201*c_0101_5^4 - 72139438668492589428741839416490287993671508143821296766915/9723446\ 9536332589776786439798111100209038720781212014201*c_0101_5^3 - 1840126232754257526156140720607119358909404759712289672938/97234469\ 536332589776786439798111100209038720781212014201*c_0101_5^2 + 1637774286064076215127802037402478485291216592519945545394/97234469\ 536332589776786439798111100209038720781212014201*c_0101_5 + 18792346860036351980157392562459353122248025575477301995/9723446953\ 6332589776786439798111100209038720781212014201, c_0101_5^20 + 10*c_0101_5^19 - 24*c_0101_5^18 + 32*c_0101_5^17 - 1327*c_0101_5^16 + 33*c_0101_5^15 + 1904*c_0101_5^14 + 4089*c_0101_5^13 - 414*c_0101_5^12 - 64418*c_0101_5^11 + 3531*c_0101_5^10 + 182765*c_0101_5^9 - 67137*c_0101_5^8 - 263883*c_0101_5^7 + 88920*c_0101_5^6 + 176016*c_0101_5^5 + 37745*c_0101_5^4 - 5771*c_0101_5^3 - 1528*c_0101_5^2 + 152*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB