Hecke triangle group cusp form base ring

[roed314]

sage: from sage.modular.modform_hecketriangle.space import CuspForms
sage: MF = CuspForms(n=infinity, k=16)
sage: MF.category().base_ring()
Fraction Field of Univariate Polynomial Ring in d over Integer Ring
sage: MF.base_ring()
Integer Ring

The fact that these are different causes trouble:

sage: MF in MF.category()
False

CC: @jjermann

Component: modular forms

Keywords: sd86.5

Author: David Roe

Branch/Commit: 906d5b2

Reviewer: Julian Rüth

Issue created by migration from https://trac.sagemath.org/ticket/23201

[roed314]

Changed keywords from none to sd86.5

[roed314]

Branch: u/roed/hecke_triangle_group_cusp_form_base_ring

[roed314]

New commits:

5fbc34c

Change base ring for CuspFormsRing in Hecke triangle group

[roed314]

Commit: 5fbc34c

[sagetrac-git]

Changed commit from 5fbc34c to 906d5b2

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

906d5b2

Fix base rings for many other parents in sage/modular/moform_hecketriangle

[roed314]

Author: David Roe

[roed314]

comment:5

FYI, I ran tests and all passed.

[saraedum]

Reviewer: Julian Rüth