some Haskell code for representing linear inequality systems with rational coefficients and parsing text representations of these systems.