Polynomial Size Extended Formulation Definition