sagemathgh-38088: Add # sage_setup: distribution directives for the…

… files of existing distributions sagemath-{categories,...,tdlib}

    
<!-- ^ Please provide a concise and informative title. -->
<!-- ^ Don't put issue numbers in the title, do this in the PR
description below. -->
<!-- ^ For example, instead of "Fixes sagemath#12345" use "Introduce new method
to calculate 1 + 2". -->
<!-- v Describe your changes below in detail. -->
<!-- v Why is this change required? What problem does it solve? -->
<!-- v If this PR resolves an open issue, please link to it here. For
example, "Fixes sagemath#12345". -->

These directives at the top of the file inform developers about the
assignment of modules to pip-installable distributions.

As of this PR, there should be no change to the existing distributions
(sagemath-categories...) nor the monolithic build of the Sage library.

This is a portion of:
- sagemath#37901

In contrast to that PR, it has no dependencies.

### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [x] The title is concise and informative.
- [ ] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation and checked the documentation
preview.

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on. For example,
-->
<!-- - sagemath#12345: short description why this is a dependency -->
<!-- - sagemath#34567: ... -->
    
URL: sagemath#38088
Reported by: Matthias Köppe
Reviewer(s): Kwankyu Lee

pkgs/sagemath-standard/setup.py

@@ -72,7 +72,11 @@
 # TODO: This should be quiet by default
 print("Discovering Python/Cython source code....")
 t = time.time()
-distributions = ['']
+distributions = ['sagemath-categories',
+                 'sagemath-environment',
+                 'sagemath-objects',
+                 'sagemath-repl',
+                 '']
 log.warn('distributions = {0}'.format(distributions))
 from sage_setup.find import find_python_sources
 python_packages, python_modules, cython_modules = find_python_sources(

src/sage/all__sagemath_categories.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 from sage.all__sagemath_objects import *
 
 from sage.categories.all import *

src/sage/all__sagemath_environment.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-environment
 from sage.env import SAGE_ROOT, SAGE_SRC, SAGE_DOC_SRC, SAGE_LOCAL, DOT_SAGE, SAGE_ENV
 
 from sage.misc.all__sagemath_environment import *

src/sage/all__sagemath_objects.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-objects
 import os
 import sys
 import operator

src/sage/all__sagemath_repl.py

@@ -1,3 +1,5 @@
+# sage_setup: distribution = sagemath-repl
+
 # Set up warning filters before importing Sage stuff
 
 import sys

src/sage/arith/all__sagemath_objects.py

@@ -1,2 +1,3 @@
+# sage_setup: distribution = sagemath-objects
 # The presence of this file ensures that sage_setup for sagemath-objects
 # considers this directory as a namespace package

src/sage/arith/long.pxd

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-objects
 # sage.doctest: needs sage.misc.cython
 r"""
 Fast conversion of Python objects to C long

src/sage/arith/numerical_approx.pxd

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-objects
 # sage.doctest: needs sage.rings.real_mpfr
 
 cpdef inline long digits_to_bits(d) except -1:

src/sage/arith/numerical_approx.pyx

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-objects
 # sage.doctest: needs sage.rings.real_mpfr
 r"""
 Generic numerical approximation function

src/sage/arith/power.pxd

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-objects
 from cpython.number cimport PyNumber_TrueDivide
 from sage.structure.element cimport Element
 

src/sage/arith/power.pyx

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-objects
 """
 Generic implementation of powering
 

src/sage/categories/action.pxd

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-objects
 from sage.structure.element cimport Element
 from sage.categories.morphism cimport Morphism
 from sage.categories.map cimport Map

src/sage/categories/action.pyx

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-objects
 r"""
 Group, ring, etc. actions on objects
 

src/sage/categories/additive_groups.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Additive groups
 """

src/sage/categories/additive_magmas.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Additive magmas
 """

src/sage/categories/additive_monoids.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Additive monoids
 """

src/sage/categories/additive_semigroups.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Additive semigroups
 """

src/sage/categories/affine_weyl_groups.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Affine Weyl groups
 """

src/sage/categories/algebra_functor.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-objects
 # sage.doctest: needs sage.groups sage.modules
 r"""
 Group algebras and beyond: the Algebra functorial construction

src/sage/categories/algebra_ideals.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Algebra ideals
 """

src/sage/categories/algebra_modules.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Algebra modules
 """

src/sage/categories/algebras.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Algebras
 

src/sage/categories/algebras_with_basis.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Algebras With Basis
 """

src/sage/categories/all.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Sage categories quickref
 

src/sage/categories/all__sagemath_objects.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-objects
 # Subset of sage.categories.all that is made available by the sage-objects distribution
 
 from sage.misc.lazy_import import lazy_import

src/sage/categories/aperiodic_semigroups.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Aperiodic semigroups
 """

src/sage/categories/associative_algebras.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Associative algebras
 """

src/sage/categories/basic.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-objects
 r"""
 A subset of sage.categories.all with just the basic categories needed
 for sage startup (i.e. to define ZZ, QQ, ...).

src/sage/categories/bialgebras.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 # sage.doctest: needs sage.combinat
 r"""
 Bialgebras

src/sage/categories/bialgebras_with_basis.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Bialgebras with basis
 """

src/sage/categories/bimodules.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Bimodules
 """

src/sage/categories/cartesian_product.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-objects
 """
 Cartesian Product Functorial Construction
 

src/sage/categories/category.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-objects
 r"""
 Categories
 

src/sage/categories/category_cy_helper.pxd

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-objects
 cpdef tuple _sort_uniq(categories)
 cdef class AxiomContainer(dict):
     pass

src/sage/categories/category_cy_helper.pyx

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-objects
 """
 Fast functions for the category framework
 

src/sage/categories/category_singleton.pxd

@@ -1,2 +1,3 @@
+# sage_setup: distribution = sagemath-objects
 cdef class Category_contains_method_by_parent_class:
     cdef type _parent_class_of_category

src/sage/categories/category_singleton.pyx

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-objects
 r"""
 Singleton categories
 """

src/sage/categories/category_types.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-objects
 """
 Specific category classes
 

src/sage/categories/category_with_axiom.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-objects
 r"""
 Axioms
 

src/sage/categories/chain_complexes.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 """
 Category of chain complexes
 """

src/sage/categories/classical_crystals.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 # sage.doctest: needs sage.graphs sage.combinat
 r"""
 Classical Crystals

src/sage/categories/coalgebras.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 # sage.doctest: needs sage.combinat
 r"""
 Coalgebras

src/sage/categories/coalgebras_with_basis.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Coalgebras with basis
 """

src/sage/categories/coercion_methods.pyx

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 """
 Coercion methods for categories
 

src/sage/categories/commutative_additive_groups.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Commutative additive groups
 """

src/sage/categories/commutative_additive_monoids.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Commutative additive monoids
 """

src/sage/categories/commutative_additive_semigroups.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Commutative additive semigroups
 """

src/sage/categories/commutative_algebra_ideals.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Commutative algebra ideals
 """

src/sage/categories/commutative_algebras.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Commutative algebras
 """

src/sage/categories/commutative_ring_ideals.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Commutative ring ideals
 """

src/sage/categories/commutative_rings.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Commutative rings
 """

src/sage/categories/complete_discrete_valuation.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Complete Discrete Valuation Rings (CDVR) and Fields (CDVF)
 """

src/sage/categories/complex_reflection_groups.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Complex reflection groups
 """

src/sage/categories/complex_reflection_or_generalized_coxeter_groups.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 # sage.doctest: needs sage.groups
 r"""
 Common category for Generalized Coxeter Groups or Complex Reflection Groups

src/sage/categories/covariant_functorial_construction.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-objects
 r"""
 Covariant Functorial Constructions
 

src/sage/categories/coxeter_group_algebras.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 # sage.doctest: needs sage.combinat sage.groups
 r"""
 Coxeter Group Algebras

src/sage/categories/coxeter_groups.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Coxeter Groups
 """

src/sage/categories/crystals.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 # sage.doctest: needs sage.graphs sage.combinat
 r"""
 Crystals

src/sage/categories/cw_complexes.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 CW Complexes
 """

src/sage/categories/dedekind_domains.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Dedekind Domains
 """

src/sage/categories/discrete_valuation.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Discrete Valuation Rings (DVR) and Fields (DVF)
 """

src/sage/categories/distributive_magmas_and_additive_magmas.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Distributive Magmas and Additive Magmas
 """

src/sage/categories/division_rings.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Division rings
 """

src/sage/categories/domains.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Domains
 """

src/sage/categories/drinfeld_modules.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 # sage.doctest: needs sage.rings.finite_rings
 r"""
 Drinfeld modules over a base

src/sage/categories/dual.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 """
 Dual functorial construction
 

src/sage/categories/enumerated_sets.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Enumerated sets
 """

src/sage/categories/euclidean_domains.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Euclidean domains
 

src/sage/categories/examples/algebras_with_basis.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 # sage.doctest: needs sage.combinat
 r"""
 Examples of algebras with basis

src/sage/categories/examples/all.py

@@ -0,0 +1 @@
+# sage_setup: distribution = sagemath-categories

src/sage/categories/examples/commutative_additive_monoids.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 """
 Examples of commutative additive monoids
 """

src/sage/categories/examples/commutative_additive_semigroups.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 """
 Examples of commutative additive semigroups
 """

src/sage/categories/examples/coxeter_groups.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 """
 Examples of Coxeter groups
 """

src/sage/categories/examples/crystals.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 # sage.doctest: needs sage.combinat sage.graphs
 r"""
 Example of a crystal

src/sage/categories/examples/cw_complexes.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 """
 Examples of CW complexes
 """

src/sage/categories/examples/facade_sets.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Example of facade set
 """

src/sage/categories/examples/filtered_algebras_with_basis.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 r"""
 Examples of filtered algebra with basis
 """

src/sage/categories/examples/filtered_modules_with_basis.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 # sage.doctest: needs sage.combinat
 r"""
 Examples of filtered modules with basis

src/sage/categories/examples/finite_coxeter_groups.py

@@ -1,3 +1,4 @@
+# sage_setup: distribution = sagemath-categories
 # sage.doctest: needs sage.combinat sage.groups
 r"""
 Examples of finite Coxeter groups