From bc061966c6aa7c12b8e2eb150ceaa490268f6c9c Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Fri, 20 Sep 2019 10:12:52 +0200 Subject: New documentation --- docs/README | 7 +++++++ docs/af_code.pdf | Bin 0 -> 212906 bytes 2 files changed, 7 insertions(+) create mode 100644 docs/README create mode 100644 docs/af_code.pdf (limited to 'docs') diff --git a/docs/README b/docs/README new file mode 100644 index 0000000..0cfde24 --- /dev/null +++ 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 new file mode 100644 index 0000000..9fccfd5 Binary files /dev/null and b/docs/af_code.pdf differ -- cgit v1.3