software for real algebraic sets