Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 4088557333] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0746 geometric_solution 4.69184897 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 0213 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 -1 0 0 1 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.347396138699 0.695732703924 0 2 3 0 0132 3201 3201 0213 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 1 -1 0 1 0 0 -1 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.347396138699 0.695732703924 4 0 1 4 0132 0132 2310 3201 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.304799022727 0.788939067348 1 5 5 0 2310 0132 1023 0132 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 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.651572152801 0.231019901408 2 2 4 4 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.270613278887 0.434005546067 6 3 3 6 0132 0132 1023 1023 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.036993181879 0.380721152972 5 6 6 5 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.173673540320 0.231557941554 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(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' : 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' : 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' : 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' : negation(d['1']), 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_3'], '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0101_0, c_0101_2, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1168056471629503380808511539779824265283153131/93774507879956197871\ 282442521475092669657251*c_0101_6^22 + 35987790675556261252843332619112926977296316337/9377450787995619787\ 1282442521475092669657251*c_0101_6^21 - 155133004282490503465352665081470559386735402391/937745078799561978\ 71282442521475092669657251*c_0101_6^20 + 146994165612601770501948134719907849954408544359/937745078799561978\ 71282442521475092669657251*c_0101_6^19 - 257385762200834949009986373321780551784916624607/937745078799561978\ 71282442521475092669657251*c_0101_6^18 + 794976830193167628005974607876477162625451863448/937745078799561978\ 71282442521475092669657251*c_0101_6^17 + 1214190090665624494288460268684496094524735035790/93774507879956197\ 871282442521475092669657251*c_0101_6^16 - 6515735969422979628233620313622731681024519860879/93774507879956197\ 871282442521475092669657251*c_0101_6^15 + 7015404007208852517654159588726528813113135435328/93774507879956197\ 871282442521475092669657251*c_0101_6^14 + 693370241540013422543955032630952749425821899995/937745078799561978\ 71282442521475092669657251*c_0101_6^13 - 9427977412580920021548050461093477147107680131138/93774507879956197\ 871282442521475092669657251*c_0101_6^12 + 14222856080814573959765411710048206370319172167125/9377450787995619\ 7871282442521475092669657251*c_0101_6^11 - 11935973350264917735186634125676634484721036218300/9377450787995619\ 7871282442521475092669657251*c_0101_6^10 + 2909309039593613311635799284563377997580956752624/93774507879956197\ 871282442521475092669657251*c_0101_6^9 + 3259429933155297969344086790435155867294807146681/93774507879956197\ 871282442521475092669657251*c_0101_6^8 - 2226992213233384698922523509288222952580788084711/93774507879956197\ 871282442521475092669657251*c_0101_6^7 + 5754874517403597962918977249699706440900129946/93774507879956197871\ 282442521475092669657251*c_0101_6^6 - 4764537277848436550679950411595872604443133625/93774507879956197871\ 282442521475092669657251*c_0101_6^5 + 274576634733892611686067574765276309269435776899/937745078799561978\ 71282442521475092669657251*c_0101_6^4 + 12501070512213013470868268945414024933050251860/9377450787995619787\ 1282442521475092669657251*c_0101_6^3 - 82781363386077399842572185096085904027562269011/9377450787995619787\ 1282442521475092669657251*c_0101_6^2 + 2291959462840946174152114595143828847049934066/93774507879956197871\ 282442521475092669657251*c_0101_6 + 5515477074651968385299998139207162861643959504/93774507879956197871\ 282442521475092669657251, c_0011_0 - 1, c_0011_3 - 294097572081627643714706332213202527079579838/93774507879956\ 197871282442521475092669657251*c_0101_6^22 - 10008967417561677706302498401792109280909827542/9377450787995619787\ 1282442521475092669657251*c_0101_6^21 + 7553241396883718944785370114647678843171931749/93774507879956197871\ 282442521475092669657251*c_0101_6^20 + 12386228726433161951433094961918738590288735886/9377450787995619787\ 1282442521475092669657251*c_0101_6^19 + 69135947782154635669407109752957666653503507636/9377450787995619787\ 1282442521475092669657251*c_0101_6^18 + 14968682752002165552230483258608307801840005034/9377450787995619787\ 1282442521475092669657251*c_0101_6^17 - 429989231888151749489686365138471822268240942635/937745078799561978\ 71282442521475092669657251*c_0101_6^16 + 328895662293860483263165583831934829422068714161/937745078799561978\ 71282442521475092669657251*c_0101_6^15 + 337521550683330050232067173092036200006700368867/937745078799561978\ 71282442521475092669657251*c_0101_6^14 - 604156671543328825156953867905436370933839565502/937745078799561978\ 71282442521475092669657251*c_0101_6^13 + 584777817545839619898442695573915245166228525893/937745078799561978\ 71282442521475092669657251*c_0101_6^12 - 303045597315737393111519842554220457423189348314/937745078799561978\ 71282442521475092669657251*c_0101_6^11 - 363584151101567750243684056653137664889640623969/937745078799561978\ 71282442521475092669657251*c_0101_6^10 + 464106045061970199529806962202541162191813355684/937745078799561978\ 71282442521475092669657251*c_0101_6^9 - 10671435396130959263268362767162187303768928656/9377450787995619787\ 1282442521475092669657251*c_0101_6^8 - 134909718274588413372004437601195144519993802895/937745078799561978\ 71282442521475092669657251*c_0101_6^7 - 8123839372460875150004248754821422653506682916/93774507879956197871\ 282442521475092669657251*c_0101_6^6 + 30082136036072076512458926217345974523492069369/9377450787995619787\ 1282442521475092669657251*c_0101_6^5 + 21881589765860918424387215247644236622193171073/9377450787995619787\ 1282442521475092669657251*c_0101_6^4 - 6183911102613248173795042170728463647909075867/93774507879956197871\ 282442521475092669657251*c_0101_6^3 - 5139243380137554241093529485012286473838943689/93774507879956197871\ 282442521475092669657251*c_0101_6^2 - 65721322293035224147491908870356930101267886/9377450787995619787128\ 2442521475092669657251*c_0101_6 + 225921932070350007344308115701706\ 369671293057/93774507879956197871282442521475092669657251, c_0101_0 + 500849404679195802800293548559529451679072047/93774507879956\ 197871282442521475092669657251*c_0101_6^22 + 16866381103333262096172952453337672529061248162/9377450787995619787\ 1282442521475092669657251*c_0101_6^21 - 18853300562186389029684014093201097810737255872/9377450787995619787\ 1282442521475092669657251*c_0101_6^20 - 13167905242510142196941956433617926893147265813/9377450787995619787\ 1282442521475092669657251*c_0101_6^19 - 114592932415266869579676249539427532048005831846/937745078799561978\ 71282442521475092669657251*c_0101_6^18 + 15249522528877962032919418898201237917096778799/9377450787995619787\ 1282442521475092669657251*c_0101_6^17 + 718420106499506547607920858311938991567538711270/937745078799561978\ 71282442521475092669657251*c_0101_6^16 - 814267095061194855976187209160341595110937735276/937745078799561978\ 71282442521475092669657251*c_0101_6^15 - 236547511804163794402601643298697492888984353138/937745078799561978\ 71282442521475092669657251*c_0101_6^14 + 1045383714139959303582751591681886466656164028114/93774507879956197\ 871282442521475092669657251*c_0101_6^13 - 1356664302436914700650561241275216046625076248513/93774507879956197\ 871282442521475092669657251*c_0101_6^12 + 1057547497235605171147877663811793744428514278608/93774507879956197\ 871282442521475092669657251*c_0101_6^11 + 131238773560790470585045748915542380958894688737/937745078799561978\ 71282442521475092669657251*c_0101_6^10 - 723269587645281995216377676183698580271212640477/937745078799561978\ 71282442521475092669657251*c_0101_6^9 + 233387606024015145881311366226756661426940418027/937745078799561978\ 71282442521475092669657251*c_0101_6^8 + 128522599999748378027791374851775432857893197673/937745078799561978\ 71282442521475092669657251*c_0101_6^7 - 14863787543694513354252427433307485963046604280/9377450787995619787\ 1282442521475092669657251*c_0101_6^6 - 46537291196041279963426176180064457880628297357/9377450787995619787\ 1282442521475092669657251*c_0101_6^5 - 18544042641589918119998989110157671354848486565/9377450787995619787\ 1282442521475092669657251*c_0101_6^4 + 13970834757976996946950437288364606882935238154/9377450787995619787\ 1282442521475092669657251*c_0101_6^3 + 3644734924611340935177784241847147159533003058/93774507879956197871\ 282442521475092669657251*c_0101_6^2 - 696702029637294076847482186203010789408569002/937745078799561978712\ 82442521475092669657251*c_0101_6 - 132825945248770004737736996237803253781490729/937745078799561978712\ 82442521475092669657251, c_0101_2 + 279985850894345090204577208518614022756979299/93774507879956\ 197871282442521475092669657251*c_0101_6^22 + 9435977997984259805876763310648139725154751995/93774507879956197871\ 282442521475092669657251*c_0101_6^21 - 10270678934366003510116341652026271461873188274/9377450787995619787\ 1282442521475092669657251*c_0101_6^20 - 6873419129714306201841831478212572714502369723/93774507879956197871\ 282442521475092669657251*c_0101_6^19 - 65422269414848810146075664338112494301138956512/9377450787995619787\ 1282442521475092669657251*c_0101_6^18 + 6848205643109744660572337872547000560202697352/93774507879956197871\ 282442521475092669657251*c_0101_6^17 + 396461004199674428558890797585722095016463945138/937745078799561978\ 71282442521475092669657251*c_0101_6^16 - 441931059907828753522874551050261477671601461996/937745078799561978\ 71282442521475092669657251*c_0101_6^15 - 113202916916955158407734084268819487991613011694/937745078799561978\ 71282442521475092669657251*c_0101_6^14 + 531205450515433349856305332079937218175412982490/937745078799561978\ 71282442521475092669657251*c_0101_6^13 - 728580920713374043937927161857614387027268836382/937745078799561978\ 71282442521475092669657251*c_0101_6^12 + 607879166955031142427303013822386356265076112042/937745078799561978\ 71282442521475092669657251*c_0101_6^11 + 10063814189826427081428345693397849886459004353/9377450787995619787\ 1282442521475092669657251*c_0101_6^10 - 315835889550230375490469934820690370314208624595/937745078799561978\ 71282442521475092669657251*c_0101_6^9 + 82067293890077046228747663721286843631666069830/9377450787995619787\ 1282442521475092669657251*c_0101_6^8 + 65500252427411181940578983975119835605223853096/9377450787995619787\ 1282442521475092669657251*c_0101_6^7 + 8217057688430949108068671417017370673746323980/93774507879956197871\ 282442521475092669657251*c_0101_6^6 - 29511444981778462525997558130568357542044500617/9377450787995619787\ 1282442521475092669657251*c_0101_6^5 - 10407720763128355700571520375315368619500487309/9377450787995619787\ 1282442521475092669657251*c_0101_6^4 + 5707416374290857777850349072096372057503080519/93774507879956197871\ 282442521475092669657251*c_0101_6^3 + 2539136738205774027202981746847984952159225845/93774507879956197871\ 282442521475092669657251*c_0101_6^2 - 95262107478379379889071833184606649095243274/9377450787995619787128\ 2442521475092669657251*c_0101_6 - 157253735397074623598185794740749\ 117252800052/93774507879956197871282442521475092669657251, c_0101_4 - 191905801504614204793872019690420298520214074/93774507879956\ 197871282442521475092669657251*c_0101_6^22 - 6534039957484077229685282316909635445487360023/93774507879956197871\ 282442521475092669657251*c_0101_6^21 + 4802640666668981079999406699371180097575082929/93774507879956197871\ 282442521475092669657251*c_0101_6^20 + 7281935360966593765445261971076020986838258559/93774507879956197871\ 282442521475092669657251*c_0101_6^19 + 45928674954950961832927678064954650870494193750/9377450787995619787\ 1282442521475092669657251*c_0101_6^18 + 11130458037855341593890615905620153505682368362/9377450787995619787\ 1282442521475092669657251*c_0101_6^17 - 274077715188520135578759742924733881273979506148/937745078799561978\ 71282442521475092669657251*c_0101_6^16 + 211548662665858884644548534496976207434673658456/937745078799561978\ 71282442521475092669657251*c_0101_6^15 + 188567252331710709794599546479634689502751037520/937745078799561978\ 71282442521475092669657251*c_0101_6^14 - 359948796794489529401472505795658524158756571164/937745078799561978\ 71282442521475092669657251*c_0101_6^13 + 388684166230342389129963820573516894261489818075/937745078799561978\ 71282442521475092669657251*c_0101_6^12 - 230840383949844309800256708546103569828054631675/937745078799561978\ 71282442521475092669657251*c_0101_6^11 - 183994951606279750006677884121065698889442401392/937745078799561978\ 71282442521475092669657251*c_0101_6^10 + 253530272493503315921643732660375227015989213160/937745078799561978\ 71282442521475092669657251*c_0101_6^9 - 5154714014158545024894209231124186026346405324/93774507879956197871\ 282442521475092669657251*c_0101_6^8 - 70690598765825611556505173165394394426282498597/9377450787995619787\ 1282442521475092669657251*c_0101_6^7 - 6101116297481163040953205613036086071525119786/93774507879956197871\ 282442521475092669657251*c_0101_6^6 + 14243390652429475968767295887559993575234137443/9377450787995619787\ 1282442521475092669657251*c_0101_6^5 + 12628874123021775664267970429259162006312582379/9377450787995619787\ 1282442521475092669657251*c_0101_6^4 - 2119161434716317866172495050023311186876818588/93774507879956197871\ 282442521475092669657251*c_0101_6^3 - 2450370966060586166845684937900056052298046540/93774507879956197871\ 282442521475092669657251*c_0101_6^2 - 63492376982839938802114677427781184470257319/9377450787995619787128\ 2442521475092669657251*c_0101_6 - 187005704875914153996831172774177\ 48460674123/93774507879956197871282442521475092669657251, c_0101_5 + 68687101308231409241722926856395914301162936/937745078799561\ 97871282442521475092669657251*c_0101_6^22 + 2316215307523453395102864256040550775761562276/93774507879956197871\ 282442521475092669657251*c_0101_6^21 - 2466735522146039518471137845165735036620705849/93774507879956197871\ 282442521475092669657251*c_0101_6^20 - 1488289620509008083563563718472071591445351004/93774507879956197871\ 282442521475092669657251*c_0101_6^19 - 16490046739097625692222446045631469564587848980/9377450787995619787\ 1282442521475092669657251*c_0101_6^18 + 1372009557902714688027410756257550151681722484/93774507879956197871\ 282442521475092669657251*c_0101_6^17 + 95540202887203615455438543957032103265284756503/9377450787995619787\ 1282442521475092669657251*c_0101_6^16 - 105394312316973861946102820497259043780631984415/937745078799561978\ 71282442521475092669657251*c_0101_6^15 - 19713066055001333279884707888212746528442048117/9377450787995619787\ 1282442521475092669657251*c_0101_6^14 + 112803087693947415063522108481055985951639331094/937745078799561978\ 71282442521475092669657251*c_0101_6^13 - 170734641125056243020198057731687408634869805475/937745078799561978\ 71282442521475092669657251*c_0101_6^12 + 157132933655219314817672975764860067782612609767/937745078799561978\ 71282442521475092669657251*c_0101_6^11 - 20616169137968927855814213551153351635785455145/9377450787995619787\ 1282442521475092669657251*c_0101_6^10 - 47556598430719721172726771019777108779913558916/9377450787995619787\ 1282442521475092669657251*c_0101_6^9 + 4541776879525645235166906717298534314196324333/93774507879956197871\ 282442521475092669657251*c_0101_6^8 + 14348229908795938999532980436656740132149073339/9377450787995619787\ 1282442521475092669657251*c_0101_6^7 + 6451580881733444813258870237188254547953832111/93774507879956197871\ 282442521475092669657251*c_0101_6^6 - 8249139974329419891938531055190166029732509997/93774507879956197871\ 282442521475092669657251*c_0101_6^5 - 2315326446828257765433535208783089354251925521/93774507879956197871\ 282442521475092669657251*c_0101_6^4 + 729772755676821258790294029615681101635706209/937745078799561978712\ 82442521475092669657251*c_0101_6^3 + 784784764260260982328802853349093969407825561/937745078799561978712\ 82442521475092669657251*c_0101_6^2 - 79543158972994837383603611924342448904555672/9377450787995619787128\ 2442521475092669657251*c_0101_6 - 607768857570351115162084470759534\ 53663377560/93774507879956197871282442521475092669657251, c_0101_6^23 + 100/3*c_0101_6^22 - 148/3*c_0101_6^21 - 19*c_0101_6^20 - 640/3*c_0101_6^19 + 338/3*c_0101_6^18 + 1462*c_0101_6^17 - 2123*c_0101_6^16 - 458/3*c_0101_6^15 + 7586/3*c_0101_6^14 - 10090/3*c_0101_6^13 + 8087/3*c_0101_6^12 + 7*c_0101_6^11 - 1913*c_0101_6^10 + 2834/3*c_0101_6^9 + 988/3*c_0101_6^8 - 208*c_0101_6^7 - 115*c_0101_6^6 - c_0101_6^5 + 55*c_0101_6^4 + 11/3*c_0101_6^3 - 26/3*c_0101_6^2 - 2/3*c_0101_6 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB