search

jump-dev / SumOfSquares.jl

Sum of Squares Programming for Julia
Other
114 stars 24 forks source link

Non-polynomial example #364

Open blegat opened 6 days ago

blegat commented 6 days ago

With the rewrite on StarAlgebras in https://github.com/jump-dev/SumOfSquares.jl/pull/355, we can now use bases that are not monomial @kalmarek do you have a nice example we could use in the docs ?

blegat commented 6 days ago

@kalmarek says https://github.com/kalmarek/QuantumStuff.jl/pull/5 is a nice example of Quantum correlation from the Bell's experiment : https://en.wikipedia.org/wiki/CHSH_inequality