On Sunday, September 29, 2024 at 1:30:38 AM UTC-7 axio...@yahoo.de wrote:
I think that `sagemath--minimal-dependencies` would be clear, wouldn't it? Again fails the "minimal for what" test; and fails to distinguish *sagemath-categories* from *sagemath-objects* (which has the same dependencies). I have now two more questions: * why are some classes without any dependencies missing from what's currently named `sagemath-categories`? I don't know how to do a systematic search, so I only checked the ones I know well, and `GrowthDiagram` is not there, but is pure python. "Some classes are missing" is really far from a description of *sagemath-categories*. It's really much, much smaller than that. GrowthDiagram, like most of sage.combinat, will be shipped in *sagemath-combinat (*which sits on top of* sagemath-categories *in the dependencies graph*).* * wouldn't it be better to tag dependencies, rather than having to explicitly put something into what's currently `sagemath-categories`? I imagine that it will be a constant source of confusion whether to put some new functionality into all.py or all__sagemath_categories.py There's no guesswork involved, and there is no potential for confusion because the source files from which stuff is imported are tagged by "# sage_setup: distribution" lines. It just has to be kept in sync; and the automated tests ensure that. (I'll also note that the "all.py" files are in very poor shape in Sage; in the past, too little thought has been put into what belongs into these files. See Meta-ticket: deprecate useless or misleading functions in the global namespace <https://github.com/sagemath/sage/issues/25383> , https://github.com/sagemath/sage/issues/25383) -- 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/6be7c193-fb70-4c18-9448-3cd58a169005n%40googlegroups.com.
