Mentions légales du service

Skip to content
Snippets Groups Projects
  • Andreas Enge's avatar
    c1fc6557
    Correct a bug when determining a generator in a real tower. · c1fc6557
    Andreas Enge authored
    * src/f_tower.c (mpfrcx_is_galois_generator): Consider and reject the case
      that a supposedly complex conjugate pair of roots has become real, so
      that in fact it represents the same real root. This has occured in CM
      when computing the class polynomial with the Atkin invariant for
      d=-255.
    * NEWS: Update.
    c1fc6557
    History
    Correct a bug when determining a generator in a real tower.
    Andreas Enge authored
    * src/f_tower.c (mpfrcx_is_galois_generator): Consider and reject the case
      that a supposedly complex conjugate pair of roots has become real, so
      that in fact it represents the same real root. This has occured in CM
      when computing the class polynomial with the Atkin invariant for
      d=-255.
    * NEWS: Update.
To find the state of this project's repository at the time of any of these versions, check out the tags.