Hi, Le mercredi 24 août 2022 à 02:18:06 UTC+2, Travis Scrimshaw a écrit :
> In general, I think we are best leaving the drawing classes to just > drawing as a separations-of-concerns. > +1 IMHO, line2d and line3d should not be considered as mathematical objects (segmented lines in some Euclidean space), but rather as pure graphical objects. > It sounds like we need better integration between our algebraic > objects/implementations and the drawing/plotting tools. This might include > more plot_* functions or specialized mixin-/sub-classes for small > dimensional (sub)spaces. Likewise we might want to add some general tools > for inner product spaces, such as "ind_closest_point() or > shortest_distance(), with an assumption of course that we can do calculus > on the vector space. > +1 > > As an alternative, if we want to think of objects specifically living in > Euclidean space, we have the EuclideanSpace(n) for this with specialized > subclasses for 2d and 3d. Perhaps we should implement some of the features > you want using objects there, such as line (segment) as a subclass of the > curve? For piecewise differentiable curves, this might require some more > programming. > > Éric, what do you think about adding such things to SageManifolds? Could > this be feasible? > > This certainly should be feasible. As you point out, one should introduce a subclass of curves for segmented lines in Eudlidean spaces and define a length() method for them. More generally, one should introduce a length() method for any piecewise differentiable curve in a pseudo-Riemannian manifold. This is not implemented yet and certainly should be added to the todo list. Best regards, Eric. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/b551bb01-e95c-4dba-8228-def7f39b3c12n%40googlegroups.com.
