Unimodular systems of vectors are embeddable in the \((0, 1)\)-cube (Q650363)

Let \(U^+\cup U^-\) be a partition of an \(n\)-dimensional unimodular system \(U\) whose vectors span \(\mathbb{R}^n\). The authors prove that the vectors of \(U^\prime=U^+\cup \{-u\, : \, u\in U^-\}\) have \((0,1)\)-coordinates in the dual basis of a particular set of linearly independent edges of the polyhedron \(P=\{ x\in\mathbb{R}^n : 0\leqslant u^Tx\leqslant 1 \text{ for any }u\in U^\prime\)