Polyhedron.to_linear_program

[nathanncohen]

There is already a MixedIntegerLinearProgram function. This one is the opposite, and may be useful if we implements tools to count/enumerate integer points of a polytope (see #18812), as they can/will appear both on the Polyhedron side and on the LP solver side.

Nathann

CC: @vbraun @videlec @fchapoton @dimpase

Component: geometry

Author: Nathann Cohen

Branch/Commit: 30fd44a

Reviewer: Dima Pasechnik

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

[nathanncohen]

New commits:

b15e96e

trac #18815: Polyhedron.to_linear_program

[nathanncohen]

Branch: public/18815

[nathanncohen]

Commit: b15e96e

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

48642e1	Merge branch 'csdpnewstyle' into develop
68e6fc8	typos fixed
b341213	added more info on theta and a check that csdp is installed
eb20623	Merge branch 'graph_theta' into develop
871738f	trac #17574: Empty hypergraph and `__str__` function
9c0b7d4	trac #17574: Merged with 6.8.beta6
514dd64	trac #17574: broken optional doctests
1272277	Merge branch 'u/ncohen/17574' of trac.sagemath.org:sage into develop
f33b03e	Merge remote-tracking branch 'trac/public/18815' into toLP
2605cff	do not use PPL on exact irrationals

[sagetrac-git]

Changed commit from b15e96e to 2605cff

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

85a3309	trac #18815: Polyhedron.to_linear_program
f692f2e	do not use PPL on exact irrationals

[sagetrac-git]

Changed commit from 2605cff to f692f2e

[dimpase]

Reviewer: Dima Pasechnik

[sagetrac-git]

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

30fd44a

trac #18815: ' is None' instead of '== None'

[sagetrac-git]

Changed commit from f692f2e to 30fd44a

[dimpase]

comment:6

LGTM.

[vbraun]

Changed branch from public/18815 to 30fd44a