Create a Z-polyhedron in the three-dimensional space
Get a sample point from zp
Turn it into Vector form
Check that it indeed belongs to zp
Pick a random integer point
Check whether it belongs to zp
Double-check that latter answer by enumerating the points of zp