#11709: FareySymbol
-------------------------------+--------------------------------------------
Reporter: hmonien | Owner: craigcitro
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.0
Component: modular forms | Resolution:
Keywords: Farey symbol | Work_issues:
Upstream: N/A | Reviewer: Martin Raum, Leif Leonhardy,
David Loeffler
Author: Hartmut Monien | Merged:
Dependencies: #5048, #11601 |
-------------------------------+--------------------------------------------
Comment(by mraum):
Everything is OK with the changes. I should remark that I am not so happy
with including -I as a generator in case the SL(2,Z) subgroup passed to
Farey symbols makes this necessary. To me Farey symbols have to to with
SL(2, Z) as much as SL(2, Z) has to do with its metaplectic cover. But
since -I in PSL is just I, it is not wrong. I just think it's not very
clean.
I made one single change. Following the discussion at sage-devel, I
removed all fundamental domain pictures. I kept the one for pairings,
though, because it seems necessary to understand what is meant by [(0,5),
...].
If you are OK with this, please give this a positive review.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11709#comment:41>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
