#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):
I atteched the long-overdue patch that I mentioned 9 months ago. Sorry
for the delay. The patch has the following positive properties:
* Hyperbolic point, geodesic, and isometry objects are implemented for
each model.
* Upper half plane, Poincare disk, Klein disk, and hyperboloid model all
implemented.
* Round-trip conversion among models works. E.g. converting from the
upper half plane to the hyperboloid and then back to the half plane gives
the same point (up to numerical precision). This was harder than might
first be apparent since there are so many isomorphisms to choose from and
they all have to play well together.
* 100% test coverage, all tests pass
Also note the following negative things:
* Points are not yet implemented as (point, isometry) pairs as suggested
in Comment 3.
* 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.
* 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.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9439#comment:21>
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.
