codecov[bot]
commented
1 year ago Codecov Report
Patch and project coverage have no change.
Comparison is base (
f6ec125) 80.35% compared to head (4b2208c) 80.35%.
Additional details and impacted files
```diff @@ Coverage Diff @@ ## master #291 +/- ## ======================================= Coverage 80.35% 80.35% ======================================= Files 38 38 Lines 2092 2092 ======================================= Hits 1681 1681 Misses 411 411 ``` 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.
htadashi
Hello @blegat,
First of all - thanks again for your hard (and amazing) work in SumOfSquares.jl.
I was recently exploring barrier functions and thought it would be a great addition to include an example on how to compute a barrier certificate using SOS in the Systems and Control tutorials. This example is based on Example 2 of the lecture notes "Engineering applications of sum of squares" by Georgina Hall.
I took inspiration from the other examples in the repository, but I must admit that I'm unsure about how the binder/shield lines function, so I removed them from my example.
Thank you so much for your time and consideration, and I look forward to hearing your thoughts on this.