Magma V2.19-8 Tue Aug 20 2013 16:17:33 on localhost [Seed = 711702262] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1784 geometric_solution 5.46168787 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 0 0 0 0 0 -1 0 1 0 0 0 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 -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 1.342504679358 0.491827327802 2 0 0 3 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 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 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.602318802261 0.638249116156 1 4 3 5 0132 0132 3201 0132 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 -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.101147028350 1.163114489082 2 5 1 4 2310 0132 0132 2310 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 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.101147028350 1.163114489082 3 2 6 6 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.258003323203 0.388054237720 5 3 2 5 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.074205523191 0.853307512853 4 6 4 6 2310 2310 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 -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 -1.291136650715 0.692032959996 ==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' : negation(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' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_6']), '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_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_0']), '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_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), '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_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 5816625617665080982376420633963781594871342422233772906931031765212\ 93/1276125572546568346204509086072622381939543736053127878194442514\ 904068*c_0101_6^34 - 2051019160108511323118248095718209045555621420\ 9578742179647735344870385/40836018321490187078544290754323916222065\ 399553700092102222160476930176*c_0101_6^32 - 4880025803656303827385828397057044816546890787581355154254297584430\ 08801/2041800916074509353927214537716195811103269977685004605111108\ 0238465088*c_0101_6^30 - 935149830427128066158181943756174720134259\ 977514337106326368409586374171/204180091607450935392721453771619581\ 11032699776850046051111080238465088*c_0101_6^28 + 1260795964115060004996844427006544388507120422328182892006568223210\ 4081161/40836018321490187078544290754323916222065399553700092102222\ 160476930176*c_0101_6^26 + 3100889847664207800273114462900282797430\ 7257683196849212133183950523089613/20418009160745093539272145377161\ 958111032699776850046051111080238465088*c_0101_6^24 + 5319876658571990907860865639961015298610136387862281585080786148901\ 8785669/20418009160745093539272145377161958111032699776850046051111\ 080238465088*c_0101_6^22 + 1826640207312000689547459198081669144920\ 5295912347544830910682859025667077/40836018321490187078544290754323\ 916222065399553700092102222160476930176*c_0101_6^20 - 2483362051819334526673483518362339588485795442497888034725281152196\ 37219265/4083601832149018707854429075432391622206539955370009210222\ 2160476930176*c_0101_6^18 - 326475403551933574010330422800863591112\ 722006790101940304514876733686581701/204180091607450935392721453771\ 61958111032699776850046051111080238465088*c_0101_6^16 - 7718575418281101396983773799595158880887592580799206754011688098170\ 18289243/4083601832149018707854429075432391622206539955370009210222\ 2160476930176*c_0101_6^14 - 238134224671216464721689018246147531531\ 045067524543048690849878509735170763/408360183214901870785442907543\ 23916222065399553700092102222160476930176*c_0101_6^12 + 1481134447650514823246517573558183921806750008477969906913364294506\ 7811025/14081385628100064509842858880801350421401861915068997276628\ 33119894144*c_0101_6^10 + 27388614848253777873027588753582839086289\ 668471121234874975810166519493179/240211872479354041638495827966611\ 2718945023503158828947189538851584128*c_0101_6^8 + 1305126846562378680210660723242395782556748685304097456479401182778\ 44271711/4083601832149018707854429075432391622206539955370009210222\ 2160476930176*c_0101_6^6 - 5786297130243419448416568826744439810120\ 7432499926171616861426497620056785/40836018321490187078544290754323\ 916222065399553700092102222160476930176*c_0101_6^4 - 1460132794110420885475900273861355095532648467195468391781560914797\ 384857/120105936239677020819247913983305635947251175157941447359476\ 9425792064*c_0101_6^2 - 1426109914216644148701091221500468693938780\ 3098382534853688409159355055729/40836018321490187078544290754323916\ 222065399553700092102222160476930176, c_0011_0 - 1, c_0011_3 + 636838087049276280498072170687446046573489895456036884728504\ 82624/1100108252195317539831473350062605501672020462114765412236588\ 3749173*c_0101_6^34 - 722564475694655543215772690732377839157851169\ 31738377352136596550/1100108252195317539831473350062605501672020462\ 1147654122365883749173*c_0101_6^32 - 3329850508239096986090738233449089360108186078624407495508305576686\ /110010825219531753983147335006260550167202046211476541223658837491\ 73*c_0101_6^30 - 63081530534780725412005735745607577303638216261181\ 80430662745057916/1100108252195317539831473350062605501672020462114\ 7654122365883749173*c_0101_6^28 + 429913981511304304458078143463517\ 73598066018769217975365747147905482/1100108252195317539831473350062\ 6055016720204621147654122365883749173*c_0101_6^26 + 2105759520925751112593807476372185173894149894908439179399518292558\ 07/1100108252195317539831473350062605501672020462114765412236588374\ 9173*c_0101_6^24 + 362463855152576286920764062930379999501548625852\ 740767439821438306896/110010825219531753983147335006260550167202046\ 21147654122365883749173*c_0101_6^22 + 6700606464106847790894754074085185614995126752210068704028556374347\ 2/11001082521953175398314733500626055016720204621147654122365883749\ 173*c_0101_6^20 - 8371806765160611034658115583443816981605819498837\ 97445702391660769940/1100108252195317539831473350062605501672020462\ 1147654122365883749173*c_0101_6^18 - 2229990126594336804157940688685942189254499299887450738280657936870\ 803/110010825219531753983147335006260550167202046211476541223658837\ 49173*c_0101_6^16 - 26406715456399517194401511387795871514378534255\ 98485212197477214565623/1100108252195317539831473350062605501672020\ 4621147654122365883749173*c_0101_6^14 - 8674353912597902894252151802169852951589253983640572594518907433296\ 29/1100108252195317539831473350062605501672020462114765412236588374\ 9173*c_0101_6^12 + 143676519589731707676177807024190214214211136645\ 4730665395212524925246/11001082521953175398314733500626055016720204\ 621147654122365883749173*c_0101_6^10 + 9569244512694254892374442225390793084458771641303495003769897560892\ 2/64712250129136325872439608827212088333648262477339141896269904406\ 9*c_0101_6^8 + 5032102898435262246723786319877629004072986265249255\ 32327340736749546/1100108252195317539831473350062605501672020462114\ 7654122365883749173*c_0101_6^6 - 1918454347174790460265546886599422\ 15996643760513787240568012361056781/1100108252195317539831473350062\ 6055016720204621147654122365883749173*c_0101_6^4 - 1010778681798982309284570868036118651865548538272491069913499181304\ 7/64712250129136325872439608827212088333648262477339141896269904406\ 9*c_0101_6^2 - 6121250199310519684522669336083833331618673877715821\ 6010953943067336/11001082521953175398314733500626055016720204621147\ 654122365883749173, c_0011_6 - 571046312044859967984886171876177802191641792527914880/70771\ 917959857886352053672221232476629401148344515852169*c_0101_6^34 + 708663887820243845478728087659342306778524561412913708/707719179598\ 57886352053672221232476629401148344515852169*c_0101_6^32 + 29799280747930005417674408076307744926011612699157621734/7077191795\ 9857886352053672221232476629401148344515852169*c_0101_6^30 + 53321647333744145777349094489261973062842330282822726564/7077191795\ 9857886352053672221232476629401148344515852169*c_0101_6^28 - 391886408655248704147764448605024409789067674212458482911/707719179\ 59857886352053672221232476629401148344515852169*c_0101_6^26 - 1845437044316071848598182374486247279672813626705218848510/70771917\ 959857886352053672221232476629401148344515852169*c_0101_6^24 - 3041164419710112387041171489434271842830988197555617534452/70771917\ 959857886352053672221232476629401148344515852169*c_0101_6^22 - 263967835928482891863961839129600513247014693534724044245/707719179\ 59857886352053672221232476629401148344515852169*c_0101_6^20 + 7500580718854575881705326946569498152622278205501235318079/70771917\ 959857886352053672221232476629401148344515852169*c_0101_6^18 + 19092968845420105078435623934287922109537429920087939381764/7077191\ 7959857886352053672221232476629401148344515852169*c_0101_6^16 + 21591391410305818470748460191591266517586701665222052854812/7077191\ 7959857886352053672221232476629401148344515852169*c_0101_6^14 + 5455474325834276100809870824305728310949256405606908767313/70771917\ 959857886352053672221232476629401148344515852169*c_0101_6^12 - 13046783186951592155900427786273843832048316814777218425749/7077191\ 7959857886352053672221232476629401148344515852169*c_0101_6^10 - 12845903919322742599565353529722952133674575336880495941271/7077191\ 7959857886352053672221232476629401148344515852169*c_0101_6^8 - 3238071603084471979506988969662694727822088975742418218466/70771917\ 959857886352053672221232476629401148344515852169*c_0101_6^6 + 1818045588106126668425369306620344978880508809051706104806/70771917\ 959857886352053672221232476629401148344515852169*c_0101_6^4 + 1315686794926606108968678862699848625849634296079784440026/70771917\ 959857886352053672221232476629401148344515852169*c_0101_6^2 + 388762291265567439285350820715977856913425499535216320901/707719179\ 59857886352053672221232476629401148344515852169, c_0101_0 - 515450050313714190478296052156044920569718304012170170071717\ 2899848/31903139313664208655112727151815559548488593401328196954861\ 0628726017*c_0101_6^35 + 238313594721449296610691495271728628855105\ 40490925880081661954478133/1276125572546568346204509086072622381939\ 543736053127878194442514904068*c_0101_6^33 + 5403759201411788368775103735532495638001161645423701741262434797810\ 85/6380627862732841731022545430363111909697718680265639390972212574\ 52034*c_0101_6^31 + 10056492462364896848905946706705476524076591084\ 76681928219053629255857/6380627862732841731022545430363111909697718\ 68026563939097221257452034*c_0101_6^29 - 1412017415869473222418174287204224007985181603758039273149401780743\ 1233/12761255725465683462045090860726223819395437360531278781944425\ 14904068*c_0101_6^27 - 33983712789699910840322970064448559854769585\ 661755166786986121658745081/638062786273284173102254543036311190969\ 771868026563939097221257452034*c_0101_6^25 - 5674559643415704148150169582250866836701576917140646078052355046857\ 2463/63806278627328417310225454303631119096977186802656393909722125\ 7452034*c_0101_6^23 - 119220939675548931420048752921745569502268654\ 27362335093080391481611285/1276125572546568346204509086072622381939\ 543736053127878194442514904068*c_0101_6^21 + 2774858102308730693206972337522496976806053423768827439637538405364\ 89553/1276125572546568346204509086072622381939543736053127878194442\ 514904068*c_0101_6^19 + 3522306315167644052422981223848356298945286\ 62742866209294264271032562853/6380627862732841731022545430363111909\ 69771868026563939097221257452034*c_0101_6^17 + 8064890364642710315007933238426020428225035006212849408165405340551\ 78607/1276125572546568346204509086072622381939543736053127878194442\ 514904068*c_0101_6^15 + 2032014121951769911794843364191284436280821\ 30889620439974734201133110963/1276125572546568346204509086072622381\ 939543736053127878194442514904068*c_0101_6^13 - 1697184832223556467199981071862603638633664235905184014306996171189\ 5205/44004330087812701593258934002504220066880818484590616489463534\ 996692*c_0101_6^11 - 2771110432716224373182058748009139087287189682\ 3730175823339083884692903/75066210149798138012029946239566022467031\ 984473713404599673089112004*c_0101_6^9 - 1013890873966296576871271613543804874714953177516197310148089459526\ 89407/1276125572546568346204509086072622381939543736053127878194442\ 514904068*c_0101_6^7 + 67565503259482267670104435872240773281995551\ 760317212495705303548878053/127612557254656834620450908607262238193\ 9543736053127878194442514904068*c_0101_6^5 + 1354615119793308076053181887170316812404878488360679521988929072018\ 749/375331050748990690060149731197830112335159922368567022998365445\ 56002*c_0101_6^3 + 128266791548163823309527763934391917757403418115\ 77411760912689343509649/1276125572546568346204509086072622381939543\ 736053127878194442514904068*c_0101_6, c_0101_1 + 280900299464118811593359095872898736940804387939504116527056\ 8620896/31903139313664208655112727151815559548488593401328196954861\ 0628726017*c_0101_6^35 - 237841666242785294573581480558773309945001\ 2086905599569566430361527/31903139313664208655112727151815559548488\ 5934013281969548610628726017*c_0101_6^33 - 1485897335674238978142287421213894925755619356431176756487341363162\ 05/3190313931366420865511272715181555954848859340132819695486106287\ 26017*c_0101_6^31 - 31898851500745688011258619153507135302465823793\ 9711431326210667061355/31903139313664208655112727151815559548488593\ 4013281969548610628726017*c_0101_6^29 + 1856759609304284618988413552406561361489497379668205494127216632723\ 190/319031393136642086551127271518155595484885934013281969548610628\ 726017*c_0101_6^27 + 9880363836628184225075615951290917381312484047\ 800814211223947033839409/319031393136642086551127271518155595484885\ 934013281969548610628726017*c_0101_6^25 + 1808082099830181650619605977976552468682021046533767997415749251884\ 1098/31903139313664208655112727151815559548488593401328196954861062\ 8726017*c_0101_6^23 + 538510699502536986581184479391078128749091128\ 8176082060075365265268388/31903139313664208655112727151815559548488\ 5934013281969548610628726017*c_0101_6^21 - 3878549475581451496245120494779225755778759811088559243762330803493\ 0573/31903139313664208655112727151815559548488593401328196954861062\ 8726017*c_0101_6^19 - 107422016938772950396679387028029057953958083\ 926898766921917710145729104/319031393136642086551127271518155595484\ 885934013281969548610628726017*c_0101_6^17 - 1354056183848029736217832230219039234649195569173767096101705180612\ 05555/3190313931366420865511272715181555954848859340132819695486106\ 28726017*c_0101_6^15 - 51812520115118693112114139085231578827920457\ 276487869929047884814197478/319031393136642086551127271518155595484\ 885934013281969548610628726017*c_0101_6^13 + 2360000711724475378157389089157981535398073559922393836890399628213\ 541/110010825219531753983147335006260550167202046211476541223658837\ 49173*c_0101_6^11 + 50601538455488936489903097707091717841916070743\ 77453554012878189743517/1876655253744953450300748655989150561675799\ 6118428351149918272278001*c_0101_6^9 + 2763799678821457153178720529546942006315759676312403707312577906316\ 4021/31903139313664208655112727151815559548488593401328196954861062\ 8726017*c_0101_6^7 - 9288579683892938412414493656034166931381030407\ 537929706267907934620578/319031393136642086551127271518155595484885\ 934013281969548610628726017*c_0101_6^5 - 5756515389026079804473935642507258331035427635139032778496385276303\ 16/1876655253744953450300748655989150561675799611842835114991827227\ 8001*c_0101_6^3 - 2759191507473492492211251538523969766634314706522\ 827456626348826827899/319031393136642086551127271518155595484885934\ 013281969548610628726017*c_0101_6, c_0101_2 + 27580619079503099385512790985045925985930591626602221544/205\ 2385620835878704209556494415741822252633301990959712901*c_0101_6^35 - 133767348616356320765300305824941702168490157473004227041/8209542\ 483343514816838225977662967289010533207963838851604*c_0101_6^33 - 2883539215355288349367730996132867311381094219441261856607/41047712\ 41671757408419112988831483644505266603981919425802*c_0101_6^31 - 5225741881536950249259408274177131821544293621963801744599/41047712\ 41671757408419112988831483644505266603981919425802*c_0101_6^29 + 75724811537938620499469965695072345276535918807029282000289/8209542\ 483343514816838225977662967289010533207963838851604*c_0101_6^27 + 179470049052289536642830335579062084450559367901474999254447/410477\ 1241671757408419112988831483644505266603981919425802*c_0101_6^25 + 296568348603209281150611493520331623882500982025962736928587/410477\ 1241671757408419112988831483644505266603981919425802*c_0101_6^23 + 52453539665578645252650781203036020235967328891687145949293/8209542\ 483343514816838225977662967289010533207963838851604*c_0101_6^21 - 1463799173858755445179177090204261314552277846209722091882109/82095\ 42483343514816838225977662967289010533207963838851604*c_0101_6^19 - 1856692057688905781291241560564680505736492480359984250907223/41047\ 71241671757408419112988831483644505266603981919425802*c_0101_6^17 - 4210150419610323631933855756323722435630680925523448531969351/82095\ 42483343514816838225977662967289010533207963838851604*c_0101_6^15 - 1039061941837240681334489637539749210452877277429462628407983/82095\ 42483343514816838225977662967289010533207963838851604*c_0101_6^13 + 88790355466201481339342606156503948928002287348423450688365/2830876\ 71839431545408214688884929906517604593378063408676*c_0101_6^11 + 2502091133596724538546860529488424536745508793320168186804075/82095\ 42483343514816838225977662967289010533207963838851604*c_0101_6^9 + 600525640559790384450324046776861392596594009813185646667215/820954\ 2483343514816838225977662967289010533207963838851604*c_0101_6^7 - 360431994183545791538624089712414321295638079802579794810937/820954\ 2483343514816838225977662967289010533207963838851604*c_0101_6^5 - 132512412463182319143187727669615594001106873169594924713731/410477\ 1241671757408419112988831483644505266603981919425802*c_0101_6^3 - 70359935672218077333059913014011266961523773876567018188001/8209542\ 483343514816838225977662967289010533207963838851604*c_0101_6, c_0101_6^36 - 53/32*c_0101_6^34 - 829/16*c_0101_6^32 - 1143/16*c_0101_6^30 + 23437/32*c_0101_6^28 + 47289/16*c_0101_6^26 + 62057/16*c_0101_6^24 - 68807/32*c_0101_6^22 - 442773/32*c_0101_6^20 - 443313/16*c_0101_6^18 - 709991/32*c_0101_6^16 + 315065/32*c_0101_6^14 + 955985/32*c_0101_6^12 + 393287/32*c_0101_6^10 - 209493/32*c_0101_6^8 - 219589/32*c_0101_6^6 - 15717/16*c_0101_6^4 + 21483/32*c_0101_6^2 + 841/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB