Skip to main content
4 events
when toggle format what by license comment
Feb 26, 2022 at 2:12 vote accept user73577
Feb 25, 2022 at 14:06 comment added Francisco Santos As the OP says, the condition implies that "the vertices of [each of] the facets and the origin form a unimodular simplex". This implies that the facet can be written as $ax \le 1$ for an integer vector $a$. Thus, the polar polytope has integer vertices, namely the $a$'s coming from the facets. Together with the fact that $P_0$ has integer vertices this says that $P_0$ is reflexive.
Feb 24, 2022 at 12:57 comment added M. Winter Do you have a brief argument for why OP's condition implies $P_0$ being reflexive?
Nov 22, 2021 at 22:55 history answered Francisco Santos CC BY-SA 4.0