A certain amount of work on adding functionality for hyperbolic geometry to Sage has been done in recent years, see here:
http://trac.sagemath.org/ticket/9439 There seem to be several different implementations by different authors; I am not sure about the status of all this work and how much of it is relevant to what you want to do. Peter Op donderdag 24 april 2014 18:54:32 UTC+1 schreef Ed Scheinerman: > > Glad to see this has gained some traction. Here is an illustration of the > immediate issue for which this would have been helpful. I wanted to produce > an illustration explaining lines in the hyperbolic plane using the Poincare > disk model. It's the arc of a circle whose end points are on a given circle > and the arc meets the given circle at right angles. (That's a lot to say > but a picture makes it so much easier.) > > It took me a long time and a good deal of coding in Sage to get this how I > wanted. My "gut" tells me there's go to be a better way! > > > On Thu, Apr 24, 2014 at 9:31 AM, Volker Braun <vbrau...@gmail.com<javascript:> > > wrote: > >> We do have convex hull and lines. What would be lacking for your >> application are discs and their intersection with polyhedra. >> >> sage: line = Polyhedron(vertices=[(0,-1)], lines=[(1,1)]) >> sage: (triangle & line).vertices() >> (A vertex at (8/5, 3/5), A vertex at (3/2, 1/2)) >> >> >> On Thursday, April 24, 2014 7:02:21 AM UTC+1, Dominique Laurain wrote: >>> >>> I need same packages that Ed asked for. >>> Nowadays I do geometry coding myself basic functions in SAGE worksheets >>> (to do intersection of lines etc). >>> I do this using the "Rational Trigonometry philosophy" :-)..see >>> njwilderger youtube videos and book. >>> Previously I played a little with Tex tools (pst-tricks and >>> pst-eucl)..check about pstricks too...at that time and until now, I >>> was interested with tilings. >>> In SAGE we have the basics tools (vectors,matplotlib...) but I feel >>> there are not the "intermediate" tools : convex hull, rules and compass >>> constructions, origami tools and so on. >>> I can code some (for example, convex hull: I know an algorithm "paquet >>> cadeau" ...but everytime I feel to reinvent wheel. >>> What is not enough with Tex is that all is static : for example, you >>> cannot have the generic solution of two lines AB and CD where A,B,C,D are >>> 2D points with variables coordinates...because it is no more static >>> geometry but symbolic computations (solving equations / inequations). >>> >>>> >>>> -- >> You received this message because you are subscribed to a topic in the >> Google Groups "sage-support" group. >> To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/sage-support/Y0t4ShFLXJ4/unsubscribe. >> To unsubscribe from this group and all its topics, send an email to >> sage-support...@googlegroups.com <javascript:>. >> To post to this group, send email to sage-s...@googlegroups.com<javascript:> >> . >> Visit this group at http://groups.google.com/group/sage-support. >> For more options, visit https://groups.google.com/d/optout. >> > > > > -- > Ed Scheinerman (e...@scheinerman.net <javascript:>) > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
