{"entities":{"Q1209625":{"pageid":1220374,"ns":120,"title":"Item:Q1209625","lastrevid":71026677,"modified":"2026-04-13T19:00:20Z","type":"item","id":"Q1209625","labels":{"en":{"language":"en","value":"On lucky ideals for Gr\u00f6bner basis computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 168219"}},"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":"Q1209625$9278B795-9A22-4494-90C7-63886B6EBC40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bde787cd9e2c9d4db8071ba0c7e6b3be4fe798e9","datavalue":{"value":{"text":"On lucky ideals for Gr\u00f6bner basis computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1209625$7AF2B302-05AB-4C92-98EA-0274B7276357","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cc499eae0afbbdb32458b5ae54ce1ab2be9245e","datavalue":{"value":"0776.13014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209625$3261A3C2-75E4-4318-8257-1BB3B66B91F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d3dc9ca9e08a16c37123a5bbf09a5f49f7922a2","datavalue":{"value":"10.1016/0747-7171(92)90018-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209625$38545D5F-0C06-4F1C-9EF8-EFD79C8A63CC","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":"Q1209625$ED615519-2D27-4567-B72E-B2F256FCD8B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1209625$5B0099AA-B43A-4D65-98B3-ADCABB4F5BBC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"928f2cba82a328b82944503e580bca153b8bbc1f","datavalue":{"value":"Let \\(R\\) be a principal ideal ring, \\(R[x]\\) the polynomial ring in \\(n\\) variables over \\(R\\) and \\(I\\) an ideal in \\(R[x]\\). Intuitively, an ideal \\(P\\) of \\(R\\) is \\textit{lucky} for \\(I\\) if we do not loose too much information on Gr\u00f6bner bases of \\(I\\), when we project \\(I\\) to \\((R/P)[x]\\). One is led to this concept when trying to apply modular or \\(p\\)-adic methods in order to control the possibly enormous growth of coefficients during the computation of a Gr\u00f6bner basis of a given ideal in the polynomial ring in \\(n\\) variables over the field of rational numbers.   Let \\(F\\) be a Gr\u00f6bner basis of \\(I\\). The author shows that \\(F\\) gives direct and full information about lucky ideals for \\(I\\), and gets ``projection'' and ``reconstruction'' results of a paper. As an application, a short proof of the main result of a paper by \\textit{F. Winkler} [J. Symb. Comput. 6, No. 2/3, 287-304 (1988; Zbl 0669.13009)] is given. Complexity aspects are not considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209625$E7751A19-2E07-42AC-A18B-AC938252814C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af44f1931fd675e2c8e3884debfe9f59d65df330","datavalue":{"value":{"entity-type":"item","numeric-id":220784,"id":"Q220784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209625$3A0A7152-2578-45BA-AA5A-C565DC4249DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209625$C01C23E3-8854-4092-BA48-3E50CD99099A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209625$47582703-EB3A-462A-A183-A258B64E86E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ba50a691389eb9e75ace899afb407b4fd0e5bc6","datavalue":{"value":"13F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209625$90AABF89-FE0D-47EF-AAA1-F537269CE259","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d7005be207ca38d4e162cfb6a7fe9dde18a1e85","datavalue":{"value":"168219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209625$766F9195-248C-482D-B25B-35784EC6A1D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0259e08bcc48f37f3c5d07a30b2adb1b6b605f3c","datavalue":{"value":"principal ideal ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209625$CF09570E-CDD2-4AFE-B6CE-02C1559E53B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209625$E1F5FD95-D037-4954-B157-B40D191E6D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bd23a263fbc39cfa0bc3c399e503c10a69e1931","datavalue":{"value":"lucky ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209625$A45B37CC-EEEA-4914-93BA-36D82677114A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"718476fc1fcd992d12e35c948746c89758ae007a","datavalue":{"value":{"entity-type":"item","numeric-id":229601,"id":"Q229601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209625$65A10913-54F0-4AF8-AD01-2E6FFAD33429","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":"Q1209625$26BBD038-5ECF-4F1B-B695-705017873D5B","rank":"normal"}],"P223":[{"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":"Q1209625$21A5B1EE-53AF-4478-A13D-7B0341675C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b7da125ca70e39158fcefd8e2788a30ce3fa3d","datavalue":{"value":{"entity-type":"item","numeric-id":3043268,"id":"Q3043268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209625$4A31A6F1-C506-4353-A43C-7072764F58A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14eeba7af25bd4b2f1e7dbd6d25e968035e1ac1","datavalue":{"value":{"entity-type":"item","numeric-id":1117277,"id":"Q1117277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209625$FC9E8560-A633-4DF8-BF51-2A5246F2FDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73ce955711ad357898f8c67700a184cbc7de1b6","datavalue":{"value":{"entity-type":"item","numeric-id":1111629,"id":"Q1111629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209625$D06387A6-A5A9-4FC8-9FD0-F2381D21B51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c742af3cff19aa02c37582d87ebdde83b7fabf","datavalue":{"value":{"entity-type":"item","numeric-id":1055466,"id":"Q1055466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209625$45D7290E-A332-4448-BB50-04D8E5A2146E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff2b85ce7063035de01d46a42f6c99e090760e8","datavalue":{"value":{"entity-type":"item","numeric-id":909718,"id":"Q909718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209625$FDA3B4E9-D7D0-4288-AA49-998D12F19E4E","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":"Q1209625$58DB0C40-443F-4D40-AA88-4144A98F1D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac736649dcdcf89e0c63fe6b5752adc7d90dd7b","datavalue":{"value":{"entity-type":"item","numeric-id":1118398,"id":"Q1118398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209625$5880588E-6C33-48ED-BD71-F360C0496E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34ea3c87cd741f15bf09977c4df7a447e92dc9fd","datavalue":{"value":{"entity-type":"item","numeric-id":914761,"id":"Q914761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209625$9DD5592A-B48C-4151-9143-D40470DA264D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de00e10ac716f790a4f2066fd80980cc25a6baa2","datavalue":{"value":{"entity-type":"item","numeric-id":5203132,"id":"Q5203132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209625$9CFA6E8B-FC26-4E8B-8257-4921B9E956ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae65dee4c1ad2b9707bf32a37989635a69484ae","datavalue":{"value":{"entity-type":"item","numeric-id":1256518,"id":"Q1256518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209625$774AC5C6-A369-4EEA-8CB2-143BF2EDBCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a828f4532efc10daab89ba0c41367dd4905bc7f","datavalue":{"value":{"entity-type":"item","numeric-id":1118653,"id":"Q1118653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209625$E7DFA346-6008-4154-904D-D8D663A1BCD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96830b17ac6d35615d0b02e5e1985f8e6815a25a","datavalue":{"value":{"entity-type":"item","numeric-id":1260761,"id":"Q1260761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fe1688191396ea8fbc8ac86cfc50879a1f284b0","datavalue":{"value":{"amount":"+0.9012653827667236","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":"Q1209625$FC1D4783-CADE-4D2E-AE2F-2999AD595F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c54cb96a010b8926eda6293db4e39331cd767b8","datavalue":{"value":{"entity-type":"item","numeric-id":1262348,"id":"Q1262348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b2fa3f3b618fe37fdd7bce59ecec26bc4bafdf","datavalue":{"value":{"amount":"+0.9005596041679382","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":"Q1209625$987BDBF8-918E-4AD5-9DC3-6995756659E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b117b04955c28784039c351e0bfff4b448e5452","datavalue":{"value":{"entity-type":"item","numeric-id":3605255,"id":"Q3605255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f60f3c686660a119ecc4c0831031156ca678d3","datavalue":{"value":{"amount":"+0.8205615282058716","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":"Q1209625$7A46426F-E59F-44F7-9442-4074D4CFC0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db72907415f1cc25a1ba8afcbb15f4e5d156b6fa","datavalue":{"value":{"entity-type":"item","numeric-id":1118653,"id":"Q1118653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4229be3d8562c507912b86955e2bcb70e00c0650","datavalue":{"value":{"amount":"+0.8027011752128601","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":"Q1209625$E6AEF4D1-D32C-4039-9715-4D88C2F9FE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9456754a91ee2ca2aadc4ec9868b6f48e4e3c75c","datavalue":{"value":{"entity-type":"item","numeric-id":1401905,"id":"Q1401905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33eecf8637a7b9c363daaf0c82ee18c3c02d24e3","datavalue":{"value":{"amount":"+0.7935886979103088","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":"Q1209625$A2EC7A18-C5CF-4E44-9559-5C364BDD1A18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On lucky ideals for Gr\u00f6bner basis computations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_lucky_ideals_for_Gr%C3%B6bner_basis_computations"}}}}}