[PPL-devel] newbie question - point containment within polyhedron

Hi all

How do I check if a point is contained within a polyhedron? Firstly, how do i represent the point? in terms of X, Y, Z where these are declared to be of type Variable?

Would someone have any example code snippets to illustrate related points?

thanks Manoj Rajagopalan