Merge pull request #534 from blegat/solve

Update to upcoming v0.3 release of SemialgebraicSets

Project.toml

@@ -30,20 +30,20 @@ TreeViews = "a2a6695c-b41b-5b7d-aed9-dbfdeacea5d7"
 
 [compat]
 Arblib = "0.7,0.8"
-DynamicPolynomials = "0.3, 0.4"
+DynamicPolynomials = "0.5"
 ElasticArrays = "1"
 FiniteDiff = "2.15"
 IntervalTrees = "1.1"
 LRUCache = "1.3"
 LoopVectorization = "0.12"
 MixedSubdivisions = "1"
-MultivariatePolynomials = "0.4"
+MultivariatePolynomials = "0.5"
 Parameters = "0.12"
 PrettyTables = "2.1"
 ProgressMeter = "1.7.2"
 ProjectiveVectors = "1.1"
 Reexport = "0.2, 1.0"
-SemialgebraicSets = "0.2.5"
+SemialgebraicSets = "0.3"
 SimpleGraphs = "0.8"
 StructArrays = "0.6"
 SymEngine_jll = "0.9"

src/semialgebraic_sets.jl

@@ -57,6 +57,20 @@ SemialgebraicSetsHCSolver(;
     (compile = compile, options...),
 )
 
+function SemialgebraicSets.default_gröbner_basis_algorithm(
+    ::Any,
+    ::SemialgebraicSetsHCSolver,
+)
+    return SemialgebraicSets.NoAlgorithm()
+end
+
+function SemialgebraicSets.promote_for(
+    ::Type{T},
+    ::Type{SemialgebraicSetsHCSolver},
+) where {T}
+    return float(T)
+end
+
 function Base.show(io::IO, solver::SemialgebraicSetsHCSolver)
     print(io, "SemialgebraicSetsHCSolver(; ")
     if solver.excess_residual_tol !== nothing
@@ -87,7 +101,7 @@ function _reconsider_excess_solutions(tracker::OverdeterminedTracker, results, t
     end
 end
 
-function SemialgebraicSets.solvealgebraicequations(
+function SemialgebraicSets.solve(
     V::SemialgebraicSets.AbstractAlgebraicSet,
     hcsolver::SemialgebraicSetsHCSolver,
 )