From f4689d30876b6d71684faba6f3325848bd7ad00f Mon Sep 17 00:00:00 2001 From: Jonathan Kliem Date: Fri, 14 Feb 2020 11:38:32 +0100 Subject: [PATCH] improved documentation --- src/sage/geometry/polyhedron/base.py | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/src/sage/geometry/polyhedron/base.py b/src/sage/geometry/polyhedron/base.py index 430edad2937..0c1bee1f98b 100644 --- a/src/sage/geometry/polyhedron/base.py +++ b/src/sage/geometry/polyhedron/base.py @@ -3083,14 +3083,12 @@ def combinatorial_polyhedron(self): def simplicity(self): r""" - Return the largest `k` such that the polytope is `k`-simple. - - Return the dimension in case of a simplex. + Return the largest integer `k` such that the polytope is `k`-simple. A polytope `P` is `k`-simple, if every `(d-1-k)`-face is contained in exactly `k+1` facets of `P` for `1 <= k <= d-1`. - Equivalently it is `k`-simple if the polar/dual polytope is `k`-simplicial. + If `self` is a simplex, it returns its dimension. EXAMPLES:: @@ -3138,11 +3136,10 @@ def is_simple(self): def simpliciality(self): r""" - Return the largest `k` such that the polytope is `k`-simplicial. - - Return the dimension in case of a simplex. + Return the largest interger `k` such that the polytope is `k`-simplicial. A polytope is `k`-simplicial, if every `k`-face is a simplex. + If `self` is a simplex, returns its dimension. EXAMPLES::