2. In the article
(http://bugseng.com/products/ppl/documentation/BagnaraRZH02.pdf),
you mentioned that poly_hull_assign is different from
upper_bound_assign for Polyhedra

Where exactly do you read that?

Sorry I wanted to ask the difference between poly-hull and convex-hull. Please ignore my previous question.

thank you

Bishoksan