quasi-modular forms (GSoC project)

[videlec]

This task ticket aims to organize the work of the GSoC 2021 project on quasi-modular forms. The work is split in several sub tickets.

• Make ModularFormRings manipulate formal objects #31559: make ModularFormsRing manipulate formal objects
  • Fix conversion between spaces of modular forms #32168: Fix conversion between spaces of modular forms
  • Remove base ring attribute for the class ModularFormsRing #32349: Remove base ring attribute
• Implement to_polynomial and from_polynomial methods for ModularFormsRing #32135: implement to_polynomial and from_polynomial
• Implementation of the graded quasimodular forms ring #31512: ring of quasi-modular forms
  • Implement to_polynomial and from_polynomial for quasimodular forms #32336 Implement to_polynomial, from_polynomial
  • Serre derivative for modular forms #32343 Implement Serre derivative for modular forms
  • Implement derivative for modular forms and quasimodular forms #32357 Implement derivative of quasiforms and graded form
• Fix typos and review the documentation of modform_hecketriangle #31898: typos and documentation of modular/modform_hecketriangle
• Conversion from q-expansion to GradedModularFormElement and QuasiModularFormElement #32337: Implement conversion from q-expansion (with enough precision) to GradedModularFormElement and QuasiModularFormElement
• Implementation of the q-bracket #32366: the q-bracket and related functions, the Bloch-Okounkov theorem.

CC: @DavidAyotte @slel

Component: modular forms

Keywords: quasimodular-forms gsoc2021

Author: David Ayotte, Vincent Delecroix

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

[videlec]

Changed keywords from none to quasimodular-forms gsoc2021

[mkoeppe]

comment:3

Sage development has entered the release candidate phase for 9.3. Setting a new milestone for this ticket based on a cursory review of ticket status, priority, and last modification date.

[DavidAyotte]

Author: David Ayotte, Vincent Delecroix

[mantepse]

comment:17

This project might benefit from the lazy framework introduced in #31897, #32324. If you think so, please message me!