Nelynx 06957fc5fe fix the multiplication by unit in the source thing		2025-03-13 14:32:14 +01:00
.vscode	add changes to work in local	2025-03-13 10:35:48 +01:00
AeCodPruebas.lib	fix the multiplication by unit in the source thing	2025-03-13 14:32:14 +01:00
checklist.md	changes to work modulo an ideal	2025-02-28 16:35:12 +01:00
comparison.md	add missing row to table	2025-03-10 09:00:02 +01:00
main.pdf	add Matthias notes	2025-03-07 09:54:38 +01:00
main.tex	add tex file	2025-03-07 10:01:19 +01:00