search

jump-dev / SumOfSquares.jl

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

Update SymbolicWedderburn to v0.3 #243

Closed blegat closed 2 years ago

blegat commented 2 years ago

See https://github.com/kalmarek/SymbolicWedderburn.jl/issues/48

Closes https://github.com/jump-dev/SumOfSquares.jl/pull/244

codecov[bot] commented 2 years ago

Codecov Report

Merging #243 (601c096) into master (5747286) will increase coverage by 1.46%. The diff coverage is 75.00%.

@@            Coverage Diff             @@
##           master     #243      +/-   ##
==========================================
+ Coverage   76.84%   78.31%   +1.46%     
==========================================
  Files          36       36              
  Lines        1706     1697       -9     
==========================================
+ Hits         1311     1329      +18     
+ Misses        395      368      -27
Impacted Files Coverage Δ
src/Certificate/Symmetry/wedderburn.jl 0.00% <0.00%> (ø)
src/Certificate/Symmetry/utils.jl 64.28% <100.00%> (+64.28%) :arrow_up:

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 5747286...601c096. Read the comment docs.