diff --git a/src/doc/en/thematic_tutorials/geometry/polyhedra_quickref.rst b/src/doc/en/thematic_tutorials/geometry/polyhedra_quickref.rst index 96c43ffd6f5..fafc74d0074 100644 --- a/src/doc/en/thematic_tutorials/geometry/polyhedra_quickref.rst +++ b/src/doc/en/thematic_tutorials/geometry/polyhedra_quickref.rst @@ -122,6 +122,7 @@ List of Polyhedron methods :widths: 30, 70 :delim: | + :meth:`~sage.geometry.polyhedron.base.Polyhedron_base.combinatorial_polyhedron` | the combinatorial polyhedron :meth:`~sage.geometry.polyhedron.base.Polyhedron_base.face_lattice` | the face lattice :meth:`~sage.geometry.polyhedron.base.Polyhedron_base.combinatorial_automorphism_group` | the automorphism group of the underlying combinatorial polytope :meth:`~sage.geometry.polyhedron.base.Polyhedron_base.graph`, :meth:`~sage.geometry.polyhedron.base.Polyhedron_base.vertex_graph` | underlying graph diff --git a/src/sage/geometry/polyhedron/base.py b/src/sage/geometry/polyhedron/base.py index fa0693ae9ab..62b0ea0f15d 100644 --- a/src/sage/geometry/polyhedron/base.py +++ b/src/sage/geometry/polyhedron/base.py @@ -2731,6 +2731,27 @@ def is_compact(self): """ return self.n_rays() == 0 and self.n_lines() == 0 + @cached_method + def combinatorial_polyhedron(self): + r""" + Return the combinatorial type of ``self``. + + See :class:`sage.geometry.polyhedron.combinatorial_polyhedron.base.CombinatorialPolyhedron`. + + EXAMPLES:: + + sage: polytopes.cube().combinatorial_polyhedron() + A 3-dimensional combinatorial polyhedron with 6 facets + + sage: polytopes.cyclic_polytope(4,10).combinatorial_polyhedron() + A 4-dimensional combinatorial polyhedron with 35 facets + + sage: Polyhedron(rays=[[0,1], [1,0]]).combinatorial_polyhedron() + A 2-dimensional combinatorial polyhedron with 2 facets + """ + from sage.geometry.polyhedron.combinatorial_polyhedron.base import CombinatorialPolyhedron + return CombinatorialPolyhedron(self) + def is_simple(self): """ Test for simplicity of a polytope.