On Thu, Jun 15, 2023 at 6:19 PM Matthias Koeppe <matthiaskoe...@gmail.com> wrote:
> On Thursday, June 15, 2023 at 6:03:41 PM UTC-7 Travis Scrimshaw wrote: > > [...] Some of it can be fixed by changing the nomenclature "optional" to > something else as that suggests something a user should *add* to the > installation. > > > Fine with me to introduce something like "# module - sage.groups" with > identical semantics as "# optional - sage.groups". > I'd suggest to take such discussions to > https://github.com/sagemath/sage/issues/35750 > > > Perhaps this is the core question (for me): What do you expect most/casual > users to download and install? > > > It may be the wrong question because it seems to assume there is one > population of such users. > > The population of current Sage users and developers can continue to > install the monolithic Sage. > Or, in the modularized terminology, they install the distribution > "sagemath-standard". > > But the point why I have been working so intensely on the modularization > project is to open parts of Sage to new populations of users and developers > who are at home in the Python world. In particular those who find that they > cannot use the monolithic Sage for their needs and therefore go looking for > other projects that do not impose such constraints. > That could easily be an order of magnitude more users. Have you worried at all about doctests/examples and the sage preparser/global environment that is assumed in all the doctests? > -- > 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/80a6ba58-17e8-4a99-950a-3bfb5e0b24fen%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/80a6ba58-17e8-4a99-950a-3bfb5e0b24fen%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- -- William Stein -- 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/CACLE5GA0bVYur7N6uet%2BZ7pbZYZZ_je%3DT_ayV7O6hpaZnvGYeA%40mail.gmail.com.
