Magma V2.19-8 Tue Aug 20 2013 16:16:35 on localhost [Seed = 593674239] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0885 geometric_solution 4.78619624 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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.172208510151 0.594124897044 0 0 3 2 2310 0132 0132 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 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.342333898723 0.466980969280 3 4 1 3 1230 0132 0132 1302 0 0 0 0 0 0 0 0 -1 0 0 1 -1 0 0 1 -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 0 0.697253990764 0.751028314103 4 2 2 1 2310 3012 2031 0132 0 0 0 0 0 1 -1 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 -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.697253990764 0.751028314103 5 2 3 5 0132 0132 3201 3201 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 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.450312963036 0.638710114709 4 4 6 6 0132 2310 0132 2310 0 0 0 0 0 -1 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 0 0 0 0 1 -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 0 0 0 2.235548344768 1.112692764655 5 6 6 5 3201 3201 2310 0132 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 -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.616019833117 0.144830847161 ==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' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), '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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_3']), '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_0011_2']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_3']), '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_2, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 23278293032994968849917411783211152539628542/8959865749016181367156\ 5492887615127410665*c_0101_5^22 + 122700968925869868060501571500729\ 45556132649/89598657490161813671565492887615127410665*c_0101_5^21 + 1030108193525170416337611545876585709934769883/89598657490161813671\ 565492887615127410665*c_0101_5^20 - 1445014976821925569178511975046001824023029896/89598657490161813671\ 565492887615127410665*c_0101_5^19 - 10765526464578969586499926319622753283047926859/8959865749016181367\ 1565492887615127410665*c_0101_5^18 + 1892505427469529633642255329154017821611588673/17919731498032362734\ 313098577523025482133*c_0101_5^17 + 59392135226483566119859964548160953219907674393/8959865749016181367\ 1565492887615127410665*c_0101_5^16 - 15034589006046883811205710993403417542967898457/8959865749016181367\ 1565492887615127410665*c_0101_5^15 - 36620780055193017115235879118627626652875516892/1791973149803236273\ 4313098577523025482133*c_0101_5^14 - 1650128946239614519329240609916053658948921666/12799808212880259095\ 937927555373589630095*c_0101_5^13 + 419938490442788511919692014199642684811956337287/895986574901618136\ 71565492887615127410665*c_0101_5^12 + 27920292638760136850098809066056183588184053428/1791973149803236273\ 4313098577523025482133*c_0101_5^11 - 164926574695631398948391965414107800334607962569/179197314980323627\ 34313098577523025482133*c_0101_5^10 - 758029691245230029082500957767745131885035418733/895986574901618136\ 71565492887615127410665*c_0101_5^9 + 71286791130992450261794629614841209763411767267/1279980821288025909\ 5937927555373589630095*c_0101_5^8 + 846324242362927337792205378293510957058040253358/895986574901618136\ 71565492887615127410665*c_0101_5^7 - 1526256236846340736304637082077753371952984760/17919731498032362734\ 313098577523025482133*c_0101_5^6 - 395690335279818370708587603222120128296560725109/895986574901618136\ 71565492887615127410665*c_0101_5^5 - 72547646017041320862982826851121720985275502097/8959865749016181367\ 1565492887615127410665*c_0101_5^4 + 19153527002871998592869564541187600704301337020/1791973149803236273\ 4313098577523025482133*c_0101_5^3 + 16805657532933013711412683757550964407246543493/8959865749016181367\ 1565492887615127410665*c_0101_5^2 - 11678545692535533445624074136048999247266348801/8959865749016181367\ 1565492887615127410665*c_0101_5 + 252748689753912994200408836843098\ 262902098317/89598657490161813671565492887615127410665, c_0011_0 - 1, c_0011_2 + 86358633843755264788592311246820413435977/127998082128802590\ 95937927555373589630095*c_0101_5^22 - 8672217899665690543690057352739878340542/25599616425760518191875855\ 11074717926019*c_0101_5^21 - 76430382683390536279480548613737874906\ 8074/2559961642576051819187585511074717926019*c_0101_5^20 + 5265343318382325746907738343006725545294212/12799808212880259095937\ 927555373589630095*c_0101_5^19 + 8004245426798268118369288087320185\ 339941183/2559961642576051819187585511074717926019*c_0101_5^18 - 34066246191025577213103163610913683451380088/1279980821288025909593\ 7927555373589630095*c_0101_5^17 - 441287510465158310473312693452640\ 23904436215/2559961642576051819187585511074717926019*c_0101_5^16 + 50133134942541428479715408066021641707918073/1279980821288025909593\ 7927555373589630095*c_0101_5^15 + 677548840977530362525988313383572\ 126657867003/12799808212880259095937927555373589630095*c_0101_5^14 + 58771864505820951834356694803968748561027399/1279980821288025909593\ 7927555373589630095*c_0101_5^13 - 309573243883750082754091093260109\ 435003221411/2559961642576051819187585511074717926019*c_0101_5^12 - 551043516767290970895022337977801032759106956/127998082128802590959\ 37927555373589630095*c_0101_5^11 + 3027455165029305003898616981652548439862983436/12799808212880259095\ 937927555373589630095*c_0101_5^10 + 2870444876767367184881147107995763302872054382/12799808212880259095\ 937927555373589630095*c_0101_5^9 - 1747613748335647848821286536106455358025287342/12799808212880259095\ 937927555373589630095*c_0101_5^8 - 3127648405453320300945754739701682012446925058/12799808212880259095\ 937927555373589630095*c_0101_5^7 - 46295819937593845252101531483168770464989301/1279980821288025909593\ 7927555373589630095*c_0101_5^6 + 2848006819970139636676972891830194\ 62263228719/2559961642576051819187585511074717926019*c_0101_5^5 + 282977931152572950368170046205371606908973314/127998082128802590959\ 37927555373589630095*c_0101_5^4 - 337823990521687839960320224209622\ 360380229268/12799808212880259095937927555373589630095*c_0101_5^3 - 12271817515431692179974123231827532928460674/2559961642576051819187\ 585511074717926019*c_0101_5^2 + 41210986415266559760951964698663777\ 542740982/12799808212880259095937927555373589630095*c_0101_5 - 1217843234929254382259643614994783258356506/12799808212880259095937\ 927555373589630095, c_0011_6 + 202434201724748646155973920719057339556662/12799808212880259\ 095937927555373589630095*c_0101_5^22 - 101894309334664956560506766817403534974028/127998082128802590959379\ 27555373589630095*c_0101_5^21 - 89577704597998764889020606333860847\ 93563596/12799808212880259095937927555373589630095*c_0101_5^20 + 2470650791199274162233970759762845083255201/25599616425760518191875\ 85511074717926019*c_0101_5^19 + 93791770403100060691903168551788148\ 207364448/12799808212880259095937927555373589630095*c_0101_5^18 - 79947264428455896010088792198391750737478232/1279980821288025909593\ 7927555373589630095*c_0101_5^17 - 517062476709582632587349501586917\ 863454184771/12799808212880259095937927555373589630095*c_0101_5^16 + 117962578224263221490040968945549498497627271/127998082128802590959\ 37927555373589630095*c_0101_5^15 + 1587850474322386820253354538639852788145105742/12799808212880259095\ 937927555373589630095*c_0101_5^14 + 27313562865752659391274184174232771793612527/2559961642576051819187\ 585511074717926019*c_0101_5^13 - 3627646405832807157796388748012767\ 608647148234/12799808212880259095937927555373589630095*c_0101_5^12 - 1289052742156268729412178358239695182458186094/12799808212880259095\ 937927555373589630095*c_0101_5^11 + 7095838853126379456534457506438495470205101469/12799808212880259095\ 937927555373589630095*c_0101_5^10 + 6723197967142725797293336031866537658258790814/12799808212880259095\ 937927555373589630095*c_0101_5^9 - 4099028228764039706413993863433752904567474186/12799808212880259095\ 937927555373589630095*c_0101_5^8 - 7329791218613541329590655262768948005819550123/12799808212880259095\ 937927555373589630095*c_0101_5^7 - 108812436901361311511146616541038719434197894/127998082128802590959\ 37927555373589630095*c_0101_5^6 + 333660619646480536161828143212736\ 8525813649638/12799808212880259095937927555373589630095*c_0101_5^5 + 132848285701625120974205265290545829219801858/255996164257605181918\ 7585511074717926019*c_0101_5^4 - 7904627278827152278220587844692344\ 99898454522/12799808212880259095937927555373589630095*c_0101_5^3 - 143845331475568894217164346909641652235255891/127998082128802590959\ 37927555373589630095*c_0101_5^2 + 192531172484954993669176193283551\ 43964059155/2559961642576051819187585511074717926019*c_0101_5 - 2850942472659868411961927704132489268096068/12799808212880259095937\ 927555373589630095, c_0101_0 + 169336353951666942776765893665253765967122/12799808212880259\ 095937927555373589630095*c_0101_5^22 - 85707618613073597881689596306910794150649/1279980821288025909593792\ 7555373589630095*c_0101_5^21 - 749299790667268676892450828129361124\ 0728028/12799808212880259095937927555373589630095*c_0101_5^20 + 10354225412828918145066144283641027813610041/1279980821288025909593\ 7927555373589630095*c_0101_5^19 + 784306391024891754350202041050972\ 83259881919/12799808212880259095937927555373589630095*c_0101_5^18 - 13417633296857513853979705969728539790771701/2559961642576051819187\ 585511074717926019*c_0101_5^17 - 4323794904809636676846475990960884\ 93454747828/12799808212880259095937927555373589630095*c_0101_5^16 + 99808390751639363461638355428223614093470517/1279980821288025909593\ 7927555373589630095*c_0101_5^15 + 265643322271401701883133993686189\ 803211095687/2559961642576051819187585511074717926019*c_0101_5^14 + 111005430104386037157649727799440035634029772/127998082128802590959\ 37927555373589630095*c_0101_5^13 - 3035507614204455146204646781082291230362555572/12799808212880259095\ 937927555373589630095*c_0101_5^12 - 214268708878058990627955002506780854065982927/255996164257605181918\ 7585511074717926019*c_0101_5^11 + 118796289543122035527880792436158\ 4276475683214/2559961642576051819187585511074717926019*c_0101_5^10 + 5611075374100001388686737254776448832178230588/12799808212880259095\ 937927555373589630095*c_0101_5^9 - 3445832865393690964534329770644538382141596824/12799808212880259095\ 937927555373589630095*c_0101_5^8 - 6130196785541569265475156112903444179054504318/12799808212880259095\ 937927555373589630095*c_0101_5^7 - 15684172381497917382584822073864872195635773/2559961642576051819187\ 585511074717926019*c_0101_5^6 + 27961747958649310236739895730394695\ 60970897694/12799808212880259095937927555373589630095*c_0101_5^5 + 552972244247243660504647603457803012794752872/127998082128802590959\ 37927555373589630095*c_0101_5^4 - 132624300042899753480046810946966\ 938492873864/2559961642576051819187585511074717926019*c_0101_5^3 - 120200967692741509688294456217582644803428103/127998082128802590959\ 37927555373589630095*c_0101_5^2 + 806974523680629803599038347970645\ 58058948381/12799808212880259095937927555373589630095*c_0101_5 - 2384736540594055549204401549777681051498357/12799808212880259095937\ 927555373589630095, c_0101_1 + 57117834802534578763429300067956078354599/255996164257605181\ 9187585511074717926019*c_0101_5^22 - 144698344499188393901129622058010882044763/127998082128802590959379\ 27555373589630095*c_0101_5^21 - 12637370109093328934181423656303846\ 668222156/12799808212880259095937927555373589630095*c_0101_5^20 + 17469519118443392795695426015663590671457748/1279980821288025909593\ 7927555373589630095*c_0101_5^19 + 132281133920472187269830415602491\ 012069425208/12799808212880259095937927555373589630095*c_0101_5^18 - 113239582672544213251957590685988236887180929/127998082128802590959\ 37927555373589630095*c_0101_5^17 - 729310675443712920605439787572448276415461731/127998082128802590959\ 37927555373589630095*c_0101_5^16 + 168870665366978627443740747804807450870518453/127998082128802590959\ 37927555373589630095*c_0101_5^15 + 2240790156443431933408036014697755445127106479/12799808212880259095\ 937927555373589630095*c_0101_5^14 + 185745815300921315991463547537411667799309586/127998082128802590959\ 37927555373589630095*c_0101_5^13 - 5121939806612758169028319010660661754375921684/12799808212880259095\ 937927555373589630095*c_0101_5^12 - 1804077742589862751055741165893978079387645858/12799808212880259095\ 937927555373589630095*c_0101_5^11 + 10023929235248862745150920864860947563917919723/1279980821288025909\ 5937927555373589630095*c_0101_5^10 + 9459254852195918841778653374106943660840174402/12799808212880259095\ 937927555373589630095*c_0101_5^9 - 5826925249903027834227143633179947624320680294/12799808212880259095\ 937927555373589630095*c_0101_5^8 - 2069006918373476561077396070048411824657252668/25599616425760518191\ 87585511074717926019*c_0101_5^7 - 122274187608557287944905188559700\ 823166043343/12799808212880259095937927555373589630095*c_0101_5^6 + 4724094929850409994711573032124814585533087903/12799808212880259095\ 937927555373589630095*c_0101_5^5 + 930733247591641681799966795219601241958447596/127998082128802590959\ 37927555373589630095*c_0101_5^4 - 112152713305086774294360452619111\ 4622450558189/12799808212880259095937927555373589630095*c_0101_5^3 - 202656252565745358121432356874954653541535266/127998082128802590959\ 37927555373589630095*c_0101_5^2 + 136605244087778544051207220612694\ 945645548498/12799808212880259095937927555373589630095*c_0101_5 - 4060757198461812320245665716788807479697612/12799808212880259095937\ 927555373589630095, c_0101_3 - 212770950977154232467925777122691684581966/12799808212880259\ 095937927555373589630095*c_0101_5^22 + 108569834345422283558317207696520180279096/127998082128802590959379\ 27555373589630095*c_0101_5^21 + 94148718805031778314129520312128805\ 15703162/12799808212880259095937927555373589630095*c_0101_5^20 - 13048867297994135958134555032852821434514422/1279980821288025909593\ 7927555373589630095*c_0101_5^19 - 985108898598342075304246395464573\ 28761225476/12799808212880259095937927555373589630095*c_0101_5^18 + 84714461953082122210325093779767611399663832/1279980821288025909593\ 7927555373589630095*c_0101_5^17 + 543123172337744216543495123735716\ 249369296957/12799808212880259095937927555373589630095*c_0101_5^16 - 25536753565941328812999169826296479853326212/2559961642576051819187\ 585511074717926019*c_0101_5^15 - 1669411801052473765839922915491966\ 455793252272/12799808212880259095937927555373589630095*c_0101_5^14 - 132986798562084334300117412597447365663702729/127998082128802590959\ 37927555373589630095*c_0101_5^13 + 3817601428595158197500115672509934007235323253/12799808212880259095\ 937927555373589630095*c_0101_5^12 + 1332403081498217378419569690488768298470807194/12799808212880259095\ 937927555373589630095*c_0101_5^11 - 7474998915893885081261920681844736937816479554/12799808212880259095\ 937927555373589630095*c_0101_5^10 - 1405127835910059635792326958721871884338946722/25599616425760518191\ 87585511074717926019*c_0101_5^9 + 436942108577027608809837869990670\ 6293295175094/12799808212880259095937927555373589630095*c_0101_5^8 + 7704029928645557613962134918242788727248165334/12799808212880259095\ 937927555373589630095*c_0101_5^7 + 68786541059490840579119768581239347670330939/1279980821288025909593\ 7927555373589630095*c_0101_5^6 - 3527692184363981102962360142942410\ 754663620851/12799808212880259095937927555373589630095*c_0101_5^5 - 687776205424630917709384458283123913364799464/127998082128802590959\ 37927555373589630095*c_0101_5^4 + 839113108081532814170978339888049\ 078342552862/12799808212880259095937927555373589630095*c_0101_5^3 + 150525615861267111870381081661483383970975067/127998082128802590959\ 37927555373589630095*c_0101_5^2 - 102177148435647837589737280913911\ 717408617762/12799808212880259095937927555373589630095*c_0101_5 + 3040136112868496960430436625509334106142832/12799808212880259095937\ 927555373589630095, c_0101_5^23 - c_0101_5^22 - 44*c_0101_5^21 + 83*c_0101_5^20 + 433*c_0101_5^19 - 625*c_0101_5^18 - 2358*c_0101_5^17 + 1851*c_0101_5^16 + 7554*c_0101_5^15 - 3220*c_0101_5^14 - 18254*c_0101_5^13 + 2530*c_0101_5^12 + 38212*c_0101_5^11 + 15807*c_0101_5^10 - 36736*c_0101_5^9 - 26155*c_0101_5^8 + 17436*c_0101_5^7 + 16749*c_0101_5^6 - 4899*c_0101_5^5 - 5533*c_0101_5^4 + 1227*c_0101_5^3 + 828*c_0101_5^2 - 250*c_0101_5 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB