Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 2412647239] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1560 geometric_solution 5.34511552 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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 1.469596705449 0.204107464159 0 2 2 0 3201 0132 1023 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 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 1.154880210565 0.269608943556 3 1 1 4 0132 0132 1023 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 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.809654183819 0.477837488409 2 5 4 6 0132 0132 3201 0132 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 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.243566576474 0.684619656075 3 6 2 5 2310 1023 0132 1023 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 -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.243566576474 0.684619656075 5 3 5 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 1 0 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476627590971 0.894220238172 4 6 3 6 1023 2310 0132 3201 0 0 0 0 0 1 0 -1 1 0 0 -1 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 0 -1 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.461275216871 1.296557536346 ==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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], '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' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), '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_0101_5']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), '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_4, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 2615993358252160570904410393984942/264162994166064983542180857629*c\ _0101_5^25 + 11512501621317858788403584033728806/264162994166064983\ 542180857629*c_0101_5^24 + 74909648676640360724469315109557960/2641\ 62994166064983542180857629*c_0101_5^23 - 235006514496548637160996182768400059/264162994166064983542180857629\ *c_0101_5^22 - 815620166935385581127676376538240073/264162994166064\ 983542180857629*c_0101_5^21 + 1828644952527145909180362461240794178\ /264162994166064983542180857629*c_0101_5^20 + 3595337623225459609898850021617691942/26416299416606498354218085762\ 9*c_0101_5^19 - 9347520146218069391738448829023179079/2641629941660\ 64983542180857629*c_0101_5^18 - 73928681839740203496346276253113634\ 01/264162994166064983542180857629*c_0101_5^17 + 30552829959358548934664983535713979958/2641629941660649835421808576\ 29*c_0101_5^16 + 3078364245867194991504432506595393015/264162994166\ 064983542180857629*c_0101_5^15 - 5894755621113397963542369929724080\ 2945/264162994166064983542180857629*c_0101_5^14 + 17678167048486610166953948148814915532/2641629941660649835421808576\ 29*c_0101_5^13 + 61877234917032762217963290084134424326/26416299416\ 6064983542180857629*c_0101_5^12 - 338787805272196637219792042424537\ 54659/264162994166064983542180857629*c_0101_5^11 - 32637831802013674797941312597597097803/2641629941660649835421808576\ 29*c_0101_5^10 + 21774360732532930194268752706320638033/26416299416\ 6064983542180857629*c_0101_5^9 + 1182825421738900087768002442383689\ 6124/264162994166064983542180857629*c_0101_5^8 - 8044072681782480040590453162884692304/26416299416606498354218085762\ 9*c_0101_5^7 - 3094635618931206773482730810111748474/26416299416606\ 4983542180857629*c_0101_5^6 + 1794015335595905937611025636868533854\ /264162994166064983542180857629*c_0101_5^5 + 567811501466302866387184994815162420/264162994166064983542180857629\ *c_0101_5^4 - 215881501178052427044663584504537436/2641629941660649\ 83542180857629*c_0101_5^3 - 71521335375850033125101171165036795/264\ 162994166064983542180857629*c_0101_5^2 + 11613200715648679631531521210949270/264162994166064983542180857629*\ c_0101_5 + 4312257765529128445849228662880338/264162994166064983542\ 180857629, c_0011_0 - 1, c_0011_1 + 108823633648404333800540228594511/26416299416606498354218085\ 7629*c_0101_5^25 - 477056127240933824613447084018301/26416299416606\ 4983542180857629*c_0101_5^24 - 3123332561916934204510703099827127/2\ 64162994166064983542180857629*c_0101_5^23 + 9719100910031287779482194332651390/264162994166064983542180857629*c\ _0101_5^22 + 34064002383250171266767125303504504/264162994166064983\ 542180857629*c_0101_5^21 - 75420155825171167031584886876433708/2641\ 62994166064983542180857629*c_0101_5^20 - 150493119790549105072840667444768294/264162994166064983542180857629\ *c_0101_5^19 + 385821706721054028690909996084900307/264162994166064\ 983542180857629*c_0101_5^18 + 312441320248922352578328193630035407/\ 264162994166064983542180857629*c_0101_5^17 - 1263191560674070111372123655043106324/26416299416606498354218085762\ 9*c_0101_5^16 - 145153258380380902110226542002723155/26416299416606\ 4983542180857629*c_0101_5^15 + 244099283149443206941389385703761163\ 3/264162994166064983542180857629*c_0101_5^14 - 700726467422889470330475288496392395/264162994166064983542180857629\ *c_0101_5^13 - 2568121057041237448128452673738573793/26416299416606\ 4983542180857629*c_0101_5^12 + 137069818325699630098785426176270904\ 5/264162994166064983542180857629*c_0101_5^11 + 1360878129924092577918548120350798816/26416299416606498354218085762\ 9*c_0101_5^10 - 883184710214359840076842045306006347/26416299416606\ 4983542180857629*c_0101_5^9 - 494966547077092954133998645082005861/\ 264162994166064983542180857629*c_0101_5^8 + 326055043853554219276266482944861428/264162994166064983542180857629\ *c_0101_5^7 + 129575460321233563709669586976010545/2641629941660649\ 83542180857629*c_0101_5^6 - 72528473755127908316212362673634633/264\ 162994166064983542180857629*c_0101_5^5 - 23683039555273640841090053834492032/264162994166064983542180857629*\ c_0101_5^4 + 8682302686909326426934359691714640/2641629941660649835\ 42180857629*c_0101_5^3 + 2955523706216065536029256517013462/2641629\ 94166064983542180857629*c_0101_5^2 - 463155919361109597623588205075475/264162994166064983542180857629*c_\ 0101_5 - 176432964961953198404486425842535/264162994166064983542180\ 857629, c_0011_4 + 232056649670514025805428741357161/26416299416606498354218085\ 7629*c_0101_5^25 - 1020465946188302371837976749313617/2641629941660\ 64983542180857629*c_0101_5^24 - 6648163749106222604450444277249014/\ 264162994166064983542180857629*c_0101_5^23 + 20823777963572142952607092425046226/264162994166064983542180857629*\ c_0101_5^22 + 72412847336073399465470465452670911/26416299416606498\ 3542180857629*c_0101_5^21 - 161958883263047347831098746961886236/26\ 4162994166064983542180857629*c_0101_5^20 - 319381510156898622727117949106743590/264162994166064983542180857629\ *c_0101_5^19 + 828049873367048328084497429031989641/264162994166064\ 983542180857629*c_0101_5^18 + 658133349963694346223256378303242350/\ 264162994166064983542180857629*c_0101_5^17 - 2707628381401037902329959922866637622/26416299416606498354218085762\ 9*c_0101_5^16 - 280888026677901151841739291498718423/26416299416606\ 4983542180857629*c_0101_5^15 + 522649414934787909853003891174429612\ 9/264162994166064983542180857629*c_0101_5^14 - 1552986844999603023139033914140979124/26416299416606498354218085762\ 9*c_0101_5^13 - 5490673524716310548103588350449765000/2641629941660\ 64983542180857629*c_0101_5^12 + 29894163877819553716396695187879228\ 80/264162994166064983542180857629*c_0101_5^11 + 2901207227027778110559023726901512974/26416299416606498354218085762\ 9*c_0101_5^10 - 1923377156689321606948536500051608302/2641629941660\ 64983542180857629*c_0101_5^9 - 105322946975663966707017026136107423\ 8/264162994166064983542180857629*c_0101_5^8 + 710845271392144643007215113041014801/264162994166064983542180857629\ *c_0101_5^7 + 275948210103021325114750082434914279/2641629941660649\ 83542180857629*c_0101_5^6 - 158553388470137669175929007843822098/26\ 4162994166064983542180857629*c_0101_5^5 - 50678114862051366787798398096917191/264162994166064983542180857629*\ c_0101_5^4 + 19076423128319731825666131480127051/264162994166064983\ 542180857629*c_0101_5^3 + 6380363303629094111337461808609085/264162\ 994166064983542180857629*c_0101_5^2 - 1025349426406584758040829459338198/264162994166064983542180857629*c\ _0101_5 - 384965297059780484607626409751601/26416299416606498354218\ 0857629, c_0101_0 + 43646135428514478176107040338402/264162994166064983542180857\ 629*c_0101_5^25 - 189398020870229145446646211905525/264162994166064\ 983542180857629*c_0101_5^24 - 1260310199947800308937236375967435/26\ 4162994166064983542180857629*c_0101_5^23 + 3839238611886857806702831784949734/264162994166064983542180857629*c\ _0101_5^22 + 13808422971823979080348168814182210/264162994166064983\ 542180857629*c_0101_5^21 - 29581654067415191124068098946670331/2641\ 62994166064983542180857629*c_0101_5^20 - 61394057499674212509474877091747348/264162994166064983542180857629*\ c_0101_5^19 + 151645491091866479759067129829179647/2641629941660649\ 83542180857629*c_0101_5^18 + 130723756429324267507358497809196398/2\ 64162994166064983542180857629*c_0101_5^17 - 498849370878381690192206535109016998/264162994166064983542180857629\ *c_0101_5^16 - 76836952242781888880568569809145129/2641629941660649\ 83542180857629*c_0101_5^15 + 968565491087158333482857283307416526/2\ 64162994166064983542180857629*c_0101_5^14 - 243575275476978964539823514044810042/264162994166064983542180857629\ *c_0101_5^13 - 1026162138875537886353562255483060488/26416299416606\ 4983542180857629*c_0101_5^12 + 508327708712012048369060137329020636\ /264162994166064983542180857629*c_0101_5^11 + 551364089151849479917545352296481421/264162994166064983542180857629\ *c_0101_5^10 - 330224321088040768024144770424775393/264162994166064\ 983542180857629*c_0101_5^9 - 202469866678929020500212042445076029/2\ 64162994166064983542180857629*c_0101_5^8 + 121601768247801613099117864573880637/264162994166064983542180857629\ *c_0101_5^7 + 53029499472390572977440292969581168/26416299416606498\ 3542180857629*c_0101_5^6 - 26802438501586955259429656019880385/2641\ 62994166064983542180857629*c_0101_5^5 - 9557275384579890637600108964386541/264162994166064983542180857629*c\ _0101_5^4 + 3152841045207060625938386358826791/26416299416606498354\ 2180857629*c_0101_5^3 + 1155425241048997998189997453688561/26416299\ 4166064983542180857629*c_0101_5^2 - 163690844063375776641812342356804/264162994166064983542180857629*c_\ 0101_5 - 66648521354934131087567844027813/2641629941660649835421808\ 57629, c_0101_2 - 94864546333272187029369678754265/264162994166064983542180857\ 629*c_0101_5^25 + 418127069926819047912841249146820/264162994166064\ 983542180857629*c_0101_5^24 + 2714014305418549251445800805978969/26\ 4162994166064983542180857629*c_0101_5^23 - 8542123629263117007774274587890501/264162994166064983542180857629*c\ _0101_5^22 - 29530804255222255167361059180527087/264162994166064983\ 542180857629*c_0101_5^21 + 66543330151608050913313542368726058/2641\ 62994166064983542180857629*c_0101_5^20 + 130061261767867534818814335932752205/264162994166064983542180857629\ *c_0101_5^19 - 340068184967268502139780231890738026/264162994166064\ 983542180857629*c_0101_5^18 - 266411228332146869641969708004276573/\ 264162994166064983542180857629*c_0101_5^17 + 1110863753731913567801275925084014816/26416299416606498354218085762\ 9*c_0101_5^16 + 105696336491578603176777674662496623/26416299416606\ 4983542180857629*c_0101_5^15 - 214217555124494478022587996483693080\ 9/264162994166064983542180857629*c_0101_5^14 + 653384558808327632862805613908824418/264162994166064983542180857629\ *c_0101_5^13 + 2247235824512978774002264337686116890/26416299416606\ 4983542180857629*c_0101_5^12 - 124280401278953220062198665551494650\ 6/264162994166064983542180857629*c_0101_5^11 - 1183978281481587507002284593666993817/26416299416606498354218085762\ 9*c_0101_5^10 + 798535980722688016525004730356241592/26416299416606\ 4983542180857629*c_0101_5^9 + 428919978980762458909731045819108063/\ 264162994166064983542180857629*c_0101_5^8 - 295328721239193597960183502364399098/264162994166064983542180857629\ *c_0101_5^7 - 112385524340855395645622223609508703/2641629941660649\ 83542180857629*c_0101_5^6 + 66010699880020884332678046171829208/264\ 162994166064983542180857629*c_0101_5^5 + 20708954946594167438748354216671103/264162994166064983542180857629*\ c_0101_5^4 - 7971453052569847339088184296109277/2641629941660649835\ 42180857629*c_0101_5^3 - 2626338501724925739310567493618292/2641629\ 94166064983542180857629*c_0101_5^2 + 430708591581518333024721921933840/264162994166064983542180857629*c_\ 0101_5 + 159702334189524124296794501323822/264162994166064983542180\ 857629, c_0101_3 - 167310314559557723389155701325658/26416299416606498354218085\ 7629*c_0101_5^25 + 736198863512279916152537335634454/26416299416606\ 4983542180857629*c_0101_5^24 + 4791729106752096502837220053925009/2\ 64162994166064983542180857629*c_0101_5^23 - 15028454665558018755101958870630822/264162994166064983542180857629*\ c_0101_5^22 - 52182915860279983199266518173009296/26416299416606498\ 3542180857629*c_0101_5^21 + 116943745991055258626606111710246747/26\ 4162994166064983542180857629*c_0101_5^20 + 230123869177953877197087009833967681/264162994166064983542180857629\ *c_0101_5^19 - 597843442779197233027875815542131618/264162994166064\ 983542180857629*c_0101_5^18 - 473683422857448753504650777863165596/\ 264162994166064983542180857629*c_0101_5^17 + 1954549306679036750132061682523441534/26416299416606498354218085762\ 9*c_0101_5^16 + 199348284856501842354497044182135703/26416299416606\ 4983542180857629*c_0101_5^15 - 377269564658076208138666400694414328\ 1/264162994166064983542180857629*c_0101_5^14 + 1126492304163435376554532148398868797/26416299416606498354218085762\ 9*c_0101_5^13 + 3963656670429777194825790333182665339/2641629941660\ 64983542180857629*c_0101_5^12 - 21633434640338227907076202482946205\ 28/264162994166064983542180857629*c_0101_5^11 - 2094782996193604357056219703873048376/26416299416606498354218085762\ 9*c_0101_5^10 + 1391795457131576943022196338578694206/2641629941660\ 64983542180857629*c_0101_5^9 + 760782731332445706694302697931658490\ /264162994166064983542180857629*c_0101_5^8 - 514447807284724539416324370812235006/264162994166064983542180857629\ *c_0101_5^7 - 199483710456092930514753219281744403/2641629941660649\ 83542180857629*c_0101_5^6 + 114755595421634911591521586082937887/26\ 4162994166064983542180857629*c_0101_5^5 + 36669537079990331722733908760587423/264162994166064983542180857629*\ c_0101_5^4 - 13804157776462752917049350817073062/264162994166064983\ 542180857629*c_0101_5^3 - 4618352730091884413373741713261602/264162\ 994166064983542180857629*c_0101_5^2 + 741151387058586773087580092076094/264162994166064983542180857629*c_\ 0101_5 + 278594013261350801762355218885283/264162994166064983542180\ 857629, c_0101_5^26 - 5*c_0101_5^25 - 26*c_0101_5^24 + 107*c_0101_5^23 + 258*c_0101_5^22 - 886*c_0101_5^21 - 956*c_0101_5^20 + 4398*c_0101_5^19 + 687*c_0101_5^18 - 13379*c_0101_5^17 + 5818*c_0101_5^16 + 23259*c_0101_5^15 - 20262*c_0101_5^14 - 19642*c_0101_5^13 + 27143*c_0101_5^12 + 4753*c_0101_5^11 - 15829*c_0101_5^10 + 450*c_0101_5^9 + 5802*c_0101_5^8 - 655*c_0101_5^7 - 1401*c_0101_5^6 + 193*c_0101_5^5 + 214*c_0101_5^4 - 22*c_0101_5^3 - 21*c_0101_5^2 + c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB