Manipulation of linear systems of (in)equalities
