ConvexSet_base.cartesian_product: New

src/sage/geometry/convex_set.py

@@ -279,12 +279,6 @@ def relative_interior(self):
             return self
         raise NotImplementedError
 
-    @abstract_method(optional=True)
-    def affine_hull(self):
-        r"""
-        Return the affine hull of ``self``.
-        """
-
     def _test_convex_set(self, tester=None, **options):
         """
         Run some tests on the methods of :class:`ConvexSet_base`.
@@ -346,6 +340,29 @@ def _test_convex_set(self, tester=None, **options):
         if self.is_compact():
             tester.assertTrue(self.is_closed())
 
+    # Optional methods
+
+    @abstract_method(optional=True)
+    def affine_hull(self):
+        r"""
+        Return the affine hull of ``self``.
+        """
+
+    @abstract_method(optional=True)
+    def cartesian_product(self, other):
+        """
+        Return the Cartesian product.
+
+        INPUT:
+
+        - ``other`` -- another convex set
+
+        OUTPUT:
+
+        The Cartesian product of ``self`` and ``other``.
+        """
+
+
 class ConvexSet_closed(ConvexSet_base):
     r"""
     Abstract base class for closed convex sets.

src/sage/geometry/polyhedron/base.py

@@ -4817,6 +4817,8 @@ def product(self, other):
 
     _mul_ = product
 
+    cartesian_product = product
+
     def _test_product(self, tester=None, **options):
         """
         Run tests on the method :meth:`.product`.