#9439: hyperbolic geometry
------------------------------------------------------------------------------+
Reporter: vdelecroix |
Owner: vdelecroix
Type: enhancement |
Status: new
Priority: major |
Milestone: sage-5.11
Component: geometry |
Resolution:
Keywords: hyperbolic geometry, Poincare disc, upper half plane, sd35 |
Work issues:
Report Upstream: N/A |
Reviewers: Johan Bosman
Authors: Vincent Delecroix, Martin Raum |
Merged in:
Dependencies: |
Stopgaps:
------------------------------------------------------------------------------+
Comment (by glaun):
> Two points:
>
> - an important feature that you seem to avoid is the unit tangent bundle
of the hyperbolic plane which is isomorphic to PSL(2,R). One great thing
would be to have another object `TangentVector` (with a matrix as data).
The action of PSL(2,R) on the unit tangent bundle is then just matrix
multiplication.
> - your example worksheet should definitely be a thematic tutorial for
the Sage documentation
Thanks, I'll look into both of these soon. I have some code for working
in Minkowski (2,1) space that I want to use to implement the hyperboloid
model in the Lie algebra sl(2,R) since that's what I use in my own
research. Several of the functions are for working in SL(2,R)/PSL(2,R).
I can take a look at that and see what can be appropriated for use in a
TangentVector object.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9439#comment:23>
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/groups/opt_out.
