From bc061966c6aa7c12b8e2eb150ceaa490268f6c9c Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date: Fri, 20 Sep 2019 10:12:52 +0200
Subject: New documentation

---
 docs/README | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 docs/README

(limited to 'docs/README')

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.
-- 
cgit v1.3