Functions I miss/haven't found:

[tweisser]

Here are some functions that I miss in SAS.jl (or maybe I just haven't found them yet):

function SemialgebraicSets.inequalities(::AbstractAlgebraicSet)
    return []
end

function polynomials(s::AbstractSemialgebraicSet)
    return [equalities(s)..., inequalities(s)...]
end

function MultivariatePolynomials.maxdegree(s::AbstractSemialgebraicSet)
    pols = polynomials(s)
    return isempty(pols) ? 0 : maximum(maxdegree.(pols))
end

[tweisser]

I just continue this list:

function basicsemialgebraicset(polys::Vector{<:MultivariatePolynomials.AbstractPolynomialLike})
    return basicsemialgebraicset(FullSpace(), polys)
end