commit bc061966c6aa7c12b8e2eb150ceaa490268f6c9c parent c1a5a3de06e21f616d1e5a5d99579d9437f2b12c Author: Sebastiano Tronto <sebastiano.tronto@gmail.com> Date: Fri, 20 Sep 2019 10:12:52 +0200 New documentation Diffstat:
| A | docs/README | | | 7 | +++++++ |
| A | docs/af_code.pdf | | | 0 |
2 files changed, 7 insertions(+), 0 deletions(-)
diff --git a/docs/README b/docs/README @@ -0,0 +1,7 @@ +Here we collect some incomplete and work-in-progress documentation. + +In compute_degrees we prove that our way to compute the degrees gives the +correct result. + +In af_code we break down the code for the "adelic failure" part of the script +and we check that it computes the degrees as described in compute_degrees. diff --git a/docs/af_code.pdf b/docs/af_code.pdf Binary files differ.