Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 559987997] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0186 geometric_solution 3.99827580 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 0 0 0 0 0 0 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.313088495107 0.073553721912 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 0 1 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 -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.099235016417 0.055795652514 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 1 0 -1 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 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 1.141125851283 0.126005029204 2 4 4 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 -1 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 1 -1 0 0 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.091877527330 0.390641840579 5 3 3 6 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 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 1 -1 1 0 -1 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.507826641310 0.299957788737 4 6 6 6 0132 1302 3201 0321 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 -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.508622324265 0.847670413375 5 5 4 5 2310 0321 0132 2031 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 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.508622324265 0.847670413375 ==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' : negation(d['c_0011_1']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_1'], 'c_1010_5' : d['c_0011_1'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_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_1, c_0011_6, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 1882866051791929907178854962866899022796853/11692732870960032641458\ 00888775482986493*c_0101_5^20 + 13575771967552847379229405935878935\ 789394704/1169273287096003264145800888775482986493*c_0101_5^19 - 4676925050516842348192058708681130146578193/11692732870960032641458\ 00888775482986493*c_0101_5^18 - 20997062518334160272194596722187570\ 6491886503/1169273287096003264145800888775482986493*c_0101_5^17 - 324677238827785411847121646456467868585146934/116927328709600326414\ 5800888775482986493*c_0101_5^16 + 864198499193297150114499227632868\ 73864562710/89944099007384866472753914521190998961*c_0101_5^15 + 2233562077043893215722874713252416372004614278/11692732870960032641\ 45800888775482986493*c_0101_5^14 + 22137197794600070551145846815851593029336840/1169273287096003264145\ 800888775482986493*c_0101_5^13 - 8014489965748261234804735737314457\ 424925832805/1169273287096003264145800888775482986493*c_0101_5^12 - 11430075811711868795419565236773255393184569966/1169273287096003264\ 145800888775482986493*c_0101_5^11 + 14691748945228981145344540865376090835956765633/1169273287096003264\ 145800888775482986493*c_0101_5^10 + 3030846482847530078363293316267279610050681837/16703904101371475202\ 0828698396497569499*c_0101_5^9 - 8252460813967548069478144700440889\ 301569185945/1169273287096003264145800888775482986493*c_0101_5^8 - 7384533230953286122769802146974809616723683660/11692732870960032641\ 45800888775482986493*c_0101_5^7 + 532906090841881271490294614390561\ 236814785125/167039041013714752020828698396497569499*c_0101_5^6 - 1610800323748748694976450499509515946246733776/11692732870960032641\ 45800888775482986493*c_0101_5^5 - 176233339226276175565400143859808\ 0223464810220/1169273287096003264145800888775482986493*c_0101_5^4 + 100393992655512862866696004721177869792157254/167039041013714752020\ 828698396497569499*c_0101_5^3 + 29482595892546021022443294810615444\ 8809362506/1169273287096003264145800888775482986493*c_0101_5^2 - 363606221183239960462487928679245272986686/128491570010549809246791\ 30645884428423*c_0101_5 - 87067996014430435762669484766060155118078\ 51/1169273287096003264145800888775482986493, c_0011_0 - 1, c_0011_1 + 61274879991044776876486407830441111550/128491570010549809246\ 79130645884428423*c_0101_5^20 + 44158497993503011857550041423693802\ 9038/12849157001054980924679130645884428423*c_0101_5^19 - 153535607182050816551679611205369846826/128491570010549809246791306\ 45884428423*c_0101_5^18 - 6831096420323509639771273624048280342698/\ 12849157001054980924679130645884428423*c_0101_5^17 - 10543398293161363259383943588014499082890/1284915700105498092467913\ 0645884428423*c_0101_5^16 + 365739641003836840209794435819136992106\ 59/12849157001054980924679130645884428423*c_0101_5^15 + 72533560277758145799401321791395798476783/1284915700105498092467913\ 0645884428423*c_0101_5^14 + 612109078741143481506557119839519950385\ /12849157001054980924679130645884428423*c_0101_5^13 - 260645966028271796633843879375231841126155/128491570010549809246791\ 30645884428423*c_0101_5^12 - 37113216638422074957019389702994365076\ 4897/12849157001054980924679130645884428423*c_0101_5^11 + 478543499662030803003640083437552028951685/128491570010549809246791\ 30645884428423*c_0101_5^10 + 68789924012151702942716431689188875166\ 2251/12849157001054980924679130645884428423*c_0101_5^9 - 268836104854346994569159763245756296994035/128491570010549809246791\ 30645884428423*c_0101_5^8 - 238330417784561359007540528944792212801\ 471/12849157001054980924679130645884428423*c_0101_5^7 + 120899039659743968968167633567394382266332/128491570010549809246791\ 30645884428423*c_0101_5^6 - 526110376307529940781552825145566110995\ 70/12849157001054980924679130645884428423*c_0101_5^5 - 56972517078746465645639834710817162319269/1284915700105498092467913\ 0645884428423*c_0101_5^4 + 2274465288501405746276922927507988574970\ 7/12849157001054980924679130645884428423*c_0101_5^3 + 9542909990020998695733581223208514987097/12849157001054980924679130\ 645884428423*c_0101_5^2 - 1082793682146634525076261270444750037788/\ 12849157001054980924679130645884428423*c_0101_5 - 284489850817379550213543344888951903616/128491570010549809246791306\ 45884428423, c_0011_6 - 16250053512458284465962866860096166679/128491570010549809246\ 79130645884428423*c_0101_5^20 - 11662397267063710714635237454895344\ 9029/12849157001054980924679130645884428423*c_0101_5^19 + 44032165853126739276355633435379250582/1284915700105498092467913064\ 5884428423*c_0101_5^18 + 1809189098267426546015765758398653748945/1\ 2849157001054980924679130645884428423*c_0101_5^17 + 2742916542560659770004084629614628163891/12849157001054980924679130\ 645884428423*c_0101_5^16 - 9763657879127832136230501093452346622340\ /12849157001054980924679130645884428423*c_0101_5^15 - 18922684217808712625543085707318827591353/1284915700105498092467913\ 0645884428423*c_0101_5^14 + 301437820903683773467156444288587031215\ /12849157001054980924679130645884428423*c_0101_5^13 + 68957614007412154273679341925965747640270/1284915700105498092467913\ 0645884428423*c_0101_5^12 + 964054842022043003324573953329381403389\ 56/12849157001054980924679130645884428423*c_0101_5^11 - 129131914018225996820581042088324528297587/128491570010549809246791\ 30645884428423*c_0101_5^10 - 17781340495663013651647606514688915973\ 1074/12849157001054980924679130645884428423*c_0101_5^9 + 75183896180238028559090742026953388809143/1284915700105498092467913\ 0645884428423*c_0101_5^8 + 5968675312292726637578381822342159390485\ 0/12849157001054980924679130645884428423*c_0101_5^7 - 32865139948115530160515548772938140626901/1284915700105498092467913\ 0645884428423*c_0101_5^6 + 1511324411604895801462165280917257236295\ 9/12849157001054980924679130645884428423*c_0101_5^5 + 14304747334322032994998563216552809791454/1284915700105498092467913\ 0645884428423*c_0101_5^4 - 6190198793188955881276879083584423145558\ /12849157001054980924679130645884428423*c_0101_5^3 - 2278583408492645390131810256511266427566/12849157001054980924679130\ 645884428423*c_0101_5^2 + 299769251271351676259063087044361441780/1\ 2849157001054980924679130645884428423*c_0101_5 + 66947971146018440679009325987852375860/1284915700105498092467913064\ 5884428423, c_0101_0 - 30732911850207264347811740973751787577/128491570010549809246\ 79130645884428423*c_0101_5^20 - 22257998744240870917133819429610930\ 6276/12849157001054980924679130645884428423*c_0101_5^19 + 69271772197535855573365757748911749575/1284915700105498092467913064\ 5884428423*c_0101_5^18 + 3430223633455795473510944580187382678861/1\ 2849157001054980924679130645884428423*c_0101_5^17 + 5409714992881760783313381774251105710906/12849157001054980924679130\ 645884428423*c_0101_5^16 - 1817518307216341524005272002314409678485\ 8/12849157001054980924679130645884428423*c_0101_5^15 - 37059995372979065298651324239530327637667/1284915700105498092467913\ 0645884428423*c_0101_5^14 - 148871229831290169095747795758830728358\ 9/12849157001054980924679130645884428423*c_0101_5^13 + 130887632357640304205281338933618091608276/128491570010549809246791\ 30645884428423*c_0101_5^12 + 19076667622622838938434598574119124838\ 1077/12849157001054980924679130645884428423*c_0101_5^11 - 234117741992413509659554611463605272750879/128491570010549809246791\ 30645884428423*c_0101_5^10 - 35442759996825465902493911349352192707\ 0761/12849157001054980924679130645884428423*c_0101_5^9 + 124219958955310115095825180811829600011757/128491570010549809246791\ 30645884428423*c_0101_5^8 + 125649475920871588997748922622872914909\ 645/12849157001054980924679130645884428423*c_0101_5^7 - 57546685653178762966635356462577920120768/1284915700105498092467913\ 0645884428423*c_0101_5^6 + 2404374553946269592190371482103533221828\ 5/12849157001054980924679130645884428423*c_0101_5^5 + 29944705983928630561966146322049858317886/1284915700105498092467913\ 0645884428423*c_0101_5^4 - 1064607192615319732461021137666359510929\ 6/12849157001054980924679130645884428423*c_0101_5^3 - 5275179084482949850631854980817089140519/12849157001054980924679130\ 645884428423*c_0101_5^2 + 462572897736349985818144840725012296037/1\ 2849157001054980924679130645884428423*c_0101_5 + 159865369497312096284669625092369882884/128491570010549809246791306\ 45884428423, c_0101_2 + 21399799347131073672165621408245924238/128491570010549809246\ 79130645884428423*c_0101_5^20 + 15325568265889026650947760509709134\ 3914/12849157001054980924679130645884428423*c_0101_5^19 - 60517835854545214438910831008335641500/1284915700105498092467913064\ 5884428423*c_0101_5^18 - 2382927699143424399634445902597986446263/1\ 2849157001054980924679130645884428423*c_0101_5^17 - 3575058245067870056740845025670805808934/12849157001054980924679130\ 645884428423*c_0101_5^16 + 1293291196745647170304492735221514679149\ 2/12849157001054980924679130645884428423*c_0101_5^15 + 24750326715042891174551394937700199019882/1284915700105498092467913\ 0645884428423*c_0101_5^14 - 886587958352461594141849716610025899299\ /12849157001054980924679130645884428423*c_0101_5^13 - 90989597317635444287765067234909966165572/1284915700105498092467913\ 0645884428423*c_0101_5^12 - 125570361085496953095575683127554147815\ 322/12849157001054980924679130645884428423*c_0101_5^11 + 172721473793323441214081541996805199844784/128491570010549809246791\ 30645884428423*c_0101_5^10 + 23252586234732839079959911535919956390\ 5161/12849157001054980924679130645884428423*c_0101_5^9 - 103980488477038988162907474064529370061044/128491570010549809246791\ 30645884428423*c_0101_5^8 - 785591537475384665780015728964689093077\ 07/12849157001054980924679130645884428423*c_0101_5^7 + 45046321907580138194611973266852203031993/1284915700105498092467913\ 0645884428423*c_0101_5^6 - 2034711842323755429707025610960172829048\ 6/12849157001054980924679130645884428423*c_0101_5^5 - 18671382299800789248486421430886591771522/1284915700105498092467913\ 0645884428423*c_0101_5^4 + 8628759511960861056241842915184689398009\ /12849157001054980924679130645884428423*c_0101_5^3 + 2960756435316930023729271761578567902261/12849157001054980924679130\ 645884428423*c_0101_5^2 - 441363091746173798664722477591177072274/1\ 2849157001054980924679130645884428423*c_0101_5 - 88911040254766787650440668420816218084/1284915700105498092467913064\ 5884428423, c_0101_3 - 23564229719752248682432633314335747688/128491570010549809246\ 79130645884428423*c_0101_5^20 - 16947658063524129639890454730885526\ 8234/12849157001054980924679130645884428423*c_0101_5^19 + 61458186287031718594701390420939753917/1284915700105498092467913064\ 5884428423*c_0101_5^18 + 2625845929492433740891361066914602697907/1\ 2849157001054980924679130645884428423*c_0101_5^17 + 4017084460848937887516450653109651223539/12849157001054980924679130\ 645884428423*c_0101_5^16 - 1411839501069229578856792868886860417978\ 2/12849157001054980924679130645884428423*c_0101_5^15 - 27687961133493440547956026771995896610714/1284915700105498092467913\ 0645884428423*c_0101_5^14 + 127929578277331530564122638761298536378\ /12849157001054980924679130645884428423*c_0101_5^13 + 100214617939013166122544517207187172230403/128491570010549809246791\ 30645884428423*c_0101_5^12 + 14134561310464309844904145887736297908\ 3315/12849157001054980924679130645884428423*c_0101_5^11 - 185882197110915335724705067974504465736463/128491570010549809246791\ 30645884428423*c_0101_5^10 - 26181971162227900689834390707622935358\ 3963/12849157001054980924679130645884428423*c_0101_5^9 + 106437152001894591575621836642603101533331/128491570010549809246791\ 30645884428423*c_0101_5^8 + 900293314230827229905231925372576272375\ 57/12849157001054980924679130645884428423*c_0101_5^7 - 46890558718479944211136097366103904009414/1284915700105498092467913\ 0645884428423*c_0101_5^6 + 2082964668818320982187890511328774434361\ 8/12849157001054980924679130645884428423*c_0101_5^5 + 21363623395715855284005715610831819070247/1284915700105498092467913\ 0645884428423*c_0101_5^4 - 8864680713408171121697782024154922520539\ /12849157001054980924679130645884428423*c_0101_5^3 - 3612080127187535543615839715000043688820/12849157001054980924679130\ 645884428423*c_0101_5^2 + 414170151412663134349376931269562234836/1\ 2849157001054980924679130645884428423*c_0101_5 + 116984538534266467990747808480261297417/128491570010549809246791306\ 45884428423, c_0101_5^21 + 7*c_0101_5^20 - 4*c_0101_5^19 - 111*c_0101_5^18 - 149*c_0101_5^17 + 633*c_0101_5^16 + 1061*c_0101_5^15 - 238*c_0101_5^14 - 4260*c_0101_5^13 - 5176*c_0101_5^12 + 9082*c_0101_5^11 + 9633*c_0101_5^10 - 6757*c_0101_5^9 - 3011*c_0101_5^8 + 2810*c_0101_5^7 - 1268*c_0101_5^6 - 759*c_0101_5^5 + 571*c_0101_5^4 + 79*c_0101_5^3 - 51*c_0101_5^2 - c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB