Magma V2.19-8 Tue Aug 20 2013 16:16:16 on localhost [Seed = 3566553142] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0534 geometric_solution 4.55346814 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 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 -1 1 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.717040941738 0.115772023879 0 2 0 2 0132 0132 1023 1023 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 0 1 -1 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.559954695539 0.377100924407 3 1 4 1 0132 0132 0132 1023 0 0 0 0 0 0 -1 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 0 1 -1 -1 0 0 1 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.445694718682 1.928625655220 2 4 4 5 0132 3201 2310 0132 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 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 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.098041525937 0.647395838930 5 3 3 2 0132 3201 2310 0132 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 0 -1 0 0 0 0 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.098041525937 0.647395838930 4 6 3 6 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.040089516813 1.179162250297 6 5 6 5 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.420599778118 0.317113113018 ==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' : negation(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' : negation(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' : negation(d['1']), 's_0_6' : negation(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_4'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 25843287986437169051742610424559040544/4484388006729211116252898693\ 2561689*c_0110_6^16 - 328026299774381162335504089858595379176/44843\ 880067292111162528986932561689*c_0110_6^15 + 541210065468771049875819159292968320748/448438800672921111625289869\ 32561689*c_0110_6^14 + 3396328170224330320952613939360763964224/448\ 43880067292111162528986932561689*c_0110_6^13 - 8910021910884050664597342910701217643493/44843880067292111162528986\ 932561689*c_0110_6^12 - 8958611911316737526383740130387808767580/44\ 843880067292111162528986932561689*c_0110_6^11 + 31814349010741409384936349950856729149818/4484388006729211116252898\ 6932561689*c_0110_6^10 + 1815473181159321194395922803114229595009/6\ 406268581041730166075569561794527*c_0110_6^9 - 42263085090666239375589837903431008707755/4484388006729211116252898\ 6932561689*c_0110_6^8 - 24060840027837711681650634436291366141601/4\ 4843880067292111162528986932561689*c_0110_6^7 + 23125082645684648598110742351859393255163/4484388006729211116252898\ 6932561689*c_0110_6^6 + 24266249687038732154329570173142998216496/4\ 4843880067292111162528986932561689*c_0110_6^5 + 106287441917575073928486271404683471814/448438800672921111625289869\ 32561689*c_0110_6^4 - 7689968728210923082356202099929143240292/4484\ 3880067292111162528986932561689*c_0110_6^3 - 4232774262504805951805881558392596419904/44843880067292111162528986\ 932561689*c_0110_6^2 - 1079846345822620715015673033113742368247/448\ 43880067292111162528986932561689*c_0110_6 - 108759054152796910143105290988712600796/448438800672921111625289869\ 32561689, c_0011_0 - 1, c_0011_4 + 120980705553973690169769268812288/12889876420607102949850240\ 566991*c_0110_6^16 - 1544314983785999268267793641282272/12889876420\ 607102949850240566991*c_0110_6^15 + 2647288175835443081400583685437184/12889876420607102949850240566991\ *c_0110_6^14 + 15676967621428357380365481693698264/1288987642060710\ 2949850240566991*c_0110_6^13 - 42778142119306303706302105322759244/\ 12889876420607102949850240566991*c_0110_6^12 - 38561588790476749171850324567214014/1288987642060710294985024056699\ 1*c_0110_6^11 + 150771658680553447326074098867256970/12889876420607\ 102949850240566991*c_0110_6^10 + 4814338065112361456062019696570220\ 1/12889876420607102949850240566991*c_0110_6^9 - 198178954205533697884298897075736782/128898764206071029498502405669\ 91*c_0110_6^8 - 98339746593022402537630638962504504/128898764206071\ 02949850240566991*c_0110_6^7 + 111421553657823057713683514307398640\ /12889876420607102949850240566991*c_0110_6^6 + 104779833253604855252168993910346368/128898764206071029498502405669\ 91*c_0110_6^5 - 4607604619465767031332486927348854/1288987642060710\ 2949850240566991*c_0110_6^4 - 34323753047772116674359248602716134/1\ 2889876420607102949850240566991*c_0110_6^3 - 17835974821956355762396312677907437/1288987642060710294985024056699\ 1*c_0110_6^2 - 4302225036274721392367217376375243/12889876420607102\ 949850240566991*c_0110_6 - 399544526746280960141213627219092/128898\ 76420607102949850240566991, c_0101_0 + 313278273089854814857040143727624/12889876420607102949850240\ 566991*c_0110_6^16 - 3995501726717686024168561764090044/12889876420\ 607102949850240566991*c_0110_6^15 + 6810866278142083937976819244504744/12889876420607102949850240566991\ *c_0110_6^14 + 40668215829555902500887375307457155/1288987642060710\ 2949850240566991*c_0110_6^13 - 110311817696541461163232325005334267\ /12889876420607102949850240566991*c_0110_6^12 - 101065505546779066874138247155336546/128898764206071029498502405669\ 91*c_0110_6^11 + 389178916569492584984343942503631207/1288987642060\ 7102949850240566991*c_0110_6^10 + 129077140013523369267009749526828\ 303/12889876420607102949850240566991*c_0110_6^9 - 511402882568328824729825509241776494/128898764206071029498502405669\ 91*c_0110_6^8 - 260771482443172827480913087650988193/12889876420607\ 102949850240566991*c_0110_6^7 + 28528740274206020669235838457840613\ 2/12889876420607102949850240566991*c_0110_6^6 + 275005039315351073486390355350588359/128898764206071029498502405669\ 91*c_0110_6^5 - 8655724513660467914206084173683970/1288987642060710\ 2949850240566991*c_0110_6^4 - 89187677709887290531806061145175962/1\ 2889876420607102949850240566991*c_0110_6^3 - 47349419636438487074865975531878189/1288987642060710294985024056699\ 1*c_0110_6^2 - 11626968447972045020623232275461301/1288987642060710\ 2949850240566991*c_0110_6 - 1107851638233891071311078129939956/1288\ 9876420607102949850240566991, c_0101_1 + 57895021287849307872098050003960/128898764206071029498502405\ 66991*c_0110_6^16 - 728725373592643766188670389554900/1288987642060\ 7102949850240566991*c_0110_6^15 + 113345083185274659848609531136045\ 6/12889876420607102949850240566991*c_0110_6^14 + 7752112575306094309587166234154265/12889876420607102949850240566991\ *c_0110_6^13 - 19182814582439379873584859529088691/1288987642060710\ 2949850240566991*c_0110_6^12 - 22330843798680751492200989799668671/\ 12889876420607102949850240566991*c_0110_6^11 + 69582493547022258791260156807441814/1288987642060710294985024056699\ 1*c_0110_6^10 + 36326246736842193882050917480998786/128898764206071\ 02949850240566991*c_0110_6^9 - 93160577856653479399979017788001808/\ 12889876420607102949850240566991*c_0110_6^8 - 64188229288728334105422031383574299/1288987642060710294985024056699\ 1*c_0110_6^7 + 48005541773702228729665411536555253/1288987642060710\ 2949850240566991*c_0110_6^6 + 60584933060203534204690475783170651/1\ 2889876420607102949850240566991*c_0110_6^5 + 4907294627103778595438106785346082/12889876420607102949850240566991\ *c_0110_6^4 - 18131864974584801635812113389061595/12889876420607102\ 949850240566991*c_0110_6^3 - 11216866892686166620535926416708449/12\ 889876420607102949850240566991*c_0110_6^2 - 3104531445699663165181384553090524/12889876420607102949850240566991\ *c_0110_6 - 344272527306958050107659365534433/128898764206071029498\ 50240566991, c_0101_2 - 161551474176613559688386183000104/12889876420607102949850240\ 566991*c_0110_6^16 + 2062754393005120748866157451329308/12889876420\ 607102949850240566991*c_0110_6^15 - 3543088535791431891911958111915448/12889876420607102949850240566991\ *c_0110_6^14 - 20909399464726583113719668951770747/1288987642060710\ 2949850240566991*c_0110_6^13 + 57167959441551495552638985685027069/\ 12889876420607102949850240566991*c_0110_6^12 + 51187095544051346603652358180981261/1288987642060710294985024056699\ 1*c_0110_6^11 - 201109201469314875116419892625809503/12889876420607\ 102949850240566991*c_0110_6^10 - 6349785370880448956834289525764705\ 5/12889876420607102949850240566991*c_0110_6^9 + 263570429856137195646715490503876351/128898764206071029498502405669\ 91*c_0110_6^8 + 130714082583472690156466706303278791/12889876420607\ 102949850240566991*c_0110_6^7 - 14770395691566008756166002965577885\ 7/12889876420607102949850240566991*c_0110_6^6 - 139471930630629601873438355187158062/128898764206071029498502405669\ 91*c_0110_6^5 + 5661537539944033220540960164406049/1288987642060710\ 2949850240566991*c_0110_6^4 + 45471629592407734759621303153895710/1\ 2889876420607102949850240566991*c_0110_6^3 + 23931832419595188330345212099903822/1288987642060710294985024056699\ 1*c_0110_6^2 + 5838270288434614945055913264636218/12889876420607102\ 949850240566991*c_0110_6 + 552518488523827130699624882119118/128898\ 76420607102949850240566991, c_0101_3 - 30829500851579408987651327859648/128898764206071029498502405\ 66991*c_0110_6^16 + 393491804265024172294933323692880/1288987642060\ 7102949850240566991*c_0110_6^15 - 673632778249843276499829017207272\ /12889876420607102949850240566991*c_0110_6^14 - 4001146426005201518330067803015440/12889876420607102949850240566991\ *c_0110_6^13 + 10906468890168610587745690478395006/1288987642060710\ 2949850240566991*c_0110_6^12 + 9886979307434048812831605052442774/1\ 2889876420607102949850240566991*c_0110_6^11 - 38566875457197270396681520604783565/1288987642060710294985024056699\ 1*c_0110_6^10 - 12358852070017571981122005938277873/128898764206071\ 02949850240566991*c_0110_6^9 + 50978038371592455949077139101814535/\ 12889876420607102949850240566991*c_0110_6^8 + 24997989677298918924746313997543219/1288987642060710294985024056699\ 1*c_0110_6^7 - 28894610935916192288057908859116037/1288987642060710\ 2949850240566991*c_0110_6^6 - 26699222421148379533136867546614750/1\ 2889876420607102949850240566991*c_0110_6^5 + 1459262888706435260988834394925421/12889876420607102949850240566991\ *c_0110_6^4 + 8837464963667944785071424921891119/128898764206071029\ 49850240566991*c_0110_6^3 + 4454603225195987713526769872340727/1288\ 9876420607102949850240566991*c_0110_6^2 + 1064383545995778713362087583667207/12889876420607102949850240566991\ *c_0110_6 + 94168713930944809577303958984453/1288987642060710294985\ 0240566991, c_0110_6^17 - 25/2*c_0110_6^16 + 37/2*c_0110_6^15 + 1083/8*c_0110_6^14 - 1277/4*c_0110_6^13 - 3299/8*c_0110_6^12 + 9293/8*c_0110_6^11 + 728*c_0110_6^10 - 1532*c_0110_6^9 - 4987/4*c_0110_6^8 + 5637/8*c_0110_6^7 + 8879/8*c_0110_6^6 + 1535/8*c_0110_6^5 - 2347/8*c_0110_6^4 - 1781/8*c_0110_6^3 - 299/4*c_0110_6^2 - 51/4*c_0110_6 - 7/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB