diff options
Diffstat (limited to '')
| -rw-r--r-- | docs/README | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/docs/README b/docs/README deleted file mode 100644 index 0cfde24..0000000 --- a/docs/README +++ /dev/null | |||
| @@ -1,7 +0,0 @@ | |||
| 1 | Here we collect some incomplete and work-in-progress documentation. | ||
| 2 | |||
| 3 | In compute_degrees we prove that our way to compute the degrees gives the | ||
| 4 | correct result. | ||
| 5 | |||
| 6 | In af_code we break down the code for the "adelic failure" part of the script | ||
| 7 | and we check that it computes the degrees as described in compute_degrees. | ||