PolyJuMP.jl
PolyJuMP.jl copied to clipboard
jump-dev
A JuMP extension for Polynomial Optimization
Hello :) I've seen this old thread on discourse https://discourse.julialang.org/t/warm-start-mosek-in-a-linear-polynomial-optimization-problem/90478 and since there wasn't an open issue I obliged. I'm planning to translate a bit of MATLAB code which I've...
Use MultivariateBases for comparing coefficients. Dual is MM.Measure in MB. The TestNonNegPoly is adapted in a way that it passes the tests, but is not necessarily useful.
As discussed with @matbesancon during the JuMP-dev call, we could add a `PolyJuMP.Geometric.Optimizer` meta-solver that supports `ScalarPolynomialFunction` as input and rewrites into exponential conic form using geometric programming (and errors...
These should accept a `result` keyword https://github.com/jump-dev/PolyJuMP.jl/blob/8eb58029a2181cbd1ba0338118f5ca5415b83a2b/src/variable.jl#L3-L17 like https://github.com/jump-dev/JuMP.jl/blob/6901e8f98bf24242a141e003e42530fa90f33c3c/src/aff_expr.jl#L493-L495
A polynomial equality `p == q` over an ideal generated by polynomials `h[1],...,h[k]` can be expressed in different ways. Currently, a groebner basis of the ideal is computed and `p...
`@variable(m, p, NonNegPoly(X))` perhaps also `@variable(m, p, NonNegPoly(X), domain=D)`? (or maybe domain could be a second argument to NonNegPoly)
Right now PolyJuMP only seems to support Float64 Models: ```Julia using MultiFloats, JuMP, PolyJuMP, SumOfSquares m = GenericModel{Float64x2}() setpolymodule!(m, SumOfSquares) ``` Gives ```Julia ERROR: MethodError: no method matching setpolymodule!(::GenericModel{MultiFloat{Float64, 2}},...
