JuliaAlgebra / SemialgebraicSets.jl

Extension of MultivariatePolynomials to semialgebraic sets
Other
22 stars 6 forks source link

Clarify iszerodimensional #25

Open blegat opened 2 years ago

blegat commented 2 years ago

It was reported to me by email that the iszerodimensional is confusing. It refers to the dimension of the variety over the complex numbers while the user could expect it over the real. It should at least be clarified in the docstring. For instance, iszerodimensional(@set x^2+y^2=0) while the set is zero dimensional over the reals.