Computing convex hulls and counting integer points with polymake