Magma V2.19-8 Tue Aug 20 2013 16:18:13 on localhost [Seed = 3381155058] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2435 geometric_solution 5.78239858 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 1 2031 0132 1302 2310 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 0 0 0 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 -1.139047742063 0.813749262194 0 0 3 2 3201 0132 0132 0132 0 0 0 0 0 1 -1 0 1 0 0 -1 -1 -1 0 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 -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.746683423132 0.898006514989 4 5 1 4 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 1 1 -2 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 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.215554485828 0.482111628533 5 4 5 1 3201 2310 3120 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.750400225075 0.423810495780 2 2 6 3 0132 0321 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.584134308626 0.963241604913 6 2 3 3 2103 0132 3120 2310 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515262546745 0.515518389767 6 6 5 4 1302 2031 2103 0132 0 0 0 0 0 0 0 0 1 0 -1 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.136178774575 0.702874858165 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(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' : negation(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' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(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_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0011_2'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), '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' : d['c_0011_3'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_1001_3']), 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0011_2']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_1001_3']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_1001_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_3, c_0011_6, c_0101_1, c_0101_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 132650593589093399766167535754997889911200041051/686373391346427912\ 9833236778396731834506439040*c_1001_3^20 - 819128028949529791126151436564263933057918236169/686373391346427912\ 9833236778396731834506439040*c_1001_3^19 + 9909547405436174117067834293706331235213658987383/68637339134642791\ 29833236778396731834506439040*c_1001_3^18 + 62323958026880611397527828898266802362776512704449/6863733913464279\ 129833236778396731834506439040*c_1001_3^17 + 260635757495670091378136679879516213844146482069619/686373391346427\ 9129833236778396731834506439040*c_1001_3^16 + 456838744176529116921232283078943183653319716973797/343186695673213\ 9564916618389198365917253219520*c_1001_3^15 + 1104782190046920840417549270807725941535565753985129/68637339134642\ 79129833236778396731834506439040*c_1001_3^14 + 532071960137429574799054154073957834633244949323743/171593347836606\ 9782458309194599182958626609760*c_1001_3^13 - 302319619627483021022515484355981581315745379903377/686373391346427\ 9129833236778396731834506439040*c_1001_3^12 - 466213393524774523415376458170448332499356350268249/857966739183034\ 891229154597299591479313304880*c_1001_3^11 - 3751009050080817983682698195639171554056146880269191/68637339134642\ 79129833236778396731834506439040*c_1001_3^10 - 317259159461488018821666154340670025247140703508621/857966739183034\ 891229154597299591479313304880*c_1001_3^9 - 344151982801460188432758223177014585190568323187601/343186695673213\ 9564916618389198365917253219520*c_1001_3^8 + 172215886430752143046364184185339767072673097461481/343186695673213\ 9564916618389198365917253219520*c_1001_3^7 + 494714442928037283730907903692239558108955224332931/686373391346427\ 9129833236778396731834506439040*c_1001_3^6 + 35770467474483241250616300203397869932836539411599/8579667391830348\ 91229154597299591479313304880*c_1001_3^5 + 97840377030838545040054850309310288586543349373781/6863733913464279\ 129833236778396731834506439040*c_1001_3^4 + 7337604212881705966952414942613866075497007127451/34318669567321395\ 64916618389198365917253219520*c_1001_3^3 - 347447415648366425206212738763093352263953871587/686373391346427912\ 983323677839673183450643904*c_1001_3^2 - 110679164337370412984346108099798470105830231009/428983369591517445\ 614577298649795739656652440*c_1001_3 - 191436418180256381686957199920806494287508600639/686373391346427912\ 9833236778396731834506439040, c_0011_0 - 1, c_0011_2 - 619326465920128725135346054734243884958977708/53622921198939\ 680701822162331224467457081555*c_1001_3^20 - 3488875810919284709184331554794297427423958816/53622921198939680701\ 822162331224467457081555*c_1001_3^19 + 48352539652193635920819553106802595395087049462/5362292119893968070\ 1822162331224467457081555*c_1001_3^18 + 265948844897721460897783563423136935453687651671/536229211989396807\ 01822162331224467457081555*c_1001_3^17 + 1057805334487145509801681398832401208289950098769/53622921198939680\ 701822162331224467457081555*c_1001_3^16 + 3604173660500241743794378882068836399797704749091/53622921198939680\ 701822162331224467457081555*c_1001_3^15 + 2845234566730234369615051931003545380321231215184/53622921198939680\ 701822162331224467457081555*c_1001_3^14 + 1430307261480538859000087483362127945284383774125/10724584239787936\ 140364432466244893491416311*c_1001_3^13 - 6538072978170922785453159759927717726970747642642/53622921198939680\ 701822162331224467457081555*c_1001_3^12 - 16474589624816409186479102418405308404417323326918/5362292119893968\ 0701822162331224467457081555*c_1001_3^11 - 7251631716705300824175327475292830337851883233104/53622921198939680\ 701822162331224467457081555*c_1001_3^10 - 2287977020962603892761685022079009354572603549462/53622921198939680\ 701822162331224467457081555*c_1001_3^9 + 376724728678257702926062094191087596240387200317/107245842397879361\ 40364432466244893491416311*c_1001_3^8 + 2272761343381653097518461485920441145026968718532/53622921198939680\ 701822162331224467457081555*c_1001_3^7 + 190583765180944854388522002851422748524679449978/107245842397879361\ 40364432466244893491416311*c_1001_3^6 + 135767702348702395980463482592057796643491546668/536229211989396807\ 01822162331224467457081555*c_1001_3^5 - 56713395399175520349849594230671210438578050516/5362292119893968070\ 1822162331224467457081555*c_1001_3^4 - 48277212196107283729389049465589230253102776941/5362292119893968070\ 1822162331224467457081555*c_1001_3^3 - 5009220878299711311310922803793121544319334312/10724584239787936140\ 364432466244893491416311*c_1001_3^2 + 693571591794299819981110805647150192664193073/536229211989396807018\ 22162331224467457081555*c_1001_3 + 1835505536934778901704496419785773188299694802/53622921198939680701\ 822162331224467457081555, c_0011_3 + 1076257339415427161507347160814917560583667056/5362292119893\ 9680701822162331224467457081555*c_1001_3^20 + 6101623947828975683952530615251337110186854587/53622921198939680701\ 822162331224467457081555*c_1001_3^19 - 83811182633508927211405048881613913211192381694/5362292119893968070\ 1822162331224467457081555*c_1001_3^18 - 465196535398066508325214399577009813709034074312/536229211989396807\ 01822162331224467457081555*c_1001_3^17 - 1854623360214039067100478282622008793754121130473/53622921198939680\ 701822162331224467457081555*c_1001_3^16 - 6328435154216809289024757723518482063536206428887/53622921198939680\ 701822162331224467457081555*c_1001_3^15 - 5166179261853080654878503986651674869382163761773/53622921198939680\ 701822162331224467457081555*c_1001_3^14 - 2518919114457188356164398956099689336959923704067/10724584239787936\ 140364432466244893491416311*c_1001_3^13 + 10909951459203848404237751124747142218427438946864/5362292119893968\ 0701822162331224467457081555*c_1001_3^12 + 29057788637862415894224598898865817007974205467011/5362292119893968\ 0701822162331224467457081555*c_1001_3^11 + 13565715090154143573531016641156003006415562362773/5362292119893968\ 0701822162331224467457081555*c_1001_3^10 + 4392184606957086225934352193978610133383228728114/53622921198939680\ 701822162331224467457081555*c_1001_3^9 - 617292675003388619339044404592426975708050850039/107245842397879361\ 40364432466244893491416311*c_1001_3^8 - 4049127150923113715038073310091438064634456556729/53622921198939680\ 701822162331224467457081555*c_1001_3^7 - 355223690832053633940176046904690257389440588285/107245842397879361\ 40364432466244893491416311*c_1001_3^6 - 293927692720410115416029311605798101693125469931/536229211989396807\ 01822162331224467457081555*c_1001_3^5 + 84510321951108626363059970845859913005299701577/5362292119893968070\ 1822162331224467457081555*c_1001_3^4 + 83603071773580540245596571731031426265383631542/5362292119893968070\ 1822162331224467457081555*c_1001_3^3 + 9079820742730943616796714639261847102572124322/10724584239787936140\ 364432466244893491416311*c_1001_3^2 + 133248434037800147688574867068416595441639929/536229211989396807018\ 22162331224467457081555*c_1001_3 - 3168382562333889992388893664537422268224433249/53622921198939680701\ 822162331224467457081555, c_0011_6 - 122733590289751142794493973347523623568179926/53622921198939\ 680701822162331224467457081555*c_1001_3^20 - 700767515491021020231054992628505247109799917/536229211989396807018\ 22162331224467457081555*c_1001_3^19 + 9534535801076453479779593485323327783571002634/53622921198939680701\ 822162331224467457081555*c_1001_3^18 + 53462993305495957677584310979396564833823205622/5362292119893968070\ 1822162331224467457081555*c_1001_3^17 + 213242013336662638754937757953173723898777329658/536229211989396807\ 01822162331224467457081555*c_1001_3^16 + 728130775904053915900598909175638882591782260477/536229211989396807\ 01822162331224467457081555*c_1001_3^15 + 610040856682128548604203180465413252006531348643/536229211989396807\ 01822162331224467457081555*c_1001_3^14 + 286431858643063658238143658597389641591496498020/107245842397879361\ 40364432466244893491416311*c_1001_3^13 - 1204856956799464726714037006621175683465714774989/53622921198939680\ 701822162331224467457081555*c_1001_3^12 - 3419868020644562786546306667563435500782403717051/53622921198939680\ 701822162331224467457081555*c_1001_3^11 - 1619268391390558308154573590603419404686649392698/53622921198939680\ 701822162331224467457081555*c_1001_3^10 - 442877586716717953175200445210885154973646849399/536229211989396807\ 01822162331224467457081555*c_1001_3^9 + 74542253738113117201666781505017751094687538394/1072458423978793614\ 0364432466244893491416311*c_1001_3^8 + 492904766262507629707462576269148495218120646634/536229211989396807\ 01822162331224467457081555*c_1001_3^7 + 41056785445477748685016093871426515023977734237/1072458423978793614\ 0364432466244893491416311*c_1001_3^6 + 26956572700760357614552669952778057124441722866/5362292119893968070\ 1822162331224467457081555*c_1001_3^5 - 14188251153386018557010661351647006929012989867/5362292119893968070\ 1822162331224467457081555*c_1001_3^4 - 10823193405896679061571473781829120604964976877/5362292119893968070\ 1822162331224467457081555*c_1001_3^3 - 1075841120987586683478586971330859889761696839/10724584239787936140\ 364432466244893491416311*c_1001_3^2 + 54441930477228367042198792740417836745538391/5362292119893968070182\ 2162331224467457081555*c_1001_3 + 508298686421613927899680001894468\ 017167262854/53622921198939680701822162331224467457081555, c_0101_1 + 11962593659362640799830067210073406262562517/536229211989396\ 80701822162331224467457081555*c_1001_3^20 + 67829859210927741611949813091270143609656984/5362292119893968070182\ 2162331224467457081555*c_1001_3^19 - 934454331010620007031793122644416385637353523/536229211989396807018\ 22162331224467457081555*c_1001_3^18 - 5187955798571605767895797199639703576850750869/53622921198939680701\ 822162331224467457081555*c_1001_3^17 - 20387488535770446851218250676669709972466873271/5362292119893968070\ 1822162331224467457081555*c_1001_3^16 - 69102290640190349513120429906108774062923132934/5362292119893968070\ 1822162331224467457081555*c_1001_3^15 - 52488259571289447981841320913248850129627653761/5362292119893968070\ 1822162331224467457081555*c_1001_3^14 - 24604006826467670835773034702816632541643089849/1072458423978793614\ 0364432466244893491416311*c_1001_3^13 + 134201092755788565441196036660815992462903292648/536229211989396807\ 01822162331224467457081555*c_1001_3^12 + 357563070573170640390546679411103114863766883342/536229211989396807\ 01822162331224467457081555*c_1001_3^11 + 119487893580815057734274120182867889000933848131/536229211989396807\ 01822162331224467457081555*c_1001_3^10 - 26237853095288834885023131620779879400626440272/5362292119893968070\ 1822162331224467457081555*c_1001_3^9 - 13148652083383574930421470141968021453626424608/1072458423978793614\ 0364432466244893491416311*c_1001_3^8 - 59996309133158135627212982062397607849326833168/5362292119893968070\ 1822162331224467457081555*c_1001_3^7 - 2753409286267742687056118290054670078085050252/10724584239787936140\ 364432466244893491416311*c_1001_3^6 + 6543644734759979487745753745602735062624286863/53622921198939680701\ 822162331224467457081555*c_1001_3^5 + 5099431616390164389613177436066957985991298234/53622921198939680701\ 822162331224467457081555*c_1001_3^4 + 2338066521673637082696053767182894214881751559/53622921198939680701\ 822162331224467457081555*c_1001_3^3 + 125582987792092677534457276811551178812363256/107245842397879361403\ 64432466244893491416311*c_1001_3^2 - 106482606725812604831760080039526592349117807/536229211989396807018\ 22162331224467457081555*c_1001_3 - 154183188592016648751715922805959102074359028/536229211989396807018\ 22162331224467457081555, c_0101_2 - 35167566821573383211843386182695234869369519/536229211989396\ 80701822162331224467457081555*c_1001_3^20 - 200140775530805571368881007127782885938282658/536229211989396807018\ 22162331224467457081555*c_1001_3^19 + 2738531943716260377512978590534837344212643121/53622921198939680701\ 822162331224467457081555*c_1001_3^18 + 15284277053663988293422762571304688970603683908/5362292119893968070\ 1822162331224467457081555*c_1001_3^17 + 60598329105459311785091340245783439921565786942/5362292119893968070\ 1822162331224467457081555*c_1001_3^16 + 206276910063978680743021113927246618903517856798/536229211989396807\ 01822162331224467457081555*c_1001_3^15 + 166018673428240465216854446001805540319665907992/536229211989396807\ 01822162331224467457081555*c_1001_3^14 + 78068472001849192588582315082908931865915786732/1072458423978793614\ 0364432466244893491416311*c_1001_3^13 - 367232653223332423271422569400351569452851876751/536229211989396807\ 01822162331224467457081555*c_1001_3^12 - 1007822296768114653924090573120058248295436136654/53622921198939680\ 701822162331224467457081555*c_1001_3^11 - 419446844614504344518595098704642819868015156342/536229211989396807\ 01822162331224467457081555*c_1001_3^10 - 43222304978628381831115278740605521903122929761/5362292119893968070\ 1822162331224467457081555*c_1001_3^9 + 29625767171074295401910420818458938299007403406/1072458423978793614\ 0364432466244893491416311*c_1001_3^8 + 156760660138439140747990472674735988259981110351/536229211989396807\ 01822162331224467457081555*c_1001_3^7 + 10271389595603423834770686201707019963418011232/1072458423978793614\ 0364432466244893491416311*c_1001_3^6 - 3209093391944131886922103457663030687216046901/53622921198939680701\ 822162331224467457081555*c_1001_3^5 - 9267600222050744390479850629761530876248353478/53622921198939680701\ 822162331224467457081555*c_1001_3^4 - 4608976021837717152703281388643165006539188043/53622921198939680701\ 822162331224467457081555*c_1001_3^3 - 303807272512105141590719070432291332030523906/107245842397879361403\ 64432466244893491416311*c_1001_3^2 + 135649036409630077328898386130589955417673169/536229211989396807018\ 22162331224467457081555*c_1001_3 + 253418736782248654337539207119937064497082011/536229211989396807018\ 22162331224467457081555, c_1001_3^21 + 6*c_1001_3^20 - 76*c_1001_3^19 - 458*c_1001_3^18 - 1866*c_1001_3^17 - 6449*c_1001_3^16 - 6741*c_1001_3^15 - 13277*c_1001_3^14 + 6279*c_1001_3^13 + 30377*c_1001_3^12 + 21517*c_1001_3^11 + 8191*c_1001_3^10 - 1554*c_1001_3^9 - 4724*c_1001_3^8 - 2891*c_1001_3^7 - 811*c_1001_3^6 - 7*c_1001_3^5 + 105*c_1001_3^4 + 68*c_1001_3^3 + 14*c_1001_3^2 - 3*c_1001_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB