{"entities":{"Q810595":{"pageid":812443,"ns":120,"title":"Item:Q810595","lastrevid":49540660,"modified":"2026-01-07T14:45:44Z","type":"item","id":"Q810595","labels":{"en":{"language":"en","value":"On the computation of Hilbert-Poincar\u00e9 series"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4214183"}},"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":"Q810595$32EA7F8C-8955-4A22-B69A-FA31F2ABF88C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7045b4d770cf84765a250f828c02b290db7a31e","datavalue":{"value":{"text":"On the computation of Hilbert-Poincar\u00e9 series","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q810595$357A31C4-437A-40CA-8D4C-0A81A7CC8807","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61549c6abb5d916c44383f392f749aadc46a72cd","datavalue":{"value":"0734.13016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810595$202FDCB7-9D25-42F0-A48F-782C316EF9B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"798fd0b1ae1c0098342221ad9494a01c143e39bc","datavalue":{"value":"10.1007/BF01810852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810595$173F2782-4B73-4108-8FCE-0C17157B348D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61291a9b1d31216cabbbfdcda7e35c4185d77add","datavalue":{"value":{"entity-type":"item","numeric-id":504407,"id":"Q504407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810595$AD350B9B-983E-4C3A-8B4A-04326E2AC294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdfe38caf6737943b76db9b8e2769f78cbc9cc87","datavalue":{"value":{"entity-type":"item","numeric-id":744014,"id":"Q744014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810595$AD7FE765-EA5F-417C-A3BF-98AC93A0306A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f5a67f64260a23004954fbe6b6b39acc00f7913","datavalue":{"value":{"entity-type":"item","numeric-id":504408,"id":"Q504408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810595$AD946C6F-F367-4B72-8588-F67815ED8EEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810595$19048FE4-320C-4718-8E39-A4632903B3FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q810595$73F1B4B4-A0AD-4B78-8087-D73D39E9949B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9d822ac469c7d74c18e8832ed666013b91e7dfb3","datavalue":{"value":"Let k be a field, \\(X_ 1,...,X_ n\\) indeterminates, \\(R=k[X_ 1,...,X_ n]\\) (graded by \\(\\deg (X_ i)=1)\\) and I a homogeneous ideal of R. For a term ordering s, \\(Lt_ s(I)\\) is the leading term ideal associated to I with respect to s. It is known that the Hilbert- Poincar\u00e9 series of R/I and \\(R/Lt_ s(I)\\) are the same - a result by F. S. Macaulay. Therefore the computation of \\({\\mathcal P}_{R/I}\\) (the Hilbert-Poincar\u00e9 series) is reduced to the computation of \\({\\mathcal P}_{R/I}\\) for a monomial ideal I. The purpose of the paper is to prove a theorem which provides a formula for the computation of \\({\\mathcal P}_{R/I}\\) (I monomial) via the computation of \\({\\mathcal P}_{S/J}\\) \\((S=k[X_ 1,...,\\hat X_ i,...,X_ n]\\supset J\\) monomial). The complexity of the algorithm given by the theorem is estimated. It is in general of order \\(n(I)^{2n-2}\\), where n(I) is the number of a minimal generating set of I. The notion of Borel-normed ideals is defined, and it is shown that the complexity for a Borel-normed ideal I is of order \\(n(I)^ 2\\). The formula is applied to the computation of the multiplicity e(R/I) and the Hilbert-Poincar\u00e9 series of a graded R- module.","type":"string"},"datatype":"string"},"type":"statement","id":"Q810595$75EC6283-6193-43A5-9906-08891996E561","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810595$9E9C912B-73D0-4267-B94C-A01EC7FAB2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d4a4958b9ec0502bdc37c3a756325974bf4d764","datavalue":{"value":"13D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810595$563F2DB7-F37D-40E1-9005-98AFBECF6F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810595$D049A98E-8F74-45D6-84A7-421AA7EAC7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b0964666aa9de4434d17d9183900ad920415bee","datavalue":{"value":"13H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810595$9562FEE2-D144-40C5-A07A-ECC1296789BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a64622bfeb94db0f7ee66d036bf601002092b6ba","datavalue":{"value":"4214183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810595$51A5EC01-D941-4BF1-B90A-ECC0FBA67C19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8b5316b26febde77b7b36a13d9b4f086becef32","datavalue":{"value":"computation of Hilbert-Poincar\u00e9 series","type":"string"},"datatype":"string"},"type":"statement","id":"Q810595$75BD6F33-B99E-48FF-8982-8A24727F7A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a6d7a207339942b36c053a99c19234a1b304efe","datavalue":{"value":"Hilbert function","type":"string"},"datatype":"string"},"type":"statement","id":"Q810595$239705CB-F5A5-4326-94B9-A6361235C34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38905366263f6a518aca558c27818f32d073c764","datavalue":{"value":"term ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q810595$CA23CB64-4D87-4959-A029-C14F95A33B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fd182fb44af7e3dbb4ec695f83a6d41a40dbe4c","datavalue":{"value":"complexity of the algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q810595$0B3508ED-DA09-4361-868B-C6F1AEC85F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52665d28a8c02cc806a55a81258b004e619b9362","datavalue":{"value":"Borel-normed ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q810595$54C8F273-3B28-4EC8-9C2E-4D880E125847","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9803748f0810bee35abb7d020d30371873977d14","datavalue":{"value":{"entity-type":"item","numeric-id":588196,"id":"Q588196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810595$0A27C6F7-5DEE-43D0-A19A-56FC046AF9F5","rank":"normal"}],"P1463":[{"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":"Q810595$83019E3E-60E8-4DAF-A2E2-05493E690FE1","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":"Q810595$EC7729A0-9CFA-4B96-8E48-012C6AD277AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9e74476c2ca626bdb1b495d6e06b8ef844573d3","datavalue":{"value":{"entity-type":"item","numeric-id":1099197,"id":"Q1099197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810595$A1F787F2-38A5-404C-876F-6B6B4378B5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed0f8acc4c788b4e2374d0569635f4581aa8499","datavalue":{"value":{"entity-type":"item","numeric-id":4040095,"id":"Q4040095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810595$DE5EF844-4DC7-4899-93E7-B03C2944607B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919e3b41a3d04fb5741c291677632a1227a3f947","datavalue":{"value":{"entity-type":"item","numeric-id":3973333,"id":"Q3973333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810595$B1BF25F6-6D1D-4C75-B9EB-258BA576C119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4f2b6815f8833680fa7e16e420eccea2e19c68f","datavalue":{"value":{"entity-type":"item","numeric-id":3973289,"id":"Q3973289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810595$E49D026F-7B95-49D2-8922-97A2C0A817FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebc6e8d13e05a14c46f07369785e27204cfe6bc","datavalue":{"value":{"entity-type":"item","numeric-id":1116332,"id":"Q1116332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810595$12E0AA2E-4448-45BA-A0B2-BDCF10E5468B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e6bbc1e462b44c4c0107f95f2f2af1391b24cf5","datavalue":{"value":{"entity-type":"item","numeric-id":1117983,"id":"Q1117983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810595$0511CDFA-3ED5-4EBF-86BB-033D0E481222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946232361f0210811b7cd1e3be9db38f80c0fe72","datavalue":{"value":{"entity-type":"item","numeric-id":3695369,"id":"Q3695369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810595$BA93920B-43B3-44E1-A6C1-7409C1582852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cba48bf59a7151ce5251fd71ac1e9af21881e4f4","datavalue":{"value":{"entity-type":"item","numeric-id":3729028,"id":"Q3729028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810595$13D066C6-80E9-4C0A-B9FB-8637D29BCAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57881e54af881bc60ca495ee110644cbe6e4f4dc","datavalue":{"value":{"entity-type":"item","numeric-id":1090369,"id":"Q1090369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810595$B9DDDCDD-2205-474B-9B71-DD3B4BD2AF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0319fa9af873215280d61d04d71e1d508673a87a","datavalue":{"value":{"entity-type":"item","numeric-id":3973283,"id":"Q3973283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810595$28675356-CB74-4B5E-9CB8-0EFBA5F6AF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3676473ac0ad58024671bef2874163716f9f66b4","datavalue":{"value":{"entity-type":"item","numeric-id":1248549,"id":"Q1248549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810595$98E0D995-BBC3-40F9-BAB8-6A8CB1D11332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e64098d7a3f9ba0263d98df401722c77cb8e768","datavalue":{"value":{"entity-type":"item","numeric-id":4695386,"id":"Q4695386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810595$76BDB0CF-92C4-4551-A295-2E2FBAF9ACAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1817a7ababe2e4a6505d7315ee132c0d555ee091","datavalue":{"value":{"entity-type":"item","numeric-id":3592718,"id":"Q3592718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33450ed31db7f7f8ac845949d92a28ce6478cbcf","datavalue":{"value":{"amount":"+0.8493855595588684","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":"Q810595$F8C5BE5B-42BE-47F8-A1CC-68FE679CC199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c98c22687e48c58dddd1eb5b7e4d8becdfecee","datavalue":{"value":{"entity-type":"item","numeric-id":4279508,"id":"Q4279508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ca8de82ce9efc36f6ff298cfc4a716f4222a898","datavalue":{"value":{"amount":"+0.8330581188201904","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":"Q810595$9F675FE0-ACB2-41BD-B314-579D36F33C7C","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":"3ca8de82ce9efc36f6ff298cfc4a716f4222a898","datavalue":{"value":{"amount":"+0.8330581188201904","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":"Q810595$FD83EA04-BEB8-40FF-B695-6F8A5CB3B241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78528f5fc3168cab4cb866d2e2fb4acaea220125","datavalue":{"value":{"entity-type":"item","numeric-id":4219627,"id":"Q4219627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f641e6749de8f66d23cb8ac6c8627d578d2d6d3","datavalue":{"value":{"amount":"+0.8201107382774353","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":"Q810595$4D9BB7FD-3D56-4BD0-AF41-1132E901F291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a95169b344edc367299378a31ebb2bd1e5f275d","datavalue":{"value":{"entity-type":"item","numeric-id":1199706,"id":"Q1199706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00786e263271b66b8849db6cebe860f3eec2f1fc","datavalue":{"value":{"amount":"+0.8168644309043884","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":"Q810595$AD221D35-552B-4081-8251-F227410465F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:810595","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:810595"}}}}}