Magma V2.19-8 Tue Aug 20 2013 16:16:03 on localhost [Seed = 492601819] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0299 geometric_solution 4.34084005 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 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 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.574774059437 0.303694830696 0 0 1 1 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 1.629719762846 0.093748606495 3 0 0 4 0132 0132 1023 0132 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 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.192513982244 0.832602292845 2 4 4 5 0132 2310 1302 0132 0 0 0 0 0 1 -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 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.246578382717 0.515093333999 3 5 2 3 2031 1023 0132 3201 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -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.246578382717 0.515093333999 4 6 3 6 1023 0132 0132 1023 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 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.173615824038 0.457596601242 6 5 6 5 2031 0132 1302 1023 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.611763738610 0.252073293715 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : 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' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0110_4']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0110_4']), 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0110_4']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : negation(d['c_0110_4']), 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : d['c_0101_2'], '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_4, c_0101_0, c_0101_1, c_0101_2, c_0110_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 34685753261168491170570634698310490369809251585/5281604626597763552\ 336931298965776113397708*c_0110_6^21 + 39562830284562063880071442971802620924045577022/1320401156649440888\ 084232824741444028349427*c_0110_6^20 - 69875095264630476675293861380297990336741545753/2640802313298881776\ 168465649482888056698854*c_0110_6^19 - 343414857704020217707484147555166454614058816513/132040115664944088\ 8084232824741444028349427*c_0110_6^18 - 1415041095994783157219576972328751354843034832911/26408023132988817\ 76168465649482888056698854*c_0110_6^17 - 4156345772921328141540247352769992334439778535771/52816046265977635\ 52336931298965776113397708*c_0110_6^16 + 1373227655802683902382383605792411988129778926776/13204011566494408\ 88084232824741444028349427*c_0110_6^15 + 6948213390327793670808191407462292897979386489633/13204011566494408\ 88084232824741444028349427*c_0110_6^14 + 12450460209548590061073689503776271738469026412359/2640802313298881\ 776168465649482888056698854*c_0110_6^13 + 948903167982802618289449298804620736708870524849/132040115664944088\ 8084232824741444028349427*c_0110_6^12 - 9460734037051349261651305644731555715655828960611/52816046265977635\ 52336931298965776113397708*c_0110_6^11 - 20303111690089033379063469928262620391389558435925/5281604626597763\ 552336931298965776113397708*c_0110_6^10 - 9820149016822935122296094783658156253824759911520/13204011566494408\ 88084232824741444028349427*c_0110_6^9 - 52355075900489432423666633159561539294531791265953/5281604626597763\ 552336931298965776113397708*c_0110_6^8 - 42606855219065431877045016754282355009719575182741/5281604626597763\ 552336931298965776113397708*c_0110_6^7 - 6477853424951704845532122551060615042953812663716/13204011566494408\ 88084232824741444028349427*c_0110_6^6 - 16526407392078591194898256038830908697869151227563/5281604626597763\ 552336931298965776113397708*c_0110_6^5 - 9942721379803976002392148176475526603073609968191/52816046265977635\ 52336931298965776113397708*c_0110_6^4 - 1030957416240997766665341297758841186984383061191/13204011566494408\ 88084232824741444028349427*c_0110_6^3 - 1022976874405214380906329454509576345703278559157/52816046265977635\ 52336931298965776113397708*c_0110_6^2 - 137045766420939368721915417888483024089429996797/528160462659776355\ 2336931298965776113397708*c_0110_6 - 3787609931649109420950276748930220098037636305/26408023132988817761\ 68465649482888056698854, c_0011_0 - 1, c_0011_4 + 670436330694848653105241962797386908107572415/13204011566494\ 40888084232824741444028349427*c_0110_6^21 + 3121656901657051016416320454500399343267347602/13204011566494408880\ 84232824741444028349427*c_0110_6^20 - 2432011311121625904052528047511237029194010172/13204011566494408880\ 84232824741444028349427*c_0110_6^19 - 26880341902251318364835799218076642764131477687/1320401156649440888\ 084232824741444028349427*c_0110_6^18 - 57103304171028655059790757423635525764581802995/1320401156649440888\ 084232824741444028349427*c_0110_6^17 - 84791166521922832016470505655800898939548225725/1320401156649440888\ 084232824741444028349427*c_0110_6^16 + 99918071330481033629764862747501403431409864608/1320401156649440888\ 084232824741444028349427*c_0110_6^15 + 548963046501729675880401383858388360244038742719/132040115664944088\ 8084232824741444028349427*c_0110_6^14 + 528475979758897943447731414133846541046769444776/132040115664944088\ 8084232824741444028349427*c_0110_6^13 + 105166100676294778347824507971747700885893989331/132040115664944088\ 8084232824741444028349427*c_0110_6^12 - 185555092311085678757122608391259856000387007670/132040115664944088\ 8084232824741444028349427*c_0110_6^11 - 409293507146862514845816004290575676922743716862/132040115664944088\ 8084232824741444028349427*c_0110_6^10 - 791261468310796381671422406674579437107435706067/132040115664944088\ 8084232824741444028349427*c_0110_6^9 - 1073953795860367847484415411595657758908334193760/13204011566494408\ 88084232824741444028349427*c_0110_6^8 - 900664727054352278823218381791530995726027677450/132040115664944088\ 8084232824741444028349427*c_0110_6^7 - 555633804726783738726222262205167770652581321315/132040115664944088\ 8084232824741444028349427*c_0110_6^6 - 349988473652844390877142674004442535612435977000/132040115664944088\ 8084232824741444028349427*c_0110_6^5 - 212834323781579863964968565132670631980561102219/132040115664944088\ 8084232824741444028349427*c_0110_6^4 - 91558242330516716017443978627096040367442719386/1320401156649440888\ 084232824741444028349427*c_0110_6^3 - 23656798017077502847652120539178130759849101813/1320401156649440888\ 084232824741444028349427*c_0110_6^2 - 3254335140089461250358876888376229820413927462/13204011566494408880\ 84232824741444028349427*c_0110_6 - 178194102790096033244102248367482230126308003/132040115664944088808\ 4232824741444028349427, c_0101_0 - 32478408807735467944555671110954406226908210/132040115664944\ 0888084232824741444028349427*c_0110_6^21 - 114099981164350510043009781778390024221829728/132040115664944088808\ 4232824741444028349427*c_0110_6^20 + 272257054759368222659869002542535881102899479/132040115664944088808\ 4232824741444028349427*c_0110_6^19 + 1090100309899366161885538370155577340699347326/13204011566494408880\ 84232824741444028349427*c_0110_6^18 + 1379590193946569725178829512442393047870099680/13204011566494408880\ 84232824741444028349427*c_0110_6^17 + 1637653081591036541804781109273463687022889914/13204011566494408880\ 84232824741444028349427*c_0110_6^16 - 8279324553089454822378421003887398024257271241/13204011566494408880\ 84232824741444028349427*c_0110_6^15 - 19298185142878571016387909236345173179042727707/1320401156649440888\ 084232824741444028349427*c_0110_6^14 + 1255594044552091872064196333600721254825923591/13204011566494408880\ 84232824741444028349427*c_0110_6^13 + 10694164989135110316909671526599266227060871430/1320401156649440888\ 084232824741444028349427*c_0110_6^12 + 6369212254515556033255624555638569277195408530/13204011566494408880\ 84232824741444028349427*c_0110_6^11 + 10452468878683246929019202125172171650539420183/1320401156649440888\ 084232824741444028349427*c_0110_6^10 + 20400448631136097730228212763860213010141925284/1320401156649440888\ 084232824741444028349427*c_0110_6^9 + 17333489060873001756311085130559543849497437221/1320401156649440888\ 084232824741444028349427*c_0110_6^8 + 1771345258351239750184319690630845332480732072/13204011566494408880\ 84232824741444028349427*c_0110_6^7 - 1409113370088867441013701364119971369797213700/13204011566494408880\ 84232824741444028349427*c_0110_6^6 + 1204838228769015480424572364252211961541008252/13204011566494408880\ 84232824741444028349427*c_0110_6^5 - 603456234236042156991863755318873558814698150/132040115664944088808\ 4232824741444028349427*c_0110_6^4 - 1600028808986158770505619283594306794622079417/13204011566494408880\ 84232824741444028349427*c_0110_6^3 - 690499250518787986019740915037810314855986451/132040115664944088808\ 4232824741444028349427*c_0110_6^2 - 103458248153716478766427451807429230587656558/132040115664944088808\ 4232824741444028349427*c_0110_6 - 332916949910073014730690951596364\ 9867876593/1320401156649440888084232824741444028349427, c_0101_1 - 11290937897004161323336856691467468580262725/132040115664944\ 0888084232824741444028349427*c_0110_6^21 - 972494507584462090261884971123374170726275/132040115664944088808423\ 2824741444028349427*c_0110_6^20 + 261165274981258892551579929773153\ 977968831194/1320401156649440888084232824741444028349427*c_0110_6^1\ 9 + 180943602780631663301432252074976265403918404/13204011566494408\ 88084232824741444028349427*c_0110_6^18 - 997754639440284277679077246797691112429980570/132040115664944088808\ 4232824741444028349427*c_0110_6^17 - 2212374219916309890259470449139268447102171968/13204011566494408880\ 84232824741444028349427*c_0110_6^16 - 6828612849961428721896184808885320337367560855/13204011566494408880\ 84232824741444028349427*c_0110_6^15 + 388993436368021368420126703183527218241164374/132040115664944088808\ 4232824741444028349427*c_0110_6^14 + 29530143217725233789209570248651377851986482319/1320401156649440888\ 084232824741444028349427*c_0110_6^13 + 24185003452572840648647480976280226118373447985/1320401156649440888\ 084232824741444028349427*c_0110_6^12 + 1774153719884098925902878986322117406097795328/13204011566494408880\ 84232824741444028349427*c_0110_6^11 - 6627349382570546889649860183389807983734561901/13204011566494408880\ 84232824741444028349427*c_0110_6^10 - 13011602802472141433768299057357541094113265837/1320401156649440888\ 084232824741444028349427*c_0110_6^9 - 32787365574125384164261371907216206935057014890/1320401156649440888\ 084232824741444028349427*c_0110_6^8 - 48139845424122090005564699268493774048468584142/1320401156649440888\ 084232824741444028349427*c_0110_6^7 - 36172765891748493632699330174690674680588213331/1320401156649440888\ 084232824741444028349427*c_0110_6^6 - 20074951086503862265935528343248107169068929709/1320401156649440888\ 084232824741444028349427*c_0110_6^5 - 13797308193074934617287861365038079464546033210/1320401156649440888\ 084232824741444028349427*c_0110_6^4 - 8402319160781932128858581043388486611810513803/13204011566494408880\ 84232824741444028349427*c_0110_6^3 - 3010459669656943160622269010720268434171427586/13204011566494408880\ 84232824741444028349427*c_0110_6^2 - 550637215178689881983580839520228448556371385/132040115664944088808\ 4232824741444028349427*c_0110_6 - 398147563387135927022783315134433\ 22040549990/1320401156649440888084232824741444028349427, c_0101_2 - 174815621365760724108421839721875173407020060/13204011566494\ 40888084232824741444028349427*c_0110_6^21 - 793974442206767122130144158226236809755101413/132040115664944088808\ 4232824741444028349427*c_0110_6^20 + 713855799051676071087739416144445320370766100/132040115664944088808\ 4232824741444028349427*c_0110_6^19 + 6882181750522598965291334433396140199387952749/13204011566494408880\ 84232824741444028349427*c_0110_6^18 + 14169241996840187904402383395875774460090417148/1320401156649440888\ 084232824741444028349427*c_0110_6^17 + 20894908113243799396685240710582816540868002176/1320401156649440888\ 084232824741444028349427*c_0110_6^16 - 27736070013732756206039082577130914100878827147/1320401156649440888\ 084232824741444028349427*c_0110_6^15 - 138981602291275079001850086538422685643310591699/132040115664944088\ 8084232824741444028349427*c_0110_6^14 - 124139335137289924313390946055396614364021889999/132040115664944088\ 8084232824741444028349427*c_0110_6^13 - 21011180219042722819115533061760090108029462596/1320401156649440888\ 084232824741444028349427*c_0110_6^12 + 46606887647264461407792775827808101243259213233/1320401156649440888\ 084232824741444028349427*c_0110_6^11 + 102143224785946210675577842360482358350421221228/132040115664944088\ 8084232824741444028349427*c_0110_6^10 + 197286146799362232432886407694788490437504014889/132040115664944088\ 8084232824741444028349427*c_0110_6^9 + 262691273413855616151649473972815214000070907982/132040115664944088\ 8084232824741444028349427*c_0110_6^8 + 214832635469394382056094219079050821589452729991/132040115664944088\ 8084232824741444028349427*c_0110_6^7 + 132194537809090605462447636624262447272774676801/132040115664944088\ 8084232824741444028349427*c_0110_6^6 + 84040073874766064312544114809941475735484875416/1320401156649440888\ 084232824741444028349427*c_0110_6^5 + 50398257914746047079533011412559138400418524940/1320401156649440888\ 084232824741444028349427*c_0110_6^4 + 21224753655747242712831108823615234907906166828/1320401156649440888\ 084232824741444028349427*c_0110_6^3 + 5416535635322815878752818719647663664394784924/13204011566494408880\ 84232824741444028349427*c_0110_6^2 + 748458834940036434790881434591456783337310254/132040115664944088808\ 4232824741444028349427*c_0110_6 + 414398886162780930410770427450020\ 56370856926/1320401156649440888084232824741444028349427, c_0110_4 + 634683808851445698786500831254953810201493245/13204011566494\ 40888084232824741444028349427*c_0110_6^21 + 2919797269859202343599583536829430617985926081/13204011566494408880\ 84232824741444028349427*c_0110_6^20 - 2450716477950580726125367663341396807825145686/13204011566494408880\ 84232824741444028349427*c_0110_6^19 - 25250201803993308868081365048019029111991225591/1320401156649440888\ 084232824741444028349427*c_0110_6^18 - 52731830531799615610867998658752251539177363965/1320401156649440888\ 084232824741444028349427*c_0110_6^17 - 77866576484162608772616221638877569465102972475/1320401156649440888\ 084232824741444028349427*c_0110_6^16 + 97967271485304316979283654888045141452386060202/1320401156649440888\ 084232824741444028349427*c_0110_6^15 + 512873210467137340611504588289415250541652342424/132040115664944088\ 8084232824741444028349427*c_0110_6^14 + 474502323197747599480871120764611208902149467544/132040115664944088\ 8084232824741444028349427*c_0110_6^13 + 83516389082558962141072420923580132129481588199/1320401156649440888\ 084232824741444028349427*c_0110_6^12 - 174050799236134714650602076951348475177486210324/132040115664944088\ 8084232824741444028349427*c_0110_6^11 - 378520645122243695318964030561700754788373451556/132040115664944088\ 8084232824741444028349427*c_0110_6^10 - 731551315907809753109958235619860305334393083242/132040115664944088\ 8084232824741444028349427*c_0110_6^9 - 982936664314610585390921371449254458096781192065/132040115664944088\ 8084232824741444028349427*c_0110_6^8 - 811395027633043926865217919527023811695143517749/132040115664944088\ 8084232824741444028349427*c_0110_6^7 - 497223547910705666388053426034212406154534843858/132040115664944088\ 8084232824741444028349427*c_0110_6^6 - 314950295151876224865173403603943671030297741969/132040115664944088\ 8084232824741444028349427*c_0110_6^5 - 190375719773694530562987404361733446855463106330/132040115664944088\ 8084232824741444028349427*c_0110_6^4 - 80464419602986630426870079376825503049695244380/1320401156649440888\ 084232824741444028349427*c_0110_6^3 - 20349973972390607094871476730241382084268041568/1320401156649440888\ 084232824741444028349427*c_0110_6^2 - 2737421284024398408114207549871474159432495326/13204011566494408880\ 84232824741444028349427*c_0110_6 - 146777843477776076139833396761531359460860887/132040115664944088808\ 4232824741444028349427, c_0110_6^22 + 77/15*c_0110_6^21 - 7/5*c_0110_6^20 - 209/5*c_0110_6^19 - 313/3*c_0110_6^18 - 502/3*c_0110_6^17 + 1324/15*c_0110_6^16 + 2668/3*c_0110_6^15 + 1180*c_0110_6^14 + 1612/3*c_0110_6^13 - 2981/15*c_0110_6^12 - 11138/15*c_0110_6^11 - 22096/15*c_0110_6^10 - 32521/15*c_0110_6^9 - 10568/5*c_0110_6^8 - 7386/5*c_0110_6^7 - 923*c_0110_6^6 - 8546/15*c_0110_6^5 - 4352/15*c_0110_6^4 - 305/3*c_0110_6^3 - 332/15*c_0110_6^2 - 8/3*c_0110_6 - 2/15 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB