jump-dev / SumOfSquares.jl

Sum of Squares Programming for Julia
Other
118 stars 23 forks source link

Further reduce if degree of irrep is > 1 #189

Closed blegat closed 3 years ago

blegat commented 3 years ago

For each irrep, we either have a multiplicity of 0 in which case we have no block or we have a nonzero multiplicities in which case, before this PR we created and SDP of size multiplicity * degree and after this PR we add only one PSD variable to the solver of size multiplicity and put degree gram matrices (all equal) in the SparseGramMatrix.

codecov[bot] commented 3 years ago

Codecov Report

Merging #189 (6e117ea) into master (c59c531) will decrease coverage by 0.13%. The diff coverage is 86.95%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master     #189      +/-   ##
==========================================
- Coverage   86.89%   86.76%   -0.14%     
==========================================
  Files          33       30       -3     
  Lines        1389     1398       +9     
==========================================
+ Hits         1207     1213       +6     
- Misses        182      185       +3     
Impacted Files Coverage Δ
src/sos_polynomial.jl 84.09% <83.33%> (-3.41%) :arrow_down:
src/Bridges/Constraint/sos_polynomial.jl 100.00% <100.00%> (ø)
src/SumOfSquares.jl 88.88% <0.00%> (-1.12%) :arrow_down:
src/Certificate/Certificate.jl 100.00% <0.00%> (ø)
src/Bridges/Constraint/Constraint.jl
src/Bridges/Variable/Variable.jl
src/Bridges/Bridges.jl

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 c59c531...6e117ea. Read the comment docs.