The Minkowski-Weyl theorem (Rockafellar, 1970) ensures that Z(x) has a representation of the form Z(x) = {z ∈ R |A| | Az ≤ b}, for some p-by-|A| matrix A and some vector b in R p .
it is not easy to obtain a compact representation (where p grows polynomially with the number of words n).