Skip to content

Commit

Permalink
Polyhedron_base1.an_affine_basis: Update documentation
Browse files Browse the repository at this point in the history
  • Loading branch information
mkoeppe committed Aug 11, 2022
1 parent bfe56c6 commit 6522eff
Showing 1 changed file with 5 additions and 3 deletions.
8 changes: 5 additions & 3 deletions src/sage/geometry/polyhedron/base1.py
Original file line number Diff line number Diff line change
Expand Up @@ -426,7 +426,7 @@ def ambient_dim(self):

def an_affine_basis(self):
"""
Return points in ``self`` that are a basis for the affine span of the polytope.
Return points in ``self`` that form a basis for the affine span of ``self``.
This implementation of the method :meth:`ConvexSet_base.an_affine_basis`
for polytopes guarantees the following:
Expand All @@ -438,6 +438,9 @@ def an_affine_basis(self):
one vertex that is in the difference. Thus this method
is independent of the concrete realization of the polytope.
For unbounded polyhedra, the result may contain arbitrary points of ``self``,
not just vertices.
EXAMPLES::
sage: P = polytopes.cube()
Expand All @@ -455,8 +458,7 @@ def an_affine_basis(self):
A vertex at (4, 1, 3, 5, 2),
A vertex at (4, 2, 5, 3, 1)]
For unbounded polyhedra, the result may contain arbitrary points of ``self``,
not just vertices::
Unbounded polyhedra::
sage: p = Polyhedron(vertices=[(0, 0)], rays=[(1,0), (0,1)])
sage: p.an_affine_basis()
Expand Down

0 comments on commit 6522eff

Please sign in to comment.