{"entities":{"Q5974233":{"pageid":12561878,"ns":120,"title":"Item:Q5974233","lastrevid":105428954,"modified":"2026-10-09T10:10:57Z","type":"item","id":"Q5974233","labels":{"en":{"language":"en","value":"Modular_arithmetic_LLL_and_HNF_algorithms"}},"descriptions":{"en":{"language":"en","value":"AFP entry Modular_arithmetic_LLL_and_HNF_algorithms"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"b5eb003f12ba00bab1eb0826b86328653a5e0de1","datavalue":{"value":"45054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5974233$282FA222-E520-4677-AE6E-6353E5163F23","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":"Q5974233$2F84AC91-68EF-41D3-A67E-9DAE13CCD6D6","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"32fded824b65f4f120ce3f377ecc7e6e7aee30b9","datavalue":{"value":"https://www.isa-afp.org/entries/Modular_arithmetic_LLL_and_HNF_algorithms.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5974233$72A7DD0D-54AC-4A6E-8E94-7FA30FE00B80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5974233$CF90357E-2A79-43FB-A27A-E85FB5257302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5974233$7CE4476D-BE66-4975-9052-B6CFB180EED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5974233$9A488E98-95A7-4A14-8BD9-67D8F7F1CFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89107e9c93cd6c803fd02a890f7a831dced41c0b","datavalue":{"value":"15.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5974233$9EEAC281-53F0-4171-8925-66C4741D9CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5974233$4DD1373A-3D4C-478F-825B-F82587F2AB5F","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":"Q5974233$731FCF9A-601C-40AF-9329-CCAAFDA8E205","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":"Q5974233$A864AB93-3B20-4F8B-807B-09DD82C502D1","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":"Q5974233$02DB0541-0226-46F4-A5B4-21D923B1FAE9","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":"Q5974233$D2254946-4D61-46F9-8633-EF0BCBF18FFF","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":"Q5974233$D537DC22-AAF1-401E-A68A-E832060ABC5B","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":"Q5974233$50417C90-FED5-43C9-8CA2-D44745016DF0","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":"Q5974233$4358F966-033F-45A9-A9FA-6C4F12707594","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":"Q5974233$80A2211D-C740-47F6-BE7C-57A516B2FDEC","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":"Q5974233$22D70A30-9D8B-4BC0-A8CC-649CBF42D7C3","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":"Q5974233$6E5D7910-3983-481A-B76F-FED75282BD67","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":"Q5974233$E682B265-43FA-4396-A01F-654D7346BF10","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":"Q5974233$5DDB92BC-EA01-4793-AD1A-56F2604DFBEA","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":"Q5974233$598DB096-2E66-4970-A2DF-A9CEBC692BE4","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":"Q5974233$3161C2FB-C1AD-4AB1-94F1-03335CFCF2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9caf4bc458928d9bfca367510c84dd6cdfb56b5e","datavalue":{"value":{"entity-type":"item","numeric-id":5972811,"id":"Q5972811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974233$D318C03E-6034-4FC2-8FB2-DCFC2DA7D276","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":"Q5974233$AD59B6B2-348B-4D86-9B17-99A5D3281C9A","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":"Q5974233$41A59596-341D-4E9E-B7AA-B65158AE176C","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":"Q5974233$FE8390A0-26B6-4E08-8C08-6531BAD82A0E","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":"Q5974233$19E8FFEE-04A0-419F-B214-1F46366737EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62504747f6ebd0334eb52c4f1e18d835b2642c9d","datavalue":{"value":"https://isa-afp.org/entries/Modular_arithmetic_LLL_and_HNF_algorithms.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5974233$197C0625-157C-464C-AB4A-0ED9DA2DD521","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"d6e2e06bc6d38783fcdfb6387c30d5f45465b3a1","datavalue":{"value":"Ralph Bottesch","type":"string"},"datatype":"string"},"type":"statement","id":"Q5974233$560D322E-618A-4E74-8A1D-A18EB3DBC2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"3ac7196df7cfbb13ec1a00e4eadbe8c75213209e","datavalue":{"value":"Jose Divas\u00f3n","type":"string"},"datatype":"string"},"type":"statement","id":"Q5974233$FA5FDA98-766F-478E-939E-77A99E57685E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"3e961f1f2b2e533bd88ffdbcd178bd2ef2813f73","datavalue":{"value":"Ren\u00e9 Thiemann","type":"string"},"datatype":"string"},"type":"statement","id":"Q5974233$9A9AA941-312A-4BFA-9CF6-EBFA0E8B726F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b7fa4ac8289eae4c7db56fb3a4e1691523133569","datavalue":{"value":"We verify two algorithms for which modular arithmetic plays an essential role: Storjohann's variant of the LLL lattice basis reduction algorithm and Kopparty's algorithm for computing the Hermite normal form of a matrix. To do this, we also formalize some facts about the modulo operation with symmetric range. Our implementations are based on the original papers, but are otherwise efficient. For basis reduction we formalize two versions: one that includes all of the optimizations/heuristics from Storjohann's paper, and one excluding a heuristic that we observed to often decrease efficiency. We also provide a fast, self-contained certifier for basis reduction, based on the efficient Hermite normal form algorithm.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5974233$4DDD757A-876E-4D78-8675-51D0F2A1CB22","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"f69ec74abef8585edec39a02aa083df944044e5a","datavalue":{"value":{"entity-type":"item","numeric-id":7361915,"id":"Q7361915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974233$56ABF95B-B1DA-4FC2-9E3F-39A7577F7D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"67e8a5ea879a7dc06c8ce830c1b61b9bb35cc48f","datavalue":{"value":{"entity-type":"item","numeric-id":7361432,"id":"Q7361432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974233$C5F78110-E9AA-430B-B0CD-79C98D966586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"6b0c8751e5c0af23677c31da7dad8b06ad87cc15","datavalue":{"value":{"entity-type":"item","numeric-id":7361415,"id":"Q7361415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974233$642EB7AF-BDFA-4373-B9E0-21EA26793FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c8b055357156b513ebffa05abff4ab0fc053c1d6","datavalue":{"value":{"entity-type":"item","numeric-id":7361662,"id":"Q7361662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974233$0D854254-EF54-4F91-8574-E0C13020C700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"38937bbfa664f0893d93ef99172734aa1b5e0423","datavalue":{"value":{"entity-type":"item","numeric-id":7361291,"id":"Q7361291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974233$90BB62DE-E016-4624-92B4-59EE9B42B7E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f59565c5fce317316159d63a6a6c80aee757796f","datavalue":{"value":{"time":"+2021-03-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":"Q5974233$10AD3291-63B5-40A6-BFE9-B67F0EE5D31E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"226cab2e9ffb7a8ceb7fdd8f53c0b0082993cf65","datavalue":{"value":{"text":"Two algorithms based on modular arithmetic: lattice basis reduction and Hermite normal form computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5974233$8BF7934F-FD04-40B6-9810-8466D2C6453B","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":"Q5974233$F69998C6-9BA9-49DF-86C4-0FAA0427ED2A","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":"Q5974233$0D88DD2F-7FBC-4669-9BF6-1A6A171BF400","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular arithmetic LLL and HNF algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_arithmetic_LLL_and_HNF_algorithms"}}}}}