Hi Simon, Le vendredi 18 juillet 2014 12:53:22 UTC+2, Simon King a écrit : > > > Is there any initiative towards PL structures?
No, but feel free to implement it! More generally, some work should be done for topological manifolds (or even topological spaces) first. Then both differentiable manifolds and PL manifolds could benefit from it. At present, topological concepts are implement in SageManifolds via the python class OpenDomain, which is a Parent in the category of Sets (see this diagram <http://sagemanifolds.obspm.fr/class_diagrams.html> and this page <http://sagemanifolds.obspm.fr/doc/sagemanifolds/manifold.html#sage.geometry.manifolds.domain.OpenDomain>). This is a workaround. It would be nice to have the category of topological spaces in Sage instead. Probably out of scope in > general, but totally natural out to dimension three. Specifically, do > you think one should seek mutual benefit of your work and, say, the Google > Summer of Code project on "knots in Sage"? > > Yes of course, we should share things and mix them to build ahead, in the spirit of open source. Best wishes, Eric. > Best regards, > Simon > > > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
