Add convex polytope and tests.