{"entities":{"Q432760":{"pageid":434527,"ns":120,"title":"Item:Q432760","lastrevid":61790778,"modified":"2026-04-11T01:41:12Z","type":"item","id":"Q432760","labels":{"en":{"language":"en","value":"Computing Gr\u00f6bner bases of pure binomial ideals via submodules of \\(\\mathbb Z^n\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6053106"}},"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":"Q432760$05C65713-7561-4E1B-9727-47017C2AF797","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05dba136a502716eb6749f91b5d655f2742d305f","datavalue":{"value":{"text":"Computing Gr\u00f6bner bases of pure binomial ideals via submodules of \\(\\mathbb Z^n\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q432760$5C85D9CB-9D36-4315-A153-EDF9E8131ED3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f65e1c904fc2e0dabca7499cbd196f008428a3e1","datavalue":{"value":"1245.13019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432760$1A424B89-59D6-44E3-AAC3-2DDE114F19D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c88e66b0fe0d86971035a03d5a9a24250380efc","datavalue":{"value":{"entity-type":"item","numeric-id":321273,"id":"Q321273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432760$E3D2464C-EEB8-4108-A210-3B24515A27F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83629dc86e94201056b05599340a91a7de73d8e3","datavalue":{"value":{"entity-type":"item","numeric-id":321274,"id":"Q321274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432760$73ADE3DA-C9F2-4285-9FDB-A53E12062E78","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":"Q432760$0AC358A3-45F4-48EA-9958-24A0E6D3B075","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"82fc1511bfc3f2a612f201b34398e09c3400170c","datavalue":{"value":{"time":"+2012-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q432760$014C7CB7-E6D0-4F7E-8EAF-EC34D1B72F31","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b38130ed9909b8c7bacb0e241b601af49d4e19ad","datavalue":{"value":{"entity-type":"item","numeric-id":252472,"id":"Q252472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432760$D3580D3A-F692-42E4-A8D9-3970AA045569","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432760$5FAB4409-261E-4889-A95B-D63B7D2D31BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b5a047df3d0bf2e7279d92e3e356ad9d100676f","datavalue":{"value":"6053106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432760$B7800E73-1CEF-47BE-9843-E38E772E5088","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60565dc919c6116af39616a79ef1f61400c8a7eb","datavalue":{"value":"binomial ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q432760$C0C33E16-38E5-447B-90E9-52D8541A12CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q432760$BE0626BC-028A-443F-9C72-4B0BFB04FF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24e592c4579e83183ca300d88e8231925e651203","datavalue":{"value":"polyhedral cone","type":"string"},"datatype":"string"},"type":"statement","id":"Q432760$A9FF3B23-73C4-45A4-AEE8-44A4093B8828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cd19f6ac4094d3893a6cb4c3457b238b0ffa8fa","datavalue":{"value":"Hilbert basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q432760$0E86A8EB-6BF8-43F6-81A7-F613FE0B3727","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cdb8b840158d69ba91c77a08ea1396eff2ebc96e","datavalue":{"value":{"entity-type":"item","numeric-id":13385,"id":"Q13385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432760$468351DC-6973-4553-8088-82416F3A93D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9c1f58b8025297b76815155d9e858d1b402d938","datavalue":{"value":{"entity-type":"item","numeric-id":12911,"id":"Q12911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432760$4747A0E6-AF86-41D3-9878-DE960EBAD1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4319af3e47edfcb9e5ed7ad10a97f379ad183062","datavalue":{"value":{"entity-type":"item","numeric-id":16555,"id":"Q16555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432760$2C8A2F7C-3408-4254-B68B-24B461D953D6","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":"Q432760$CEC89703-1E04-4055-BC1F-74648A7484A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cf33c2526fe65d3492808161429ebdae56ebf6e","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2011.12.046","type":"string"},"datatype":"url"},"type":"statement","id":"Q432760$DE59890F-91EA-46E3-8DA5-4FD54F91B5FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c9192ffcdbf4d09bd34ffa16a854b1f302616f9","datavalue":{"value":"W2094542436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432760$4EF6B750-3F82-410E-A18B-4F5F83F650B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"393ff7d771f3992fb6c5303ac326839f37844451","datavalue":{"value":{"entity-type":"item","numeric-id":3533404,"id":"Q3533404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432760$6DB9E9EF-3B0E-4A07-8521-E7FBF57A9662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b5a015116257f3d6426f153be5bd5c3e095e2fa","datavalue":{"value":{"entity-type":"item","numeric-id":3628781,"id":"Q3628781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432760$6E1FBA54-BD43-4853-AFF6-454C6F346092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9dd05cd0f26034958d4cba75c0f2aa31eb8b3b","datavalue":{"value":{"entity-type":"item","numeric-id":955035,"id":"Q955035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432760$A3E18455-5772-4778-8D72-E29947C35D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc3385a1623b99854e6af63816a0f7f51e1ea8ac","datavalue":{"value":{"entity-type":"item","numeric-id":1922418,"id":"Q1922418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432760$C93A94E0-DA40-40A3-B0AB-CA7A9DF19BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd9988e6019d4004803701124014402902d826a","datavalue":{"value":{"entity-type":"item","numeric-id":840713,"id":"Q840713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432760$E025DD36-8FF7-4DD5-A2D0-5F64DE63E461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432760$554A36F9-D4D4-4AAC-A002-6C5A4D33D5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d153dbf935d0241907ed81c599da2e0ee67b2e31","datavalue":{"value":{"entity-type":"item","numeric-id":1903365,"id":"Q1903365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432760$AFDCEC78-BC33-43E7-A02A-2BF0C55BC5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f13b9c7beb3058c1a878126d83061acd73ca23eb","datavalue":{"value":{"entity-type":"item","numeric-id":4881514,"id":"Q4881514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432760$CF1FD353-71C2-42D8-AC6C-62A2A8E6C18E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74157ecafa3e10fdbbd7bc142d594a1eb9cad788","datavalue":{"value":"10.1016/J.JSC.2011.12.046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432760$07753859-FC19-4D83-B464-07985C63BA8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"901273140d7d4bb58ff04017c192ba23a744578c","datavalue":{"value":{"entity-type":"item","numeric-id":4861423,"id":"Q4861423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"257d6226e9cccfa9676391a05bf3e9e8b7078bcf","datavalue":{"value":{"amount":"+0.7944559","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q432760$99714D8A-D1D6-4CF3-B7B3-18E66073FD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af5d59e300e8b399c42bca9c3d8720159d0cb4df","datavalue":{"value":{"entity-type":"item","numeric-id":1295781,"id":"Q1295781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5681a75330ef19e20fb023b86e7292399cb34f58","datavalue":{"value":{"amount":"+0.7821025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q432760$AE90646C-6D04-4AD1-BCF5-5E6982919D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a26f91b8d44a781087b4dfb857ae5f9df67a226","datavalue":{"value":{"entity-type":"item","numeric-id":3094333,"id":"Q3094333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46883d98e5eccfcfccf97dee93f04857e0d2155d","datavalue":{"value":{"amount":"+0.7811142","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q432760$F5CF4607-9B6A-42D8-A8D7-19E102749256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c34444da248fc434a85716b97a5eb1e7d628444","datavalue":{"value":{"entity-type":"item","numeric-id":3560060,"id":"Q3560060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddf205eb4c3538b958bf2b048a8a8d03ca148ca2","datavalue":{"value":{"amount":"+0.7804273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q432760$9F437739-F6BC-42A8-824B-3FB2B40DA471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1d64030d277757ba78035fa8d6d71f19ed74da","datavalue":{"value":{"entity-type":"item","numeric-id":674750,"id":"Q674750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70c234b02a75265fad11416404a792ec956f8bf","datavalue":{"value":{"amount":"+0.7771227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q432760$0B74E224-CB8A-44DF-9A79-98E410F48F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee7cbd1ea517c3cfcc9cf2a0579566b901e3e08d","datavalue":{"value":{"entity-type":"item","numeric-id":3533404,"id":"Q3533404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3ca75071dcd2ad9c47987a1476799e8992e096b","datavalue":{"value":{"amount":"+0.7771211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q432760$5C9087A5-6ECB-463A-BF1E-53DB27F7E083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32079aa6e41c21d9c6c175b2371c6999ffc6d588","datavalue":{"value":{"entity-type":"item","numeric-id":5254181,"id":"Q5254181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81389696a82f72e6256c63731f33acdf465fd0f","datavalue":{"value":{"amount":"+0.77246654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q432760$9CB0C205-495E-4DFF-94DC-8BC2EE371AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb4acbcc92e43f11d5bfcf8f06e1ecb5d62c3c4","datavalue":{"value":{"entity-type":"item","numeric-id":5273019,"id":"Q5273019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef61ebe94f1a792caf76ae50c3923ef13fb7309","datavalue":{"value":{"amount":"+0.7697242","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q432760$46BFB387-581D-4375-B33D-57C7151ED55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f99aab8c11420f84d3695d3f521abd4451c1a97","datavalue":{"value":{"entity-type":"item","numeric-id":3578263,"id":"Q3578263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53595c8f8c7c90b23d58827b9443922c462bf599","datavalue":{"value":{"amount":"+0.7667772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q432760$F8A9C54D-3E24-43CE-A311-46CE97A7E850","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"12054cf1929f00b12a6c0c78b314cc5e19e0b673","datavalue":{"value":"This paper is about the computation of Gr\u00f6bner bases of lattice ideals, that is binomial ideals of the form \\(\\langle x^u - x^v : u-v \\in L\\rangle\\), where \\(L\\subset \\mathbb{Z}^n\\) is an integer lattice. It is obvious that the notion of a Gr\u00f6bner basis can be defined combinatorially, and that computations can be done in \\(\\mathbb{Z}^n\\) [\\textit{R. Hemmecke} and \\textit{P. N. Malkin}, J. Symb. Comput. 44, No. 10, 1463--1476 (2009; Zbl 1200.13048)].NEWLINENEWLINEInstead of working with the lattice \\(L\\subset \\mathbb{Z}^n\\), the present paper suggest to use a presentation \\(F: \\mathbb{Z}^m \\to L \\to 0\\) and work in the presentation. Their method builds on a sign-consistent decomposition of \\(L\\) and Hilbert basis computations for the respective cones. There are theoretical reasons for the author's observation that this yields no interesting results or computational speed-ups: Gr\u00f6bner bases of toric ideals (the argument also works for lattice ideals) have an exponential degree bound [\\textit{B. Sturmfels}, T\u00f4hoku Math. J., II. Ser. 43, No. 2, 249--261 (1991; Zbl 0714.14034)], while merely determining the size of a Hilbert basis is \\#P-complete and NP-hard [\\textit{M. Hermann, L. Juban} and \\textit{P. G. Kolaitis}, Lect. Notes Comput. Sci. 1705, 13--32 (1999; Zbl 1044.11631)].NEWLINENEWLINEThe paper also uses notions subtly different from those established in the literature. In particular, in computational algebraic geometry an ideal \\(I\\subset k[x_1,\\dots,x_n]\\) is \\textit{saturated} if \\(I:\\langle x_1,\\dots,x_n\\rangle = I\\). The authors use the term for \\(\\left( I:\\prod_{i=1}^n x_i\\right ) = I\\). A binomial ideal such that \\(\\left( I:\\prod_{i=1}^n x_i\\right ) = I\\) is usually called a \\textit{lattice ideal} and although the title suggests much more, the methods in the paper are restricted to this case.NEWLINENEWLINEAnybody interested in the computation of Gr\u00f6bner bases of lattice ideals should read Hemmecke/Malkin, [loc. cit.] instead.","type":"string"},"datatype":"string"},"type":"statement","id":"Q432760$0A64EA2F-727F-410F-8454-E628BC8ACE84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing Gr\u00f6bner bases of pure binomial ideals via submodules of \\(\\mathbb Z^n\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_Gr%C3%B6bner_bases_of_pure_binomial_ideals_via_submodules_of_%5C(%5Cmathbb_Z%5En%5C)"}}}}}