Author: Murat_Aygen Format: TextA facet of an n-polytope (having the origin in its interior) is redundant iff its out-normal is within of the polar body spanned by out-normals of the other facets. If this out-normal is on the boundary of the polar body, then the plane of the redundant facet supports (is tangent to) the n-polytope in question. Are these true?
A facet of an n-polytope (having the origin in its interior) is redundant iff its out-normal is within of the polar body spanned by out-normals of the other facets. If this out-normal is on the boundary of the polar body, then the plane of the redundant facet supports (is tangent to) the n-polytope in question. Are these true?
Author: Murat_Aygen Format: TextIf P is a polytope, its polar body P^{o} is { y : < y, x> <= 1 for any x in P } (here < ., .> is the scalar product of vectors ). The "out-normal" is the polar-body of an half-space (containing the origin). See: https://en.wikipedia.org/wiki/Mahler_volume Thanks.
If P is a polytope, its polar body P^{o} is { y : < y, x> <= 1 for any x in P } (here < ., .> is the scalar product of vectors ). The "out-normal" is the polar-body of an half-space (containing the origin). See: https://en.wikipedia.org/wiki/Mahler_volume Thanks.