{"entities":{"Q360186":{"pageid":361953,"ns":120,"title":"Item:Q360186","lastrevid":61276938,"modified":"2026-04-10T22:18:56Z","type":"item","id":"Q360186","labels":{"en":{"language":"en","value":"Computing the Hermite form of a matrix of Ore polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6201470"}},"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":"Q360186$4E8E7DA0-30D8-43F0-AE43-59FD251A67FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94f2bc9672d2f6b6ec2e0864998afb8e8547a6f7","datavalue":{"value":{"text":"Computing the Hermite form of a matrix of Ore polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q360186$3649C215-1C6B-4A22-ABB6-A5F9FAC50B28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0eddf9433951bc0bff09a1ffa947046a7bb1c5cb","datavalue":{"value":"1293.65072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360186$5A1CF5E2-2DA9-49D5-BD4A-F8C1269C4FDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70398eb14f9807db2e0e53d5d5954d1010644218","datavalue":{"value":{"entity-type":"item","numeric-id":360185,"id":"Q360185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360186$90BE749B-4BFF-4F28-84D0-5C2B4AB755CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f135950afc9076b6caea99cf3bedcb3ff86f88c","datavalue":{"value":{"entity-type":"item","numeric-id":540319,"id":"Q540319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360186$ECDB50F9-3D61-4AA3-942B-0B2C6FF63FF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360186$6253372F-8FF5-4065-A86D-BCA3550019D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6ec21f9c1f239abf85c21214e6b06adc9b7204c","datavalue":{"value":{"time":"+2013-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q360186$BDF15CA1-0B35-462C-AB30-91B48A34FA47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91e356d5f20d2fc50280b2ab141233d09ab041a4","datavalue":{"value":"https://arxiv.org/abs/1109.3656","type":"string"},"datatype":"url"},"type":"statement","id":"Q360186$C684F32B-7F1A-47B5-8206-9072EE63D32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"00e252b4097fbd84e1fd03a8026ec97c3b6ddb71","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S0021869312005996","type":"string"},"datatype":"url"},"type":"statement","id":"Q360186$93BC63BC-7073-459D-A49A-1A65B91280FA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e6704d061898e31ca740aa4962b885dee0bae3c3","datavalue":{"value":"The Ore polynomials in pseudo-linear algebra are a natural algebraic structure which captures difference, \\(q\\)-difference, differential, and other non-commutative polynomial rings (see, e.g. [\\textit{M. Bronstein} and \\textit{M. Petkov\u0161ek}, Theor. Comput. Sci. 157, No. 1, 3--33 (1996; Zbl 0868.34004)]). In this paper, the authors consider canonical forms of matrices with entries from \\(F[\\partial; \\sigma, \\delta]\\), the ring of Ore polynomials over a field or a skew field \\(F\\), where \\(\\sigma: F \\rightarrow F\\) is an automorphism of \\(F\\) and \\(\\delta: F \\to F\\) is a \\(\\sigma\\)-derivation. That is, in the case of \\(F\\) being a skew field for any \\(a\\), \\(b\\in F\\), \\(\\delta(a+b)=\\delta(a)+\\delta(b)\\) and \\(\\delta(ab)=\\sigma(a)\\delta(b)+\\delta(a)b\\). Define in turn \\(F[\\partial; \\sigma, \\delta]\\) as the set of usual polynomials in \\(F[\\partial]\\) under the usual addition, but with multiplication defined via \\(\\partial a=\\sigma(a)\\partial +\\delta(a)\\). Given a matrix \\(A\\in F[\\partial; \\sigma, \\delta]^{m\\times n}\\), the authors show how to compute the \\(n\\times n\\) Hermite form \\(H\\) of \\(A\\) and a unimodular \\(n\\times m\\) matrix \\(U\\) such that \\(UA=H\\), via some algorithm, which requires a polynomial number of operations in \\(F\\) in terms of the dimensions \\(m\\) and \\(n\\), and the degrees (in \\(\\partial\\)) of the entries of \\(A\\). When \\(F=k(z)\\) for some field \\(k\\) (resp., \\(k=\\mathbb Q\\)), it requires time polynomial in the degrees in \\(Z\\) of the coefficients of the entries (in the bit length of rational coefficients as well). Explicit analysis is provided for the complexity, in particular for the important cases of differential and shift polynomials over \\(\\mathbb Q(z)\\). Furthermore, via their algorithm, explicit bounds on the degrees and sizes of entries in \\(H\\) and \\(U\\) are given as well.","type":"string"},"datatype":"string"},"type":"statement","id":"Q360186$088CA3EC-FD4B-4510-AEAE-43CC6EE24F65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"72309745094959b676ca20810c7af21a33fe24b5","datavalue":{"value":"65F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360186$E2B0D130-BD63-4BDE-B326-E1F1940BA51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86467c42076cd02d03efdb91299b004ea1185418","datavalue":{"value":"15A21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360186$896872FC-E36B-44C1-834F-760198C41B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"355ea56a4f84d7973d94c70a8b1f92966ec83542","datavalue":{"value":"65Y20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360186$5AEBEEAB-2429-4C7D-96E0-3BB157F7CEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5aff12e0aaa0e845f49257674dee6d6b35fe2903","datavalue":{"value":"15A63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360186$D14963F2-40EE-4054-8C61-DD9BD51A9A86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a7881fc4d81c847435bd2857b0ac2ac6fe8663b","datavalue":{"value":"6201470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360186$66782461-B711-4131-91B1-09618A441CB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f6926458206f8a0440cfc8331d762fb14df488c","datavalue":{"value":"Ore polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q360186$A72A15A6-1EA4-47FE-9649-899F4659A989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e147faa8bc846ce82b058e1a20cbf418022cb9fc","datavalue":{"value":"Hermite form","type":"string"},"datatype":"string"},"type":"statement","id":"Q360186$E665524A-37CF-4FE0-92FD-B592568867AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q360186$20579CC4-39B4-4AC0-A21A-45736D65163B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb843f2c61bf23a068c5da9030472eb35b26701a","datavalue":{"value":"quasideterminant","type":"string"},"datatype":"string"},"type":"statement","id":"Q360186$E3AA5F9E-9163-4EAC-A5C2-5DF4873710ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935a7531cf251d4944b7da7fef31a513c4154654","datavalue":{"value":"canonical form","type":"string"},"datatype":"string"},"type":"statement","id":"Q360186$FC475974-9A7C-48A5-BD86-079220322117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q360186$6A4B5543-D93C-44A4-9983-D70A28BFF353","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":"Q360186$74B4DA33-B863-4FBF-8B8A-810ADEC4E0D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6317fcf56fde4c1a4197d4dd3c51e6e6477c308f","datavalue":{"value":"W2964290923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360186$24A2DC5F-83D3-479C-ADE0-31ACC33BF325","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c3b573cd040c1daf4643e6542874512e68c3ad5","datavalue":{"value":"10.1016/J.JALGEBRA.2012.11.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360186$696A165F-8AE3-4E0B-AD77-14B239AE3266","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d1152f0265bea8dfc5729bce8382796b182cb1b","datavalue":{"value":{"entity-type":"item","numeric-id":3644094,"id":"Q3644094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e222c792c9791813e35275fe4c2a17814f765b03","datavalue":{"value":{"amount":"+0.8633473515510559","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":"Q360186$4A7AD499-DE25-4377-BFB2-294FC4C28157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87359245105b7e5f0d8e342140c1b4c8f8678c7a","datavalue":{"value":{"entity-type":"item","numeric-id":5119948,"id":"Q5119948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3aa50a60d46e2c1eaa01e628cacc1101e7d66d3","datavalue":{"value":{"amount":"+0.8139635920524597","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":"Q360186$3E909E83-68B5-4B10-AE95-E8F6072DBFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60cbe3a7ab158547aebdb9b756d8387f8b19272a","datavalue":{"value":{"entity-type":"item","numeric-id":5254166,"id":"Q5254166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe51049cd73b5bf13d26d374e2ea37699bed033c","datavalue":{"value":{"amount":"+0.7954820394515991","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":"Q360186$9E38E732-1D0F-4F3F-B181-7973E163F662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a215deb7a6a1841a8b594a8b23e0a3f1fb31104","datavalue":{"value":{"entity-type":"item","numeric-id":2914992,"id":"Q2914992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"168997b42b7697870c039f6411190ee7c4653482","datavalue":{"value":{"amount":"+0.7890511155128479","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":"Q360186$21D41331-3D11-49A4-93A4-6F3041CBEF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875cfc75f167728aae593d166691b2cf02bfecd1","datavalue":{"value":{"entity-type":"item","numeric-id":2457346,"id":"Q2457346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ae148da68c0d20f852bbed8b3e38738b4ac5d4","datavalue":{"value":{"amount":"+0.7799810767173767","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":"Q360186$6854FAFD-4D4E-47A8-9C6F-C300EEF2EB30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing the Hermite form of a matrix of Ore polynomials","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_the_Hermite_form_of_a_matrix_of_Ore_polynomials"}}}}}