{"entities":{"Q1755631":{"pageid":1766373,"ns":120,"title":"Item:Q1755631","lastrevid":73611138,"modified":"2026-04-14T16:38:59Z","type":"item","id":"Q1755631","labels":{"en":{"language":"en","value":"The Gr\u00f6bner cover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999636"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1755631$EC593BF9-1AE3-460C-A3DF-71C5F1F22C53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c56037c2fa465efed6c77be8d7c88af32eb787f5","datavalue":{"value":{"text":"The Gr\u00f6bner cover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1755631$748703AC-6BC8-4C39-B58A-88B1579D3F80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aad0299c183d199b81007ebb896ee58f7e208593","datavalue":{"value":"1412.13001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1755631$BC334020-D737-42CD-966C-2BFAB4B162BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c8ba96582fa300e529c1f20922bcd5a245dffa2","datavalue":{"value":"10.1007/978-3-030-03904-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1755631$6BEF6283-350B-4F20-9F1C-1CF475FC0D8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18b985b50f76ddf04c1084bb32f224213904466a","datavalue":{"value":{"entity-type":"item","numeric-id":294389,"id":"Q294389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1755631$483CACB5-2537-49E3-8C5E-6204196DE59E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ddd5ea7cb0edbec5453726bcfc7e58e8ae06589","datavalue":{"value":{"entity-type":"item","numeric-id":215373,"id":"Q215373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1755631$E4E6265E-FA3C-48DA-86B5-AE7FD1E40AE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1755631$FB37797A-AC88-4AB3-87EC-81E5B37AA17B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a616fcd7ddc4ce696814858205a10b21d6f5a7c","datavalue":{"value":"Gr\u00f6bner bases turned out to be a powerful tool to study polynomial systems. The aim of the book is to study polynomial systems with parameters.  \\textit{V. Weispfenning} [J. Symb. Comput. 14, No. 1, 1--29 (1992; Zbl 0784.13013)] introduced comprehensive Gr\u00f6bner bases, a tool which can handle polynomial systems with parameters. Let $K$ be a field and $\\overline{K}$ its algebraic closure. Let $u=(u_1, \\ldots, u_m)$ a set of parameters and $x=(x_1, \\ldots, x_n)$ a set of variables. Let $I\\subseteq K[u][x]$ be an ideal and for $a\\in \\overline{K}^m$ let $I_a$ be the image of $I$ in $\\overline{K}[x]$ substituting $u=a$. A comprehensive Gr\u00f6bner basis is a finite subset $G\\subset I$ that specializes for every $a\\in \\overline{K}^m$ to a Gr\u00f6bner basis of $I_a$. The Gr\u00f6bner cover (introduced by [\\textit{A. Montes} and \\textit{M. Wibmer}, J. Symb. Comput. 45, No. 12, 1391--1425 (2010; Zbl 1207.13018)]) is the analog to reduced Gr\u00f6bner bases of an ideal for parametric ideals. There is a canonical partition $\\overline{K}^m=\\overset{i}{\\underset{i=1}{\\bigcup}}S_i$ into disjoint locally closed subsets. For each $S_i$ there exists a generalized Gr\u00f6bner basis, represented by a set of polynomial functions $B_i$ that specialize for $a\\in S_i$ to the reduced Gr\u00f6bner basis of $I_a$. If the ideal $I$ is homogeneous with respect to $x$ the $S_i$ are characterized by fixing the leading ideal of $I_a$.   The Gr\u00f6bner cover is the set $\\{(S_1, B_1), \\ldots, (S_r, B_r)\\}$. An algorithm to compute the Gr\u00f6bner cover was implemented by the author of the book 2010 as a library in the computer algebra system \\textsc{Singular}. The book contains two parts, a theoretical part and a part with applications.   The first chapter gives some basic results about Gr\u00f6bner bases. Chapter 2, 3 and 4 contain basic tools needed for the construction of the Gr\u00f6bner cover. In chapter 2 constructible sets are explained and algorithms to compute them. Chapter 3 introduces comprehensive Gr\u00f6bner systems and bases and discusses different algorithms to compute them, starting with the algorithm of Suzuki-Sato to the actual algorithm of Kapur-Sun-Wang.   Chapter 4 introduces $I$-regular functions, functions locally defined by polynomials, needed for the Gr\u00f6bner cover.   In chapter 5 the Gr\u00f6bner cover is introduced and algorithms to compute it are discussed.   All chapters contain a lot of examples. The algorithms discussed in chapter 2, 3, 4, 5 are implemented in the \\textsc{Singular} library \\texttt{grobcov.lib} and explicite examples to use the library are given. This is also true for the chapters in part II of the book. Here the last two chapters contain even exercises.   Chapter 6 of the book is devoted to automatic deduction of geometric theorems. One example here is the nine point circle of Euler and Feuerbach, a circle passing through the feet of the heights of a triangle. Euler proved that it passes also through the midpoints of the sides of a triangle. Feuerbach proved that is passes also through the midpoints of the segments that join the vertices and the orthocenter. It is explained how to use the Gr\u00f6bner cover to obtain this theorem automatically. Several other problems are treated in this chapter.   Chapter 7 deals with the computation of geometric loci. One of the examples is Pascal's Limacon: Let $0$ be a fixed point on a circle $c$. Let $l$ be a line passing through $0$ and the mover point $M$ that glides on $c$. Let $T$ be the tracer point located on $l$ at a fixed distance from $M$. Pascal's Limacon is the locus of points $T$ as $M$ moves on the circle $c$. The problem leads to a system of three quadratic equations. It is shown how the Gr\u00f6bner cover can be used to analyze this example.   Chapter 8 studies geometric envelopes.   In terms of loci and envelope computation the Gr\u00f6bner cover can be used to introduce a taxonomy of the components and compute it. The definition of the envelope of a family of hypersurfaces is generalized and algorithms are given for its computation. The book contains an appendix explaning the buildtree algorithm used to obtain a disjoint reduced comprehensive Gr\u00f6bner system.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1755631$7E97544C-3117-4972-B0A5-06A0EDEB08EF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bb46da72285f0ed219d7f86e8b81fe54dde9377f","datavalue":{"value":{"entity-type":"item","numeric-id":242482,"id":"Q242482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1755631$800BAD3F-5245-429C-98F6-645E080A669C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1c10d4102513b674aef8b5c0a6887390bfd0e91","datavalue":{"value":"13-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1755631$DAF18E5A-C729-4423-A0FE-6D7158B8AD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1755631$8678C034-8F54-4174-98AA-75FD12382269","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30343b72f3b3315fa8ec1afa893be5ac3c1c7de9","datavalue":{"value":"6999636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1755631$327F9E12-76CC-4B00-947D-AB587019ADCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1755631$B57A0678-84BC-4257-A652-378C45184287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d0b6a3c3c5d256fbe64d88c012ab341e0b54bfe","datavalue":{"value":"comprehensive Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1755631$0690A644-3056-4634-AB9C-D4B77319F004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adbcd5b468a36d94ccea55a4f994272868e441b7","datavalue":{"value":"polynomial systems with parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1755631$E987CBD8-CCA1-4731-BB1C-5142FA0198CA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef03848f41f59da431665c121436ac0a6bc94ac2","datavalue":{"value":{"entity-type":"item","numeric-id":13610,"id":"Q13610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1755631$36324BC1-59F0-4163-BE2F-4E9D65E5C02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe2977d14a6006fa56768c0bbf4b09337d85306","datavalue":{"value":{"entity-type":"item","numeric-id":16387,"id":"Q16387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1755631$69FF5F3D-1F57-4EDB-B194-977AF6012C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32aff951e31cb88fd9452eb9d816a1b0d2b9e644","datavalue":{"value":{"entity-type":"item","numeric-id":13544,"id":"Q13544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1755631$C33B5E9A-1BB0-4667-9246-55DB65C7044D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1755631$CEA707BE-D598-4908-9C00-1B292F47403B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4117445313933407d6e8ca11d97954f7dada9812","datavalue":{"value":{"entity-type":"item","numeric-id":21911,"id":"Q21911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1755631$A2B593A2-E9C6-427E-BCA8-496FC4B5ABC2","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1755631$C4A205D9-F5AB-48E7-BEA3-CD595B527837","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3342b9ccbb75eb3f1d32ebd4c73a6b7f40636e3","datavalue":{"value":"https://doi.org/10.1007/978-3-030-03904-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1755631$D11B276E-D3C7-4FE2-8564-7919838DB145","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"797ee5cbd382844e7a80609b25e5676accbdc62b","datavalue":{"value":"W2919779544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1755631$08A00CAB-4580-4D52-A779-ABD86D01E68D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b2b0da0079a908a8f2e46d6e03c29d4137424a","datavalue":{"value":{"entity-type":"item","numeric-id":782705,"id":"Q782705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d950549197af593d7004d874dead2f3271f3f653","datavalue":{"value":{"amount":"+0.980698585510254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1755631$5BAFACCC-9562-4B8D-9E3D-3221CFD54974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e4a75834b364ef85cb03644b1f12d3364469182","datavalue":{"value":{"entity-type":"item","numeric-id":2879154,"id":"Q2879154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1771f7a983439d5fb203d5b286bf4376b7dfcc1e","datavalue":{"value":{"amount":"+0.9021593928337096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1755631$6E4C7DB1-A33C-489F-A4F3-BD5F46C953C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39a306a12f86c7ce120546721ef58579e6041218","datavalue":{"value":{"entity-type":"item","numeric-id":607062,"id":"Q607062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce6cc734766a03bc42f3990cf3b82b1359a6c55","datavalue":{"value":{"amount":"+0.8442060947418213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1755631$0E41D127-AA48-4A23-B042-C5A72A1C8020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b4f4d5d861715e38d4a6a811be15fd946e185d1","datavalue":{"value":{"entity-type":"item","numeric-id":1878493,"id":"Q1878493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47421be053e33cf675b34bf8c0467cd575f8c4da","datavalue":{"value":{"amount":"+0.8382077217102051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1755631$CBF1E852-5634-4A77-9A18-619059FEF1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b5b895d07ab9ed4ed44ea13be540739ceef8ae","datavalue":{"value":{"entity-type":"item","numeric-id":5175315,"id":"Q5175315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfbb55c9463149abe1861491b05c5c34f9f634a1","datavalue":{"value":{"amount":"+0.818352997303009","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1755631$BA069B79-A811-4005-9235-0D8A64BBD5AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Gr\u00f6bner cover","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Gr%C3%B6bner_cover"}}}}}