passagemath-symbolics 10.6.40__cp314-cp314t-macosx_13_0_x86_64.whl

sage/manifolds/subsets/all.py

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

sage/manifolds/subsets/closure.py

@@ -0,0 +1,131 @@
+# sage_setup: distribution = sagemath-symbolics
+r"""
+Topological Closures of Manifold Subsets
+
+:class:`ManifoldSubsetClosure` implements the topological closure
+of a manifold subset in the topology of the manifold.
+"""
+
+# ****************************************************************************
+#       Copyright (C) 2021 Matthias Koeppe <mkoeppe@math.ucdavis.edu>
+#
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 2 of the License, or
+# (at your option) any later version.
+#                  https://www.gnu.org/licenses/
+# ****************************************************************************
+
+from sage.manifolds.subset import ManifoldSubset
+
+
+class ManifoldSubsetClosure(ManifoldSubset):
+
+    r"""
+    Topological closure of a manifold subset in the topology of the manifold.
+
+    INPUT:
+
+    - ``subset`` -- a :class:`~sage.manifolds.subset.ManifoldSubset`
+    - ``name`` -- (default: computed from the name of the subset)
+      string; name (symbol) given to the closure
+    - ``latex_name`` -- string (default: ``None``); LaTeX symbol to
+      denote the subset. If none is provided, it is set to ``name``.
+
+    EXAMPLES::
+
+        sage: M = Manifold(2, 'R^2', structure='topological')
+        sage: c_cart.<x,y> = M.chart() # Cartesian coordinates on R^2
+        sage: D = M.open_subset('D', coord_def={c_cart: x^2+y^2<1}); D
+        Open subset D of the 2-dimensional topological manifold R^2
+        sage: cl_D = D.closure()
+        sage: cl_D
+        Topological closure cl_D of the Open subset D of the 2-dimensional
+         topological manifold R^2
+        sage: latex(cl_D)
+        \mathop{\mathrm{cl}}(D)
+        sage: type(cl_D)
+        <class 'sage.manifolds.subsets.closure.ManifoldSubsetClosure_with_category'>
+        sage: cl_D.category()
+        Category of subobjects of sets
+
+    The closure of the subset `D` is a subset of every closed superset
+    of `D`::
+
+        sage: S = D.superset('S')
+        sage: S.declare_closed()
+        sage: cl_D.is_subset(S)
+        True
+    """
+
+    def __init__(self, subset, name=None, latex_name=None):
+        r"""
+        Initialize a :class:`ManifoldSubsetClosure` instance.
+
+        TESTS::
+
+            sage: from sage.manifolds.subsets.closure import ManifoldSubsetClosure
+            sage: M = Manifold(2, 'R^2', structure='topological')
+            sage: c_cart.<x,y> = M.chart() # Cartesian coordinates on R^2
+            sage: D = M.open_subset('D', coord_def={c_cart: x^2+y^2<1}); D
+            Open subset D of the 2-dimensional topological manifold R^2
+            sage: cl_D = D.closure(); cl_D  # indirect doctest
+            Topological closure cl_D of the
+             Open subset D of the 2-dimensional topological manifold R^2
+            sage: also_cl_D = ManifoldSubsetClosure(D, name='also_cl_D'); also_cl_D
+            Topological closure also_cl_D of the
+             Open subset D of the 2-dimensional topological manifold R^2
+            sage: cl_D is also_cl_D
+            False
+            sage: cl_D == also_cl_D
+            False
+        """
+        self._subset = subset
+        base_manifold = subset.manifold()
+        if latex_name is None:
+            if name is None:
+                latex_name = r'\mathop{\mathrm{cl}}(' + subset._latex_name + ')'
+            else:
+                latex_name = name
+        if name is None:
+            name = 'cl_' + subset._name
+        ManifoldSubset.__init__(self, base_manifold, name, latex_name=latex_name)
+        self.declare_superset(subset)
+        self.declare_subset(superset
+                            for superset in subset.supersets()
+                            if superset.is_closed())
+
+    def _repr_(self):
+        r"""
+        String representation of the object.
+
+        TESTS::
+
+            sage: from sage.manifolds.subsets.closure import ManifoldSubsetClosure
+            sage: M = Manifold(2, 'R^2', structure='topological')
+            sage: D = M.open_subset('D')
+            sage: cl_D = D.closure(); cl_D  # indirect doctest
+            Topological closure cl_D of the
+             Open subset D of the 2-dimensional topological manifold R^2
+        """
+        return "Topological closure {} of the {}".format(self._name, self._subset)
+
+    def is_closed(self):
+        r"""
+        Return if ``self`` is a closed set.
+
+        This implementation of the method always returns ``True``.
+
+        EXAMPLES::
+
+            sage: from sage.manifolds.subsets.closure import ManifoldSubsetClosure
+            sage: M = Manifold(2, 'R^2', structure='topological')
+            sage: c_cart.<x,y> = M.chart() # Cartesian coordinates on R^2
+            sage: D = M.open_subset('D', coord_def={c_cart: x^2+y^2<1}); D
+            Open subset D of the 2-dimensional topological manifold R^2
+            sage: cl_D = D.closure(); cl_D  # indirect doctest
+            Topological closure cl_D of the Open subset D of the 2-dimensional topological manifold R^2
+            sage: cl_D.is_closed()
+            True
+        """
+        return True