#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 vdelecroix):
Replying to [comment:21 glaun]:
> I atteched the long-overdue patch that I mentioned 9 months ago. Sorry
for the delay. The patch has the following positive properties:
Great! Good job!
> Also note the following negative things:
> * Points are not yet implemented as (point, isometry) pairs as suggested
in Comment 3.
This was a *bad* suggestion! It's great that you avoid it.
> * My handling of numerical computations could probably be significantly
improved, as can the overall organization. There may be features that are
unnecessary or are vestigial from earlier versions.
I will have a look as soon as possible.
> * Symbolic computations can take an incredibly long time. I'm not sure
if this is my fault (e.g. I should write functions to deal with this) or
simply a drawback of allowing symbolic computations.
> I intend to comb through the previously attached patches and merge what
I can. I have also attached a filecalled hyp_demo.sage that demos the
functionality of the implementation.
idem.
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
I suggest that we open two new tickets for those features.
Thanks again for your work on this. I am starting the review and will be
back with more technical remarks shortly.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9439#comment:22>
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.
