Benoît Legat

Helps for https://github.com/JuliaAlgebra/DynamicPolynomials.jl/issues/64

Check that https://github.com/JuliaAlgebra/MultivariatePolynomials.jl/pull/296 does not break anything

With `BigFloat`, we get twice the same one and discard the `3` one. ```julia julia> f2 = 4x^4 - 32x^3 + 88x^2 - 96x + 36 julia> collect(@set f2 ==...

```julia function test(ztol=Base.rtoldefault(Float64)) X = [0.5459627556242905, 1.7288950489507429, 0.7167681447476535] Y = [-54.06002080721971, 173.77393714162503, 71.48154370522498] n = 3 @polyvar W[1:n] α β I = @set(sum([W[i] * X[i] * (β * X[i] +...

Implement resolution using the gröbner basis interface; see [CLO05, p. 253-256]. [CLO05] Cox, A. David & Little, John & O'Shea, Donal *Using Algebraic Geometry*. Graduate Texts in Mathematics, **2005**. https://doi.org/10.1007/b138611

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...

Solving system of polynomial equations

9

It would be nice to have an implementation independent interface for solving systems of polynomial equations. There will soon be an implementation here using the classical Groebner basis method and...

`intersect!(::FullSpace, ::..)` should create a new one and `intersect!(::..., ::...)` should just modify the first argument, in any case, it returns the intersection. cc @tweisser

The variables on which a semialgebraic set is currently not defined. We should add a field containing the ordered list of variables that is by default the union of the...