Benoît Legat

In the commutative case, several operations can fall back to `mapexponents`. For instance, the product of monomials is `mapexponents(+, m1, m2)`, the division is `mapexponents(-, m1, m2)`, the gcd is...

I would also find this super useful :innocent: cfr. https://github.com/jump-dev/JuMP.jl/pull/3843#issuecomment-2403281568

I'm a bit hesitant to add this dependency but I would accept a PR improving the current implementation

I'm giving a tutorial next Wednesday and I'd like to show that one can swap MiniZinc with CBLS or ConstraintSolver so I'll first update with this PR and then transition...

I'm now getting ```julia Simple: Error During Test at /home/blegat/.julia/dev/ConstraintSolver/test/constraints/element1Dconst.jl:2 Got exception outside of a @test BoundsError: attempt to access 25-element Vector{Int64} at index [28] Stacktrace: [1] getindex @ ./essentials.jl:13...

When it's a bug fix, we prefer to release it quickly. Quite convenient to open an issue late yesterday and to have the bug fixed and released overnight, thanks @odow...

I also have it locally but it doesn't prevent the tests from passing

The error seems unrelated since I get it in https://github.com/mariohsouto/ProxSDP.jl/pull/99 as well

It should throw "Numerically inconsistent" according to https://github.com/JuliaPolyhedra/CDDLib.jl/issues/65#issuecomment-841679484 so it's still not the right error but it should now be easy to fix purely on the Julia side

Thanks ! Let's see what ci gives