Opened 6 years ago
Closed 6 years ago
#16883 closed enhancement (fixed)
Modular forms for the theta subgroup (as part of Hecke triangle groups)
Reported by:  jj  Owned by:  

Priority:  minor  Milestone:  sage6.4 
Component:  modular forms  Keywords:  theta subgroup modular forms hecke triangle 
Cc:  mraum  Merged in:  
Authors:  Jonas Jermann  Reviewers:  Martin Raum 
Report Upstream:  N/A  Work issues:  
Branch:  05e551d (Commits)  Commit:  05e551d292500c1928d08361207703dab8a89043 
Dependencies:  Stopgaps: 
Description (last modified by )
Complete support for modular forms for the Hecke triangle group corresponding to n=infinity (the theta subgroup) with corresponding + further doctests/documentation.
The situation is slightly different since there are now two cusps with two corresponding generators.
In particular the limit of the generator f_rho tends to 1 and the generator for n=infinity is instead E4 which is the limit of f_rho^{n. }
Note that only functions which are meromorphic and meromorphic at the cusps are considerd. E.g. E4 is the 8th power of theta, but smaller powers are no longer meromorphic at 1. Also note that limits of functions/coefficients as n tends to infinity are usually given by the corresponding function in the theta subgroup.
Additionally the ticket adds support for experimental rationalization of series, refactoring of code which in particular provides more robust numerical Fourier expansions and Eisenstein series of arbitrary weight for n=3,4,6.
The ticket also fixes a mistake from #16839 and has some other small changes.
Attachments (1)
Change History (24)
comment:1 Changed 6 years ago by
 Commit changed from 988bdadce2f5a50af09f8b7a668c3e9e4f7a6a46 to b73a0d6bd3581a586ad5e7c844f1c78aabcd83a6
comment:2 Changed 6 years ago by
 Commit changed from b73a0d6bd3581a586ad5e7c844f1c78aabcd83a6 to ff9f4a8ae72ba9eaead6e22be3bcd7e682f5966c
Branch pushed to git repo; I updated commit sha1. New commits:
ff9f4a8  support taking power 0 of homogeneous elements

comment:3 Changed 6 years ago by
 Commit changed from ff9f4a8ae72ba9eaead6e22be3bcd7e682f5966c to 3d46db2825c6e5364897613293fb482293a41dab
Branch pushed to git repo; I updated commit sha1. New commits:
3d46db2  Complete support for the theta subgroup:

comment:4 Changed 6 years ago by
 Description modified (diff)
comment:5 Changed 6 years ago by
 Status changed from new to needs_review
comment:6 Changed 6 years ago by
 Dependencies changed from 16839 to #16839
 Description modified (diff)
comment:7 Changed 6 years ago by
 Description modified (diff)
comment:8 Changed 6 years ago by
 Commit changed from 3d46db2825c6e5364897613293fb482293a41dab to 65eb97e15d05a2af8e631f8252485bc48a1bc23c
Branch pushed to git repo; I updated commit sha1. New commits:
65eb97e  experimental support for turning numerical laurent series into exact series and using it to cosntruct forms based on numerical series (no success garantuees)

comment:9 Changed 6 years ago by
 Commit changed from 65eb97e15d05a2af8e631f8252485bc48a1bc23c to 1de64b82dbbcfc94ef7ab49b4e633b0b82187ee2
Branch pushed to git repo; I updated commit sha1. New commits:
1de64b8  A large refactoring of code:

comment:10 Changed 6 years ago by
 Description modified (diff)
comment:11 Changed 6 years ago by
 Commit changed from 1de64b82dbbcfc94ef7ab49b4e633b0b82187ee2 to 6cdde65492fe21fe9adc5897ccf97f53bc8ca481
Branch pushed to git repo; I updated commit sha1. New commits:
6cdde65  documentation fix, use get_d and get_q, also support to get the polynomial variable d with get_d

comment:12 Changed 6 years ago by
 Commit changed from 6cdde65492fe21fe9adc5897ccf97f53bc8ca481 to 3660bea9865f6982fc60974c82f24b1c1b825726
Branch pushed to git repo; I updated commit sha1. New commits:
3660bea  construction of elements based on numerical coefficients works (sometimes), so we might as well doctest it

comment:13 Changed 6 years ago by
 Commit changed from 3660bea9865f6982fc60974c82f24b1c1b825726 to 13ea3d8ecceea61173b0a8308ccafabe2769b208
Branch pushed to git repo; I updated commit sha1. New commits:
13ea3d8   Support for Eisenstein series of all weights in the arithmetic cases n=3, 4, 6

comment:14 Changed 6 years ago by
 Description modified (diff)
comment:15 Changed 6 years ago by
 Commit changed from 13ea3d8ecceea61173b0a8308ccafabe2769b208 to 9f7ab3c343a66a4a6050d21a0bcf2ba99f3b47cd
Branch pushed to git repo; I updated commit sha1. New commits:
9f7ab3c  check by default whether the constructed element has the same initial (rationalized) laurent series

comment:16 Changed 6 years ago by
 Commit changed from 9f7ab3c343a66a4a6050d21a0bcf2ba99f3b47cd to e8df685493dcdb323aeb7a1906de8a6fc7c1bee7
Branch pushed to git repo; I updated commit sha1. New commits:
e8df685  simplify/reorder the basis such that the quasi part matrix corresponds to the quasi part generators

comment:17 Changed 6 years ago by
 Branch changed from u/jj/theta_group to u/mraum/ticket/16883
 Created changed from 08/26/14 16:17:24 to 08/26/14 16:17:24
 Modified changed from 09/02/14 01:42:25 to 09/02/14 01:42:25
comment:18 Changed 6 years ago by
 Branch changed from u/mraum/ticket/16883 to u/jj/theta_group
 Commit changed from e8df685493dcdb323aeb7a1906de8a6fc7c1bee7 to 05e551d292500c1928d08361207703dab8a89043
comment:19 Changed 6 years ago by
 Dependencies #16839 deleted
comment:20 Changed 6 years ago by
 Status changed from needs_review to positive_review
comment:22 Changed 6 years ago by
 Reviewers set to Martin Raum
 Status changed from needs_work to positive_review
Martin Raum is the reviewer.
comment:23 Changed 6 years ago by
 Branch changed from u/jj/theta_group to 05e551d292500c1928d08361207703dab8a89043
 Resolution set to fixed
 Status changed from positive_review to closed
Branch pushed to git repo; I updated commit sha1. New commits:
support much more arguments for actions and/or evaluations without raising an error (which was a very common issue before), support for orders of functions at certain points != infinity, do precise function evaluation at these points in the trivial cases