julia 1.0
MultivariatePolynomials 0.1.0
SemialgebraicSets 0.0.1
RowEchelon
