[PPL-devel] PPL Containment check in multiple polytopes

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.