search

jump-dev / SumOfSquares.jl

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

Fix Symmetry with Sums of Hermitian Squares #245

Closed blegat closed 2 years ago

blegat commented 2 years ago

This wasn't tested and it was a but in __linsolve. I added an example that covers the bug and also shows how to do it and illustrates @kalmarek 's decomposition of complex conjugates into real in SymbolicWedderburn

codecov[bot] commented 2 years ago

Codecov Report

Merging #245 (8bd8c00) into master (20f3aa6) will decrease coverage by 0.04%. The diff coverage is 50.00%.

@@            Coverage Diff             @@
##           master     #245      +/-   ##
==========================================
- Coverage   78.31%   78.26%   -0.05%     
==========================================
  Files          36       36              
  Lines        1697     1698       +1     
==========================================
  Hits         1329     1329              
- Misses        368      369       +1
Impacted Files Coverage Δ
src/constraint.jl 75.21% <0.00%> (-0.65%) :arrow_down:
src/Certificate/Symmetry/utils.jl 64.28% <100.00%> (ø)

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 20f3aa6...8bd8c00. Read the comment docs.