Magma V2.19-8 Tue Aug 20 2013 16:18:37 on localhost [Seed = 3398129657] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2798 geometric_solution 6.02905094 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 0321 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 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 0 0 0.967056041470 1.064497538143 0 0 5 4 0132 0321 0132 0132 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 1 0 -1 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 1.168275758783 1.080950639759 5 0 4 4 0321 0132 0213 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399111043157 0.494666146961 6 6 4 0 0132 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.067784811204 0.689692098769 3 2 1 2 2310 0213 0132 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.528035091025 0.559533229454 2 5 5 1 0321 1230 3012 0132 0 0 0 0 0 0 1 -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 1 -1 0 0 0 -1 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.489825418189 0.645659730170 3 6 6 3 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.889974412980 0.806793332550 ==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_3']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_1001_2'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_1001_2'], 'c_1010_0' : d['c_1001_2']})} 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_3, c_0011_4, c_0011_5, c_0101_0, c_0101_3, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 13997317688631770829191562998062309304468452/4595932132681808003048\ 613553854689158617893*c_1001_2^24 + 111081698363896810534921838298658668897994586/459593213268180800304\ 8613553854689158617893*c_1001_2^23 - 36801636117996480689870535982099154164187645/4595932132681808003048\ 613553854689158617893*c_1001_2^22 - 1240816101654892944329592744280525703237345233/45959321326818080030\ 48613553854689158617893*c_1001_2^21 - 699972351762721723223762542520726947673118590/459593213268180800304\ 8613553854689158617893*c_1001_2^20 + 5103489894943614630492968233405098549647522401/45959321326818080030\ 48613553854689158617893*c_1001_2^19 + 931623488550921095132751157570363327261941795/459593213268180800304\ 8613553854689158617893*c_1001_2^18 - 7473434306904990977573427800300783813902651123/45959321326818080030\ 48613553854689158617893*c_1001_2^17 + 9209193191322330814324952840601918978458595147/45959321326818080030\ 48613553854689158617893*c_1001_2^16 - 7118238523147475916535324891446864516322771909/45959321326818080030\ 48613553854689158617893*c_1001_2^15 - 32675010972939403028783286947539780881087646101/4595932132681808003\ 048613553854689158617893*c_1001_2^14 + 34357875246148179873267656102660685592441260863/4595932132681808003\ 048613553854689158617893*c_1001_2^13 + 40300732834218105141817192492148930239468013755/4595932132681808003\ 048613553854689158617893*c_1001_2^12 - 25235498146750665361529126503238264680595430275/4595932132681808003\ 048613553854689158617893*c_1001_2^11 + 11802939751493579239367625675437615395696422578/4595932132681808003\ 048613553854689158617893*c_1001_2^10 + 7880100718033369822561142556418569747196996459/45959321326818080030\ 48613553854689158617893*c_1001_2^9 - 56939682043815989780568658560073757428227935361/4595932132681808003\ 048613553854689158617893*c_1001_2^8 - 29334131035578979043763187255881443033060736678/4595932132681808003\ 048613553854689158617893*c_1001_2^7 + 8751818698443848206803878109998095043484658926/45959321326818080030\ 48613553854689158617893*c_1001_2^6 - 3305660777336481890452548176769330116732628259/45959321326818080030\ 48613553854689158617893*c_1001_2^5 - 9541273096352235510787388919446327451538754517/45959321326818080030\ 48613553854689158617893*c_1001_2^4 + 2725589357562474743142120647483514069814662817/45959321326818080030\ 48613553854689158617893*c_1001_2^3 + 7704711769187742056004865568356703157682743482/45959321326818080030\ 48613553854689158617893*c_1001_2^2 + 2323112189079071557026103209178548240920822784/45959321326818080030\ 48613553854689158617893*c_1001_2 - 29279636599046351779170689415324290869676421/4595932132681808003048\ 613553854689158617893, c_0011_0 - 1, c_0011_3 - 1257674128035171085107158158777755721976132/4595932132681808\ 003048613553854689158617893*c_1001_2^24 - 8997874335657230475573664845643251135651961/45959321326818080030486\ 13553854689158617893*c_1001_2^23 + 10128600230478479850930600287509069198328638/4595932132681808003048\ 613553854689158617893*c_1001_2^22 + 102203406999119444959467226806155949997335589/459593213268180800304\ 8613553854689158617893*c_1001_2^21 - 14353417989458756042292339289652355835183114/4595932132681808003048\ 613553854689158617893*c_1001_2^20 - 431544983486386634689126859981981787403236002/459593213268180800304\ 8613553854689158617893*c_1001_2^19 + 240702153842831349366414887312481439371128846/459593213268180800304\ 8613553854689158617893*c_1001_2^18 + 415251748501549526173171730480875259743717995/459593213268180800304\ 8613553854689158617893*c_1001_2^17 - 1068767024631536692993105221749084521900410458/45959321326818080030\ 48613553854689158617893*c_1001_2^16 + 1507045046461708719475688271713722201481724191/45959321326818080030\ 48613553854689158617893*c_1001_2^15 + 1554376261009245563371519422656030165875045590/45959321326818080030\ 48613553854689158617893*c_1001_2^14 - 3932334263123160943652648169853206268155125864/45959321326818080030\ 48613553854689158617893*c_1001_2^13 - 489856722642229195935266361395617797774110359/459593213268180800304\ 8613553854689158617893*c_1001_2^12 + 1903684985934635988859018634190827911214016423/45959321326818080030\ 48613553854689158617893*c_1001_2^11 - 2223081492374922281649997539007311255216003734/45959321326818080030\ 48613553854689158617893*c_1001_2^10 + 1257353838456711804895750195876541216453510276/45959321326818080030\ 48613553854689158617893*c_1001_2^9 + 3669649238087438769242242233068049023714847650/45959321326818080030\ 48613553854689158617893*c_1001_2^8 + 243121222497540786197644553111892342414296678/459593213268180800304\ 8613553854689158617893*c_1001_2^7 - 576512639484017912468979802146877033076042509/459593213268180800304\ 8613553854689158617893*c_1001_2^6 + 510237913936108749186408023366303624630186498/459593213268180800304\ 8613553854689158617893*c_1001_2^5 + 354456020940932021014068553834803156362251549/459593213268180800304\ 8613553854689158617893*c_1001_2^4 - 438017862999564478007798637799625094327033728/459593213268180800304\ 8613553854689158617893*c_1001_2^3 - 371645859334837595462522246866702410961871476/459593213268180800304\ 8613553854689158617893*c_1001_2^2 - 28367004874953751243305832361986959581947023/4595932132681808003048\ 613553854689158617893*c_1001_2 + 1058859814119458244076180376354883\ 4681223953/4595932132681808003048613553854689158617893, c_0011_4 + 391647567491262793992333253132747518524901/45959321326818080\ 03048613553854689158617893*c_1001_2^24 + 2559617213832472138145400517911857991030413/45959321326818080030486\ 13553854689158617893*c_1001_2^23 - 4686768301930406578090365206276435671139850/45959321326818080030486\ 13553854689158617893*c_1001_2^22 - 28615515711987429494810835470686761757409548/4595932132681808003048\ 613553854689158617893*c_1001_2^21 + 21403568688201087519150975897472335383035296/4595932132681808003048\ 613553854689158617893*c_1001_2^20 + 117696781778991416061861249402033991109959613/459593213268180800304\ 8613553854689158617893*c_1001_2^19 - 143275851712942516678433390872415696347740198/459593213268180800304\ 8613553854689158617893*c_1001_2^18 - 26605760974555290859353828319967448075913809/4595932132681808003048\ 613553854689158617893*c_1001_2^17 + 323880856544514940435514461186530153140307477/459593213268180800304\ 8613553854689158617893*c_1001_2^16 - 664414564202652883436608127987852803201632136/459593213268180800304\ 8613553854689158617893*c_1001_2^15 - 32298590927108707232160547397240149535231090/4595932132681808003048\ 613553854689158617893*c_1001_2^14 + 1144004253051642598186720933530821143468755579/45959321326818080030\ 48613553854689158617893*c_1001_2^13 - 522857006541013876269818869178897302798827912/459593213268180800304\ 8613553854689158617893*c_1001_2^12 - 124379830741667065059536066935115368058370455/459593213268180800304\ 8613553854689158617893*c_1001_2^11 + 651912821868787990941466432601199003237697744/459593213268180800304\ 8613553854689158617893*c_1001_2^10 - 795368095320130362705841926916008617272297517/459593213268180800304\ 8613553854689158617893*c_1001_2^9 - 564714830494430349730805260776318231197617253/459593213268180800304\ 8613553854689158617893*c_1001_2^8 + 149024680829109920801396119423360294610903228/459593213268180800304\ 8613553854689158617893*c_1001_2^7 + 42057643682191836534246442872446935531271256/4595932132681808003048\ 613553854689158617893*c_1001_2^6 - 128475167542066316484431957349529487846112661/459593213268180800304\ 8613553854689158617893*c_1001_2^5 - 24854289074740322425218600228670599708016737/4595932132681808003048\ 613553854689158617893*c_1001_2^4 + 131581211144239795979348132802089903334438657/459593213268180800304\ 8613553854689158617893*c_1001_2^3 + 43087879142607896106872602804082272379093755/4595932132681808003048\ 613553854689158617893*c_1001_2^2 - 83667483010831625257455818039387514322055/4595932132681808003048613\ 553854689158617893*c_1001_2 - 4417710760974659399428050213971750202\ 937244/4595932132681808003048613553854689158617893, c_0011_5 + 87678325440860210809342404861337349410297/459593213268180800\ 3048613553854689158617893*c_1001_2^24 - 94970224594816214147075479587131075507110/4595932132681808003048613\ 553854689158617893*c_1001_2^23 - 5469239904397802118766163059047866\ 892714001/4595932132681808003048613553854689158617893*c_1001_2^22 + 1216583108757510013775066608817761666129914/45959321326818080030486\ 13553854689158617893*c_1001_2^21 + 54163211942763795692953100587270730050085330/4595932132681808003048\ 613553854689158617893*c_1001_2^20 - 5937399359987747872955651701231207549890262/45959321326818080030486\ 13553854689158617893*c_1001_2^19 - 235182054854850429294292978772347412196366147/459593213268180800304\ 8613553854689158617893*c_1001_2^18 + 220981438267505430974828035439322291121534370/459593213268180800304\ 8613553854689158617893*c_1001_2^17 + 137162409228927287472973088394159908432950401/459593213268180800304\ 8613553854689158617893*c_1001_2^16 - 693062145658327484430509389757054602051861367/459593213268180800304\ 8613553854689158617893*c_1001_2^15 + 1065483984379870322689660990950793504958379629/45959321326818080030\ 48613553854689158617893*c_1001_2^14 + 422859514951980217068063896904614037970077535/459593213268180800304\ 8613553854689158617893*c_1001_2^13 - 2058997826642942628388689853946956860062863700/45959321326818080030\ 48613553854689158617893*c_1001_2^12 + 669972965807903639921375753667360870574822655/459593213268180800304\ 8613553854689158617893*c_1001_2^11 + 492938874210578368453921152510757077203221731/459593213268180800304\ 8613553854689158617893*c_1001_2^10 - 1325286982979093336010194928265998868999490519/45959321326818080030\ 48613553854689158617893*c_1001_2^9 + 1101325349673997479651624863733076761724303751/45959321326818080030\ 48613553854689158617893*c_1001_2^8 + 1178388016303216379661161676282240906840162797/45959321326818080030\ 48613553854689158617893*c_1001_2^7 - 218326998881629636627024720789480395718148769/459593213268180800304\ 8613553854689158617893*c_1001_2^6 - 101671056558518696568853839742371713503279496/459593213268180800304\ 8613553854689158617893*c_1001_2^5 + 255180237128284813062622569761303513691881858/459593213268180800304\ 8613553854689158617893*c_1001_2^4 + 83095767890565942600905162062456017361035484/4595932132681808003048\ 613553854689158617893*c_1001_2^3 - 207907961874657011436925499521538622841859188/459593213268180800304\ 8613553854689158617893*c_1001_2^2 - 81315114434924169311664761618641027664967625/4595932132681808003048\ 613553854689158617893*c_1001_2 - 4989824663311972540182920882262373\ 400196572/4595932132681808003048613553854689158617893, c_0101_0 + 2277847572540945331323096910100856999650157/4595932132681808\ 003048613553854689158617893*c_1001_2^24 + 16369939802638152570025311940475601142469347/4595932132681808003048\ 613553854689158617893*c_1001_2^23 - 17494505303706386979508617016886638617920580/4595932132681808003048\ 613553854689158617893*c_1001_2^22 - 183682178481171415300082638278958079279259629/459593213268180800304\ 8613553854689158617893*c_1001_2^21 + 15556567586675819457293641409535592054603458/4595932132681808003048\ 613553854689158617893*c_1001_2^20 + 760714111089142760732843601127731724364234505/459593213268180800304\ 8613553854689158617893*c_1001_2^19 - 387207058440213859147840414192217937972128117/459593213268180800304\ 8613553854689158617893*c_1001_2^18 - 681427573719025035035484508748586220988412772/459593213268180800304\ 8613553854689158617893*c_1001_2^17 + 1772841652881456326476046861631522872086292317/45959321326818080030\ 48613553854689158617893*c_1001_2^16 - 2626283691889199537098542078144252833077646827/45959321326818080030\ 48613553854689158617893*c_1001_2^15 - 2693092842084099855145833337919088437743029389/45959321326818080030\ 48613553854689158617893*c_1001_2^14 + 6457184588198620117511094758281373092103264806/45959321326818080030\ 48613553854689158617893*c_1001_2^13 + 1294689913677355006227758314222573331493056281/45959321326818080030\ 48613553854689158617893*c_1001_2^12 - 2685115977880998170273603967891398785734273561/45959321326818080030\ 48613553854689158617893*c_1001_2^11 + 3390575928075328490347679202473853120088832758/45959321326818080030\ 48613553854689158617893*c_1001_2^10 - 2034735890970782190724096146091313705128967071/45959321326818080030\ 48613553854689158617893*c_1001_2^9 - 6337176457148992068085933631889685172008845620/45959321326818080030\ 48613553854689158617893*c_1001_2^8 - 1282469877404002701271857256659533586856595807/45959321326818080030\ 48613553854689158617893*c_1001_2^7 + 731326320942117416540747709433856738190822383/459593213268180800304\ 8613553854689158617893*c_1001_2^6 - 772344395356997586619736596733125727152310445/459593213268180800304\ 8613553854689158617893*c_1001_2^5 - 692293175754334958899961711638142288777229126/459593213268180800304\ 8613553854689158617893*c_1001_2^4 + 651340828505964607936192651991566928995766999/459593213268180800304\ 8613553854689158617893*c_1001_2^3 + 702603510828940257692892264915375188593641975/459593213268180800304\ 8613553854689158617893*c_1001_2^2 + 155971652338779189178891248451668861776645174/459593213268180800304\ 8613553854689158617893*c_1001_2 + 316104771292491806590913554314318\ 9377320974/4595932132681808003048613553854689158617893, c_0101_3 + 1461193210198147286567130087198507336207008/4595932132681808\ 003048613553854689158617893*c_1001_2^24 + 10379192944792024178717022678773066627589853/4595932132681808003048\ 613553854689158617893*c_1001_2^23 - 12081639600501367278259524603640901018814337/4595932132681808003048\ 613553854689158617893*c_1001_2^22 - 116778363509522273847899329814597679277252859/459593213268180800304\ 8613553854689158617893*c_1001_2^21 + 19684665757068908373735535330297604129585463/4595932132681808003048\ 613553854689158617893*c_1001_2^20 + 485905796052612249561673371249765361828933419/459593213268180800304\ 8613553854689158617893*c_1001_2^19 - 289164037540554715303076489418317155492773803/459593213268180800304\ 8613553854689158617893*c_1001_2^18 - 411417214397907071461358243992453222215386506/459593213268180800304\ 8613553854689158617893*c_1001_2^17 + 1172590439364375712326771549547697608110861478/45959321326818080030\ 48613553854689158617893*c_1001_2^16 - 1783594564938160874213788260190693007265742824/45959321326818080030\ 48613553854689158617893*c_1001_2^15 - 1582182058049461635886030180009710961311799934/45959321326818080030\ 48613553854689158617893*c_1001_2^14 + 4278678324694250177657333540134032817006501133/45959321326818080030\ 48613553854689158617893*c_1001_2^13 + 463166659510172922299091060398763403954662288/459593213268180800304\ 8613553854689158617893*c_1001_2^12 - 1767372394601719397277545368692373846260658997/45959321326818080030\ 48613553854689158617893*c_1001_2^11 + 2366853220439682582914207578653684925740137151/45959321326818080030\ 48613553854689158617893*c_1001_2^10 - 1518720528041387937573346505757361095390153149/45959321326818080030\ 48613553854689158617893*c_1001_2^9 - 3959048754508436598539911506411232674054037133/45959321326818080030\ 48613553854689158617893*c_1001_2^8 - 461227048423693396378693997398659344866096723/459593213268180800304\ 8613553854689158617893*c_1001_2^7 + 470612128405137982314657106109181093660921291/459593213268180800304\ 8613553854689158617893*c_1001_2^6 - 555051590518329704734756864713245851165353041/459593213268180800304\ 8613553854689158617893*c_1001_2^5 - 380479001596802189728079585472003773325533306/459593213268180800304\ 8613553854689158617893*c_1001_2^4 + 448243461367372167862663162669317398874957759/459593213268180800304\ 8613553854689158617893*c_1001_2^3 + 406847922814504372846179926831076827751202833/459593213268180800304\ 8613553854689158617893*c_1001_2^2 + 67535894518855218830364324488022765126155948/4595932132681808003048\ 613553854689158617893*c_1001_2 + 2139863188433714068104953303870893\ 203287087/4595932132681808003048613553854689158617893, c_1001_2^25 + 8*c_1001_2^24 - 2*c_1001_2^23 - 88*c_1001_2^22 - 57*c_1001_2^21 + 352*c_1001_2^20 + 95*c_1001_2^19 - 489*c_1001_2^18 + 586*c_1001_2^17 - 496*c_1001_2^16 - 2257*c_1001_2^15 + 2126*c_1001_2^14 + 2949*c_1001_2^13 - 1205*c_1001_2^12 + 658*c_1001_2^11 + 432*c_1001_2^10 - 3798*c_1001_2^9 - 2549*c_1001_2^8 + 184*c_1001_2^7 - 114*c_1001_2^6 - 604*c_1001_2^5 + 108*c_1001_2^4 + 563*c_1001_2^3 + 266*c_1001_2^2 + 31*c_1001_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB