LinearSystemPolynomialPackage internally defines a function that converts a list of linear polynomials into a matrix and a vector. Since this functionality is useful also for the end user, it should be exported somehow - but needs to be given a better name.

Personally, I will use the function to make it easy to transform inequalities into a form supported by LattE?.

Martin