jump-dev / SumOfSquares.jl

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

Variable-wise bounds for putinar #282

Closed blegat closed 1 year ago

blegat commented 1 year ago

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

codecov[bot] commented 1 year ago

Codecov Report

Patch coverage: 91.40% and project coverage change: -1.57 :warning:

Comparison is base (b2f865b) 78.75% compared to head (14e3abd) 77.19%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #282 +/- ## ========================================== - Coverage 78.75% 77.19% -1.57% ========================================== Files 36 38 +2 Lines 1850 1982 +132 ========================================== + Hits 1457 1530 +73 - Misses 393 452 +59 ``` | [Impacted Files](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/282?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev) | Coverage Δ | | |---|---|---| | [src/Bridges/Variable/scaled\_diagonally\_dominant.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/282?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0JyaWRnZXMvVmFyaWFibGUvc2NhbGVkX2RpYWdvbmFsbHlfZG9taW5hbnQuamw=) | `69.76% <ø> (ø)` | | | [src/Certificate/Sparsity/variable.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/282?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0NlcnRpZmljYXRlL1NwYXJzaXR5L3ZhcmlhYmxlLmps) | `100.00% <ø> (ø)` | | | [src/Bridges/Constraint/empty.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/282?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0JyaWRnZXMvQ29uc3RyYWludC9lbXB0eS5qbA==) | `76.19% <70.00%> (+19.04%)` | :arrow_up: | | [src/Certificate/Certificate.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/282?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0NlcnRpZmljYXRlL0NlcnRpZmljYXRlLmps) | `72.72% <70.00%> (-26.06%)` | :arrow_down: | | [src/constraint.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/282?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL2NvbnN0cmFpbnQuamw=) | `75.40% <83.33%> (-0.02%)` | :arrow_down: | | [src/Certificate/newton\_polytope.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/282?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0NlcnRpZmljYXRlL25ld3Rvbl9wb2x5dG9wZS5qbA==) | `94.80% <89.21%> (-4.42%)` | :arrow_down: | | [src/Certificate/preorder.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/282?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0NlcnRpZmljYXRlL3ByZW9yZGVyLmps) | `98.18% <98.18%> (ø)` | | | [src/Bridges/Constraint/sos\_polynomial.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/282?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0JyaWRnZXMvQ29uc3RyYWludC9zb3NfcG9seW5vbWlhbC5qbA==) | `100.00% <100.00%> (ø)` | | | [src/Certificate/ideal.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/282?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0NlcnRpZmljYXRlL2lkZWFsLmps) | `100.00% <100.00%> (ø)` | | ... and [4 files with indirect coverage changes](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/282/indirect-changes?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 in Codecov by Sentry.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.