{"entities":{"Q7361915":{"pageid":31521284,"ns":120,"title":"Item:Q7361915","lastrevid":105423980,"modified":"2026-10-08T13:45:55Z","type":"item","id":"Q7361915","labels":{"en":{"language":"en","value":"Hermite Normal Form"}},"descriptions":{"en":{"language":"en","value":"AFP entry Hermite"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27d6083b37eef566b426e72e3e8a6c9f90980502","datavalue":{"value":"https://isa-afp.org/entries/Hermite.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361915$B184CF86-4651-4D84-834B-AAB33BC209E9","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3ac7196df7cfbb13ec1a00e4eadbe8c75213209e","datavalue":{"value":"Jose Divas\u00f3n","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361915$A3863EE5-74E3-43BA-B5CE-C597179ADA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"f590724f98be0a407bcb6ce6e3ed61e0d0766c46","datavalue":{"value":"Jes\u00fas Aransay","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361915$EF9BC31F-90E8-4FC3-A361-9FF45185AE42","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8cdc6c38a5357837374b6783113bd6d6bf60cbf","datavalue":{"value":"Hermite Normal Form is a canonical matrix analogue of Reduced Echelon Form, but involving matrices over more general rings. In this work we formalise an algorithm to compute the Hermite Normal Form of a matrix by means of elementary row operations, taking advantage of the Echelon Form AFP entry. We have proven the correctness of such an algorithm and refined it to immutable arrays. Furthermore, we have also formalised the uniqueness of the Hermite Normal Form of a matrix. Code can be exported and some examples of execution involving integer matrices and polynomial matrices are presented as well.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361915$926E07FB-DD28-4CA2-80C8-C464F7B4927B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"975750fa34c52053d5e9b96bb5af1d650182238c","datavalue":{"value":{"time":"+2015-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361915$DCC27C81-FDB1-43A8-B5F0-E855BB4E24F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"787290ce01589f9d6c831373f8b788864a3367c8","datavalue":{"value":{"text":"Hermite Normal Form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361915$96F9BA35-6F95-4E8E-9093-BA0EF028E919","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$494DBFBC-C718-4D40-9B0C-13848C59B8DD","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"549d65a2530d26e11aef26cf5c975d1ec8b882e0","datavalue":{"value":{"entity-type":"item","numeric-id":7361726,"id":"Q7361726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$31355B8E-BBE8-4504-B313-4616B08D4DA2","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"8b04062afcab9da0e2966e5a07727a614a9432ac","datavalue":{"value":{"entity-type":"item","numeric-id":7360778,"id":"Q7360778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$250B365D-E2BD-4B23-81A8-1FC75D6CE0F8","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$6C3E36EC-9160-46FE-A601-3CDA0EABC40D","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"ba06d6a0315d2fc831b438dc9ad1bf00e63f7734","datavalue":{"value":"45056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361915$474961D1-4054-4B22-8E91-17BB786A590B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361915$8000759C-7FE6-4168-A5B3-D5574B01B834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89107e9c93cd6c803fd02a890f7a831dced41c0b","datavalue":{"value":"15.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361915$CCB144A0-5F5A-427F-B86F-36B026285CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361915$CE9E4CA1-71C9-40F2-AA42-2D9B53B4535C","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$5FB0353F-ABCC-4118-B705-A8AEC00B3A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7d1a8519018039436924ad678b461ed447b5bd71","datavalue":{"value":{"entity-type":"item","numeric-id":40310,"id":"Q40310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$BDCD3E15-8519-47F2-A8E3-A00A40641E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$18F5ED7A-A54F-460A-92F2-2363568BE3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$59B7C44E-A089-494F-BD3B-B491BB8FB18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7af76fef8d60c5ff6f83c3b8ce7926e6a38c015f","datavalue":{"value":{"entity-type":"item","numeric-id":40277,"id":"Q40277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$C9C15BA4-014D-4224-8293-E4553C7F9962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f1f3f217ad7d25648b72a532a22e5bf696c7db2e","datavalue":{"value":{"entity-type":"item","numeric-id":40272,"id":"Q40272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$FA482687-CDB4-41F3-B43C-15312BC1AC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d16fe220c723aa7cdd0cb65cbe3c4f25405f0668","datavalue":{"value":{"entity-type":"item","numeric-id":17016,"id":"Q17016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$228A9129-E414-41AB-9C56-F2D962D9C6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$52C117C3-05FD-4627-B3E2-765C69266560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"60c3e92cef9647ede91bb4f6e4b4ff38f40460ac","datavalue":{"value":{"entity-type":"item","numeric-id":35496,"id":"Q35496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$B749EB01-9098-478E-99A6-67C925D37A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$F35C38F3-3E81-4340-A601-DF09F15AA83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"139c69b2a23f419923a7989e28183ef8179b6836","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$3DB53682-526E-483E-9310-7BE0E358A99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$DF73CA65-A1D5-42C3-9607-329AE34DC2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$D82BA5FF-B80B-486B-9FA5-52E4659E958C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3d6bbdf972f98d8ad7ee0f8e03926967202151aa","datavalue":{"value":{"entity-type":"item","numeric-id":5974073,"id":"Q5974073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$F30A58FC-00A3-4EA6-8A3E-4B903E6CB76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3be6df7c77a3193fbc55e1308aa41ded5bec30c5","datavalue":{"value":{"entity-type":"item","numeric-id":5972313,"id":"Q5972313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$3F49AE0C-296B-4503-8B12-B29508A8B906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"780ea80cf1bbbaef17670bc4dedbaa7e1a9ebb13","datavalue":{"value":{"entity-type":"item","numeric-id":5974233,"id":"Q5974233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$C8AEF246-C01F-41FF-B5BA-C919138B1E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$786867AA-4264-4055-A580-4580B07AC3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cea2a7e9bb130921d12e1d361b3d4585036772c9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$CDE5E614-A77C-4273-A4FF-70D4B6E2BB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361915$0970A95F-4A6A-473F-989F-35D3B7B2A520","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hermite Normal Form","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hermite_Normal_Form"}}}}}