{"entities":{"Q947632":{"pageid":949480,"ns":120,"title":"Item:Q947632","lastrevid":65553357,"modified":"2026-04-12T03:23:32Z","type":"item","id":"Q947632","labels":{"en":{"language":"en","value":"An algorithm for unimodular completion over Laurent polynomial rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5349143"}},"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":"Q947632$6D6B59CA-7F02-4527-AB66-F1CA0D7CE0A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2a0918deff64b59002a5439ee7972d2657fe4ee","datavalue":{"value":{"text":"An algorithm for unimodular completion over Laurent polynomial rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q947632$5A123039-F605-4522-B9B1-3931D2BD9468","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc5ba0b5581f6b3e28d77050eed01a80499a1f7a","datavalue":{"value":"1147.13004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947632$408742A1-E845-46C2-A498-F2EFFD704A8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8622241a69edc4bcab587fbd90e9d4ac990394c","datavalue":{"value":{"entity-type":"item","numeric-id":779966,"id":"Q779966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947632$670EFA9F-4E06-4D0A-865B-E44A02169EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4411587d3c1e55e23b2f9df508875f4e05601b37","datavalue":{"value":{"entity-type":"item","numeric-id":415465,"id":"Q415465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947632$7DF3A965-2AE5-47C4-B1CD-ADB19A359010","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8de031de05325b44570d0c47c3ec8813873d565c","datavalue":{"value":{"entity-type":"item","numeric-id":92813,"id":"Q92813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947632$3C88F956-D19F-4722-8C42-41521053BC14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8a78d870f12b702e6d77d4fd52313d3f544f07c","datavalue":{"value":{"time":"+2008-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q947632$8AD9C155-3957-4867-8403-B60922892A64","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"95805272c55222a3544827f5d9af86f9f21bc2a3","datavalue":{"value":"Let \\(K\\) be an infinite field, \\(R=K[X_1^{\\pm 1}, \\ldots, X_s^{\\pm 1}]\\) a multivariate Laurent polynomial ring, and a vector \\(v\\in R^n\\) whose entries generate the unit ideal in \\(R\\). The paper contains an efficient algorithm which constructs an invertible \\(n\\times n\\) matrix \\(M\\) over \\(K[X_1, \\ldots, X_s]\\), whose determinant is a monomial, such that \\(Mv={}^t (1,0, \\ldots, 0)\\).  The correctness is ensured by a generalization of Suslin's Lemma to Laurent polynomials. The sequential complexity of the algorithm is \\(n^4d^{O(s^2)}\\) field operations, where \\(d\\) is the maximum degree of the entries of \\(v\\), and is due to a clever change of variables which generates doubly monic Laurent polynomials without the exponential explosion of degrees encountered when working \u00e0 la Nagata. The efficiency is improved by manipulating directly Laurent polynomials, without passing to ordinary polynomial ring as did \\textit{H. Park} [J. Symb. Comput. 37, 209--226 (2004; Zbl 1047.94506)], and, unlike \\textit{H. Park} and \\textit{C. Woodburn} [J. Algebra 178, 277--298 (1995; Zbl 0841.19001)], eliminating all the variables at once.","type":"string"},"datatype":"string"},"type":"statement","id":"Q947632$50D488C5-B2F2-4B85-9C9F-4B6C8992FFA9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e399d6aefd0456742c9468269315b44887e7fe50","datavalue":{"value":{"entity-type":"item","numeric-id":429755,"id":"Q429755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947632$22EF03AE-D64B-4514-95A2-75DFC59CCAC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6c0d35e6fccd0fb471822cfa3b5bcd398a274a","datavalue":{"value":"13C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947632$9CFB7022-9A1F-4CFC-BBDD-EF251B2E3D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2f0b33e8b1306d061626d94a055a3c2f690de82","datavalue":{"value":"19A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947632$81585682-0092-4743-98E7-3B61D980E27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"65ef089ab6dd31e83c3611c992a3cfd8973b58bb","datavalue":{"value":"14Q20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947632$EBED574C-C810-49BE-8394-83A123E8B32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947632$F186F777-3417-4B28-BD9A-98CAD6C6287A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39bd6b9e59b54acdd7ce2eac1580df18bd7f3bef","datavalue":{"value":"5349143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947632$15D32FDB-0EA7-48EF-BEFB-E06C92FFB32C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"949c3521d17ee6522eed03310657728c8f81f90c","datavalue":{"value":"Quillen-Suslin theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q947632$B5769B5E-AF53-4FC7-AE73-0B596B4FB3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fce3c90157ccbe4254f7165f12ddeebf2df8a3a4","datavalue":{"value":"multivariate Laurent polynomial matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q947632$A2CBCC98-EBFD-4B44-A031-1D46557944C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q947632$E5F9FA08-8E57-491C-B7F6-D1665C3D531C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91a2d34910db6e520e3e8e028385d3689ad49c74","datavalue":{"value":"unimodular vector","type":"string"},"datatype":"string"},"type":"statement","id":"Q947632$9C7226DB-13CC-4A05-8685-220D75DEC5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad06509d9cede8cb6d9b20b0462272aae2220dbf","datavalue":{"value":"doubly monic Laurent polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q947632$C17F8698-D8F3-4628-8850-54E3D1C34923","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":"Q947632$CE49D828-9D9B-4559-93FE-7945C1F59443","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7dfd1f26b168f1aa6d32cfb01589f91fed5ac11","datavalue":{"value":"https://doi.org/10.1016/j.laa.2008.05.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q947632$1C73AB5B-1096-40FF-8AB7-3F2A6B89329F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b5d2cfcf67d64ae0109eff97826a01b90b243a3","datavalue":{"value":"W2013195647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947632$D49720EA-D300-48D5-998B-1FDC01F96DA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9d433b252e1d79cc52ab9724fbcc7d081e3a14","datavalue":{"value":{"entity-type":"item","numeric-id":4215741,"id":"Q4215741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947632$C63CED9C-7040-4840-9A76-C65D55CF28D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601b622583d89753f333bc1cebb56ca28b711f46","datavalue":{"value":{"entity-type":"item","numeric-id":2639131,"id":"Q2639131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947632$C62AFC52-E702-4A78-8125-8EAFD8EA4B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3120b21b0cc71054381a183461ec98245b3cb059","datavalue":{"value":{"entity-type":"item","numeric-id":1244268,"id":"Q1244268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947632$94598714-D39E-44D8-AC47-850345E0C376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd38407439054147c865d401592836b0e4a7776","datavalue":{"value":{"entity-type":"item","numeric-id":4674273,"id":"Q4674273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947632$BF4CEF30-0F84-4A1E-BF14-D1256174DC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fef2990274f35342e92a8d08e04e369e0519e641","datavalue":{"value":{"entity-type":"item","numeric-id":5953713,"id":"Q5953713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947632$6B0AE24B-633C-4BB1-BCFB-8F335FC2B8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85ec94373a8a872449f82f454a2d837b8b905970","datavalue":{"value":{"entity-type":"item","numeric-id":5955652,"id":"Q5955652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947632$83ACB841-0108-4C1C-82FD-938F15D22AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b805af8f5d368c99572767c48f98c4a932cd66a6","datavalue":{"value":{"entity-type":"item","numeric-id":4736172,"id":"Q4736172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947632$9682DBBB-D6B3-4C18-88E8-F1DBF85F9D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3125623eff5cf54597be73280f3355184462f7ba","datavalue":{"value":{"entity-type":"item","numeric-id":2456568,"id":"Q2456568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947632$E0490A3C-86A6-4BD5-BADA-BAFA8877D272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93afe8982f8f4b0352752a184769df984a3d9fd0","datavalue":{"value":{"entity-type":"item","numeric-id":597057,"id":"Q597057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947632$B8EE6D90-839B-47B5-89E0-63EC0B75BEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e1b4b9e2898f25ac3fd0cef3df80ac2ccbc8336","datavalue":{"value":{"entity-type":"item","numeric-id":678233,"id":"Q678233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947632$E9E326C9-7668-4B16-AE27-B722188136F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e650670143da0d506ddae4bbb5d6d06ed41ff6a","datavalue":{"value":{"entity-type":"item","numeric-id":1904081,"id":"Q1904081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947632$D613E598-2135-40EB-B9B7-ED99AFCC791A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cca7d8ace00c8ea920d4e8a6dbe013dde91630d","datavalue":{"value":{"entity-type":"item","numeric-id":5905834,"id":"Q5905834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947632$A6208379-BF61-473D-82F1-B8310C5216B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d760264e75ce9eab43f04f216f8b47e4b50a2a","datavalue":{"value":{"entity-type":"item","numeric-id":766653,"id":"Q766653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947632$A272465F-8F24-4A94-8E5F-032DB92B9A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77df5c71758c05b6c718170c175ea2daabac660e","datavalue":{"value":{"entity-type":"item","numeric-id":4124942,"id":"Q4124942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947632$04076665-2218-4640-AC05-4D0273327B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7313308f478ea26c2ccc2a4680b688790684d8","datavalue":{"value":{"entity-type":"item","numeric-id":4156508,"id":"Q4156508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947632$5F99F0FF-37F1-45BA-942C-9C637D12C489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55335eab032a54025a37ea16b86e637c557fc1b5","datavalue":{"value":{"entity-type":"item","numeric-id":3346427,"id":"Q3346427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947632$4CD13120-D13F-4D8B-947F-C2EA5199F41E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dea26339901c41deb82a7d4cb9fb930271aded7f","datavalue":{"value":"10.1016/J.LAA.2008.05.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947632$6BC7DB4D-BFC4-4658-A844-9B0CC3443C41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81dcdc7caec5fe1ba4b2afda2b19e4eee0d0652","datavalue":{"value":{"entity-type":"item","numeric-id":3452422,"id":"Q3452422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6514a104bac5fe0eeeeb8877e6d161e300628f5","datavalue":{"value":{"amount":"+0.8032410740852356","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":"Q947632$1D6898B6-C182-4BD7-98AD-05D513EE7B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5745edaa605cb0df8b17e2b9b7e47e45ecda94b0","datavalue":{"value":{"entity-type":"item","numeric-id":2366722,"id":"Q2366722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"515964abecde0a45a359385336914e217ffb0e16","datavalue":{"value":{"amount":"+0.7979329228401184","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":"Q947632$BE21C06D-9D75-4A8C-8BC7-BA136379600E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57be4d97d975147197566a0d3071d1a6df322efc","datavalue":{"value":{"entity-type":"item","numeric-id":1612120,"id":"Q1612120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b2f5090be8a24d692360407e1c99672bc9e817","datavalue":{"value":{"amount":"+0.7902825474739075","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":"Q947632$25F46C0E-DA96-44CC-9BBE-4C6FB570355D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e32de587d19790940fcda55b78a592dc86dc717","datavalue":{"value":{"entity-type":"item","numeric-id":2464486,"id":"Q2464486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2bd21d49dae92e318bc8f72da8d91ef2c0d5627","datavalue":{"value":{"amount":"+0.7852044701576233","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":"Q947632$F1A1AF45-B911-4D5E-A884-F66CFA121823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29357fd81bd80c1ace28f8855f1da4fbc14836a7","datavalue":{"value":{"entity-type":"item","numeric-id":2456568,"id":"Q2456568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa0c7eb7f77f260e659e83acb8a20ef9daba762","datavalue":{"value":{"amount":"+0.7775682806968689","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":"Q947632$1190165A-9319-484E-A2E3-DCE61AABB7B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithm for unimodular completion over Laurent polynomial rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algorithm_for_unimodular_completion_over_Laurent_polynomial_rings"}}}}}