-- | 'varsPolynomial' takes a polynomial and returns a list of variables which are occur in the polynomial
varsPolynomial :: Polynomial -> [Var]
varsPolynomial (Polynomial ms)  = varsMonomials ms
varsPolynomial :: Polynomial -> [Var]
varsPolynomial (Polynomial ms)  = varsMonomials ms
varsPolynomial (Polynomial ms)  = varsMonomials ms