systems of linear inqualities