Magma V2.19-8 Tue Aug 20 2013 16:18:32 on localhost [Seed = 2934911901] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2728 geometric_solution 5.97754679 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 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 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.958914575136 1.092636127012 0 3 5 4 0132 0132 0132 0132 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 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.795884310091 1.020641736399 3 0 4 5 2310 0132 3201 2310 0 0 0 0 0 0 0 0 1 0 0 -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 -1 0 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 0 0 0.795884310091 1.020641736399 3 1 2 3 3201 0132 3201 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.150486433244 0.622891070832 2 6 1 6 2310 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 0.960334219617 0.539499497532 2 5 5 1 3201 3201 2310 0132 0 0 0 0 0 0 0 0 -1 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 1 -1 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.284676287243 0.710315199650 6 4 6 4 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.587651860899 0.191190382224 ==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_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], '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' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_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: 22 Groebner basis: [ t - 7158510122594909670468370858499/1300814870368826538416428297*c_0110\ _6^21 + 53627541188375753067765002653736/13008148703688265384164282\ 97*c_0110_6^20 + 116817219836304460224125231772328/1300814870368826\ 538416428297*c_0110_6^19 + 82812179078701283781932361457696/1858306\ 95766975219773775471*c_0110_6^18 + 224165219779560125571354302955298/185830695766975219773775471*c_011\ 0_6^17 + 1863055668655188782317888552260180/13008148703688265384164\ 28297*c_0110_6^16 + 2498719975885178772997285026087285/130081487036\ 8826538416428297*c_0110_6^15 + 3642299040028469144680688001627/5994\ 538573128232895928241*c_0110_6^14 - 8213388587733847841668072096189725/1300814870368826538416428297*c_0\ 110_6^13 - 10975361877214670659295666734068396/13008148703688265384\ 16428297*c_0110_6^12 - 520884021010105368704692995492683/1858306957\ 66975219773775471*c_0110_6^11 - 917869186352098766043120952683497/1\ 85830695766975219773775471*c_0110_6^10 - 9962931436502679138885702946752328/1300814870368826538416428297*c_0\ 110_6^9 - 268442618292303141209178278318480/13008148703688265384164\ 28297*c_0110_6^8 + 2991277923066061742551235156956810/1300814870368\ 826538416428297*c_0110_6^7 - 2134900652798252049294219123814192/130\ 0814870368826538416428297*c_0110_6^6 - 1482986101242962729969152331650983/1300814870368826538416428297*c_0\ 110_6^5 + 673133150242331946839711326476934/13008148703688265384164\ 28297*c_0110_6^4 + 119954770695794490228438257674276/13008148703688\ 26538416428297*c_0110_6^3 - 173585551586152952239643332167224/13008\ 14870368826538416428297*c_0110_6^2 - 335193667171773233200913070040/1300814870368826538416428297*c_0110_\ 6 + 14493941373212363545797086734475/1300814870368826538416428297, c_0011_0 - 1, c_0011_4 + 581411965341808321995832152/5994538573128232895928241*c_0110\ _6^21 - 4357876108306632204802699644/5994538573128232895928241*c_01\ 10_6^20 - 9472726857378746061816637160/5994538573128232895928241*c_\ 0110_6^19 - 47030334102113913423681389633/5994538573128232895928241\ *c_0110_6^18 - 127241063596361467406613219058/599453857312823289592\ 8241*c_0110_6^17 - 150676462549898444741427727544/59945385731282328\ 95928241*c_0110_6^16 - 202016816609236752222356507248/5994538573128\ 232895928241*c_0110_6^15 - 63032501416688526221697006107/5994538573\ 128232895928241*c_0110_6^14 + 667927543483781777825699498904/599453\ 8573128232895928241*c_0110_6^13 + 888846115141381324358283509818/59\ 94538573128232895928241*c_0110_6^12 + 290757502029780226513469867826/5994538573128232895928241*c_0110_6^1\ 1 + 518741474383812648690096070734/5994538573128232895928241*c_0110\ _6^10 + 806299449291033226735253975493/5994538573128232895928241*c_\ 0110_6^9 + 16858095673414538395031820598/5994538573128232895928241*\ c_0110_6^8 - 244722519192700497027374408471/59945385731282328959282\ 41*c_0110_6^7 + 174389312896506529500682422486/59945385731282328959\ 28241*c_0110_6^6 + 119981495138279467034809741831/59945385731282328\ 95928241*c_0110_6^5 - 55447077641015030051587963137/599453857312823\ 2895928241*c_0110_6^4 - 9705887873917420098314290971/59945385731282\ 32895928241*c_0110_6^3 + 14154079488521725298738081582/599453857312\ 8232895928241*c_0110_6^2 - 12430015027154206536021783/5994538573128\ 232895928241*c_0110_6 - 1191609709983868741852029162/59945385731282\ 32895928241, c_0101_0 + 1654668138115058809829280830/5994538573128232895928241*c_011\ 0_6^21 - 12387231946139830198060790000/5994538573128232895928241*c_\ 0110_6^20 - 27070555880595733065951090633/5994538573128232895928241\ *c_0110_6^19 - 134100563473856904734980351352/599453857312823289592\ 8241*c_0110_6^18 - 363351521479047938522051895294/59945385731282328\ 95928241*c_0110_6^17 - 432226962487337551891440737271/5994538573128\ 232895928241*c_0110_6^16 - 579070941341501521651169438437/599453857\ 3128232895928241*c_0110_6^15 - 185045132104063189190508447600/59945\ 38573128232895928241*c_0110_6^14 + 1898526739967106031426800779977/5994538573128232895928241*c_0110_6^\ 13 + 2546615941796346426165781986307/5994538573128232895928241*c_01\ 10_6^12 + 851157480768675889327580738095/5994538573128232895928241*\ c_0110_6^11 + 1485492080435019173193517693437/599453857312823289592\ 8241*c_0110_6^10 + 2311116242650616821758370164735/5994538573128232\ 895928241*c_0110_6^9 + 71052502743298187120564157198/59945385731282\ 32895928241*c_0110_6^8 - 694745307969832249519377551436/59945385731\ 28232895928241*c_0110_6^7 + 492236549431892126995797167036/59945385\ 73128232895928241*c_0110_6^6 + 346751768741222383182044090199/59945\ 38573128232895928241*c_0110_6^5 - 155455752360110420781958645011/59\ 94538573128232895928241*c_0110_6^4 - 28674777957314598233699920591/5994538573128232895928241*c_0110_6^3 + 40471754583934383141760520614/5994538573128232895928241*c_0110_6^2 + 196877424195511542852966115/5994538573128232895928241*c_0110_6 - 3405011009414912742914859743/5994538573128232895928241, c_0101_1 + 126503958473414978272854379/5994538573128232895928241*c_0110\ _6^21 - 948091126550498618127433786/5994538573128232895928241*c_011\ 0_6^20 - 2061051833473179867780214580/5994538573128232895928241*c_0\ 110_6^19 - 10240491010219384804557514852/5994538573128232895928241*\ c_0110_6^18 - 27702997839494152870185228141/59945385731282328959282\ 41*c_0110_6^17 - 32867827341572113176979418506/59945385731282328959\ 28241*c_0110_6^16 - 44133304525514023809069440626/59945385731282328\ 95928241*c_0110_6^15 - 13931160939480595726210157202/59945385731282\ 32895928241*c_0110_6^14 + 145014429007134310939287075878/5994538573\ 128232895928241*c_0110_6^13 + 193419321112749748276923864701/599453\ 8573128232895928241*c_0110_6^12 + 64160119521224167157586870176/599\ 4538573128232895928241*c_0110_6^11 + 113781746400104898724856704599/5994538573128232895928241*c_0110_6^1\ 0 + 176150069307664109955411612586/5994538573128232895928241*c_0110\ _6^9 + 4911614425224666070614967791/5994538573128232895928241*c_011\ 0_6^8 - 52355491462838392107209624717/5994538573128232895928241*c_0\ 110_6^7 + 38116938241398311291418089867/5994538573128232895928241*c\ _0110_6^6 + 26313622390670313621320361748/5994538573128232895928241\ *c_0110_6^5 - 11928258938426725143945652405/59945385731282328959282\ 41*c_0110_6^4 - 2116820707811762030482990251/5994538573128232895928\ 241*c_0110_6^3 + 3117710529992735012000331036/599453857312823289592\ 8241*c_0110_6^2 + 8240300902353818590430894/59945385731282328959282\ 41*c_0110_6 - 261224203453750347903875899/5994538573128232895928241\ , c_0101_2 + 1243395630103639112440436187/5994538573128232895928241*c_011\ 0_6^21 - 9312371061186937802760794589/5994538573128232895928241*c_0\ 110_6^20 - 20313130467849265885223190602/5994538573128232895928241*\ c_0110_6^19 - 100694355702832548574899934341/5994538573128232895928\ 241*c_0110_6^18 - 272702588133454111790387239168/599453857312823289\ 5928241*c_0110_6^17 - 323818061482292157830948632567/59945385731282\ 32895928241*c_0110_6^16 - 433892944046163704662770204512/5994538573\ 128232895928241*c_0110_6^15 - 137392822408852838201959623206/599453\ 8573128232895928241*c_0110_6^14 + 1427522983286712171903591851508/5\ 994538573128232895928241*c_0110_6^13 + 1909060130238286754212875128164/5994538573128232895928241*c_0110_6^\ 12 + 632415061238303637850342295671/5994538573128232895928241*c_011\ 0_6^11 + 1113086324365029596763753197738/5994538573128232895928241*\ c_0110_6^10 + 1731983720335076431245051807035/599453857312823289592\ 8241*c_0110_6^9 + 46468634185507727769864837351/5994538573128232895\ 928241*c_0110_6^8 - 523153860044336915905252697972/5994538573128232\ 895928241*c_0110_6^7 + 371085557077786861172047757351/5994538573128\ 232895928241*c_0110_6^6 + 259238266162714822307141005957/5994538573\ 128232895928241*c_0110_6^5 - 117601935680765446625150990351/5994538\ 573128232895928241*c_0110_6^4 - 21316258284815381082387804582/59945\ 38573128232895928241*c_0110_6^3 + 30383478063388434134378225441/599\ 4538573128232895928241*c_0110_6^2 + 76408465538414382221022974/5994538573128232895928241*c_0110_6 - 2559995345958472432225538442/5994538573128232895928241, c_0101_3 - 1252184679934446856297078760/5994538573128232895928241*c_011\ 0_6^21 + 9378613256215748620873603020/5994538573128232895928241*c_0\ 110_6^20 + 20448017980867012080013480063/5994538573128232895928241*\ c_0110_6^19 + 101444110727243147518829403945/5994538573128232895928\ 241*c_0110_6^18 + 274661156994076814439111483845/599453857312823289\ 5928241*c_0110_6^17 + 326447334519934480983605707505/59945385731282\ 32895928241*c_0110_6^16 + 437859983343478836639227811072/5994538573\ 128232895928241*c_0110_6^15 + 139267064599605222326401920978/599453\ 8573128232895928241*c_0110_6^14 - 1435947676799493926959721322483/5\ 994538573128232895928241*c_0110_6^13 - 1922059128443367321142571527731/5994538573128232895928241*c_0110_6^\ 12 - 642096156598954886427292682069/5994538573128232895928241*c_011\ 0_6^11 - 1126149600370094970446980424727/5994538573128232895928241*\ c_0110_6^10 - 1745777705327214979319195866537/599453857312823289592\ 8241*c_0110_6^9 - 51890388307273713381437716978/5994538573128232895\ 928241*c_0110_6^8 + 521710098307563651722806661573/5994538573128232\ 895928241*c_0110_6^7 - 373154703918907476534890778096/5994538573128\ 232895928241*c_0110_6^6 - 260623323988593674480748835968/5994538573\ 128232895928241*c_0110_6^5 + 117094122376260566651819335707/5994538\ 573128232895928241*c_0110_6^4 + 21166642377152060702537774821/59945\ 38573128232895928241*c_0110_6^3 - 30429168938987792306952610391/599\ 4538573128232895928241*c_0110_6^2 - 129863947700789453972267922/5994538573128232895928241*c_0110_6 + 2540339387418322313894704560/5994538573128232895928241, c_0110_6^22 - 7*c_0110_6^21 - 20*c_0110_6^20 - 89*c_0110_6^19 - 259*c_0110_6^18 - 368*c_0110_6^17 - 477*c_0110_6^16 - 282*c_0110_6^15 + 1093*c_0110_6^14 + 2097*c_0110_6^13 + 1263*c_0110_6^12 + 1148*c_0110_6^11 + 1833*c_0110_6^10 + 722*c_0110_6^9 - 399*c_0110_6^8 + 93*c_0110_6^7 + 354*c_0110_6^6 + 8*c_0110_6^5 - 63*c_0110_6^4 + 16*c_0110_6^3 + 12*c_0110_6^2 - 2*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB