jump-dev / SumOfSquares.jl

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

Add polynomial optimization example #271

Closed blegat closed 1 year ago

blegat commented 1 year ago

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

codecov[bot] commented 1 year ago

Codecov Report

Base: 78.46% // Head: 76.77% // Decreases project coverage by -1.69% :warning:

Coverage data is based on head (09ec3fe) compared to base (8cd8f96). Patch has no changes to coverable lines.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #271 +/- ## ========================================== - Coverage 78.46% 76.77% -1.69% ========================================== Files 36 36 Lines 1788 1602 -186 ========================================== - Hits 1403 1230 -173 + Misses 385 372 -13 ``` | [Impacted Files](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/271?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev) | Coverage Δ | | |---|---|---| | [src/Bridges/Constraint/psd2x2.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/271?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0JyaWRnZXMvQ29uc3RyYWludC9wc2QyeDIuamw=) | `37.50% <0.00%> (-4.81%)` | :arrow_down: | | [src/constraint.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/271?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL2NvbnN0cmFpbnQuamw=) | `70.40% <0.00%> (-4.81%)` | :arrow_down: | | [src/sosdec.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/271?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL3Nvc2RlYy5qbA==) | `92.64% <0.00%> (-4.73%)` | :arrow_down: | | [src/Certificate/Sparsity/ideal.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/271?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0NlcnRpZmljYXRlL1NwYXJzaXR5L2lkZWFsLmps) | `81.81% <0.00%> (-3.90%)` | :arrow_down: | | [src/attributes.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/271?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL2F0dHJpYnV0ZXMuamw=) | `68.75% <0.00%> (-3.48%)` | :arrow_down: | | [src/Certificate/Sparsity/xor\_space.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/271?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0NlcnRpZmljYXRlL1NwYXJzaXR5L3hvcl9zcGFjZS5qbA==) | `92.30% <0.00%> (-3.15%)` | :arrow_down: | | [src/Bridges/Variable/copositive\_inner.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/271?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0JyaWRnZXMvVmFyaWFibGUvY29wb3NpdGl2ZV9pbm5lci5qbA==) | `63.15% <0.00%> (-2.42%)` | :arrow_down: | | [src/Certificate/Certificate.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/271?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0NlcnRpZmljYXRlL0NlcnRpZmljYXRlLmps) | `96.82% <0.00%> (-1.90%)` | :arrow_down: | | [src/Bridges/Variable/scaled\_diagonally\_dominant.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/271?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0JyaWRnZXMvVmFyaWFibGUvc2NhbGVkX2RpYWdvbmFsbHlfZG9taW5hbnQuamw=) | `68.42% <0.00%> (-1.35%)` | :arrow_down: | | [src/Bridges/Constraint/diagonally\_dominant.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/271?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0JyaWRnZXMvQ29uc3RyYWludC9kaWFnb25hbGx5X2RvbWluYW50Lmps) | `90.42% <0.00%> (-1.17%)` | :arrow_down: | | ... and [20 more](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/271?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev) | | Help us with your feedback. Take ten seconds to tell us [how you rate us](https://about.codecov.io/nps?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev). Have a feature suggestion? [Share it here.](https://app.codecov.io/gh/feedback/?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev)

:umbrella: View full report at Codecov.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.