Magma V2.19-8 Tue Aug 20 2013 16:17:16 on localhost [Seed = 1377029764] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1506 geometric_solution 5.31209953 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 -0.174209197659 0.130574802362 0 0 2 2 0132 2310 2310 0132 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 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 2.834171925924 2.661275442167 3 1 1 4 0132 3201 0132 0132 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 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 0.166767471980 0.467435639582 2 4 6 5 0132 2310 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 0 1 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.035023258813 1.021302871074 6 5 2 3 2310 0132 0132 3201 0 0 0 0 0 -1 0 1 -1 0 1 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 1 -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.035023258813 1.021302871074 5 4 3 5 3012 0132 0132 1230 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.943395541765 1.011111873314 6 6 4 3 1302 2031 3201 0132 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.494026612934 0.472756072699 ==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' : negation(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' : negation(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' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], '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_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], '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_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_0101_0'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : 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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 1773591259690523541973362867665481/30789975788939916768125101804021\ *c_0101_3^16 + 2022262489802293651904001811692328/43985679698485595\ 38303585972003*c_0101_3^15 + 3818949065841691200477796385564071/307\ 89975788939916768125101804021*c_0101_3^14 + 23052773772967957032065741233042307/3078997578893991676812510180402\ 1*c_0101_3^13 - 396864830916155790952906652544597615/30789975788939\ 916768125101804021*c_0101_3^12 + 1290573573506683459027670122616112\ 10/30789975788939916768125101804021*c_0101_3^11 - 34240459398880025137708878237534112/993225025449674734455648445291*\ c_0101_3^10 - 1311812647114050084443936840710197705/307899757889399\ 16768125101804021*c_0101_3^9 + 134659756679379115803847857379647731\ /30789975788939916768125101804021*c_0101_3^8 - 1196071352800630400168600854344125758/30789975788939916768125101804\ 021*c_0101_3^7 - 92133369387936444985424538102768158/30789975788939\ 916768125101804021*c_0101_3^6 + 19895806385921846118267165816941235\ 13/30789975788939916768125101804021*c_0101_3^5 + 3196514922049430927680536363499481807/30789975788939916768125101804\ 021*c_0101_3^4 + 157903770392434194451340377556409193/4398567969848\ 559538303585972003*c_0101_3^3 + 421261153311914446350599690645215/1\ 41889289349953533493664063613*c_0101_3^2 - 107152683036288423272979465330266788/307899757889399167681251018040\ 21*c_0101_3 - 81959397617157597274027611496000165/30789975788939916\ 768125101804021, c_0011_0 - 1, c_0011_2 - 4839839987621381044899499/2117750587312739305875583039*c_010\ 1_3^16 + 40913977152675120694166960/2117750587312739305875583039*c_\ 0101_3^15 - 6856033252131794049727840/2117750587312739305875583039*\ c_0101_3^14 + 46419323122539571457774113/21177505873127393058755830\ 39*c_0101_3^13 - 1080220906093376975760610105/211775058731273930587\ 5583039*c_0101_3^12 + 832129429103137793238740783/21177505873127393\ 05875583039*c_0101_3^11 - 2800484738204048553734852357/211775058731\ 2739305875583039*c_0101_3^10 - 3214259714639471927798314248/2117750\ 587312739305875583039*c_0101_3^9 + 3680631678654492018870135621/2117750587312739305875583039*c_0101_3^\ 8 - 5348617295762971996678138056/2117750587312739305875583039*c_010\ 1_3^7 + 802979870551592638665781361/2117750587312739305875583039*c_\ 0101_3^6 + 8315372548260378142272753917/211775058731273930587558303\ 9*c_0101_3^5 + 3037451327824899557676654186/21177505873127393058755\ 83039*c_0101_3^4 + 677543488345720242171417112/21177505873127393058\ 75583039*c_0101_3^3 - 10945520467895060363009287/211775058731273930\ 5875583039*c_0101_3^2 + 1098468382504633582366111220/21177505873127\ 39305875583039*c_0101_3 - 936956194449918969045565210/2117750587312\ 739305875583039, c_0011_4 - 7401820163739609970019783457/141889289349953533493664063613*\ c_0011_6*c_0101_3^16 + 58412848842610491166959202727/14188928934995\ 3533493664063613*c_0011_6*c_0101_3^15 + 21082233435818503479661959162/141889289349953533493664063613*c_0011\ _6*c_0101_3^14 + 98579661595250418246571727262/14188928934995353349\ 3664063613*c_0011_6*c_0101_3^13 - 1644743734938439572816722888649/1\ 41889289349953533493664063613*c_0011_6*c_0101_3^12 + 393204252019784184055850438759/141889289349953533493664063613*c_001\ 1_6*c_0101_3^11 - 4412520363473573606667465412945/14188928934995353\ 3493664063613*c_0011_6*c_0101_3^10 - 5933644474750475509519988594995/141889289349953533493664063613*c_00\ 11_6*c_0101_3^9 - 15069910044715599989208882182/1418892893499535334\ 93664063613*c_0011_6*c_0101_3^8 - 5250974217629728704002970472425/1\ 41889289349953533493664063613*c_0011_6*c_0101_3^7 - 1073101189960945284234008543069/141889289349953533493664063613*c_00\ 11_6*c_0101_3^6 + 8120574184713928726616694689564/14188928934995353\ 3493664063613*c_0011_6*c_0101_3^5 + 13936740062508487036108627831004/141889289349953533493664063613*c_0\ 011_6*c_0101_3^4 + 5874500758735370885686856669400/1418892893499535\ 33493664063613*c_0011_6*c_0101_3^3 + 1477139690227839937595367532750/141889289349953533493664063613*c_00\ 11_6*c_0101_3^2 + 283781998382028134058284076107/141889289349953533\ 493664063613*c_0011_6*c_0101_3 - 148572772045258885624689105306/141\ 889289349953533493664063613*c_0011_6, c_0011_6^2 + 137381353178843036662221883/283778578699907066987328127226\ *c_0101_3^16 - 1505101571837066960951348503/28377857869990706698732\ 8127226*c_0101_3^15 + 2823187315759303649404614131/2837785786999070\ 66987328127226*c_0101_3^14 + 213303082922448088131662757/1418892893\ 49953533493664063613*c_0101_3^13 + 17332851000344370116647176322/141889289349953533493664063613*c_0101\ _3^12 - 99005857987789951592589204945/28377857869990706698732812722\ 6*c_0101_3^11 + 38681583951957933427036678615/141889289349953533493\ 664063613*c_0101_3^10 - 44042068091039820304950306123/1418892893499\ 53533493664063613*c_0101_3^9 - 217702880370753374254239054540/14188\ 9289349953533493664063613*c_0101_3^8 + 160861740846801696995774962351/283778578699907066987328127226*c_010\ 1_3^7 - 166898771819188404670372129139/2837785786999070669873281272\ 26*c_0101_3^6 - 453550112474182487460531548129/28377857869990706698\ 7328127226*c_0101_3^5 + 452819200925931164331090730943/283778578699\ 907066987328127226*c_0101_3^4 + 626909933821820991884924456877/2837\ 78578699907066987328127226*c_0101_3^3 - 35969739328271296173829656027/141889289349953533493664063613*c_0101\ _3^2 + 6647126383439157453303947105/283778578699907066987328127226*\ c_0101_3 - 29249923286227093535569995439/28377857869990706698732812\ 7226, c_0101_0 + 3075009177931154066201391768/141889289349953533493664063613*\ c_0101_3^16 - 24603453475707135872422691562/14188928934995353349366\ 4063613*c_0101_3^15 - 6169476550643630173602810174/1418892893499535\ 33493664063613*c_0101_3^14 - 39485582432254156662498954499/14188928\ 9349953533493664063613*c_0101_3^13 + 688032852550608438469180753892/141889289349953533493664063613*c_010\ 1_3^12 - 236961491090858265467946795586/141889289349953533493664063\ 613*c_0101_3^11 + 1836319617619071196363702122909/14188928934995353\ 3493664063613*c_0101_3^10 + 2264803924594861805821598080496/1418892\ 89349953533493664063613*c_0101_3^9 - 307286949815902616598375459320/141889289349953533493664063613*c_010\ 1_3^8 + 2127461155877604532858210363282/141889289349953533493664063\ 613*c_0101_3^7 + 199920581350444132602984803310/1418892893499535334\ 93664063613*c_0101_3^6 - 3502574994255668084035104570970/1418892893\ 49953533493664063613*c_0101_3^5 - 5308946906212820241927179530808/1\ 41889289349953533493664063613*c_0101_3^4 - 1857000086446234632924757863726/141889289349953533493664063613*c_01\ 01_3^3 - 175147825278336105629101857205/141889289349953533493664063\ 613*c_0101_3^2 + 130198684640141254691570647312/1418892893499535334\ 93664063613*c_0101_3 + 61145853387849211828547717489/14188928934995\ 3533493664063613, c_0101_1 + 4066984825233854367647001/2117750587312739305875583039*c_010\ 1_3^16 - 33696658266563856878623298/2117750587312739305875583039*c_\ 0101_3^15 - 276602216279180697255933/2117750587312739305875583039*c\ _0101_3^14 - 36135610785378583054542256/211775058731273930587558303\ 9*c_0101_3^13 + 901850851482816068585043395/21177505873127393058755\ 83039*c_0101_3^12 - 533069481953582757606581925/2117750587312739305\ 875583039*c_0101_3^11 + 2169297549719209379344244006/21177505873127\ 39305875583039*c_0101_3^10 + 3074648693385124071115768310/211775058\ 7312739305875583039*c_0101_3^9 - 3025972278077368923245164046/21177\ 50587312739305875583039*c_0101_3^8 + 4230656723903005569152769859/2117750587312739305875583039*c_0101_3^\ 7 - 257921852166388462793899241/2117750587312739305875583039*c_0101\ _3^6 - 7503254883705083251864225979/2117750587312739305875583039*c_\ 0101_3^5 - 2767374562666762095120340964/211775058731273930587558303\ 9*c_0101_3^4 - 589431387990326408921389474/211775058731273930587558\ 3039*c_0101_3^3 + 57280814553665547928064393/2117750587312739305875\ 583039*c_0101_3^2 - 292880254920739604343835768/2117750587312739305\ 875583039*c_0101_3 + 1693150425836310873899897509/21177505873127393\ 05875583039, c_0101_3^17 - 8*c_0101_3^16 - 2*c_0101_3^15 - 13*c_0101_3^14 + 224*c_0101_3^13 - 77*c_0101_3^12 + 601*c_0101_3^11 + 728*c_0101_3^10 - 86*c_0101_3^9 + 679*c_0101_3^8 + 40*c_0101_3^7 - 1118*c_0101_3^6 - 1782*c_0101_3^5 - 594*c_0101_3^4 - 49*c_0101_3^3 + 57*c_0101_3^2 + 42*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB