Trac #31512: Implementation of the graded quasimodular forms ring

The goal of this ticket is to implement the graded ring of quasimodular
forms. More precisely, the goal is to first implement a class named
{{{QuasiModularFormsRing}}} with similar methods and features as the
class {{{ModularFormsRing}}} (though see #31559).

This ticket is part of #31560

URL: https://trac.sagemath.org/31512
Reported by: gh-DavidAyotte
Ticket author(s): David Ayotte
Reviewer(s): Vincent Delecroix

build/pkgs/configure/checksums.ini

@@ -1,4 +1,4 @@
 tarball=configure-VERSION.tar.gz
-sha1=858fdf8527f4fe99784aa086e22a87af78747c43
-md5=f6caaef1d6736234579c63ec24d0e74c
-cksum=3658190224
+sha1=51d4932b341ae2d45a9f290b01678ddd6b69588b
+md5=95b23763516ee31c92d2cd1b8471f3f3
+cksum=3258904629

build/pkgs/configure/package-version.txt

@@ -1 +1 @@
-98255bc46252b0d90b8a3fdc3a83bc568163fb6e
+bb8fb816820e2f4f8704d152fd7f9df0525b9b2b

src/doc/en/reference/index.rst

@@ -121,6 +121,7 @@ Number Theory
 * :doc:`General Hecke Algebras and Hecke Modules <hecke/index>`
 * :doc:`Modular Symbols <modsym/index>`
 * :doc:`Modular Forms <modfrm/index>`
+* :doc:`Quasimodular Forms <quasimodfrm/index>`
 * :doc:`Modular Forms for Hecke Triangle Groups <modfrm_hecketriangle/index>`
 * :doc:`Modular Abelian Varieties <modabvar/index>`
 * :doc:`Miscellaneous Modular-Form-Related Modules <modmisc/index>`
@@ -168,4 +169,3 @@ Indices and Tables
 * :ref:`genindex`
 * :ref:`modindex`
 * :ref:`search`
-

src/doc/en/reference/quasimodfrm/conf.py

@@ -0,0 +1 @@
+../conf_sub.py

src/doc/en/reference/quasimodfrm/index.rst

@@ -0,0 +1,13 @@
+Quasimodular Forms
+==================
+
+Module List
+-----------
+
+.. toctree::
+   :maxdepth: 2
+
+   sage/modular/quasimodform/ring
+   sage/modular/quasimodform/element
+
+.. include:: ../footer.txt

src/doc/en/reference/references/index.rst

@@ -5906,6 +5906,10 @@ REFERENCES:
 
 **Z**
 
+.. [Zag2008]  \D. Zagier, *Elliptic Modular Forms and Their Applications*,
+          In: Ranestad K. (eds) The 1-2-3 of Modular Forms. Universitext.
+          Springer, Berlin, Heidelberg. (2008) :doi:`10.1007/978-3-540-74119-0_1`
+
 .. [ZBLRYV2015] \W. Zhang, Z. Bao, D. Lin, V. Rijmen, B. Yang, and I. Verbauwhede,
                 *RECTANGLE: A bit-slice lightweight block cipher suitable for
                 multiple platforms*; in

src/sage/modular/all.py

@@ -40,3 +40,5 @@
 from .btquotients.all import *
 
 from .pollack_stevens.all import *
+
+from .quasimodform.all import *

src/sage/modular/modform/ring.py

@@ -1,5 +1,5 @@
 """
-Graded Rings of Modular Forms
+Graded rings of modular forms
 
 This module contains functions to find generators for the graded ring of
 modular forms of given level.

src/sage/modular/quasimodform/__init__.py

@@ -0,0 +1 @@
+from . import all

src/sage/modular/quasimodform/all.py

@@ -0,0 +1,2 @@
+# Quasimodular forms rings
+from .ring import QuasiModularForms