passagemath-objects 10.6.44__cp314-cp314t-macosx_13_0_arm64.whl

sage/categories/all__sagemath_objects.py

@@ -0,0 +1,33 @@
+# 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
+
+# Resolve a circular import so that "import sage.categories.all" can succeed
+# in initializing the category system.
+import sage.structure.category_object  # imports sage.categories.category
+
+# Small part of "from sage.categories.basic import *":
+from sage.categories.objects import Objects
+from sage.categories.sets_cat import Sets, EmptySetError
+
+
+from sage.categories.category import Category
+
+from sage.categories.category_types import Elements
+
+from sage.categories.cartesian_product import cartesian_product
+
+from sage.categories.functor import (ForgetfulFunctor,
+                                     IdentityFunctor)
+
+from sage.categories.homset import (Hom, hom,
+                                    End, end,
+                                    Homset, HomsetWithBase)
+
+from sage.categories.morphism import Morphism
+
+from sage.categories.realizations import Realizations
+
+from sage.categories.sets_with_partial_maps import SetsWithPartialMaps
+del lazy_import

sage/categories/basic.py

@@ -0,0 +1,62 @@
+# sage_setup: distribution = sagemath-objects
+# delvewheel: patch
+r"""
+A subset of sage.categories.all with just the basic categories needed
+for sage startup (i.e. to define ZZ, QQ, ...).
+"""
+# *****************************************************************************
+#  Copyright (C) 2008-2009 Nicolas M. Thiery <nthiery at users.sf.net>
+#
+#  Distributed under the terms of the GNU General Public License (GPL)
+#                  http://www.gnu.org/licenses/
+# ******************************************************************************
+
+from sage.categories.objects import Objects
+from sage.categories.sets_cat import Sets, EmptySetError
+from sage.categories.posets import Posets
+
+# For backward compatibility; will be deprecated at some point
+PartiallyOrderedSets = Posets
+OrderedSets = Posets
+
+from sage.categories.additive_magmas import AdditiveMagmas
+from sage.categories.commutative_additive_semigroups import (
+    CommutativeAdditiveSemigroups,
+)
+from sage.categories.commutative_additive_monoids import CommutativeAdditiveMonoids
+from sage.categories.commutative_additive_groups import CommutativeAdditiveGroups
+
+from sage.categories.magmas import Magmas
+from sage.categories.semigroups import Semigroups
+from sage.categories.monoids import Monoids
+from sage.categories.groups import Groups
+from sage.categories.partially_ordered_monoids import PartiallyOrderedMonoids
+
+# For backward compatibility; might be deprecated at some point
+OrderedMonoids = PartiallyOrderedMonoids
+
+from sage.categories.rngs import Rngs
+from sage.categories.semirings import Semirings
+from sage.categories.rings import Rings
+from sage.categories.domains import Domains
+from sage.categories.division_rings import DivisionRings
+
+from sage.categories.commutative_rings import CommutativeRings
+from sage.categories.integral_domains import IntegralDomains
+from sage.categories.gcd_domains import GcdDomains
+from sage.categories.dedekind_domains import DedekindDomains
+from sage.categories.principal_ideal_domains import PrincipalIdealDomains
+from sage.categories.euclidean_domains import EuclideanDomains
+from sage.categories.unique_factorization_domains import UniqueFactorizationDomains
+
+from sage.categories.fields import Fields
+from sage.categories.quotient_fields import QuotientFields
+from sage.categories.finite_fields import FiniteFields
+from sage.categories.discrete_valuation import (
+    DiscreteValuationRings,
+    DiscreteValuationFields,
+)
+from sage.categories.complete_discrete_valuation import (
+    CompleteDiscreteValuationRings,
+    CompleteDiscreteValuationFields,
+)

sage/categories/cartesian_product.py

@@ -0,0 +1,295 @@
+# sage_setup: distribution = sagemath-objects
+"""
+Cartesian Product Functorial Construction
+
+AUTHORS:
+
+ - Nicolas M. Thiery (2008-2010): initial revision and refactorization
+"""
+#*****************************************************************************
+#  Copyright (C) 2010 Nicolas M. Thiery <nthiery at users.sf.net>
+#
+#  Distributed under the terms of the GNU General Public License (GPL)
+#                  http://www.gnu.org/licenses/
+#*****************************************************************************
+
+try:
+    from typing import Self  # type: ignore (Python >= 3.11)
+except ImportError:
+    from typing_extensions import Self  # type: ignore (Python 3.10)
+
+from sage.categories.covariant_functorial_construction import (
+    CovariantConstructionCategory,
+    CovariantFunctorialConstruction,
+)
+from sage.categories.pushout import MultivariateConstructionFunctor
+from sage.misc.lazy_import import lazy_import
+
+native_python_containers = {tuple, list, set, frozenset, range}
+
+
+class CartesianProductFunctor(CovariantFunctorialConstruction, MultivariateConstructionFunctor):
+    """
+    The Cartesian product functor.
+
+    EXAMPLES::
+
+        sage: cartesian_product
+        The cartesian_product functorial construction
+
+    ``cartesian_product`` takes a finite collection of sets, and
+    constructs the Cartesian product of those sets::
+
+        sage: A = FiniteEnumeratedSet(['a','b','c'])
+        sage: B = FiniteEnumeratedSet([1,2])
+        sage: C = cartesian_product([A, B]); C
+        The Cartesian product of ({'a', 'b', 'c'}, {1, 2})
+        sage: C.an_element()
+        ('a', 1)
+        sage: C.list()         # todo: not implemented
+        [['a', 1], ['a', 2], ['b', 1], ['b', 2], ['c', 1], ['c', 2]]
+
+    If those sets are endowed with more structure, say they are
+    monoids (hence in the category ``Monoids()``), then the result is
+    automatically endowed with its natural monoid structure::
+
+        sage: M = Monoids().example()
+        sage: M
+        An example of a monoid: the free monoid generated by ('a', 'b', 'c', 'd')
+        sage: M.rename('M')
+        sage: C = cartesian_product([M, ZZ, QQ])
+        sage: C
+        The Cartesian product of (M, Integer Ring, Rational Field)
+        sage: C.an_element()
+        ('abcd', 1, 1/2)
+        sage: C.an_element()^2
+        ('abcdabcd', 1, 1/4)
+        sage: C.category()
+        Category of Cartesian products of monoids
+
+        sage: Monoids().CartesianProducts()
+        Category of Cartesian products of monoids
+
+    The Cartesian product functor is covariant: if ``A`` is a
+    subcategory of ``B``, then ``A.CartesianProducts()`` is a
+    subcategory of ``B.CartesianProducts()`` (see also
+    :class:`~sage.categories.covariant_functorial_construction.CovariantFunctorialConstruction`)::
+
+        sage: C.categories()
+        [Category of Cartesian products of monoids,
+         Category of monoids,
+         Category of Cartesian products of semigroups,
+         Category of semigroups,
+         Category of Cartesian products of unital magmas,
+         Category of Cartesian products of magmas,
+         Category of unital magmas,
+         Category of magmas,
+         Category of Cartesian products of sets,
+         Category of sets, ...]
+
+        [Category of Cartesian products of monoids,
+         Category of monoids,
+         Category of Cartesian products of semigroups,
+         Category of semigroups,
+         Category of Cartesian products of magmas,
+         Category of unital magmas,
+         Category of magmas,
+         Category of Cartesian products of sets,
+         Category of sets,
+         Category of sets with partial maps,
+         Category of objects]
+
+    Hence, the role of ``Monoids().CartesianProducts()`` is solely to
+    provide mathematical information and algorithms which are relevant
+    to Cartesian product of monoids. For example, it specifies that
+    the result is again a monoid, and that its multiplicative unit is
+    the Cartesian product of the units of the underlying sets::
+
+        sage: C.one()
+        ('', 1, 1)
+
+    Those are implemented in the nested class
+    :class:`Monoids.CartesianProducts
+    <sage.categories.monoids.Monoids.CartesianProducts>` of
+    ``Monoids(QQ)``. This nested class is itself a subclass of
+    :class:`CartesianProductsCategory`.
+    """
+    _functor_name = "cartesian_product"
+    _functor_category = "CartesianProducts"
+    symbol = " (+) "
+
+    def __init__(self, category=None):
+        r"""
+        Constructor. See :class:`CartesianProductFunctor` for details.
+
+        TESTS::
+
+            sage: from sage.categories.cartesian_product import CartesianProductFunctor
+            sage: CartesianProductFunctor()
+            The cartesian_product functorial construction
+        """
+        CovariantFunctorialConstruction.__init__(self)
+        self._forced_category = category
+        from sage.categories.sets_cat import Sets
+        if self._forced_category is not None:
+            codomain = self._forced_category
+        else:
+            codomain = Sets()
+        MultivariateConstructionFunctor.__init__(self, Sets(), codomain)
+
+    def __call__(self, args, **kwds):
+        r"""
+        Functorial construction application.
+
+        This specializes the generic ``__call__`` from
+        :class:`CovariantFunctorialConstruction` to:
+
+        - handle the following plain Python containers as input:
+          :class:`frozenset`, :class:`list`, :class:`set`,
+          :class:`tuple`, and :class:`xrange` (Python3 ``range``).
+
+        - handle the empty list of factors.
+
+        See the examples below.
+
+        EXAMPLES::
+
+            sage: cartesian_product([[0,1], ('a','b','c')])
+            The Cartesian product of ({0, 1}, {'a', 'b', 'c'})
+            sage: _.category()
+            Category of Cartesian products of finite enumerated sets
+
+            sage: cartesian_product([set([0,1,2]), [0,1]])
+            The Cartesian product of ({0, 1, 2}, {0, 1})
+            sage: _.category()
+            Category of Cartesian products of finite enumerated sets
+
+        Check that the empty product is handled correctly::
+
+            sage: C = cartesian_product([])
+            sage: C
+            The Cartesian product of ()
+            sage: C.cardinality()
+            1
+            sage: C.an_element()
+            ()
+            sage: C.category()
+            Category of Cartesian products of sets
+
+        Check that Python3 ``range`` is handled correctly::
+
+            sage: C = cartesian_product([range(2), range(2)])
+            sage: list(C)
+            [(0, 0), (0, 1), (1, 0), (1, 1)]
+            sage: C.category()
+            Category of Cartesian products of finite enumerated sets
+        """
+        if any(type(arg) in native_python_containers for arg in args):
+            from sage.categories.sets_cat import Sets
+            S = Sets()
+            args = [S(a, enumerated_set=True) for a in args]
+        elif not args:
+            if self._forced_category is None:
+                from sage.categories.sets_cat import Sets
+                cat = Sets().CartesianProducts()
+            else:
+                cat = self._forced_category
+            from sage.sets.cartesian_product import CartesianProduct
+            return CartesianProduct((), cat)
+        elif self._forced_category is not None:
+            return super().__call__(args, category=self._forced_category, **kwds)
+
+        return super().__call__(args, **kwds)
+
+    def __eq__(self, other):
+        r"""
+        Comparison ignores the ``category`` parameter.
+
+        TESTS::
+
+            sage: from sage.categories.cartesian_product import CartesianProductFunctor
+            sage: cartesian_product([ZZ, ZZ]).construction()[0] == CartesianProductFunctor()
+            True
+        """
+        return isinstance(other, CartesianProductFunctor)
+
+    def __ne__(self, other):
+        r"""
+        Comparison ignores the ``category`` parameter.
+
+        TESTS::
+
+            sage: from sage.categories.cartesian_product import CartesianProductFunctor
+            sage: cartesian_product([ZZ, ZZ]).construction()[0] != CartesianProductFunctor()
+            False
+        """
+        return not (self == other)
+
+
+class CartesianProductsCategory(CovariantConstructionCategory):
+    r"""
+    An abstract base class for all ``CartesianProducts`` categories.
+
+    TESTS::
+
+        sage: C = Sets().CartesianProducts()
+        sage: C
+        Category of Cartesian products of sets
+        sage: C.base_category()
+        Category of sets
+        sage: latex(C)
+        \mathbf{CartesianProducts}(\mathbf{Sets})
+    """
+
+    _functor_category = "CartesianProducts"
+
+    def _repr_object_names(self):
+        """
+        EXAMPLES::
+
+            sage: ModulesWithBasis(QQ).CartesianProducts() # indirect doctest
+            Category of Cartesian products of vector spaces with basis over Rational Field
+        """
+        # This method is only required for the capital `C`
+        return "Cartesian products of %s" % (self.base_category()._repr_object_names())
+
+    def CartesianProducts(self) -> Self:
+        """
+        Return the category of (finite) Cartesian products of objects
+        of ``self``.
+
+        By associativity of Cartesian products, this is ``self`` (a Cartesian
+        product of Cartesian products of `A`'s is a Cartesian product of
+        `A`'s).
+
+        EXAMPLES::
+
+            sage: ModulesWithBasis(QQ).CartesianProducts().CartesianProducts()
+            Category of Cartesian products of vector spaces with basis over Rational Field
+        """
+        return self
+
+    def base_ring(self):
+        """
+        The base ring of a Cartesian product is the base ring of the underlying category.
+
+        EXAMPLES::
+
+            sage: Algebras(ZZ).CartesianProducts().base_ring()
+            Integer Ring
+        """
+        return self.base_category().base_ring()
+
+
+# Moved to avoid circular imports
+lazy_import('sage.categories.sets_cat', 'cartesian_product')
+"""
+The Cartesian product functorial construction
+
+See :class:`CartesianProductFunctor` for more information
+
+EXAMPLES::
+
+    sage: cartesian_product
+    The cartesian_product functorial construction
+"""