Opened 5 years ago

Last modified 5 years ago

#24154 closed defect

Fix equation handling of Polyhedron.to_linear_program() and thus integral_points_count(preprocess=True) — at Version 1

Reported by: Matthias Köppe Owned by:
Priority: critical Milestone: sage-8.1
Component: geometry Keywords:
Cc: Simon King, Vincent Delecroix, Jean-Philippe Labbé Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by Matthias Köppe)

As reported in, the preprocessing code in integral_points_count sometimes fails. This is ultimately because Polyhedron.to_linear_program does not handle equations correctly.

sage: P = Polyhedron(vertices=[[19]])
sage: P.to_linear_program().show()

  constraint_0: -19 <= x_0 <= -19
  x_0 is a continuous variable (min=-oo, max=+oo)
sage: P.to_linear_program().polyhedron().vertices_list()

Change History (1)

comment:1 Changed 5 years ago by Matthias Köppe

Description: modified (diff)
Note: See TracTickets for help on using tickets.