blob: 0cfde249f9a8c7990ae731aedfe388a03e7aa2a5 (
plain)
1
2
3
4
5
6
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.
|