New ray class

[fchapoton]

this is a revival of #15829

📝 Checklist

• The title is concise and informative.
• The description explains in detail what this PR is about.
• I have linked a relevant issue or discussion.
• I have created tests covering the changes.
• I have updated the documentation and checked the documentation preview.

[fchapoton]

@AurelPage
j'ai rebasé, mais il reste du boulot

[github-actions]

Documentation preview for this PR (built with commit e675d41; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

[fchapoton]

The 2 failing doctests in src/sage/modular/hecke_character.py should be easy to fix by an expert in the field.

[fchapoton]

J'ai le sentiment de me mélanger les pinceaux entre bnrinit et gcharinit. Je crois que le ticket parle plutot du "ray class group". Un expert pourrait-il aider à clarifier les choses ? en particulier concernant la fonction L ?

[AurelPage]

Frédéric, ne touche pas aux gchar pour le moment. bnrinit permet de calculer des groupes de classes de rayon et leurs caractères, qui sont exactement les caractères de Hecke d'ordre fini. gcharinit permet de traiter les caractères de Hecke arbitraires, donc potentiellement d'ordre infini et potentiellement transcendants, je pense qu'il vaut mieux garder ça pour un travail d'intégration séparé.

[fchapoton]

ok, les fonctions L marchent, mais il manque encore de la doc. Et surtout l'aide d'un specialiste pour me dire si les doctests qui ne passent pas sont des erreurs au sens mathematique ou pas.

[AurelPage]

Merci ! Je vais regarder mais je n'aurai pas trop le temps avant une semaine.