Magma V2.19-8 Tue Aug 20 2013 16:17:32 on localhost [Seed = 2463305294] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1770 geometric_solution 5.45422967 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 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 1 -1 2 0 -1 -1 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.591465310639 1.494000587751 0 1 0 1 0132 2310 2310 3201 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 0 0 0 -2 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 0 -0.652469003485 0.443431652307 3 4 5 0 1302 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 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 1 0 -1 0 0 -1 1 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.301656570961 0.419694533273 6 2 0 5 0132 2031 0132 1230 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 0 0 0 -2 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.936042828736 0.617414057858 5 2 6 5 2031 0132 0213 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 0.184584545316 0.915716698137 3 4 4 2 3012 2310 1302 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 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.621346308029 0.467920345073 3 4 6 6 0132 0213 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0.719746837166 0.997352929387 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : 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' : 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_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_3']), '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_2']), 'c_0011_6' : negation(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_2'], 'c_1001_5' : d['c_0110_4'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0110_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0110_4']), 'c_1010_4' : negation(d['c_0110_4']), 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : negation(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_2, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 465387217428855692470910922661952274974612356570558/937907264381077\ 8510378372539351058737426709095359*c_0110_4^21 + 622515293514966148116796938398779297925930159374315/937907264381077\ 8510378372539351058737426709095359*c_0110_4^20 - 1038113071052528933499091154909315944032665174053664/30255073044550\ 8984205753952882292217336345454689*c_0110_4^19 + 247741436775764816318353370182898345927246898253917385/937907264381\ 0778510378372539351058737426709095359*c_0110_4^18 - 1295431058211871651258204660280136072055585728288574788/93790726438\ 10778510378372539351058737426709095359*c_0110_4^17 + 4329573861464232872105915795375362380362718325063504964/93790726438\ 10778510378372539351058737426709095359*c_0110_4^16 - 8561140802784302168685547402331122486231408919516115888/93790726438\ 10778510378372539351058737426709095359*c_0110_4^15 + 6678267734028516831156716487219641218486584221569271391/93790726438\ 10778510378372539351058737426709095359*c_0110_4^14 + 7743393604185875364098961951761168497313216898121931555/93790726438\ 10778510378372539351058737426709095359*c_0110_4^13 - 21262991678496359152162191673018426932973754898173292101/9379072643\ 810778510378372539351058737426709095359*c_0110_4^12 + 18278216476974500224501011711082138114872446286739282513/9379072643\ 810778510378372539351058737426709095359*c_0110_4^11 - 2636178243135765896846320337937976988748841392133804454/93790726438\ 10778510378372539351058737426709095359*c_0110_4^10 - 269129328396167028281998510726503971233380771703256970/302550730445\ 508984205753952882292217336345454689*c_0110_4^9 + 4750869824582277580264169030881532248556083661359524534/93790726438\ 10778510378372539351058737426709095359*c_0110_4^8 - 1146661461758791125601362057992108260647661557752168548/93790726438\ 10778510378372539351058737426709095359*c_0110_4^7 - 612874775667243751382336786871738742719575340543635688/937907264381\ 0778510378372539351058737426709095359*c_0110_4^6 + 484489534033143150659310309354056879527821788341117208/937907264381\ 0778510378372539351058737426709095359*c_0110_4^5 - 229682517059652316255470915007962031109820815755386958/937907264381\ 0778510378372539351058737426709095359*c_0110_4^4 - 11189670917922691745331149514116121089162800733856049/9379072643810\ 778510378372539351058737426709095359*c_0110_4^3 + 79967754734091730951979261472126436000721911330934403/9379072643810\ 778510378372539351058737426709095359*c_0110_4^2 - 3052956729284937280075977354643389953133251774045811/93790726438107\ 78510378372539351058737426709095359*c_0110_4 - 7184349229431381114880974553351150133494965384782397/93790726438107\ 78510378372539351058737426709095359, c_0011_0 - 1, c_0011_2 - 3116257397383585365337863486653747107231475957090/9379072643\ 810778510378372539351058737426709095359*c_0110_4^21 - 4376935908516010898600122581826733143309125457870/93790726438107785\ 10378372539351058737426709095359*c_0110_4^20 + 6926133438087054215800235389862820283061558387447/30255073044550898\ 4205753952882292217336345454689*c_0110_4^19 - 1645211841195396695633942497223558786878332078397688/93790726438107\ 78510378372539351058737426709095359*c_0110_4^18 + 8597639621932083111073769782707662024781842384145008/93790726438107\ 78510378372539351058737426709095359*c_0110_4^17 - 28671761048712479667563101681490157165286551942861893/9379072643810\ 778510378372539351058737426709095359*c_0110_4^16 + 56744744352130379642113059858618072230827975774208954/9379072643810\ 778510378372539351058737426709095359*c_0110_4^15 - 45377408317077315580362569262319860686808654511011893/9379072643810\ 778510378372539351058737426709095359*c_0110_4^14 - 46073567074318098978347138868088855613742696110009773/9379072643810\ 778510378372539351058737426709095359*c_0110_4^13 + 132240435555170319791458768740886387241523775126938196/937907264381\ 0778510378372539351058737426709095359*c_0110_4^12 - 120600111068976603101562932919739642452229052541236624/937907264381\ 0778510378372539351058737426709095359*c_0110_4^11 + 29889365097298250749780665101026076100382890439962644/9379072643810\ 778510378372539351058737426709095359*c_0110_4^10 + 1264312092149851316270782708107100082218593284118645/30255073044550\ 8984205753952882292217336345454689*c_0110_4^9 - 24241397503014999060691406638178299824093004897033371/9379072643810\ 778510378372539351058737426709095359*c_0110_4^8 + 11707278116006282469340420771470095914355044514139855/9379072643810\ 778510378372539351058737426709095359*c_0110_4^7 + 1326591846271180199893118073602211266675727081955681/93790726438107\ 78510378372539351058737426709095359*c_0110_4^6 - 1175661333137423654002705426074322793894602065975501/93790726438107\ 78510378372539351058737426709095359*c_0110_4^5 + 1539108689136785797311172782862566534516708807212921/93790726438107\ 78510378372539351058737426709095359*c_0110_4^4 + 42703433137608891369291011635059262705910077675382/9379072643810778\ 510378372539351058737426709095359*c_0110_4^3 - 282609190504452098295832079210508534010896460835769/937907264381077\ 8510378372539351058737426709095359*c_0110_4^2 - 10630077110973852155045966762125301344757895733048/9379072643810778\ 510378372539351058737426709095359*c_0110_4 + 7950447861873380063578031481523898517063993978672/93790726438107785\ 10378372539351058737426709095359, c_0011_3 + 9954645333614970209999850727146241571157974122463/9379072643\ 810778510378372539351058737426709095359*c_0110_4^21 + 15746874723094012650319480209115382828970638858230/9379072643810778\ 510378372539351058737426709095359*c_0110_4^20 - 22051565028153617903085342668948593608987561118437/3025507304455089\ 84205753952882292217336345454689*c_0110_4^19 + 5133591507491547664916906178171877279881051202151120/93790726438107\ 78510378372539351058737426709095359*c_0110_4^18 - 26518733608985138771185805470610033322075215028562727/9379072643810\ 778510378372539351058737426709095359*c_0110_4^17 + 86613752859746336099718119961473962955799951698386896/9379072643810\ 778510378372539351058737426709095359*c_0110_4^16 - 164471253097940106107810553375972905751216975151758211/937907264381\ 0778510378372539351058737426709095359*c_0110_4^15 + 110961219294271063801536453890932835417654123520141057/937907264381\ 0778510378372539351058737426709095359*c_0110_4^14 + 176573063466917595365608283446247580039134395696648151/937907264381\ 0778510378372539351058737426709095359*c_0110_4^13 - 399443226839500751114691005270860340990158484948665331/937907264381\ 0778510378372539351058737426709095359*c_0110_4^12 + 307902302286357815563166988913144663337646059115766709/937907264381\ 0778510378372539351058737426709095359*c_0110_4^11 - 19269557207067953997261078876475163082038326152506356/9379072643810\ 778510378372539351058737426709095359*c_0110_4^10 - 4844422859824376357929328705010677350673556248623475/30255073044550\ 8984205753952882292217336345454689*c_0110_4^9 + 58425862747419805367996237335633704300014224905610321/9379072643810\ 778510378372539351058737426709095359*c_0110_4^8 - 22406408955173588969926468861876295071006192590917026/9379072643810\ 778510378372539351058737426709095359*c_0110_4^7 - 12076294872649669044050711164817403818255957088500797/9379072643810\ 778510378372539351058737426709095359*c_0110_4^6 + 4261661661175585335996807594508110619235732407650709/93790726438107\ 78510378372539351058737426709095359*c_0110_4^5 - 4408699398315374016917270759253376121995113200350915/93790726438107\ 78510378372539351058737426709095359*c_0110_4^4 - 950980856407988950335561427927466247266704372938437/937907264381077\ 8510378372539351058737426709095359*c_0110_4^3 + 1030641650749771671261246715484914201451964930382063/93790726438107\ 78510378372539351058737426709095359*c_0110_4^2 + 171508016551808609193715000102567297291853413783203/937907264381077\ 8510378372539351058737426709095359*c_0110_4 - 29150249002364265740779466542175470867838425912144/9379072643810778\ 510378372539351058737426709095359, c_0011_5 - 282140299573408271792713472140061217594384949533/30255073044\ 5508984205753952882292217336345454689*c_0110_4^21 - 465477011325722312724820045803881666850696965483/302550730445508984\ 205753952882292217336345454689*c_0110_4^20 + 19350525420640428461965300724863575548559421091309/3025507304455089\ 84205753952882292217336345454689*c_0110_4^19 - 144174949551459750698302838442466194102452955518722/302550730445508\ 984205753952882292217336345454689*c_0110_4^18 + 741316381718251078243635342165276259378205470360792/302550730445508\ 984205753952882292217336345454689*c_0110_4^17 - 2400637690651607837471535772056580222887465981227366/30255073044550\ 8984205753952882292217336345454689*c_0110_4^16 + 4478158269769277871624443133682358198967622312117285/30255073044550\ 8984205753952882292217336345454689*c_0110_4^15 - 2772235653133383881049683380065256974146275759545279/30255073044550\ 8984205753952882292217336345454689*c_0110_4^14 - 5331796955099455077982660874639646050819231166334545/30255073044550\ 8984205753952882292217336345454689*c_0110_4^13 + 11081409445495709508311378575566218278802275575851960/3025507304455\ 08984205753952882292217336345454689*c_0110_4^12 - 7887791655840758745122938941875923568928129982637500/30255073044550\ 8984205753952882292217336345454689*c_0110_4^11 - 297090899492607311563201379536305395676430989863824/302550730445508\ 984205753952882292217336345454689*c_0110_4^10 + 4553310330821382950087259436798787572774893049186592/30255073044550\ 8984205753952882292217336345454689*c_0110_4^9 - 1466496598623443686319662891409450058745261003290615/30255073044550\ 8984205753952882292217336345454689*c_0110_4^8 + 471535202091980482933920803769841813824484560786843/302550730445508\ 984205753952882292217336345454689*c_0110_4^7 + 435523995107928459468943397050721021268202894511106/302550730445508\ 984205753952882292217336345454689*c_0110_4^6 - 131125999218746746114691886758610607306600768432809/302550730445508\ 984205753952882292217336345454689*c_0110_4^5 + 117538410697974504872687263210489047828648503702105/302550730445508\ 984205753952882292217336345454689*c_0110_4^4 + 37005457390903211312003329611252429602736496827016/3025507304455089\ 84205753952882292217336345454689*c_0110_4^3 - 30728905181822098242559527049986444193893771213037/3025507304455089\ 84205753952882292217336345454689*c_0110_4^2 - 6210089436418053095313401958856650411751234412185/30255073044550898\ 4205753952882292217336345454689*c_0110_4 + 858663098303584833526885684722782564410047205120/302550730445508984\ 205753952882292217336345454689, c_0101_0 + 6335823815241062913817813128032879704418783642139/9379072643\ 810778510378372539351058737426709095359*c_0110_4^21 + 9972488882185454295753687606646520562533337488118/93790726438107785\ 10378372539351058737426709095359*c_0110_4^20 - 14039973617510185877329215827991519354089589825838/3025507304455089\ 84205753952882292217336345454689*c_0110_4^19 + 3270684994075453689609414854116435698772761254142786/93790726438107\ 78510378372539351058737426709095359*c_0110_4^18 - 16899230362340190915786907523918199330186831064374174/9379072643810\ 778510378372539351058737426709095359*c_0110_4^17 + 55223512669557196863956908835470451168404781722544006/9379072643810\ 778510378372539351058737426709095359*c_0110_4^16 - 104927065865613549185599916128167335003301585353197842/937907264381\ 0778510378372539351058737426709095359*c_0110_4^15 + 70834604225894732376998531591997095877103444945864960/9379072643810\ 778510378372539351058737426709095359*c_0110_4^14 + 112991847855690006920291570254815931869784761047078873/937907264381\ 0778510378372539351058737426709095359*c_0110_4^13 - 255915872772357072597122001616486636990863932836401557/937907264381\ 0778510378372539351058737426709095359*c_0110_4^12 + 196780948099884516823248485686088093953922007344232772/937907264381\ 0778510378372539351058737426709095359*c_0110_4^11 - 11087444731960123532187056266753088941767111802498032/9379072643810\ 778510378372539351058737426709095359*c_0110_4^10 - 3149113235617100063495955670870501597757622207782810/30255073044550\ 8984205753952882292217336345454689*c_0110_4^9 + 38147850004414766508854390932141415804204775808205458/9379072643810\ 778510378372539351058737426709095359*c_0110_4^8 - 13632334000780595358440800936352320360646806408225641/9379072643810\ 778510378372539351058737426709095359*c_0110_4^7 - 7838345529047001507751606058400817456079239666514691/93790726438107\ 78510378372539351058737426709095359*c_0110_4^6 + 2844352359828158734862770530991379433042901473320511/93790726438107\ 78510378372539351058737426709095359*c_0110_4^5 - 2678196538403862976281518893627326145862042227780764/93790726438107\ 78510378372539351058737426709095359*c_0110_4^4 - 619212790344532153528815399511862522620397661007368/937907264381077\ 8510378372539351058737426709095359*c_0110_4^3 + 673578675612839659296397025810036148280712293201972/937907264381077\ 8510378372539351058737426709095359*c_0110_4^2 + 119320314937276387067838370485384060183488658166024/937907264381077\ 8510378372539351058737426709095359*c_0110_4 - 24092548654454301549218314600667710088010721103275/9379072643810778\ 510378372539351058737426709095359, c_0101_1 + 9009952549753157648579240613426909628039239906703/9379072643\ 810778510378372539351058737426709095359*c_0110_4^21 + 14329296542212907220669428356171246975065622823921/9379072643810778\ 510378372539351058737426709095359*c_0110_4^20 - 19955558251369926411549202357223888623560003324159/3025507304455089\ 84205753952882292217336345454689*c_0110_4^19 + 4641091929482845155604841746793192292708484131773826/93790726438107\ 78510378372539351058737426709095359*c_0110_4^18 - 23961258544733204579675631703960980576019119192070131/9379072643810\ 778510378372539351058737426709095359*c_0110_4^17 + 78181392585899571058365336579475379086726141325444038/9379072643810\ 778510378372539351058737426709095359*c_0110_4^16 - 148156518389302694508199930381395826466744275205947031/937907264381\ 0778510378372539351058737426709095359*c_0110_4^15 + 99060149057190323955686914017754672248049927761956529/9379072643810\ 778510378372539351058737426709095359*c_0110_4^14 + 160774438422693354312687181373007663812228204845563234/937907264381\ 0778510378372539351058737426709095359*c_0110_4^13 - 359951711163781669682965997959808355424143652352786444/937907264381\ 0778510378372539351058737426709095359*c_0110_4^12 + 274856723391834967364540175811497216322233040806456830/937907264381\ 0778510378372539351058737426709095359*c_0110_4^11 - 14520589289821487959907295925235393632576233172583751/9379072643810\ 778510378372539351058737426709095359*c_0110_4^10 - 4377327980176862594377891359106551378313634318535793/30255073044550\ 8984205753952882292217336345454689*c_0110_4^9 + 50685263581124777835260893520571849861414359241301974/9379072643810\ 778510378372539351058737426709095359*c_0110_4^8 - 19070417678449948410621215711706187799547814423699533/9379072643810\ 778510378372539351058737426709095359*c_0110_4^7 - 11043087598775305852410490971972430272741923579809357/9379072643810\ 778510378372539351058737426709095359*c_0110_4^6 + 3553153187981857187594704371862811375682045285596764/93790726438107\ 78510378372539351058737426709095359*c_0110_4^5 - 3755159988776944772822811057882115983418310861170153/93790726438107\ 78510378372539351058737426709095359*c_0110_4^4 - 947811383548933585439387482743663832658239808106600/937907264381077\ 8510378372539351058737426709095359*c_0110_4^3 + 926524436875658217686055277260460103006769215628214/937907264381077\ 8510378372539351058737426709095359*c_0110_4^2 + 180421265565674417975464379634824887967858220546182/937907264381077\ 8510378372539351058737426709095359*c_0110_4 - 27159702269675416042722621486691217564687877807709/9379072643810778\ 510378372539351058737426709095359, c_0110_4^22 + 2*c_0110_4^21 - 68*c_0110_4^20 + 487*c_0110_4^19 - 2449*c_0110_4^18 + 7592*c_0110_4^17 - 12910*c_0110_4^16 + 4323*c_0110_4^15 + 22239*c_0110_4^14 - 32606*c_0110_4^13 + 14331*c_0110_4^12 + 10611*c_0110_4^11 - 15609*c_0110_4^10 - 449*c_0110_4^9 + 62*c_0110_4^8 - 2106*c_0110_4^7 - 102*c_0110_4^6 - 271*c_0110_4^5 - 278*c_0110_4^4 + 58*c_0110_4^3 + 59*c_0110_4^2 + 5*c_0110_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB