diff --git a/src/sage/geometry/polyhedron/base.py b/src/sage/geometry/polyhedron/base.py index 66f1cde4680..c9c6bc7b8d0 100644 --- a/src/sage/geometry/polyhedron/base.py +++ b/src/sage/geometry/polyhedron/base.py @@ -3290,7 +3290,10 @@ def vertex_digraph(self, f, increasing=False): - ``increasing`` -- boolean (default ``False``) whether to orient edges in the increasing direction instead. - By default, an edge is oriented from `v` to `w` if `f(v-w) > 0`. + By default, an edge is oriented from `v` to `w` if + `f(v-w) \geq 0`. + + If `f(v)=f(w)`, then two opposite edges are created. EXAMPLES:: @@ -3309,7 +3312,7 @@ def vertex_digraph(self, f, increasing=False): for j in range(self.n_vertices()): vj = self.Vrepresentation(j) for vi in vj.neighbors(): - if (vi.vector() - vj.vector()).dot_product(f) > 0: + if (vi.vector() - vj.vector()).dot_product(f) >= 0: dg.add_edge(vi, vj) return dg