Magma V2.19-8 Tue Aug 20 2013 16:16:25 on localhost [Seed = 122067946] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0689 geometric_solution 4.65271363 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 1023 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 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.402231134421 0.182542790374 0 2 2 0 0132 0132 3201 1023 0 0 0 0 0 -1 0 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 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.823826265902 0.452064839187 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 1 0 -1 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 -1 0 1 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.231964077595 0.238100738668 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 -1 1 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 1 -1 0 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 1.085292170095 0.968998647442 3 6 5 5 0132 0132 0213 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 1 -1 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.372176926299 0.728012978390 4 4 6 3 3201 0213 1023 0132 0 0 0 0 0 1 0 -1 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 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.372176926299 0.728012978390 6 4 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.443281087595 1.088994413426 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 4469149076836261081434982535588485526004431693084597929376252757297\ 9/25840428905968388652399363516472199579475472244682902679861031443\ 968*c_0101_6^33 - 8909982193104036117833343416815274228712076069394\ 76935458163483523713/6460107226492097163099840879118049894868868061\ 170725669965257860992*c_0101_6^31 + 1089932084731130776449199056442064442207365394926804320679726466580\ 93873/2584042890596838865239936351647219957947547224468290267986103\ 1443968*c_0101_6^29 - 147406189549337675416840561295959192163005462\ 6305212640895797085864969871/25840428905968388652399363516472199579\ 475472244682902679861031443968*c_0101_6^27 + 5549585828491980130091185222982944950890313011597311371175955927247\ 734421/129202144529841943261996817582360997897377361223414513399305\ 15721984*c_0101_6^25 - 28524303363684277504549162180639814401999712\ 596214657785030012744720603715/129202144529841943261996817582360997\ 89737736122341451339930515721984*c_0101_6^23 + 1648835545272593036248812685369144259743192840674927509886362078789\ 064821/201878350827878036346870027472439059214652126911585177186414\ 308156*c_0101_6^21 - 5580608596371059779927979166649485757498067439\ 33343551106077595981422280783/2584042890596838865239936351647219957\ 9475472244682902679861031443968*c_0101_6^19 + 5321869299860085700351112410178583197958474384936203364898027892644\ 11128485/1292021445298419432619968175823609978973773612234145133993\ 0515721984*c_0101_6^17 - 135815202181988090347133742814875421953056\ 2336345843907422453421005173181239/25840428905968388652399363516472\ 199579475472244682902679861031443968*c_0101_6^15 + 8011148554420360742314699172952585550715039496351481580744739467045\ 09062079/2584042890596838865239936351647219957947547224468290267986\ 1031443968*c_0101_6^13 + 249655711384024218988501715437780278557152\ 1827241307216344803980478592191/56174845447757366635650790253200433\ 8684249396623541362605674596608*c_0101_6^11 - 9901795564104709269125894195328934406312788303530211081525200338573\ 0031065/12920214452984194326199681758236099789737736122341451339930\ 515721984*c_0101_6^9 + 65635937549585355053489895966725845802667274\ 142128473205390184951691947561/258404289059683886523993635164721995\ 79475472244682902679861031443968*c_0101_6^7 - 4538967874951405237543908830583406211054049485431218264961169027565\ 207505/646010722649209716309984087911804989486886806117072566996525\ 7860992*c_0101_6^5 + 6058461777127533002550805503743375115888397612\ 7022139580543606760528511/40375670165575607269374005494487811842930\ 4253823170354372828616312*c_0101_6^3 - 5116049241032773590207423857421029233457243407904933433494790989286\ 325/403756701655756072693740054944878118429304253823170354372828616\ 312*c_0101_6, c_0011_0 - 1, c_0011_3 - 171566020620828129089238236696713085677665102359312161198596\ 723/659194614948173179908147028481433662741721230731706701016863047\ 04*c_0101_6^32 + 42765504769859548003430444799883507101695479367649\ 0863516325861/20599831717130411872129594640044801960678788460365834\ 40677697022*c_0101_6^30 - 41866460471315124883316027137087533929580\ 3596574328071008768846017/65919461494817317990814702848143366274172\ 123073170670101686304704*c_0101_6^28 + 5666390101702612086630399291885676312335316061526081707665883002339\ /65919461494817317990814702848143366274172123073170670101686304704*\ c_0101_6^26 - 21355049165423812819065882084950376210836763318577120\ 397212896028651/329597307474086589954073514240716831370860615365853\ 35050843152352*c_0101_6^24 + 10987613187915960176607355239957833460\ 7006513775258767300959687266423/32959730747408658995407351424071683\ 137086061536585335050843152352*c_0101_6^22 - 1017459988441631923184692228459519745200315139357843314654068332608\ 75/8239932686852164748851837856017920784271515384146333762710788088\ *c_0101_6^20 + 2155903522922114753041019218599182452248763114980426\ 924798039921008079/659194614948173179908147028481433662741721230731\ 70670101686304704*c_0101_6^18 - 20602813631150669347289310972402215\ 84286418670764439609336382990904699/3295973074740865899540735142407\ 1683137086061536585335050843152352*c_0101_6^16 + 5276445605989858304494959194896064364061311158337935609160409121921\ 375/659194614948173179908147028481433662741721230731706701016863047\ 04*c_0101_6^14 - 31482971947600723849772606066984847019993084044378\ 61602665012531904331/6591946149481731799081470284814336627417212307\ 3170670101686304704*c_0101_6^12 - 895014158981614963152431450573197\ 1004545256795134499407707213528853/14330317716264634345829283227857\ 25353786350501590666741341006624*c_0101_6^10 + 3902910734353907994431059188002024833956016771359315978155890896113\ 73/3295973074740865899540735142407168313708606153658533505084315235\ 2*c_0101_6^8 - 2596574535755840139439900541736059303466335024946221\ 54187927219913393/6591946149481731799081470284814336627417212307317\ 0670101686304704*c_0101_6^6 + 8916919225783085094318881364307591092\ 621260277549007014333641479335/823993268685216474885183785601792078\ 4271515384146333762710788088*c_0101_6^4 - 964254496021665544477468698436799577791196643649420079885306862153/\ 4119966343426082374425918928008960392135757692073166881355394044*c_\ 0101_6^2 + 20524178799748853405234602692696913030792349257288592907\ 793482715/102999158585652059360647973200224009803393942301829172033\ 8848511, c_0011_5 - 580896349779090923321233303540810024114690052103056601624260\ 233/659194614948173179908147028481433662741721230731706701016863047\ 04*c_0101_6^33 + 57897406061519255148394787754582173793385293773969\ 69382824054523/8239932686852164748851837856017920784271515384146333\ 762710788088*c_0101_6^31 - 1416161285870020603575911533884983078675\ 451079228955975897278094467/659194614948173179908147028481433662741\ 72123073170670101686304704*c_0101_6^29 + 1914372032958441384411199711316850064088762310002971262550590763004\ 9/65919461494817317990814702848143366274172123073170670101686304704\ *c_0101_6^27 - 7202469879053081077847513371259940262422025647003999\ 8315438912874469/32959730747408658995407351424071683137086061536585\ 335050843152352*c_0101_6^25 + 3699401381739760561320350622517335783\ 20056015450192633555051215425349/3295973074740865899540735142407168\ 3137086061536585335050843152352*c_0101_6^23 - 3418535745934720015375353197957615220601066780700756867838985186834\ 11/8239932686852164748851837856017920784271515384146333762710788088\ *c_0101_6^21 + 7222576177374259625397843111635564411531669161955656\ 089317425380636893/659194614948173179908147028481433662741721230731\ 70670101686304704*c_0101_6^19 - 68762900587059078698034054902148785\ 21038795148490756290099754462978893/3295973074740865899540735142407\ 1683137086061536585335050843152352*c_0101_6^17 + 1749693492853619421490691410771421329241944215513729487421879849276\ 9037/65919461494817317990814702848143366274172123073170670101686304\ 704*c_0101_6^15 - 1021445029154964202765477285979524783131132544446\ 8889033068303530065993/65919461494817317990814702848143366274172123\ 073170670101686304704*c_0101_6^13 - 3493714163558604972483989835247673261636201902907792409418740309864\ 3/1433031771626463434582928322785725353786350501590666741341006624*\ c_0101_6^11 + 12758885499272096927379267515135503221527585511038572\ 99667024878566535/3295973074740865899540735142407168313708606153658\ 5335050843152352*c_0101_6^9 - 8213996276270444912741127004995679555\ 35188767594809421842341567375987/6591946149481731799081470284814336\ 6274172123073170670101686304704*c_0101_6^7 + 1427428958832183278559436629606544594882596528643454901839967442698\ 1/4119966343426082374425918928008960392135757692073166881355394044*\ c_0101_6^5 - 149943122362655154684418223513924444796942040697073907\ 9545860685337/20599831717130411872129594640044801960678788460365834\ 40677697022*c_0101_6^3 + 117353078771252728353788060494633981127626\ 914837440602669900990533/205998317171304118721295946400448019606787\ 8846036583440677697022*c_0101_6, c_0101_0 - 662077178116875305393069108909041643604429834714318655847162\ 191/659194614948173179908147028481433662741721230731706701016863047\ 04*c_0101_6^33 + 26409417064533300018186089637449236840657160177490\ 543645296464483/329597307474086589954073514240716831370860615365853\ 35050843152352*c_0101_6^31 - 16162921462538184680473654406259893725\ 75459258863661033588795365589/6591946149481731799081470284814336627\ 4172123073170670101686304704*c_0101_6^29 + 2188666550823450580106017500701675339938241235985046570505181328134\ 5/65919461494817317990814702848143366274172123073170670101686304704\ *c_0101_6^27 - 4127138533855669636120178781297182362847957397396892\ 0165509750141293/16479865373704329497703675712035841568543030768292\ 667525421576176*c_0101_6^25 + 4249995683821046752585357536704386678\ 61496728154546526965789516149785/3295973074740865899540735142407168\ 3137086061536585335050843152352*c_0101_6^23 - 7877666419714118578553418826779582229106712024406995381132848890048\ 45/1647986537370432949770367571203584156854303076829266752542157617\ 6*c_0101_6^21 + 835567657539570532762154641989668048526238992567853\ 5190730414227279659/65919461494817317990814702848143366274172123073\ 170670101686304704*c_0101_6^19 - 3998404591565299609826958860477210\ 974862601741526240502833664784450651/164798653737043294977036757120\ 35841568543030768292667525421576176*c_0101_6^17 + 2053085453325894041369627890807446669342954721571091587776445912166\ 1431/65919461494817317990814702848143366274172123073170670101686304\ 704*c_0101_6^15 - 1234964464317388814847144393347697102109927583679\ 8540695848666839477093/65919461494817317990814702848143366274172123\ 073170670101686304704*c_0101_6^13 - 8155277290284292142194723810706873994909459041325772366332627648091\ /358257942906615858645732080696431338446587625397666685335251656*c_\ 0101_6^11 + 1529691392088938874599479270027174314552158573616747498\ 640051294274647/329597307474086589954073514240716831370860615365853\ 35050843152352*c_0101_6^9 - 102415647942149910625538553589882432138\ 0900291078887401262654344753561/65919461494817317990814702848143366\ 274172123073170670101686304704*c_0101_6^7 + 1404989827939142093766042219711308325574616706052304088241234204362\ 21/3295973074740865899540735142407168313708606153658533505084315235\ 2*c_0101_6^5 - 9523647041068080334739153402513421513271506551801673\ 21197648305668/1029991585856520593606479732002240098033939423018291\ 720338848511*c_0101_6^3 + 79481800768374860201754323135968955778827\ 709547069527762506482483/102999158585652059360647973200224009803393\ 9423018291720338848511*c_0101_6, c_0101_1 - 551934526051968114289628544883348976954487328738427821709975\ 433/659194614948173179908147028481433662741721230731706701016863047\ 04*c_0101_6^32 + 11003704493027763944090272278609487867171791904002\ 343454015054963/164798653737043294977036757120358415685430307682926\ 67525421576176*c_0101_6^30 - 13460480122359816974196243418836807779\ 60887825509593897048398726867/6591946149481731799081470284814336627\ 4172123073170670101686304704*c_0101_6^28 + 1820434302575809444292892327708166342098569979079490058823372058105\ 3/65919461494817317990814702848143366274172123073170670101686304704\ *c_0101_6^26 - 6853586068718582240036044934622315673208325036951412\ 4379436269107479/32959730747408658995407351424071683137086061536585\ 335050843152352*c_0101_6^24 + 3522664852016889170031152902500507422\ 39390205691108153017834397118609/3295973074740865899540735142407168\ 3137086061536585335050843152352*c_0101_6^22 - 8145039331315068820177404602541887514176149474984532404426778759745\ 3/2059983171713041187212959464004480196067878846036583440677697022*\ c_0101_6^20 + 68918866308486883841525914470267348159330103492631230\ 06412394708610845/6591946149481731799081470284814336627417212307317\ 0670101686304704*c_0101_6^18 - 657241398631374773915400827405643257\ 0690009459475543415487519271725231/32959730747408658995407351424071\ 683137086061536585335050843152352*c_0101_6^16 + 1677336733225381026432403705727015054577509533500868669215829863784\ 5893/65919461494817317990814702848143366274172123073170670101686304\ 704*c_0101_6^14 - 9895112973887603282822079632629422536473628630812\ 172010120066923194573/659194614948173179908147028481433662741721230\ 73170670101686304704*c_0101_6^12 - 3077302835018679095775236155755275425381761665670279679774505173349\ 3/1433031771626463434582928322785725353786350501590666741341006624*\ c_0101_6^10 + 12221133723815307235573954421276926150653780036455221\ 31656264397731491/3295973074740865899540735142407168313708606153658\ 5335050843152352*c_0101_6^8 - 8118160278500007736862839888536269438\ 89358047452871652993789364109899/6591946149481731799081470284814336\ 6274172123073170670101686304704*c_0101_6^6 + 5619811751593357084200830331178131719027298521548277716253468871397\ 9/16479865373704329497703675712035841568543030768292667525421576176\ *c_0101_6^4 - 29935151251530297434168488370148376007664873089199429\ 55958792958987/4119966343426082374425918928008960392135757692073166\ 881355394044*c_0101_6^2 + 62874861021984168506638355345567312151637\ 511186437693886647690973/102999158585652059360647973200224009803393\ 9423018291720338848511, c_0101_3 + 350541250193016476962421901909062948867147947012189719100218\ 741/659194614948173179908147028481433662741721230731706701016863047\ 04*c_0101_6^32 - 17477097123327421260051327136493549361433188721207\ 70469209461777/4119966343426082374425918928008960392135757692073166\ 881355394044*c_0101_6^30 + 8556037878836771698323681776585702375625\ 73002686925578979294675031/6591946149481731799081470284814336627417\ 2123073170670101686304704*c_0101_6^28 - 1158342229850795772773829684817893887280488254907938368739645767854\ 9/65919461494817317990814702848143366274172123073170670101686304704\ *c_0101_6^26 + 4367239196808707648832175895162961289956127639522722\ 5033191744934645/32959730747408658995407351424071683137086061536585\ 335050843152352*c_0101_6^24 - 2247981829382047768559449684642891893\ 01520632904209733282980511533601/3295973074740865899540735142407168\ 3137086061536585335050843152352*c_0101_6^22 + 2082714111713495331136982727068975082748467852956394809762265837211\ 89/8239932686852164748851837856017920784271515384146333762710788088\ *c_0101_6^20 - 4416276839078076010417140443153787916046113935129381\ 357958948444222105/659194614948173179908147028481433662741721230731\ 70670101686304704*c_0101_6^18 + 42244832473671899166913149839335139\ 09739182738752183762110903325368357/3295973074740865899540735142407\ 1683137086061536585335050843152352*c_0101_6^16 - 1083733865129056514554446340174222911729824831740341854705550099550\ 2537/65919461494817317990814702848143366274172123073170670101686304\ 704*c_0101_6^14 + 6503771530043803408677664255250949793196061474794\ 275679009055097841069/659194614948173179908147028481433662741721230\ 73170670101686304704*c_0101_6^12 + 1741816547545364244327848626763992069358495736461405391536115038098\ 7/1433031771626463434582928322785725353786350501590666741341006624*\ c_0101_6^10 - 80171967411432075595429773985273059532653780681733978\ 1967351517697579/32959730747408658995407351424071683137086061536585\ 335050843152352*c_0101_6^8 + 54076497996371350556515767529254341093\ 3161711217300687303160892704679/65919461494817317990814702848143366\ 274172123073170670101686304704*c_0101_6^6 - 1853291613449739665281947262651153432469956454336351651673946451571\ 9/8239932686852164748851837856017920784271515384146333762710788088*\ c_0101_6^4 + 201632556314277549869631126463355446764097342231467740\ 8593854262879/41199663434260823744259189280089603921357576920731668\ 81355394044*c_0101_6^2 - 434428101396289973380338854429299458605708\ 65940893406164471152893/1029991585856520593606479732002240098033939\ 423018291720338848511, c_0101_6^34 - 80*c_0101_6^32 + 2459*c_0101_6^30 - 33601*c_0101_6^28 + 256706*c_0101_6^26 - 1339386*c_0101_6^24 + 5045512*c_0101_6^22 - 13681781*c_0101_6^20 + 26973378*c_0101_6^18 - 36406469*c_0101_6^16 + 25592281*c_0101_6^14 - 1930926*c_0101_6^12 - 5103038*c_0101_6^10 + 2583563*c_0101_6^8 - 773208*c_0101_6^6 + 188368*c_0101_6^4 - 28864*c_0101_6^2 + 1792 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB