Inverse function for `gale_transform`

[kliem]

One can obtain a gale diagram from a polyhedron. Some interesting examples of polyhedra are obtained by the reverse approach.

We implement a method that converts a gale diagram to a Polyhedron.

This is a preparation for adding polytopes to the library obtained from the Gale diagram (e.g. #27728).

CC: @jplab @LaisRast @yuan-zhou

Component: geometry

Keywords: polytopes, gale transform

Author: Jonathan Kliem

Branch/Commit: b6898dd

Reviewer: Jean-Philippe Labbé

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

[kliem]

New commits:

baaa735

implement function to convert from gale transform to polytope

[kliem]

Commit: baaa735

[kliem]

Branch: public/29065

[sagetrac-git]

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

b32c073

various improvements

[sagetrac-git]

Changed commit from baaa735 to b32c073

[sagetrac-git]

Changed commit from b32c073 to 8f91299

[sagetrac-git]

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

8f91299

do not echolonize kernel matrix

[LaisRast]

comment:5

Small remarks:

• Typos:

-    The vectors are scalled automatically such that they add up to zero.
+    The vectors are scaled automatically such that they add up to zero.

-        # The vectors of our gale transform shall add up to one.
+        # The vectors of our gale transform shall add up to zero.

• Maybe explain why you want the sum of all vectors to be zero. Something like "so that the right kernel of vectors has the one vector in it".

[sagetrac-git]

Changed commit from 8f91299 to 251e9f5

[sagetrac-git]

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

251e9f5

better documentation