{"entities":{"Q1783726":{"pageid":1794468,"ns":120,"title":"Item:Q1783726","lastrevid":57545643,"modified":"2026-03-31T08:36:17Z","type":"item","id":"Q1783726","labels":{"en":{"language":"en","value":"Hilbert quasi-polynomial for order domains and application to coding theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6941228"}},"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":"Q1783726$B0EF27DB-DA1D-4D82-B284-36B1F6F4EF1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7aa47078ff0042fadbc41ab17e777f495267534","datavalue":{"value":{"text":"Hilbert quasi-polynomial for order domains and application to coding theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1783726$E44AA5EC-BAB0-4F23-8DB3-15DA39B7B28A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"727e1a2fac89acd46862ca88db3798b35dc448d8","datavalue":{"value":"1401.13082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783726$4014FC9B-9C0D-4E9A-B539-EC78FC5B1DCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1791e76871cd94dcb356a8a69a837a11430db267","datavalue":{"value":{"entity-type":"item","numeric-id":1783725,"id":"Q1783725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783726$C334ABA9-0923-4DFD-9DDA-01FC91A53B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65fd9e015fce96c856dcdd7bc5ce4afabc4e2459","datavalue":{"value":{"entity-type":"item","numeric-id":412033,"id":"Q412033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783726$6D5CDD73-C53A-419E-A0A1-DE7CEED9013A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b702cbe5bd316face5e53ad402885d48b4090bae","datavalue":{"value":{"entity-type":"item","numeric-id":402559,"id":"Q402559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783726$54594956-9357-4D68-8AA2-5FD8AB7906DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6930ab8e1ff702d6af91a0a660c081a26e7eb4f9","datavalue":{"value":{"entity-type":"item","numeric-id":259257,"id":"Q259257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783726$18E40977-269E-4BC9-97E8-5A757B414437","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c87e4cbf15b9c83a8593d4bc1a20c0eb35440d26","datavalue":{"value":{"time":"+2018-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1783726$875DAA46-A62C-4E3A-B979-A4DE97FF8E88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62bfbb5740de509f554ba4e92b1be75ac267d367","datavalue":{"value":"https://arxiv.org/abs/1607.07241","type":"string"},"datatype":"url"},"type":"statement","id":"Q1783726$8A923D56-E73D-4BF5-8FD7-5136885140F5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bc5172cc7d18f4365def1778133ee79b4f4f7678","datavalue":{"value":"Let \\(K\\) be a field and \\(R\\) a \\(K\\)-algebra. Furthermore, let \\((\\Gamma,<)\\) be a well-order semigroup. An order function on \\(R\\) is a surjective function \\(\\rho:R\\longrightarrow \\Gamma \\cup \\{-\\infty\\}\\) such that for each \\(f,g,h\\in R\\) the following conditions hold:  \\(\\rho(f)=-\\infty\\) iff \\(f=0\\), \\(\\rho(af)= \\rho(f)\\) for each \\(0 \\neq a\\in K\\), \\(\\rho(f+g)\\leq \\max\\{ \\rho(f),\\rho(g)\\}\\), if \\(\\rho(f)<\\rho(g)\\) and \\(h\\neq 0\\) then \\(\\rho(hf)<\\rho(hg)\\),  if \\(f,g\\neq 0\\) and \\(\\rho(f)=\\rho(g)\\) then there exists \\(a\\in K\\) so that \\(\\rho(f-ag)<\\rho(f)\\). A \\(K\\)-algebra endowed with an order function is called an order domain over \\(K\\). A weight function on \\(R\\) is an order function on \\(R\\) such that \\(\\rho(f+g)=\\rho(f)+\\rho(g)\\) for each \\(f,g\\in R\\). For example, if we consider \\(R=K[x]\\) and \\(\\Gamma=\\mathbb{N}\\) then the function \\(\\rho\\) defined by \\(\\rho(f)=\\deg(f)\\) for each \\(f\\neq 0\\) and \\(\\rho(0)=-\\infty\\) represents a weight order function on \\(R\\) and in consequence \\(R\\) is an order domain. Assume that \\(G\\) is a Gr\u00f6bner basis for an ideal \\(I\\subset R=K[x_1,\\ldots ,x_n]\\) with respect to a generalized weighted degree ordering. If the following two conditions hold then Geil in 2009 introduced a weight function on \\(R/I\\):  \\(C1\\): any element of \\(G\\) has exactly two monomials of highest weight in its support,  \\(C2\\): no two monomials in the staircase of \\(I\\) are of the same weight.  To a weighted homogeneous ideal, one can associate the Hilbert function, the Hilbert series and the so-called Hilbert quasi-polynomial. In the paper, the authors present first an algorithm for an effective computation of Hilbert quasi-polynomials. Then, given a weighted homogeneous ideal, this computation is used to test whether the condition \\(C2\\) holds or not. The paper is concluded by discussing some applications of this theory to codes constructed from maximal curves.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1783726$806B0049-3A36-404C-8731-F71220AE3332","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a3cb3302bfe70372bd6624bf5334e81c39ef3cc2","datavalue":{"value":{"entity-type":"item","numeric-id":382758,"id":"Q382758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783726$CD46C87D-463B-4B99-A00D-56A68C50EA39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5adb849ecb2203541270370c9265ac70cda6203c","datavalue":{"value":"13P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783726$D03A81E5-75BC-4729-8669-7FB084E8E548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dcefd1e200eae54420c5080733f6b5a349da9f6a","datavalue":{"value":"11T71","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783726$7514EB02-D432-4DAD-990A-FE045A2ED9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"661c831991cdebd51f9465b74d929024bd00f373","datavalue":{"value":"12Y05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783726$5A02CD7C-5AD3-41FF-B68A-FE07B1D33C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5120626c87fbc492ba1414fde6695c15d7ff0d86","datavalue":{"value":"94B27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783726$A9B9B881-C770-45BA-80E4-459575D7205A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2368d146a8c81d78a910daea612a08293ed4d761","datavalue":{"value":"6941228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783726$76603588-7A67-46FE-9815-C0AAC715E8A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1783726$5832FFE0-A6DA-40B6-B911-DE95C01C3E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16756806a8ee882718fa0b79689cfa755c573b9d","datavalue":{"value":"Hilbert polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1783726$4B08316C-2893-4217-A50D-919A63FA2403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"764357f4f6c8c75b28e1964d3270bff1af43434c","datavalue":{"value":"Hilbert quasi-polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1783726$295946C9-00BC-470C-A437-AEBC1B342363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14b5d4e8ae54610ec6cfa7780b8e1042ca952ca8","datavalue":{"value":"order domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1783726$22FF7690-CA06-4CEE-81C6-6E4BE4C24FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"679a2ac87574fe3107d2be88d67a514b5580f51d","datavalue":{"value":"order domain code","type":"string"},"datatype":"string"},"type":"statement","id":"Q1783726$752E083F-38C3-47A6-B74C-F4DF49B15323","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":"Q1783726$A6DEC879-184B-4142-A065-CE7A83175260","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18e2be7a8e8c1a212f7550003dfcfa273ce477a2","datavalue":{"value":"W2963575205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783726$F335B14C-F137-4D99-A9C1-030FC535036A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"967506a2af676b957786dce82c2da6f93c988032","datavalue":{"value":{"entity-type":"item","numeric-id":2469475,"id":"Q2469475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783726$F4235570-AC0F-4DC4-8AC8-37B93366F039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b428ab9fb8c56b7e54f53345f1b7dad7faf46262","datavalue":{"value":{"entity-type":"item","numeric-id":5270180,"id":"Q5270180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783726$82F67388-67E1-448F-A7FB-91CBA6E713B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2cb6bb0e48223aab6d41423821fe3fd06fa487","datavalue":{"value":{"entity-type":"item","numeric-id":414958,"id":"Q414958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783726$C5D1CE3E-AC76-4E37-9E7F-3984B1652F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ac9f2dbf3bb2756391a8ff012dbc2b6d152cff","datavalue":{"value":{"entity-type":"item","numeric-id":1378880,"id":"Q1378880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783726$1E5E664F-B388-4144-B9C4-AA975823FEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec3336b886eed736559cc0498496eb452a2f5d4","datavalue":{"value":{"entity-type":"item","numeric-id":3580690,"id":"Q3580690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783726$0E1CEB39-F789-4664-9883-E4270A0EDD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64c9d6f75d88f5f0888463ceaee60f0920a38f2","datavalue":{"value":{"entity-type":"item","numeric-id":3652815,"id":"Q3652815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783726$266CC273-5237-4AEC-9280-847A139CE21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ff639663d60664ab1b4c3fef63a324e54327a6","datavalue":{"value":{"entity-type":"item","numeric-id":700167,"id":"Q700167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783726$18D256AD-002A-4760-B240-8CFC05A7F652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a81023259810243d06494012d0953ccf05a49c3e","datavalue":{"value":{"entity-type":"item","numeric-id":3613964,"id":"Q3613964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783726$F665593D-AB7D-4B03-8230-367D9C013DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a9679bbb09b38b509c0768d4b73b33876e50e6","datavalue":{"value":{"entity-type":"item","numeric-id":957897,"id":"Q957897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783726$028993BA-9325-4117-B883-EC7A8E79D2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"769f67898ad6fc37ae89c6dbe3140ce9c080f275","datavalue":{"value":{"entity-type":"item","numeric-id":3205152,"id":"Q3205152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783726$ABE1F184-6F12-42E4-BEAA-5BE2F1BC4070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66b0da28f446163442fe183a192ace5dc6dab036","datavalue":{"value":{"entity-type":"item","numeric-id":4242017,"id":"Q4242017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783726$FE61BEC9-6704-4831-9C09-4904DEC05903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f0ca245493771193c72b8e649abd5334ef4752","datavalue":{"value":{"entity-type":"item","numeric-id":5317677,"id":"Q5317677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783726$905FACE2-933D-4301-B02C-7EB09E8A676F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d081ba32756dc9a2efd7615d5bf2cc2f8cdd2048","datavalue":{"value":{"entity-type":"item","numeric-id":4024733,"id":"Q4024733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783726$41EC8598-D7FA-4C23-A6EF-EFF08C40B90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7704619bac36910315776daf1af46c3a46513367","datavalue":{"value":{"entity-type":"item","numeric-id":714109,"id":"Q714109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783726$BF44E7D6-3828-4841-BB87-74421CB3A79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d13be78fe2738a88632147141983e4f62279d0","datavalue":{"value":{"entity-type":"item","numeric-id":5896310,"id":"Q5896310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783726$F16EEAD0-E088-4F3D-BE1D-A1C09DC9A6AC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f4953f96d564fe0fa1f4a4d854f4ec63b2ad6901","datavalue":{"value":"Q130019002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783726$9E57585D-B030-4FEC-AAE9-67A7FF0815D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35f5924b9f0ee193e5b1819192b70ea65598cc6e","datavalue":{"value":"10.3934/AMC.2018018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783726$D4CB6247-BD6A-4F4C-AFF8-C6EC67AC22D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b550092f36a098b5b08ca8173161578ac1dcf1","datavalue":{"value":{"entity-type":"item","numeric-id":3652815,"id":"Q3652815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c627ab792183ff3be5eb36f7cfdb7db178d3054","datavalue":{"value":{"amount":"+0.7534374594688416","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":"Q1783726$83EEA9D0-649C-425C-A439-163DBC5E94DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47a4936b8a6340d021d3ebb647573e251ecd213","datavalue":{"value":{"entity-type":"item","numeric-id":874425,"id":"Q874425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"028b27ae74838c5332b8ad8d80443a336c846edc","datavalue":{"value":{"amount":"+0.7501469850540161","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":"Q1783726$2C622C1A-9A09-4123-8072-AD668CBF0AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cf8670202322635780259278d4a9d355e3618a9","datavalue":{"value":{"entity-type":"item","numeric-id":700167,"id":"Q700167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d656d8d5be3cc75ec81ae8ecbb2d30af2d0bbb","datavalue":{"value":{"amount":"+0.7426740527153015","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":"Q1783726$CA1EB2B8-AF41-40D2-8F39-7411FB435783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a13294edbe2232c64df59088a8fa00d40f04de48","datavalue":{"value":{"entity-type":"item","numeric-id":3425975,"id":"Q3425975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf99919055d6c8046cfe073b4a7ba8749a7054f3","datavalue":{"value":{"amount":"+0.7426738739013672","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":"Q1783726$137AD653-0EE2-4113-98BB-20B372FB7D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46349ced0d0033288cf8b487319a4ab478123f01","datavalue":{"value":{"entity-type":"item","numeric-id":2668218,"id":"Q2668218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c13da23188f34c84eb4329288cc128053717b5e","datavalue":{"value":{"amount":"+0.7211278676986694","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":"Q1783726$062AB3CA-B29F-47B8-A2C6-555BB1756711","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1783726","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1783726"}}}}}