Benoît Legat

I'm unsure if it's a bug in PlutoUI or the Markdown stdlib but here it is: When entering the following in a Pluto cell, we get the logo and the...

SymbolicWedderburn v0.3 -> v0.4

6

Closes https://github.com/jump-dev/SumOfSquares.jl/pull/340

If the `domain` keyword is given a set with JuMP's expressions, they are currently not converted to MOI functions and then the bridge fails by trying to convert them to...

Add QCQP to polynomial optimization example

1

Preview https://jump-dev.github.io/SumOfSquares.jl/previews/PR318

Projection in minimizer extraction tuto

1

Preview https://jump-dev.github.io/SumOfSquares.jl/previews/PR326

- [ ] Fix block diagonalization https://github.com/jump-dev/SumOfSquares.jl/pull/308 - [ ] Add dihedral example back https://github.com/jump-dev/SumOfSquares.jl/pull/308 - [ ] Add block diagonalization to SymbolicWeddernurn.jl as fallback - [ ] Add symmetry...

Remove in https://github.com/jump-dev/SumOfSquares.jl/pull/297 because it failed because I think it's really too brittle

Geometric conic form bridge

1

Closes https://github.com/jump-dev/SumOfSquares.jl/issues/205

Remove almost zero terms

1

Preview https://jump-dev.github.io/SumOfSquares.jl/previews/PR289

The order of monomials is now in increasing order