[PPL-devel] Integer projection

[Didier Lime]

Dear PPL developers,

What would you think is the most sensible way to compute the convex hull of all the integer points in a given polyhedron?

drop_some_non_integer_points() seems to be quite close but the description reads like it might not always compute exactly this.

Thank you in advance, and also for this very nice library.

Cheers,

Didier



--
Dr. Didier Lime
Maître de Conférences
IRCCyN / École Centrale de Nantes
Nantes, France

http://www.irccyn.ec-nantes.fr/~lime