#9439: hyperbolic geometry
------------------------------------------------------------------------------+
       Reporter:  vdelecroix                                                  | 
        Owner:  vdelecroix  
           Type:  enhancement                                                 | 
       Status:  new         
       Priority:  major                                                       | 
    Milestone:  sage-5.4    
      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 have a working implementation of hyperbolic two-space in sage that
 includes the upper half plane, Poincare disk, Klein disk, and hyperboloid
 model. For each model, geodesics, points, and isometry groups are
 implemented.

 Conversion between each model to another is implemented*, as are a number
 of useful calculation routines.  For example, geodesics can compute the
 corresponding reflection, two geodesics can compute their common
 perpendiculars, isometries can factor themselves into products of
 reflections.

 The code originated as a series of Mathematica notebooks from Bill
 Goldman's lab at UMD.  We had some students port it to a sage script,
 which was then fleshed out.  I have refrained from publishing it here
 because I'm completely refactoring into something resembling readable
 code.  It's taken me a few month longer than I thought it would to
 refactor, so I wanted to write a note here so that efforts aren't
 redoubled.

 Is there a best course of action as far as posting code goes?  I think
 that merging the patches posted here and my code won't be too bad.  Should
 I finish refactoring my code first, and then post it?  Should I post the
 original script?  In the original code, there are lots of test and all
 tests pass, so it's usable.  Should I post the bit of refactoring I've
 done so far?

 *Actually, not quite.  I don't have a great way to go from SO(2,1) to
 SL(2,R). So this makes converting from the hyperboloid model to the other
 models somewhat tricky.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9439#comment:12>
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.

Reply via email to