Hello, I've been learning differential geometry and discrete differential geometry for around a year now. I understand that SAGE now has a sage-manifolds which adds support for defining smooth manifolds as well as riemannian manifolds.
I am interested in providing "discretized" versions of smooth manifolds, which are defined on simiplicial complexes. - There is a textbook available, written by Keenan Crane, which is quite algorithmic <https://www.cs.cmu.edu/~kmcrane/Projects/DDG/paper.pdf>. - Here is a short note for the AMS on discrete differential geometry <https://www.ams.org/publications/journals/notices/201710/rnoti-p1153.pdf> - Most of Kennan Crane's research <https://www.cs.cmu.edu/~kmcrane/>is based around discrete differential geometry. I feel that it would be quite profitable to add this to SAGE, since it's algorithmic, explicit, and provides useful abstractions for combinatorializing and discretizing differential geometry. It seems that SAGE has all the necessary data structures needed (simplicial complexes, weighted graphs) to build up on. So this would be a library and an interface for using discrete differential geometric object. I wish to understand what the process is to add a new library to SAGE. (I'd be doing the programming, of course). How is the API agreed upon? What is the process like to submit code which satisfies the API? What are the "minimal requirements"? I'd love to know. I use SAGE quite a lot, so having this within SAGE would make me glad. Thanks a lot, ~Siddharth http://bollu.github.io/ https://github.com/bollu -- 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/21ba5e80-f2e1-40e9-9a49-dd9c933110c8o%40googlegroups.com.
