Opened 6 years ago

Closed 6 years ago

#18815 closed enhancement (fixed)

Polyhedron.to_linear_program

Reported by: ncohen Owned by:
Priority: major Milestone: sage-6.8
Component: geometry Keywords:
Cc: vbraun, vdelecroix, chapoton, dimpase Merged in:
Authors: Nathann Cohen Reviewers: Dima Pasechnik
Report Upstream: N/A Work issues:
Branch: 30fd44a (Commits, GitHub, GitLab) Commit: 30fd44a7cfcb0263b2d85d19fe221eb32fef52e0
Dependencies: Stopgaps:

Status badges

Description

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

Change History (7)

comment:1 Changed 6 years ago by ncohen

  • Branch set to public/18815
  • Commit set to b15e96e0160c923281d94bf9ab5903f32284b939
  • Status changed from new to needs_review

New commits:

​b15e96etrac #18815: Polyhedron.to_linear_program

comment:2 Changed 6 years ago by git

  • Commit changed from b15e96e0160c923281d94bf9ab5903f32284b939 to 2605cffc5ebe02682216b3f9dfa7f28f34f04095

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

​48642e1Merge branch 'csdpnewstyle' into develop
​68e6fc8typos fixed
​b341213added more info on theta and a check that csdp is installed
​eb20623Merge branch 'graph_theta' into develop
​871738ftrac #17574: Empty hypergraph and __str__ function
​9c0b7d4trac #17574: Merged with 6.8.beta6
​514dd64trac #17574: broken optional doctests
​1272277Merge branch 'u/ncohen/17574' of trac.sagemath.org:sage into develop
​f33b03eMerge remote-tracking branch 'trac/public/18815' into toLP
​2605cffdo not use PPL on exact irrationals

comment:3 Changed 6 years ago by git

  • Commit changed from 2605cffc5ebe02682216b3f9dfa7f28f34f04095 to f692f2ed40dcbfedda5e323dfb8b44ca733241ee

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

​85a3309trac #18815: Polyhedron.to_linear_program
​f692f2edo not use PPL on exact irrationals

comment:4 Changed 6 years ago by dimpase

  • Reviewers set to Dima Pasechnik

comment:5 Changed 6 years ago by git

  • Commit changed from f692f2ed40dcbfedda5e323dfb8b44ca733241ee to 30fd44a7cfcb0263b2d85d19fe221eb32fef52e0

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

​30fd44atrac #18815: ' is None' instead of '== None'

comment:6 Changed 6 years ago by dimpase

  • Status changed from needs_review to positive_review

LGTM.

comment:7 Changed 6 years ago by vbraun

  • Branch changed from public/18815 to 30fd44a7cfcb0263b2d85d19fe221eb32fef52e0
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.