Convex Polytope Membership | TensorTonic