{"entities":{"Q1940934":{"pageid":1951676,"ns":120,"title":"Item:Q1940934","lastrevid":71927007,"modified":"2026-04-14T01:28:28Z","type":"item","id":"Q1940934","labels":{"en":{"language":"en","value":"An efficient method for computing comprehensive Gr\u00f6bner bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6143072"}},"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":"Q1940934$E9DAA4E2-2A74-4C0E-8771-C3B833E35519","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dd0719c5a497165aecad5865bffcf351d6a410e","datavalue":{"value":{"text":"An efficient method for computing comprehensive Gr\u00f6bner bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1940934$3836A0D5-1B42-4DAA-93DA-7B45FDFD6A50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11b565c98b13a53b5ef4e4040d79d3109bba5558","datavalue":{"value":"1283.13024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1940934$4959E6CD-F12A-4E84-8310-865A26A2C30C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1940934$2C57D255-90C6-4B6F-8EFD-0319DF95B59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"394e19da42dd7ab336207071aa9aaab498241766","datavalue":{"value":{"entity-type":"item","numeric-id":301015,"id":"Q301015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1940934$B5E9A995-AD1B-40E5-9BDC-848ABE928854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2827f69f6a53ca24980e284b4b44ab25eb588340","datavalue":{"value":{"entity-type":"item","numeric-id":1895165,"id":"Q1895165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1940934$93CD9C54-AAE4-4E83-A15B-1E0F5C94F02D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1940934$A478DAE1-C79E-4B6B-A988-22D40D5A5EEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc68ba37c56ec9469d578116ba5ddbf1e9c7f0bc","datavalue":{"value":{"time":"+2013-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1940934$7219AFA0-EE48-41F6-A8D2-68AD0DDDA9A1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"70311a6ac80c6af89da9843c99c96291b2a40831","datavalue":{"value":"The concept of a comprehensive Gr\u00f6bner basis was introduced by \\textit{V. Weispfenning} [J. Symb. Comput. 36, No. 3-4, 669--683 (2003; Zbl 1054.13015)] as a special basis of a parametric polynomial system such that for every possible specialization of its parameters, the basis obtained from the comprehensive Gr\u00f6bner basis serves as a Gr\u00f6bner basis of the ideal generated by the specialization of the parametric polynomial system. In the paper under review, the authors present an efficient method to keep track of faithful polynomials during the computations, such that a comprehensive Gr\u00f6bner basis of a parametric polynomial system can be constructed more efficiently. The key idea is to split a polynomial into two parts -nonzero part and zero part for the specialization under consideration. The proposed idea can be used in all algorithms for computing comprenhensive Gr\u00f6bner systems. The main result of the paper (Theorem 4.6) gives a direct way to compute a comprehensive Gr\u00f6bner system and a comprehensive Gr\u00f6bner basis simultaneously and the correctness of the new algorithm is a direct consequence of this result. The core of the new algorithm is an efficient algorithm for computing a comprehensive Gr\u00f6bner system proposed by the authors [``A new algorithm for computing comprehensive Gr\u00f6bner systems. in: Proc. ISSAC 2010, 29--36 (2010)]. The authors have done a detailed comparative analysis and experiments that show that the algorithm is faster in practice than known existing algorithms primarily. The authors point out that the proposed approach and the algorithms are susceptible to be improved in future work. A theoretical contribution of the paper is a more generalized stable condition for parametric polynomial systems which serves as the base of the proposed algorithms for computing comprehensive Gr\u00f6bner bases. The authors say that this new stable condition may lead to more interesting results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1940934$187363BC-3207-4044-AADB-7C8C5E998DFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1940934$0A5E18B4-801A-4A9F-96BA-71FB6F6838BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b96ca08b7700acdf679138e3b9ce937e724328bd","datavalue":{"value":"6143072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1940934$360FD427-4342-429B-94F7-878B4F5BF53A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1940934$8BF5DA0B-BF04-42CC-9B35-E54694B225E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d0b6a3c3c5d256fbe64d88c012ab341e0b54bfe","datavalue":{"value":"comprehensive Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1940934$8F15BB4E-3D59-4D21-8299-CC85838227B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42a6970b50e5d60ceacb8f77f47468e26bcad293","datavalue":{"value":"comprehensive Gr\u00f6bner system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1940934$B23BFCCF-C0CE-4B66-90AA-8E484860E475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cff299f8bc97609e41b8efaf892b0c102506b0a0","datavalue":{"value":"stability condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1940934$D451EEBA-79CB-4117-9370-801055F4A802","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3b23b66f6742fc40cff9f17fcbba9175409c4761","datavalue":{"value":{"entity-type":"item","numeric-id":340179,"id":"Q340179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1940934$73081CE6-3F87-4775-93C7-6A2ADDBCC5B1","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":"Q1940934$D5B5BF4C-9383-4542-A1F4-6D8BFED23933","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":"Q1940934$2FAC4991-9AF4-49FA-8E20-1A8700A09A2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a79c5008621824c51785dd4225b6a39a0c2e2704","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2012.05.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q1940934$CF4DB02B-253D-450B-81EB-336BC97C8F13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9db0c634a3e7ca936022896f2b3b19b1049bdfea","datavalue":{"value":"W2148498573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1940934$41270DEC-56E3-4C8E-B47F-EE5753B26613","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed630663f6898a735f0f60785d529d98397f6d10","datavalue":{"value":"10.1016/J.JSC.2012.05.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1940934$722AF940-7E3A-48EC-9C89-1B7B928D93C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8296a3172c273816242bf94e58963a6048bfa5ff","datavalue":{"value":{"entity-type":"item","numeric-id":5254172,"id":"Q5254172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51749e557b3083b3e5ef76bce170e936e3c010c9","datavalue":{"value":{"amount":"+0.8960940837860107","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":"Q1940934$BBF2A810-EEB7-47C5-9E29-790C37037EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"727fd33b7d33ae65ed4f9394b0a301861263f951","datavalue":{"value":{"entity-type":"item","numeric-id":1199704,"id":"Q1199704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"956f729d79af8502e7ee6da8dede1cf33487e7f1","datavalue":{"value":{"amount":"+0.8671495318412781","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":"Q1940934$A5DCAC25-4275-4B05-88A1-005F9F38E051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f7183720533ba45d7692518435ecdc1f9cef9c","datavalue":{"value":{"entity-type":"item","numeric-id":4660715,"id":"Q4660715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4140f257f713126a0f5cbe2c34dfb2d756f4a6a3","datavalue":{"value":{"amount":"+0.8668383955955505","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":"Q1940934$48CB4EC5-D08D-4D4B-9848-50A5B34EF417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24118d2e4f5786dc806860dea16489b627371edc","datavalue":{"value":{"entity-type":"item","numeric-id":2819764,"id":"Q2819764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1159ca6fa24ffe98809238fd603093ee11e0ab12","datavalue":{"value":{"amount":"+0.8604794144630432","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":"Q1940934$0E77DA71-CD80-489E-8C56-EA9008C30D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aef6c034a468eed9ce1f7284fcbb9f8bededd116","datavalue":{"value":{"entity-type":"item","numeric-id":1730311,"id":"Q1730311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c577e27cb497d9c917f48cb0e68d6603bf915d86","datavalue":{"value":{"amount":"+0.8554126024246216","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":"Q1940934$182670AF-75F1-4A11-A859-73DB40AC95E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An efficient method for computing comprehensive Gr\u00f6bner bases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_efficient_method_for_computing_comprehensive_Gr%C3%B6bner_bases"}}}}}