See Example 0.10 in Günter Ziegler's book [196].
simple, zonotope
196
n-1
factorial(n)
matrix(permutations(1..n));
<p> The combinatorial structure of all of the faces is known.