#19774: Full support for modular forms for the Theta subgroup
-------------------------------------+-------------------------------------
Reporter: jj | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-7.0
Component: modular forms | Keywords: modular forms
Merged in: | theta subgroup half-integer weight
Reviewers: | Authors: Jonas Jermann
Work issues: | Report Upstream: N/A
Commit: | Branch: u/jj/theta_space
d6c377f55e1b37bbc9f794bdc7a719591b8a9c8c| Dependencies: #17909
Stopgaps: |
-------------------------------------+-------------------------------------
The current implementation of modular forms for the Theta subgroup only
allows modular forms with integer orders at the cusp -1.
With this ticket all forms are supported, also forms with fractional order
at the cusp -1.
In particular this includes the theta function / half-integer weight
forms.
Also note that there is a correspondence between modular forms for the
Theta subgroup
and modular forms for Gamma0(4). So in essence this ticket provides
support for
classical half-integer weight modular forms (for Gamma0(4)) for all kind
of analytic types:
cuspidal, holomorphic, weakly holomorphic, meromorphic and also quasi
forms,
as ring or module elements and with a lot of powerful methods.
The ticket depends on the branch u/jj/rankin_cohen_bracket (#17909).
The ticket is basically implemented but some more testing/documentations
are required.
--
Ticket URL: <http://trac.sagemath.org/ticket/19774>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
