[PPL-devel] PPL Containment check in multiple polytopes

[HazelM]

Hi, I've been trying to merge or perform union on polytopes using
poly_hull_assign and upper_bound_assign, but they return poly hull of the
resulting polytopes. For my use it would not give accurate results.
difference_assign also returns a poly hull. Is there a way that I can find
out containment of a polytope in multiple polytopes? Your help would be
highly appreciated.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20170123/07c2f0f2/attachment.htm>