where each Ai and Pi is an HV-polytope
Too restrictive. P can be an H-polytope, doesn’t need to be an HV-polytope.
Too restrictive. P can be an H-polytope, doesn’t need to be an HV-polytope.