On Tuesday, April 23, 2024 at 4:07:37 AM UTC-5 Tobias wrote:
In reply to the comment ( https://github.com/sagemath/sage/pull/36676#issuecomment-2067371677) once the modularization is in place, it will impose wide-ranging constraints on what functions from other modules you are able to use. Currently, you can use `sage.x` in `sage.y` for an arbitrary combination of `x` and `y`. The modularization project restricts this severely and you will only be able to use modules `x` that are declared as a dependency of `y` (the arrows in the picture in https://github.com/sagemath/sage/pull/35095). This comment seems to me to reflect a basic misunderstanding of the goal of modularization. The author is assuming that Sage users will have to make choices about which parts of Sage to install and find many things missing. But Sage users should, as they do now, install all of Sage -- everything should be available to a user who does a normal install of Sage. The projects that will really benefit from modularization will be those that provide their own limited mathematical context. Developers of such projects will be able to choose which parts of Sage are relevant to their specific context. Those parts of Sage can be provided for their users without having to embed a huge monolithic environment into a relatively small project. For example, people studying 3-manifolds mainly need to work with simplicial complexes, groups, polynomials, number fields and interval arithmetic. They do not need many other large parts of Sage, such as abstract manifolds (since all 3-manifolds can be triangulated). This is basically a tautological argument, saying that modularization will cause modularization. It does not reflect the reality for *users*. - Marc -- 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/085048b3-a1f4-45db-8513-12516794d24an%40googlegroups.com.
