{"entities":{"Q7361726":{"pageid":31520717,"ns":120,"title":"Item:Q7361726","lastrevid":105423806,"modified":"2026-10-08T13:45:46Z","type":"item","id":"Q7361726","labels":{"en":{"language":"en","value":"Echelon Form"}},"descriptions":{"en":{"language":"en","value":"AFP entry Echelon_Form"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b0646bb0ce3d258ddbfaec833f56fd316bdcc0c","datavalue":{"value":"https://isa-afp.org/entries/Echelon_Form.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361726$FD52A8BB-C49C-4606-853B-0A493087A0DA","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3ac7196df7cfbb13ec1a00e4eadbe8c75213209e","datavalue":{"value":"Jose Divas\u00f3n","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361726$C11B2A7B-E8C3-45B6-BC80-D5F9EE8D63E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"f590724f98be0a407bcb6ce6e3ed61e0d0766c46","datavalue":{"value":"Jes\u00fas Aransay","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361726$288383CC-44DF-4222-BD37-26F4EDCBE175","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"91867bb3bf848d3b3e57a1cd07a57d14b92d112a","datavalue":{"value":"We formalize an algorithm to compute the Echelon Form of a matrix. We have proved its existence over B\u00e9zout domains and made it executable over Euclidean domains, such as the integer ring and the univariate polynomials over a field. This allows us to compute determinants, inverses and characteristic polynomials of matrices. The work is based on the HOL-Multivariate Analysis library, and on both the Gauss-Jordan and Cayley-Hamilton AFP entries. As a by-product, some algebraic structures have been implemented (principal ideal domains, B\u00e9zout domains...). The algorithm has been refined to immutable arrays and code can be generated to functional languages as well.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361726$3658113C-AAFC-479E-BD42-5166FE52DD49","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"6e6269c49ced5046170cb19155d6b7e70422c5ca","datavalue":{"value":{"entity-type":"item","numeric-id":7361885,"id":"Q7361885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361726$36FC9094-B187-4427-A67E-451F5E71ABE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c74fb85b93aed6b0154f37279158b02ac3d7c1fa","datavalue":{"value":{"entity-type":"item","numeric-id":7361519,"id":"Q7361519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361726$6DD62067-B829-4AD3-B25F-153EBA315267","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cdc61d2e07322be8c646950f18fe6f092ac87075","datavalue":{"value":{"time":"+2015-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361726$896F29B6-7221-491C-86C0-1B3553ADB026","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e00a3dba284380de126c78cd8b069abf9af0e040","datavalue":{"value":{"text":"Echelon Form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361726$FCB400EC-9093-4806-982C-449D6B9AB4F5","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":"Q7361726$45595F62-D7AE-479C-B07E-D0E29926A27F","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":"Q7361726$10F71865-664E-4266-8C03-39A40D6E8425","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":"Q7361726$2664DDDE-D4F2-4806-91FF-8E0B246867B8","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"80b4be71ce8098fa80d6b04ac32f0c7077fd970b","datavalue":{"value":"28558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361726$DE392234-4D4D-4432-B66B-DC9A2F294AE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361726$B176874D-FF6E-4B1D-915D-F113B97BA0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62b7e192ddad84e0999f497c95811da22d169570","datavalue":{"value":"13.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361726$6317DFA7-FD48-4507-A5D9-F2C51C99DE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89107e9c93cd6c803fd02a890f7a831dced41c0b","datavalue":{"value":"15.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361726$CAE5FC6C-9EEA-489D-96FB-59DF20C370D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361726$C3CDB70A-7413-4043-BCC0-C9478D8F61F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e462972086ee801d37e44225e894a31546ff81e","datavalue":{"value":"70.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361726$3482CA7E-ABAD-4FDD-9314-6D33BA3DA7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a2ce8697776c478fad5facac57bc163b9158c961","datavalue":{"value":"3.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361726$43A938D6-B64C-408E-B7DE-21312D553A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"274fa190f9822cfc53f34a138fb5426d7025150d","datavalue":{"value":"49.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361726$8DF44AD5-E652-4E3E-85BB-1E37AD971A60","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"c0c36cd146912209a7445932d09b9a28dd956791","datavalue":{"value":{"entity-type":"item","numeric-id":333325,"id":"Q333325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361726$2CFB3DA6-3EB2-4562-B772-486284645030","rank":"normal"}],"P1458":[{"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":"Q7361726$7439B9C8-D2F3-4EFA-80B2-35E52AC43421","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":"Q7361726$C0AC36A6-B09C-457B-B50E-C25C2EFAC8BD","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":"Q7361726$AC516656-CD03-44D1-A3B0-07795EFB7489","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":"Q7361726$6EB99F23-BC13-44B1-B358-DDE58EE1FE3D","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":"Q7361726$ECC0DC32-9082-4767-991E-F3485B34450D","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":"Q7361726$B2C1B049-7956-447A-9D74-6839D00A5939","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":"Q7361726$C73A5CAD-796F-4A9A-A6C7-6A3B473A46AB","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":"Q7361726$D37D165A-18A7-4C6E-890D-E0FA02AA695F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361726$86C447AE-87EE-46E8-9A31-8AD7D608FC65","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":"Q7361726$8828F948-03D6-4C8C-8D9F-91FAFED571BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"144f0221487b5ba035abaca0f440960a9e47efeb","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361726$888B6BD6-A5EF-494B-98CA-DBC8302B081A","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":"Q7361726$757C6E92-C4BE-47FC-8141-78AD2B76804F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4dfac822d106dc7f697754008c4906d0b5156921","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361726$BCA4AB33-913B-4D46-9D5F-104F0C3313F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"40f795ade24d8de138c5cb590edabeeb2cff87e5","datavalue":{"value":{"entity-type":"item","numeric-id":40278,"id":"Q40278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361726$DFB082F2-53E4-4FC6-BBD0-0CFFD2E11DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a54e24244723bf29b2db533f355d939551876363","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361726$6680A762-7EA7-4537-BBCC-22259E2B033C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"206148fb4091bc526b4985eb7106f34e5f9739ba","datavalue":{"value":{"entity-type":"item","numeric-id":52541,"id":"Q52541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361726$F1F4A0E7-CB8F-45BB-80E0-5ED5ACF45138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1b914a45373f0c19fc30345c2d7f6de4803f7357","datavalue":{"value":{"entity-type":"item","numeric-id":53738,"id":"Q53738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361726$AEF8935A-D8C0-4EFD-8C33-ED7CB7795BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7434bcf5c727d2c07e931aea1694436d0b39cd53","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361726$FACB7AE7-27AF-406C-B68C-2EED8D03F892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e7a1624ebcfc86cb11ccad80d0985ed6ed992b9","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361726$F64DD5C3-2531-449C-A37C-4C908311A837","rank":"normal"},{"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":"Q7361726$079AB839-C9F3-456A-B37A-8636E2DDB200","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Echelon Form (AFP entry Echelon Form)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Echelon_Form_(AFP_entry_Echelon_Form)"}}}}}