{"entities":{"Q1121016":{"pageid":1131765,"ns":120,"title":"Item:Q1121016","lastrevid":49279510,"modified":"2026-01-06T21:43:23Z","type":"item","id":"Q1121016","labels":{"en":{"language":"en","value":"Lifting canonical algorithms from a ring R to the ring R[x]"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4102485"}},"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":"Q1121016$843DFCB4-E369-4160-8544-547CC485B1CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23a6310fa8ed64fbcd4367a8ea3b6a7aadf88bc6","datavalue":{"value":{"text":"Lifting canonical algorithms from a ring R to the ring R[x]","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1121016$C0493FCA-2FC1-412C-9689-209A32274FD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd9302ffb8c19e3470ae0af74f6d08eadf2dae02","datavalue":{"value":"0673.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121016$8882CCA7-CBF6-4EA6-B383-A67E9E18705D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6bf7ef16369529a4e9680a6596dbda723deb1a8","datavalue":{"value":"10.1016/S0747-7171(88)80041-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121016$207A06B8-F61C-45D0-AA8B-9EEEDE619DBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0be03287b18e8f0647a50a9cc9e2f709cfcc34e7","datavalue":{"value":{"entity-type":"item","numeric-id":1121014,"id":"Q1121014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121016$1C113B1C-2D19-4961-9655-87FD11E5CB20","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":"Q1121016$698A5BA8-BB30-4821-8A4A-0C34264CC4F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1121016$5A3229A2-DFD3-46E1-AB0F-F769F28ECBAC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c989df790663dc621d1c80cd9760688b1df8c1d9","datavalue":{"value":"Methods of computation in polynomial rings are of central importance in computer algebra and have received a corresponding amount of attention. Among the problems of interest are (i) the choice of suitable bases for ideals, (ii) the choice of representatives of cosets and the reduction of a given polynomial to its equivalent representative, and (iii) the construction of a basis for the set of syzygies of a given ideal. The present paper addresses these problems by lifting from a ring R to R[x].    Let S be a set of polynomials generating an ideal J in R[x]. Let \\(M_ k,...,M_ n\\) be a partition of S such that for \\(j=k,...,n\\), the set \\(M_ j\\) consists of the polynomials of degree j; let \\(LC_ j\\) denote the set of leading coefficients of \\(M_ j\\). The sequence \\(M_ k,...,M_ n\\) is called a Szekeres sequence for J if for each i, \\(LC_ i\\) spans the ideal of leading coefficients of polynomials of degree i in J and k is the minimal degree of non-zero polynomials in J; it is a Szekeres basis if in addition the span of \\(LC_{i-1}\\) is properly contained in that of \\(LC_ i\\). The author gives an algorithm for constructing Szekeres bases and shows how such a basis may be used to lift canonical form algorithms from a ring R to R[x].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121016$E937C405-03C9-42E1-B83A-69D9F41940EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121016$8F7ECF68-43A2-4DFB-8A3A-E4B78019CE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121016$57F17B59-C100-486F-A38C-2018DC803D61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"240d65c65138c69a8e7e85f2168a503c66dfc45a","datavalue":{"value":"4102485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121016$0C3B5D64-A911-430B-AC35-7C0EBD713D94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a30a2bd6a6bc8ff98f43799b4d045b70f1ddd2","datavalue":{"value":"canonical simplification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121016$AB47CA7C-DD47-4C24-9BFB-3E79ACD676D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d9b4433e87646d1689c4677922adc8a155e7154","datavalue":{"value":"detachable ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121016$7F939DD7-E3FC-4DE9-B292-56928EB7F488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121016$DF88CEEC-0624-4DEE-9B87-7E810933F9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aef3517e3308b444dbaca893a07dc37afbe298fe","datavalue":{"value":"Szekeres bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121016$28C955FF-32C2-4B92-8348-9B6816211DC9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0e75852cfbb70764924a5bf368886daa49d210c6","datavalue":{"value":{"entity-type":"item","numeric-id":1354702,"id":"Q1354702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121016$271EF11F-C518-485E-9CF8-128DBE6358EF","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":"Q1121016$1C373D3B-91BA-4DC3-9F4B-793E002EA115","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74e38256ea132ad651e4db13ce72ef4846981aff","datavalue":{"value":{"entity-type":"item","numeric-id":1052408,"id":"Q1052408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121016$865C151B-4391-4753-ADFE-9EB3DAB79B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d87900de754ad2a3f7d55a3f915d6adeffa7325","datavalue":{"value":{"entity-type":"item","numeric-id":2544438,"id":"Q2544438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121016$F86D2D72-77B4-4890-ACC3-6B88821418EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"954424d38b0084062ecb04ce2fedd4da29a556c1","datavalue":{"value":{"entity-type":"item","numeric-id":3957939,"id":"Q3957939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121016$C4970249-8939-4D46-8522-0468BDF05D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c29888ffc34074a279b8622e0e463f8cf0dd8abd","datavalue":{"value":{"entity-type":"item","numeric-id":3336682,"id":"Q3336682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121016$6762E8A5-9FEF-4C58-876E-FCEBB8C26952","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":"Q1121016$377BDD5A-0005-4842-BEFC-0F28933B09F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121016$530530A4-2E2D-49D5-8A6B-6968ECB50865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"416df6ace8a5154dc544389600f697a7a20dc442","datavalue":{"value":{"entity-type":"item","numeric-id":5682414,"id":"Q5682414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121016$3DE25B56-C18D-43DA-A74D-CBA6F77E9B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63e17e7fa14c1a72bf1755f624fa0f88ef1fc769","datavalue":{"value":{"entity-type":"item","numeric-id":4179013,"id":"Q4179013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121016$F4CF63B0-A18D-4585-8FCD-A770BC812E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a784dbca995cc87cfc26c9d6c53ec0b5000e0c64","datavalue":{"value":{"entity-type":"item","numeric-id":1121016,"id":"Q1121016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121016$38572CF4-E644-4788-B206-168D3F1185ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ad5aef9d0818bedbf78e0ab4947d22e4e11a42","datavalue":{"value":{"entity-type":"item","numeric-id":3675515,"id":"Q3675515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121016$2225E700-6ABC-4FB4-A6AF-DE941F9ADE9B","rank":"normal"}],"P1643":[{"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":"8535b6ce0c89ee9e36d9e763b17032966f7a6c41","datavalue":{"value":{"amount":"+0.7686057686805725","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":"Q1121016$10170589-EE42-4EF1-A4DA-C2FEBCC79DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2425c748830848341092cf4b0490e134cb5ac7d6","datavalue":{"value":{"entity-type":"item","numeric-id":4998471,"id":"Q4998471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"015120d2da2b8828abae0fa1702e86647f73f7e6","datavalue":{"value":{"amount":"+0.7682163119316101","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":"Q1121016$055FF02A-D8E5-4AFD-BB6A-CA65AF283BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f02be521d252a7f253709a6086dfe2ea6d1a69b8","datavalue":{"value":{"entity-type":"item","numeric-id":5315056,"id":"Q5315056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba39bdf94e2be4092a7f8aa756a5f9597a0d9ab3","datavalue":{"value":{"amount":"+0.7680426836013794","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":"Q1121016$8AA1890C-131F-48A1-9207-2D3050E0ED03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9abfb192e9bbfcb68646e2495e26831b86557c09","datavalue":{"value":{"entity-type":"item","numeric-id":4825192,"id":"Q4825192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b36650aa133d3a88efec77d73b3af498422082cc","datavalue":{"value":{"amount":"+0.7632096409797668","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":"Q1121016$E1558C04-F4EF-417E-AF32-1E807CF56B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0ac3a5acf9ad2a59b1389a66dfee137e24976d","datavalue":{"value":{"entity-type":"item","numeric-id":909718,"id":"Q909718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2447817bf231330ed8a1b2a5970a126b10c7240","datavalue":{"value":{"amount":"+0.7597198486328125","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":"Q1121016$8C72C3F4-5A2F-4F0E-A7EA-63C4BD875B55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1121016","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1121016"}}}}}