When attempting to construct the Minkowski sum of two [-1, 1]^3 cubes using the method described in section 2 of this paper, I end up projecting a 6D polytope with 12 constraints, as constructed below. The polytope returned by project claims to be in minimal representation however it contains 8 redundant hyperplanes.
When attempting to construct the Minkowski sum of two [-1, 1]^3 cubes using the method described in section 2 of this paper, I end up projecting a 6D polytope with 12 constraints, as constructed below. The polytope returned by
project
claims to be in minimal representation however it contains 8 redundant hyperplanes.The above prints: