Benoît Legat

Yes corrected

Yes, we should have everything we need at the JuMP/MOI side now, I should have some time to take a look soon

> I think I understand your first line of code, you ant to allow X to be an `SVDMPoint`? Yes > I do not yet understand the second line the...

It's there https://github.com/jump-dev/SumOfSquares.jl/blob/6ad333b54524aa15ca47be20572bf9d82bfa56c4/src/Certificate/Symmetry/block_diag.jl#L3-L179 I'm not sure what is the condition actually. I just assume that there must exist one

Thanks for the literature search. Indeed, I don't think the commuting property is the right one. Actually there are pairs of matrices that do not commute for which I can...

Same issue here, this PR should be merged

The plan is to make SemialgebraicSets.jl independent on the algorithm/library used a bit like Polyhedra.jl. In Polyhedra, you build your polyhedron with `polyhedron(::HRepresentation, ::somelibrary)`. In SemialgebraicSets, you will do `algebraicset(::Vector{

> it would be great to be able to, for example, use ConditionalJuMP to model a problem with disjunctions and then solve that problem with Gurobi (using binary variables) and...

Negative exponents is currently not supported in this package, e.g., it will make printing fail but it's probably not too hard to add support for it. Then you could easily...

> add methods for the HybridSystem, for adding and removing states(modes) and transitions(resetmaps) I agree, these method should also include the reset maps, ... for the added element