ConvexSet_base.representative_point, Polyhedron_base.an_affine_basis for unbounded polyhedra

[mkoeppe]

ConvexSet_base.representative_point generalizes Polyhedron_base.representative_point.
We implement it via an_affine_basis.

We extend the implementation of that so it handles unbounded polyhedra.

CC: @yuan-zhou @jplab @kliem @tscrim

Component: geometry

Author: Matthias Koeppe

Branch/Commit: 6522eff

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/34326

[mkoeppe]

Branch: u/mkoeppe/convexset_base_representative_point

[sagetrac-git]

Commit: 5f3a8ed

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

f0708e7	RelativeInterior.representative_point: New
5f3a8ed	ConvexSet_base._some_elements_: Provide a default implementation

[sagetrac-git]

Changed commit from 5f3a8ed to bfe56c6

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

bfe56c6

Polyhedron_base1.an_affine_basis: Implement for the non-pointed case

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

Dependencies: #32159

[mkoeppe]

Changed dependencies from #32159 to none

[tscrim]

comment:9

The documentation of an_affine_basis() is now incorrect as it doesn't need to be a polytope (this is why I prefer self instead of "this/the foo"). The main thing is the one-line description, but I would include the details about unbounded polyhedra in the "main" doc rather than just with the example. Otherwise LGTM.

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

6522eff

Polyhedron_base1.an_affine_basis: Update documentation

[sagetrac-git]

Changed commit from bfe56c6 to 6522eff

[mkoeppe]

comment:11

Thanks, good idea, done

[tscrim]

Reviewer: Travis Scrimshaw

[tscrim]

comment:12

Green bot => positive review.

[mkoeppe]

comment:13

Thanks! Build&Test bot is green.

[vbraun]

Changed branch from u/mkoeppe/convexset_base_representative_point to 6522eff