{"entities":{"Q1264469":{"pageid":1275219,"ns":120,"title":"Item:Q1264469","lastrevid":67155006,"modified":"2026-04-12T15:39:49Z","type":"item","id":"Q1264469","labels":{"en":{"language":"en","value":"Groebner basis under composition. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1204292"}},"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":"Q1264469$C90A67FA-39E4-40DD-950F-FFCE554815EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"446e0ff5a55fbecb7f924b8eac63098af4dc1999","datavalue":{"value":{"text":"Groebner basis under composition. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1264469$B8CCDDC5-BDCD-421D-A863-3F8D9965D79C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90dfcd1e59af214e52b34691c44724986827032f","datavalue":{"value":"0922.13017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264469$BD7EF2D7-1EB8-450A-8F72-8DC740925B63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8940a924cc70434cc44db4ccfd35fe33b3c08aaf","datavalue":{"value":{"entity-type":"item","numeric-id":171462,"id":"Q171462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264469$BB700560-8E78-495A-B469-11D0AC0D5CF2","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":"Q1264469$DCB1A88A-1170-4AB8-B15E-9D5DE91D4E6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa2688590b4ca409a7e96f7e17ed592d5220ef2e","datavalue":{"value":{"time":"+1998-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1264469$7691F009-29FE-46B6-AF1C-9ED1FFC17537","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3926e884fd7596b4d166f67f1208d74dd139f95d","datavalue":{"value":"https://semanticscholar.org/paper/075c4d2d569d1907df7ba45e6955d9a41d798cb2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1264469$B107F4DE-BBDE-466E-AE02-61F04F7BC641","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f5a3531cfdae6564adc1a57aae01468bd1a2a078","datavalue":{"value":"The paper under review is the first of two papers in which the author investigates the following question. Let \\(F\\) be a finite set of polynomials in the variables \\(x_1,\\dots,x_n\\) and let \\(G\\) be a Gr\u00f6bner basis of the ideal generated by \\(F\\) under some term ordering \\(>\\). Let \\(\\Theta \\) be a list of \\(n\\) polynomials \\(\\theta_1, \\dots, \\theta_n\\). Let \\(F^*\\), resp. \\(G^*\\), be the set of polynomials obtained from \\(F\\) by replacing the variable \\(x_i\\) in all polynomials in \\(F\\), resp. \\(G\\), by the polynomial \\(\\theta_i\\). When is \\(G^*\\) a Gr\u00f6bner basis for the ideal generated by \\(F^*\\) under the same term ordering? If \\(f\\) is a polynomial, then denote by \\(f(\\Theta)\\) the polynomial obtained from \\(f\\) by replacing \\(x_i\\) with \\(\\theta_i\\) in the terms of \\(f\\).   The main result of the paper is that the answer to this question is affirmative if and only if the following two conditions are satisfied: For all terms \\(p,q\\)    (1) if \\(p>q\\), the leading term of \\(p(\\Theta)\\) is larger than the leading term of \\(q(\\Theta)\\);   (2) if \\(p\\) does not divide \\(q\\), then the leading term of \\(p(\\Theta)\\) does not divide the leading term of \\(q(\\Theta)\\).   An example for which this phenomenon occurs is when \\(\\theta_i\\) is a power of \\(x_i\\).   [For part II of this paper see: Proc. 1996 int. Symp. symbolic and algebraic computation, ISSAC '96, Z\u00fcrich 1996, 79-85 (1996; see the following review)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264469$8E00C3ED-DB94-4E83-9013-F3A28949D066","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264469$49655E43-A5FB-4AAF-8E81-6792083F9767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264469$8E128CD4-F493-43AB-B778-28E69E21478A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a2705b8500992e65755d4870489772848f70a6a","datavalue":{"value":"1204292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264469$19DA437E-33D7-4768-BF76-3BA5A8C80DCB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264469$AD04BB78-C6DA-4CAD-923E-0D54E3E09969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2be89b4e8fabe1b8ae0daf2962759c58a74b0cc","datavalue":{"value":"composition of polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264469$FD8128D0-F421-4048-9001-5BEBFD2C2489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab705130ea19d012d59c1fdd37987dc719219ba8","datavalue":{"value":"term order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264469$DE4816A6-88D8-4D01-97E0-4761087B9C1F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2db7b8d00be5d3fdd51b98f68cdc1b5345bbf84e","datavalue":{"value":{"entity-type":"item","numeric-id":706186,"id":"Q706186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264469$385A1453-27A8-4155-B247-C0749FFF2F93","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":"Q1264469$456BCD19-5499-4F85-81C3-9E7B58B56AC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7021e446d4465ae0783f1f5621a9b141f5a494da","datavalue":{"value":"W1996573609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264469$7272356E-0E67-4C4A-95BB-B1B853088039","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee2a7d4b80990666cada2ed25269b46335aa133e","datavalue":{"value":"10.1006/JSCO.1997.0192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264469$7E2999A3-FE6B-4D3B-A9B2-0D8F2F5D7C66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4e0376a5dda2a3314edef8fb88d14252b4a846","datavalue":{"value":{"entity-type":"item","numeric-id":4227327,"id":"Q4227327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a5da97e0715d09a9e3cfcd8842a59f3c9757364","datavalue":{"value":{"amount":"+0.9793661","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":"Q1264469$2B3C7537-C22F-4231-A77A-3D4D3CBFA41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0faca14d35f23a90d8e2cd7cca3d0db66b554de","datavalue":{"value":{"entity-type":"item","numeric-id":1198241,"id":"Q1198241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b243bbffc00f58729eda00b5a60309beff82134","datavalue":{"value":{"amount":"+0.8873909","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":"Q1264469$4E2E0430-ECF9-49C3-A759-3A34424593E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea29b9d4761ac7249cb3111e7c3977b348e4a9c","datavalue":{"value":{"entity-type":"item","numeric-id":1311607,"id":"Q1311607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddc434f298512da721b50b96f4d721eb594cf0b2","datavalue":{"value":{"amount":"+0.8530744","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":"Q1264469$892CD32C-A53E-4F24-B491-E0BB3ED6E241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bacbde800fc7470cc55338c38eb63217c31197fc","datavalue":{"value":{"entity-type":"item","numeric-id":3974004,"id":"Q3974004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a4cea562ed4985a04489e0bd11ab80e5054865","datavalue":{"value":{"amount":"+0.82094145","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":"Q1264469$70783C7B-0766-48EC-8185-F05591E42C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9e64d238e7398ff99ff4d3847c170a80297e5d","datavalue":{"value":{"entity-type":"item","numeric-id":3091993,"id":"Q3091993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"432f5cdcd282d3e92e706ea6e1916b3f7eee3ff6","datavalue":{"value":{"amount":"+0.81327564","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":"Q1264469$7D1E8399-FDD9-4693-A9FD-A6771D6C0AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90bc40ab9313e7c356494076e287bcd504f3b30","datavalue":{"value":{"entity-type":"item","numeric-id":2889956,"id":"Q2889956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a24f6eb9cb39bb1efa65c7f1f0896c1a056ca30","datavalue":{"value":{"amount":"+0.8102996","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":"Q1264469$5C2B59AB-554F-4DF1-9B6E-6988F6006C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad737d78202c28f4f26cb866724814fffd42a853","datavalue":{"value":{"entity-type":"item","numeric-id":3677849,"id":"Q3677849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ab0ac9e990d81ab23c93edf1a2acc030e39b82","datavalue":{"value":{"amount":"+0.80596423","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":"Q1264469$C1D7BD36-96CD-496B-A665-B62BB0B7F56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24a24a703341507ed4d007e5bba86e5e61efab4d","datavalue":{"value":{"entity-type":"item","numeric-id":4013442,"id":"Q4013442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22269f67fa3603e5e4498cca50e5e16cc6a92b3b","datavalue":{"value":{"amount":"+0.8031222","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":"Q1264469$1AA22F19-45AA-4070-BCB3-05C59394F9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27f005fa5e33f4799a4f403cca202ab4ca900e5","datavalue":{"value":{"entity-type":"item","numeric-id":4300572,"id":"Q4300572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d62cf62633313b6fb8e87eb12aa136edd25eb5d1","datavalue":{"value":{"amount":"+0.7963149","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":"Q1264469$06B34CAE-29E1-4A19-A235-4D0B440BE5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914f559e1c9a949e1d519bc0c05e1dc255970c11","datavalue":{"value":{"entity-type":"item","numeric-id":1290507,"id":"Q1290507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3872ff77bff0e720e26af843bdcf27ca33f15f33","datavalue":{"value":{"amount":"+0.79553235","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":"Q1264469$5238AE77-6E82-4BD2-8EDC-B7C741C50D65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Groebner basis under composition. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Groebner_basis_under_composition._I"}}}}}