{"entities":{"Q607057":{"pageid":608833,"ns":120,"title":"Item:Q607057","lastrevid":63127320,"modified":"2026-04-11T10:46:28Z","type":"item","id":"Q607057","labels":{"en":{"language":"en","value":"Extended \\(F_5\\) criteria"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5817626"}},"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":"Q607057$CD4C8A78-DD22-424A-A6D1-C4C054DAEE59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"269d5609b1664fa9904d57687d3497b71a2fdc03","datavalue":{"value":{"text":"Extended \\(F_5\\) criteria","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q607057$556DCF7B-12FA-4965-AC85-BAB213164C3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"937bd90a21e964747718c2360960865010cca6fc","datavalue":{"value":"1218.13014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607057$30B505E0-7124-447E-BE9C-7886BBD09F8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4264c52933ca1d1cae1b392975e293db66c7e308","datavalue":{"value":{"entity-type":"item","numeric-id":382758,"id":"Q382758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607057$8CB8C088-0A91-4E6E-9881-D79EBCC028D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfb4fa970bf12027c8494e321aca43b12c49f1b7","datavalue":{"value":{"entity-type":"item","numeric-id":607056,"id":"Q607056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607057$8C1146FA-4ABA-47DA-957E-F099A3AF67D4","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":"Q607057$66F3B606-24AB-4B93-ABA6-5EE628B57D25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1a8b0b4410e75478f392738ec80b73d0645c344","datavalue":{"value":{"time":"+2010-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q607057$78DCB9DA-6983-456C-A900-77599A90E94B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"acf91e8b14029dc5436b4d1a99bc8d440859e8a6","datavalue":{"value":"Let \\(R = K[x_1,\\dots,x_n]\\) be a polynomial ring with coefficients in a computable field \\(K\\) and let \\(I\\) be the ideal generated by the polynomials \\(f_1,\\dots,f_k\\).   \\textit{J.-C. Faug\u00e8re} [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)] gave an optimal criterion to compute the Gr\u00f6bner basis of \\(I\\) with respect to a term ordering \\(<\\) and projected a very efficient algorithm called \\(F_5\\). \\(F_5\\) is incremental, that is to compute the Gr\u00f6bner basis of \\(I = \\langle f_1,\\dots,f_k\\rangle\\), \\(F_5\\) computes successively the Gr\u00f6bner basis of the ideals \\(\\langle f_k\\rangle\\), \\(\\langle f_{k-1},f_k\\rangle\\), \\dots, \\(\\langle f_1,\\dots,f_k\\rangle\\), and its efficiency is due to \\(F_5\\) criteria, for which the algorithm assigns to any polynomial of \\(R\\) a signature, that is an element of the module \\(R^k\\), and that explain how to take advantage of this additionally structure. Hence the quickness of the computation can be affected by the order of the generators and by the module ordering defined on \\(R^k\\).   In this paper the authors modify \\(F_5\\) criteria considering module orderings coinciding with the term ordering \\(<\\) of \\(R\\) on any restriction to a summand of the module \\(R^k\\). These new criteria lead to an algorithm no more incremental and so not depending on the order of the generators of the ideal. The authors conduct tests on some challenging examples to compare their new proposal with \\(F_5\\). From this experimental comparison, the new algorithm turns out to be more stable and a little faster than \\(F_5\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q607057$5B823CCA-D499-4711-8AC1-CC6209174D54","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"46839b777f337535372d0a005512686d6191c29b","datavalue":{"value":{"entity-type":"item","numeric-id":311783,"id":"Q311783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607057$31AC067C-1255-4384-8A46-8B42002B3926","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607057$7212C30A-CED2-4AA4-B00E-F25D3C900F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607057$2BB13A7F-D12E-4B91-9CC0-63F9323B82AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56652e57b6d644970782239874e62ff10682e299","datavalue":{"value":"5817626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607057$DF0BD8F9-BC47-4BB8-AE7F-F8FA62C14405","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q607057$5F3A48DA-2C41-4529-B7E7-B134F8C4FF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd77e6dd5300ae5b60458d63f5d4238b1232159","datavalue":{"value":"\\(F_5\\) algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q607057$C7BCBDD9-230E-48E4-82E9-CA778D000D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66fbcef5f24378d1d9b613d46f85bbf65b00fb74","datavalue":{"value":"\\(F_5\\) criteria","type":"string"},"datatype":"string"},"type":"statement","id":"Q607057$A72995FF-B69C-4992-A497-90613965F3C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fe03e5b78d9974ebdfc0233dbd377f30d5d075f","datavalue":{"value":{"entity-type":"item","numeric-id":13295,"id":"Q13295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607057$C14898FE-5D82-43F4-B336-4EB5D7F35CBB","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":"Q607057$B1DEE0FB-5FE8-44C3-A0B1-175163776647","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bffa48a375c941c4dd54ba6ecee571cfcb108d2","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2010.06.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q607057$B9080D40-1F17-42F0-84A9-F5B672DD2FAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9573f3d5bda0f41a6521857b98a493ae582afdee","datavalue":{"value":"W1576188537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607057$29E5D89D-56E2-4906-91B2-D1A6823CCF6A","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":"Q607057$0850793A-0B4D-4C23-894C-1A68E0E3714D","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":"Q607057$6AB0C501-BF00-43F9-86AD-E8FD541ACF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ff57ef70bd9e86c9b7017e46b8cd84cb7965f4","datavalue":{"value":{"entity-type":"item","numeric-id":3714165,"id":"Q3714165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607057$D77E5F35-23D6-4F03-B838-75E2A0CD060E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb52b96c4c974f9d9523f367ef64dded6d05761","datavalue":{"value":{"entity-type":"item","numeric-id":4693774,"id":"Q4693774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607057$FD616780-0A98-4996-A543-6CC1F7DD834B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dd875fde12b1a66e09ed813e82c6de36969706e","datavalue":{"value":{"entity-type":"item","numeric-id":4247789,"id":"Q4247789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607057$F2432D9F-EE1D-4A37-BD62-ADA895EB11D8","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":"Q607057$C9CD7EA3-270D-4357-944F-D9B09AF629DE","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":"Q607057$CFE777B1-CA4F-4275-B84E-DB707135E782","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":"Q607057$8E3B8EB6-B9B9-41FA-88CE-67C3AE1F0A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc8272a2eed684dcc743719a6651c947badf1e2","datavalue":{"value":{"entity-type":"item","numeric-id":1836661,"id":"Q1836661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607057$ACB973D5-02F0-4FA2-90B0-2CB162EC5960","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":"Q607057$CBE44879-A76D-4617-950C-AA95C2E03FEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f106e0dc285668edfac7957e22676d0b0b9b35ab","datavalue":{"value":"10.1016/J.JSC.2010.06.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607057$4BB39C23-796E-4A7E-A006-373A655021E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fd67099de76136dbbcb65fd3a53632a3738eb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2275900,"id":"Q2275900"},"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":"Q607057$5DEBD5EC-4F1B-4442-B364-8F3D5B690863","rank":"normal"},{"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":"2001ecdba93aceafea65ee05787b037c98319bbf","datavalue":{"value":{"amount":"+0.8878045082092285","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":"Q607057$03C24679-9439-4A28-9FA1-860FDFD946F1","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":"faf69f646fd0db295b072d6169f2c6f1ca9335a4","datavalue":{"value":{"amount":"+0.8628438711166382","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":"Q607057$24D39126-850C-426B-9D3C-3DA8B773E257","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":"d22f3650b40c70d3b124c6efecdf6aa80959ef6b","datavalue":{"value":{"amount":"+0.8569093942642212","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":"Q607057$792C1432-B3DB-4B29-9846-7E62DCDE2029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6375c7a18ae15738c07e235cc1b64d1ce484d1b","datavalue":{"value":{"entity-type":"item","numeric-id":2343240,"id":"Q2343240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5395d7f4c323743f0e76daf09304f3eb6273fd0c","datavalue":{"value":{"amount":"+0.8505460023880005","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":"Q607057$4270E641-7504-4431-9718-0091B845A973","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extended \\(F 5\\) criteria","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extended_%5C(F_5%5C)_criteria"}}}}}