kummer-degrees

Compute the degree of Kummer extensions
git clone https://git.tronto.net/kummer-degrees
Download | Log | Files | Refs | README | LICENSE

README (313B)


      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.