Benoît Legat comments

Results 528 comments of


                                            Benoît Legat

Fix bridge choice for non-Float64

This is now failing because of breaking changes in StarAlgebras#main, https://github.com/JuliaAlgebra/MultivariateBases.jl/pull/57 should fix it

How to see Sum-of-Squares decomposotion in the optimization over domain?

Yes, you can obtain them with `gram_matrix` and [`lagrangian_multipliers`](https://jump.dev/SumOfSquares.jl/stable/constraints/#SumOfSquares.lagrangian_multipliers)

replaced gcd by lcm of den's

Does this have any negative impact on the benchmarks: https://github.com/JuliaAlgebra/MultivariatePolynomials.jl/blob/master/perf/gcd.jl ?

replaced gcd by lcm of den's

We should also add a test

gcd of rational numbers

Could you provide an example of `gcd` computation that is incorrect?

gcd of rational numbers

You expect it to be 1 or `1//12` ?

More issues with escaped unicode

Good point, if I untick the checkbox "Export unicode as plain-text..." then I get rid of the errors. If I also select "in the 'url' field", below in the screenshot...

Respect `MOI.AutomaticDifferentiationBackend()` in NLP

We could use `MOI.AutomaticDifferentiationBackend` by default. We could have a different attribute in case the user wants a different AD than the solver but using the same as the solver...