#16976: Conjugacy classes and rational period functions for Hecke triangle
groups
-------------------------------------+-------------------------------------
Reporter: jj | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: modular forms | Resolution:
Keywords: hecke triangle | Merged in:
group conjugacy class rational | Reviewers:
period function | Work issues:
Authors: Jonas Jermann | Commit:
Report Upstream: N/A | df7816dce02f42f2f6fa38b7797f84359578d8c2
Branch: | Stopgaps:
u/jj/triangle_conjugacy |
Dependencies: #16936 |
-------------------------------------+-------------------------------------
Changes (by jj):
* cc: vdelecroix (added)
Old description:
> The ticket adds several new features to Hecke triangle groups (resp.
> elements):
>
> - "Block" decomposition of elements. This determines the conjugacy type
> of elements
> - Several alternative representation methods for elements
> - Lambda-continued fraction expansion of fixed points (exact!)
> In particular the primitive part of a group element can be determined
> - Checks and generation of reduced and simple elements, Checks for Hecke
> symmetry
> - Slash operator
> - Rational period functions associated to hyperbolic elements (resp.
> their fixed point)
> - class number and class representatives for a given discriminant
> In particular discriminants can be listed, so can all simple/reduced
> elements
> for a given discriminant
> - improved documentation and minor additions/modifications
>
> Some remarks:
>
> 1. The code to determine class numbers/representatives is very slow at
> the moment. :-(
> 2. In some (complex) cases calculations seem to fail (see
> continued_fraction),
> probably because of issues / too high complexity in underlying sage
> objects
> (AA, NumberField, etc)
> 3. The case n=infinity is excluded / not supported yet
New description:
The ticket adds several new features to Hecke triangle groups (resp.
elements):
- "Block" decomposition of elements. This determines the conjugacy type of
elements
- Several alternative representation methods for elements
- Lambda-continued fraction expansion of fixed points (exact!)
In particular the primitive part of a group element can be determined
- Checks and generation of reduced and simple elements, Checks for Hecke
symmetry
- Slash operator
- Rational period functions associated to hyperbolic elements (resp. their
fixed point)
- class number and class representatives for a given discriminant
In particular discriminants can be listed, so can all simple/reduced
elements
for a given discriminant
- Linking numbers
- improved documentation and minor additions/modifications
Some remarks:
1. The code to determine class numbers/representatives is very slow at the
moment. :-(
2. The case n=infinity is excluded / not supported yet :(
--
--
Ticket URL: <http://trac.sagemath.org/ticket/16976#comment:15>
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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
