SumOfSquares.jl
SumOfSquares.jl copied to clipboard
Implement SparseMultipartite and exact computation of SOS polytope like SOSTools
- [x] Multipartite (done in SOSTools): https://github.com/JuliaOpt/SumOfSquares.jl/pull/69
- [ ] Exact with V-representation -> H-representation conversion (done in SOSTools with CDD), we can use Polyhedra for that
- [ ] Exact by solving an LP for each monomial (done in YALMIP), we could also rely on Polyhedra for that