Magma V2.19-8 Tue Aug 20 2013 16:16:09 on localhost [Seed = 3819077411] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0406 geometric_solution 4.46786850 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.689261349253 0.052279419579 0 0 2 2 2310 0132 2310 0132 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 2.068920374119 0.315664911975 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 -1 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 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 1.473160722546 0.673328649788 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.105740421003 0.324152544049 5 3 5 6 2310 0132 2103 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.235267751204 1.229318020790 4 6 4 3 2103 2310 3201 0132 0 0 0 0 0 1 -1 0 1 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.235267751204 1.229318020790 6 6 4 5 1302 2031 0132 3201 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.589743250942 0.611569521645 ==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_5']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0011_5'], '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_5'], 'c_0011_4' : 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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0110_6']), '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' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : negation(d['c_0101_0']), '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_5, c_0011_6, c_0101_0, c_0101_1, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 42922411381632605610980242350781/875627270060755938283299968368*c_0\ 110_6^23 + 5672081260797662945004932915037/109453408757594492285412\ 496046*c_0110_6^22 + 297632826857237976642927128362119/875627270060\ 755938283299968368*c_0110_6^21 - 115671395242374154187496897249763/\ 437813635030377969141649984184*c_0110_6^20 - 421824004501456646595273091458665/437813635030377969141649984184*c_\ 0110_6^19 + 1033849843586138717307608523821705/87562727006075593828\ 3299968368*c_0110_6^18 + 1739217374410959589159767798623291/8756272\ 70060755938283299968368*c_0110_6^17 - 3268996445905970840076106198288267/875627270060755938283299968368*c\ _0110_6^16 - 910984002470704154058549475226211/43781363503037796914\ 1649984184*c_0110_6^15 + 7166059469588489937778559734288567/8756272\ 70060755938283299968368*c_0110_6^14 + 1901573359127962244344660836628681/875627270060755938283299968368*c\ _0110_6^13 - 5849009367358498655470513463161645/4378136350303779691\ 41649984184*c_0110_6^12 - 7442147978849087100829868741245023/875627\ 270060755938283299968368*c_0110_6^11 + 9456747289297885955593545421966545/875627270060755938283299968368*c\ _0110_6^10 + 16002664596520437763425591910495147/875627270060755938\ 283299968368*c_0110_6^9 - 275880004825742513075106054318905/5472670\ 4378797246142706248023*c_0110_6^8 - 28731760816533553310886167993534177/875627270060755938283299968368*\ c_0110_6^7 + 821428218848485837787795294238239/54726704378797246142\ 706248023*c_0110_6^6 + 14528072604413842373288618681109963/43781363\ 5030377969141649984184*c_0110_6^5 - 9360210595441717188478579050081303/437813635030377969141649984184*c\ _0110_6^4 - 4226533780092340912170183529751237/87562727006075593828\ 3299968368*c_0110_6^3 + 9018126200775421036474486891893999/87562727\ 0060755938283299968368*c_0110_6^2 - 2254811174081787056249843065870293/437813635030377969141649984184*c\ _0110_6 - 1606746863730304140146269032066551/8756272700607559382832\ 99968368, c_0011_0 - 1, c_0011_2 - 2546981715830196547652822661/437813635030377969141649984184*\ c_0110_6^23 - 1349321439732923935909663881/218906817515188984570824\ 992092*c_0110_6^22 + 23569741667391363219360575151/4378136350303779\ 69141649984184*c_0110_6^21 + 9785288983599783033637726661/218906817\ 515188984570824992092*c_0110_6^20 - 38265095327322583638332444141/218906817515188984570824992092*c_0110\ _6^19 - 22673678512954714557035849307/43781363503037796914164998418\ 4*c_0110_6^18 + 223620246791419081344272815053/43781363503037796914\ 1649984184*c_0110_6^17 - 23932721253320020721412412833/437813635030\ 377969141649984184*c_0110_6^16 - 229830590922819948515792890959/218\ 906817515188984570824992092*c_0110_6^15 + 297107663690893739058058579941/437813635030377969141649984184*c_011\ 0_6^14 + 838525926029397776308348686075/437813635030377969141649984\ 184*c_0110_6^13 - 256470981210534786025809137967/218906817515188984\ 570824992092*c_0110_6^12 - 1578967093471509129246187955745/43781363\ 5030377969141649984184*c_0110_6^11 - 208318836971752761307535721661/437813635030377969141649984184*c_011\ 0_6^10 + 1698892154203922917895624000655/43781363503037796914164998\ 4184*c_0110_6^9 + 155103918908936071004481702526/547267043787972461\ 42706248023*c_0110_6^8 - 2391862962034865403258783533409/4378136350\ 30377969141649984184*c_0110_6^7 - 1087537059199823631310441984781/2\ 18906817515188984570824992092*c_0110_6^6 + 1730783494496287857412980055063/218906817515188984570824992092*c_01\ 10_6^5 + 147335390733392580652364760057/547267043787972461427062480\ 23*c_0110_6^4 - 1914259898378935044154339627053/4378136350303779691\ 41649984184*c_0110_6^3 + 498994385329151209053090123487/43781363503\ 0377969141649984184*c_0110_6^2 + 67151537779818564332274397071/5472\ 6704378797246142706248023*c_0110_6 - 135345303338700001031526677291/437813635030377969141649984184, c_0011_5 + 15408229425537606184662240401/875627270060755938283299968368\ *c_0110_6^23 - 10702323691113285589058456649/4378136350303779691416\ 49984184*c_0110_6^22 - 104583674208681856520324519453/8756272700607\ 55938283299968368*c_0110_6^21 + 58314818714468508650333311725/43781\ 3635030377969141649984184*c_0110_6^20 + 150080280495778609052670250765/437813635030377969141649984184*c_011\ 0_6^19 - 452654255632101381075703888369/875627270060755938283299968\ 368*c_0110_6^18 - 572693888592175879316024083833/875627270060755938\ 283299968368*c_0110_6^17 + 1358845187643074634153094404155/87562727\ 0060755938283299968368*c_0110_6^16 + 116849819278483111783009324289/218906817515188984570824992092*c_011\ 0_6^15 - 2804400454766975527933761196705/87562727006075593828329996\ 8368*c_0110_6^14 - 227568171895379806550225595213/87562727006075593\ 8283299968368*c_0110_6^13 + 1162430201230122606259574247243/2189068\ 17515188984570824992092*c_0110_6^12 + 2076183665334707904192245864041/875627270060755938283299968368*c_01\ 10_6^11 - 4636812445379947927946427013381/8756272700607559382832999\ 68368*c_0110_6^10 - 6222648750314966468410351592317/875627270060755\ 938283299968368*c_0110_6^9 + 360751797955852120057897296277/1094534\ 08757594492285412496046*c_0110_6^8 + 11333199098854032488831300328109/875627270060755938283299968368*c_0\ 110_6^7 - 3341576305227529097507151265989/4378136350303779691416499\ 84184*c_0110_6^6 - 1347575021967894471089845522319/1094534087575944\ 92285412496046*c_0110_6^5 + 515812301354667746813268307004/54726704\ 378797246142706248023*c_0110_6^4 + 1844815521242388130796077725303/875627270060755938283299968368*c_01\ 10_6^3 - 2307278914031044090147789723359/87562727006075593828329996\ 8368*c_0110_6^2 + 329538298262345094395332873511/218906817515188984\ 570824992092*c_0110_6 + 346662116037298485258671379209/875627270060\ 755938283299968368, c_0011_6 + 14930646314113887037371431947/875627270060755938283299968368\ *c_0110_6^23 - 5727423656503862745641676361/21890681751518898457082\ 4992092*c_0110_6^22 - 91974310636248926311140909329/875627270060755\ 938283299968368*c_0110_6^21 + 58904469315121767768348329549/4378136\ 35030377969141649984184*c_0110_6^20 + 120635788419404834082766960159/437813635030377969141649984184*c_011\ 0_6^19 - 438918671898891991435540460375/875627270060755938283299968\ 368*c_0110_6^18 - 422981904401217437644474663905/875627270060755938\ 283299968368*c_0110_6^17 + 1249668926420156968226786317577/87562727\ 0060755938283299968368*c_0110_6^16 + 85620274731621317330007338069/437813635030377969141649984184*c_0110\ _6^15 - 2390471621427620714632247232573/875627270060755938283299968\ 368*c_0110_6^14 + 94410208289566603989164040461/8756272700607559382\ 83299968368*c_0110_6^13 + 1963043565137125550094495429911/437813635\ 030377969141649984184*c_0110_6^12 + 1463609288987977011260437830109/875627270060755938283299968368*c_01\ 10_6^11 - 3821966705368825570958949605675/8756272700607559382832999\ 68368*c_0110_6^10 - 4799630251552335963938131423749/875627270060755\ 938283299968368*c_0110_6^9 + 202716775416435389068034262729/5472670\ 4378797246142706248023*c_0110_6^8 + 9250640453816174279727804483287/875627270060755938283299968368*c_01\ 10_6^7 - 1870551579120818877592205308427/21890681751518898457082499\ 2092*c_0110_6^6 - 3825159037715462795666104987317/43781363503037796\ 9141649984184*c_0110_6^5 + 3278752451297726153356283957467/43781363\ 5030377969141649984184*c_0110_6^4 + 475846016680887798664868170419/875627270060755938283299968368*c_011\ 0_6^3 - 1407056353903321987127074896105/875627270060755938283299968\ 368*c_0110_6^2 + 144396823146751796851862468825/4378136350303779691\ 41649984184*c_0110_6 + 323379549339243791207064614233/8756272700607\ 55938283299968368, c_0101_0 + 29562097825055877387402293923/875627270060755938283299968368\ *c_0110_6^23 - 4741344423402409019872089763/10945340875759449228541\ 2496046*c_0110_6^22 - 199722239856936691306041076017/87562727006075\ 5938283299968368*c_0110_6^21 + 101135092096916064833918916777/43781\ 3635030377969141649984184*c_0110_6^20 + 280729622474756384436553552851/437813635030377969141649984184*c_011\ 0_6^19 - 817007983960892701870285484319/875627270060755938283299968\ 368*c_0110_6^18 - 1089866429989326393297752350013/87562727006075593\ 8283299968368*c_0110_6^17 + 2472869984126176083490129747413/8756272\ 70060755938283299968368*c_0110_6^16 + 455955369737507175896605402969/437813635030377969141649984184*c_011\ 0_6^15 - 5155675199159536451203124558193/87562727006075593828329996\ 8368*c_0110_6^14 - 572459205111646892573134207303/87562727006075593\ 8283299968368*c_0110_6^13 + 4211172454673347845836628918711/4378136\ 35030377969141649984184*c_0110_6^12 + 4081341903113651861318221869865/875627270060755938283299968368*c_01\ 10_6^11 - 7816272208477902593418578554735/8756272700607559382832999\ 68368*c_0110_6^10 - 10879079433213277441797920880957/87562727006075\ 5938283299968368*c_0110_6^9 + 598054014778637748205705206141/109453\ 408757594492285412496046*c_0110_6^8 + 20254278322295065255075524601655/875627270060755938283299968368*c_0\ 110_6^7 - 1505359086373543424317100544897/1094534087575944922854124\ 96046*c_0110_6^6 - 9476238477241918675942829123093/4378136350303779\ 69141649984184*c_0110_6^5 + 7560926924342500374053041523569/4378136\ 35030377969141649984184*c_0110_6^4 + 2055550601983111578372896084307/875627270060755938283299968368*c_01\ 10_6^3 - 4902259507139396413064231235257/87562727006075593828329996\ 8368*c_0110_6^2 + 1613330894456137651532405764799/43781363503037796\ 9141649984184*c_0110_6 + 651022934224879105563627338553/87562727006\ 0755938283299968368, c_0101_1 - 43806353498648293726736785785/875627270060755938283299968368\ *c_0110_6^23 + 26004324267988681528723316069/4378136350303779691416\ 49984184*c_0110_6^22 + 289332045820192999568301788345/8756272700607\ 55938283299968368*c_0110_6^21 - 131878074509691674655790722869/4378\ 13635030377969141649984184*c_0110_6^20 - 391999101785367503258386319849/437813635030377969141649984184*c_011\ 0_6^19 + 1114125731401149557566520051521/87562727006075593828329996\ 8368*c_0110_6^18 + 1534309784146903329098289968521/8756272700607559\ 38283299968368*c_0110_6^17 - 3362017915261029344607288722263/875627\ 270060755938283299968368*c_0110_6^16 - 78288043565516823978964056897/54726704378797246142706248023*c_0110_\ 6^15 + 7013367331088766715631459888833/8756272700607559382832999683\ 68*c_0110_6^14 + 1016533204245632795269139499097/875627270060755938\ 283299968368*c_0110_6^13 - 1403681588633953121105245247843/10945340\ 8757594492285412496046*c_0110_6^12 - 6074932635103539081569894768769/875627270060755938283299968368*c_01\ 10_6^11 + 9200698748138237632105294783617/8756272700607559382832999\ 68368*c_0110_6^10 + 14329530454494671751633474028729/87562727006075\ 5938283299968368*c_0110_6^9 - 359925313427666476590150629370/547267\ 04378797246142706248023*c_0110_6^8 - 26775732688667727310840852224765/875627270060755938283299968368*c_0\ 110_6^7 + 8119110935836517516299119868029/4378136350303779691416499\ 84184*c_0110_6^6 + 6038963443208729219530117115385/2189068175151889\ 84570824992092*c_0110_6^5 - 1241301076810635973069714903142/5472670\ 4378797246142706248023*c_0110_6^4 - 633525451734487340174037713595/875627270060755938283299968368*c_011\ 0_6^3 + 7594538911793551790109167629063/875627270060755938283299968\ 368*c_0110_6^2 - 1111573091819941110958825200219/218906817515188984\ 570824992092*c_0110_6 - 874165731992564169477243571741/875627270060\ 755938283299968368, c_0110_6^24 - c_0110_6^23 - 7*c_0110_6^22 + 5*c_0110_6^21 + 20*c_0110_6^20 - 23*c_0110_6^19 - 42*c_0110_6^18 + 74*c_0110_6^17 + 47*c_0110_6^16 - 165*c_0110_6^15 - 54*c_0110_6^14 + 271*c_0110_6^13 + 189*c_0110_6^12 - 212*c_0110_6^11 - 386*c_0110_6^10 + 83*c_0110_6^9 + 677*c_0110_6^8 - 269*c_0110_6^7 - 698*c_0110_6^6 + 400*c_0110_6^5 + 127*c_0110_6^4 - 208*c_0110_6^3 + 93*c_0110_6^2 + 45*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB