#9439: hyperbolic geometry
-------------------------------------+-------------------------------------
Reporter: vdelecroix | Owner: vdelecroix
Type: enhancement | Status: closed
Priority: major | Milestone: sage-6.4
Component: geometry | Resolution: fixed
Keywords: hyperbolic | Merged in:
geometry, Poincare disc, upper | Reviewers: Johan Bosman, Travis
half plane, Beltrami-Klein, | Scrimshaw, Greg Laun, Frédéric
hyperboloid model, sd35, days64 | Chapoton
Authors: Vincent | Work issues:
Delecroix, Martin Raum, Greg | Commit:
Laun, Travis Scrimshaw | Stopgaps:
Report Upstream: N/A |
Branch: |
82cf89e367b6f95cf44fdfb7b040974d4e247f94|
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by jj):
Oh, I very much agree with going in steps and I'm glad the ticket got
closed, good job! :-)
Also: The issue I mentioned is much more about (relative) number fields
than this implementation (i.e. I'm off-topic and should probably have sent
this to sage-devel).
I guess one of the main issues is that (relative) number fields in sage
are mostly "designed" without a fixed choice of embedding ("they are not
viewed as part of complex numbers / hyperbolic plane"). Still they are
quite important when doing arithmetic/number theory/exact calculations...
Even in the absolute case a fixed field needs to be choosen for the
default embedding. To make it
work in general one has to use something that coerces into many fields,
e.g. AA/QQbar.
Side question: Conceptually how would one organize/order the embeddings in
a meaningful way? (I'm not sure how they are ordered at the moment.)
The issue with number fields also comes up when dealing with
isometries/matrices over number fields and the group action...
Regards
Jonas
--
Ticket URL: <http://trac.sagemath.org/ticket/9439#comment:73>
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/d/optout.
