{"entities":{"Q2275900":{"pageid":2286643,"ns":120,"title":"Item:Q2275900","lastrevid":71738412,"modified":"2026-04-14T00:13:26Z","type":"item","id":"Q2275900","labels":{"en":{"language":"en","value":"The F5 criterion revised"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5937779"}},"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":"Q2275900$59A4392E-B1D7-438D-8B7A-AB812A23CB86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9be5adfd486661e654332b0e2d94f6f72c5a7703","datavalue":{"value":{"text":"The F5 criterion revised","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2275900$382D5831-1662-4B26-872C-CAAD4A1104A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27f939ab6543084446b04e47be8206e3ea78effb","datavalue":{"value":"1230.13023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275900$CF580B91-1D53-4FC9-A265-1C4B5E628E1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ed5374dd8941bfbb3d31d8435ad4f0f5efb5968","datavalue":{"value":{"entity-type":"item","numeric-id":512375,"id":"Q512375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275900$F217D235-0158-4232-B7FA-4D50416C7A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9fbaa56e9ce073a4821e17410c169b1159c6ec8","datavalue":{"value":{"entity-type":"item","numeric-id":512376,"id":"Q512376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275900$05A93BEA-74CB-4BFA-8414-BD45A5D436D1","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":"Q2275900$1BA86590-7D12-4A15-99A1-8280D6CEF786","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2afc3cad79b731f5732eb66c72b8146587d7ee14","datavalue":{"value":{"time":"+2011-08-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":"Q2275900$4863D852-6699-4BD4-A804-2BED4D567322","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"addb51c2727ff69456aef243a41edda0f2091134","datavalue":{"value":"https://arxiv.org/abs/1012.3664","type":"string"},"datatype":"url"},"type":"statement","id":"Q2275900$69A04DB5-785C-4414-AC7B-B7ED784B1942","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2aeece139ed775edaade31e788337c4341fe5e81","datavalue":{"value":"Gr\u00f6bner bases have played a crucial role in commutative algebra and many scientists had tried to improve the original Buchberger's algorithm and to detect useless computations [\\textit{B. Buchberger}, Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideals. Ph.D. Thesis, University of Innsbruck. (1965); Lect. Notes Comput. Sci. 72, 3--21 (1979; Zbl 0417.68029); \\textit{R. Gebauer} and \\textit{M. M\u00f6ller}, J. Symb. Comput. 6, No. 2/3, 275-286 (1988; Zbl 0675.13013); \\textit{D. Lazard}, Lect. Notes Comput. Sci. 162, 146--156 (1983; Zbl 0539.13002)]. The authors present a simpler algorithm that illustrates the principle of the Faug\u00e8re's ``F5'' algorithm and enables to remove various restrictions.  By considering a function \\(s\\), the authors define new concepts such as primitive \\(s\\)-irreducible polynomials and \\(s\\)-Gr\u00f6bner bases. From this new theory, it is developed a simpler algorithm which computes a \\(s\\)-Gr\u00f6bner basis of an ideal. This new algorithm is different from the Faug\u00e8re's algorithm and does not involve reductions that yield more than one result. In the end of the paper, the authors compare this algorithm with the Staggered Linear Basis algorithm of \\textit{R. Gebauer} and \\textit{M. M\u00f6ller} [Buchberger's algorithm and staggered linear bases. in: Proceedings of SYMSAC 1986, Waterloo/Ontario, ACM Press. 218--221 (1986)] and with the \\textit{J.-C. Faug\u00e8re}'s ``F5'' criterion [ISSAC 2002. Proceedings of the 2002 international symposium on symbolic and algebraic computation, Lille, France, July 07--10, 2002. New York, NY: ACM Press. 75--83 (2002; Zbl 1072.68664)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275900$2F6CABED-FE98-40A9-ADC4-E1B1A705478B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f2f62f3d34bdf304ac38ee15a6086a77a7c88196","datavalue":{"value":{"entity-type":"item","numeric-id":590289,"id":"Q590289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275900$3B38BE01-95E3-48E7-B99A-36A36389E82F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275900$3987AA66-7DA3-4FDA-B2DD-302E2C1CEB2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33444c59de1de5353be99a9e33fd2391718a798e","datavalue":{"value":"5937779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275900$73DF5328-D9CB-4CD9-B86A-0747DA22E6BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33e81abcf8ab96f738fe03ec5202c188b2ef0e5d","datavalue":{"value":"F5","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275900$5E432168-025C-4608-B3FE-A0C09E01D356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275900$55133FCB-C8F8-4D5F-A8DE-F05257CDD1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56a023fdd9c1c6f28e134d963976a278037343f0","datavalue":{"value":"syzygies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275900$62E43BDD-CCFC-44CB-93B7-4335BD9F823C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c74221e00ab558f85c3c7f281966f1ba5daa28cd","datavalue":{"value":"\\texttt{Sage}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275900$8751DBF2-8976-4F84-AAE7-5EB01C7DDEA9","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":"Q2275900$7BEC9B57-A265-425E-959A-BDD81FC06D23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3bb8b0dd524f7d71d0719a2aec7a8b15f69ec445","datavalue":{"value":"W1989653154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275900$FB1F91FA-4133-4374-BA99-4B610F47909A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0d60285ae04471993c98b6fd4f9789d850bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2902935,"id":"Q2902935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275900$BE64AAE6-39BC-4327-B5F7-C2A670755B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7a76e3d93219f8f35922f7e651242be822568a","datavalue":{"value":{"entity-type":"item","numeric-id":3208084,"id":"Q3208084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275900$6E239BFB-C554-473F-8F28-7DCEF3585AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"477fad7e9eb44ad8a11dffc84ce40c6dfab6c50e","datavalue":{"value":{"entity-type":"item","numeric-id":1295781,"id":"Q1295781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275900$46E9B448-ACED-43BC-823F-D931F1EBBC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a68a509eadf6111b0e06ec4b721711237d6038","datavalue":{"value":{"entity-type":"item","numeric-id":4660688,"id":"Q4660688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275900$E00D4059-CBFC-4E8D-95D5-144084B52ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbae617fb6e166742561c17d105ae1ea0ce6a7f9","datavalue":{"value":{"entity-type":"item","numeric-id":1121950,"id":"Q1121950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275900$4D7C75CF-C11B-4908-AC5F-927BC0625BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b39e4578c7484bdb81de3234837b3ae698fb5a09","datavalue":{"value":{"entity-type":"item","numeric-id":3325833,"id":"Q3325833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275900$A755A041-2CF0-4150-8DDB-BFEA2E47764D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6bbb008a97901b6864246c34dae06398b9e67d5","datavalue":{"value":{"entity-type":"item","numeric-id":4234258,"id":"Q4234258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275900$9AE504CC-5724-4A56-8C6C-5F6A9C602FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a9fa8227fbf1eb5097c67ab8c391efa427a4a2f","datavalue":{"value":{"entity-type":"item","numeric-id":4674258,"id":"Q4674258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275900$CB3C19E1-45B0-4A18-9273-9ACBE9BEBB7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e71255d035186b44970dfe826d77b4f34efe285f","datavalue":{"value":"10.1016/J.JSC.2011.05.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275900$17B28C24-3253-4317-930F-B55D128EE944","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"244820ebc3b6ae78c2042adc2a5157bc0081ebf7","datavalue":{"value":{"entity-type":"item","numeric-id":5176448,"id":"Q5176448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098adf4b84d33d3f53aa7911e2e0933c4ec723cc","datavalue":{"value":{"amount":"+0.951399862766266","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":"Q2275900$4E5F9F73-DAD3-446F-AB23-04C706FFA500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e31f2816932750d9e446906290828007bde1464a","datavalue":{"value":{"entity-type":"item","numeric-id":607057,"id":"Q607057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a990ad4906ab0dd923e833b695c1b324178f8b04","datavalue":{"value":{"amount":"+0.9017211198806764","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":"Q2275900$08A5F873-D4BE-407B-A2EC-85F7703C2AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28c9e508febd4706f29ab62826e86aa790cf76b5","datavalue":{"value":{"entity-type":"item","numeric-id":4660688,"id":"Q4660688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4443479152c5adde52044939f85be223a7f067d","datavalue":{"value":{"amount":"+0.9007178544998169","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":"Q2275900$ACB16C91-B434-4FBA-9398-40219810DB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b0d8f85ca5c9c6cb96bd7e715382f88546087e","datavalue":{"value":{"entity-type":"item","numeric-id":365812,"id":"Q365812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4494d62432daf55cb4d0b7dbcbdafa80d1da2751","datavalue":{"value":{"amount":"+0.8920273780822754","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":"Q2275900$D489EA28-37E6-4DBC-ABE0-DFB0E24E1BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf627c2e18760a3e1d65d6e1cfb276f72b8110c0","datavalue":{"value":{"entity-type":"item","numeric-id":607065,"id":"Q607065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"245773d8df3a7d22725530dda2187b59ebcbf493","datavalue":{"value":{"amount":"+0.8917243480682373","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":"Q2275900$34884A8B-0F44-47D4-98F9-21997F013051","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b5c9b35d8e9d156fad0e174bf1ededba57ccca7","datavalue":{"value":{"entity-type":"item","numeric-id":13572,"id":"Q13572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275900$30D8C0F7-58CF-4CD6-812E-59590512ADFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The F5 criterion revised","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_F5_criterion_revised"}}}}}