search

jump-dev / SumOfSquares.jl

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

Add SAGE extension in doc #240

Closed blegat closed 9 months ago

blegat commented 2 years ago

This illustrate how PolyJuMP can be extended using SAGE certificate as example. The possibility to do this was the reason we split SumOfSquares and PolyJuMP as separate packages.

chriscoey commented 2 years ago

cool

codecov[bot] commented 2 years ago

Codecov Report

Merging #240 (b6debdc) into master (37edbcb) will not change coverage. The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master     #240   +/-   ##
=======================================
  Coverage   76.70%   76.70%           
=======================================
  Files          36       36           
  Lines        1696     1696           
=======================================
  Hits         1301     1301           
  Misses        395      395

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 37edbcb...b6debdc. Read the comment docs.

blegat commented 9 months ago

Superseeded by https://github.com/jump-dev/PolyJuMP.jl/pull/99