Introducing A Few More Methods for Handling Constraints

[kwesiRutledge]

Summary

We now require the following methods for all constraints:

• Variables() []Variable
• ImpliesThisIsAlsoSatisfied(other Constraint) bool

These new methods will make it possible to simplify constraints in the optimization problems discussed in MatProInterface.go.

Notes

• Also, introduced ScaleBy a method which will scale constraints by an arbitrary number.

[codecov]

Codecov Report

Attention: Patch coverage is 84.29752% with 38 lines in your changes missing coverage. Please review.

Project coverage is 87.42%. Comparing base (4aba36b) to head (09452e8).
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
symbolic/scalar_constraint.go	82.05%	20 Missing and 1 partial ⚠️
symbolic/matrix_constraint.go	80.85%	9 Missing ⚠️
symbolic/vector_constraint.go	87.75%	6 Missing ⚠️
symbolic/variable.go	80.00%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main      #19      +/-   ##
==========================================
- Coverage   87.48%   87.42%   -0.06%     
==========================================
  Files          42       42              
  Lines        6009     6251     +242     
==========================================
+ Hits         5257     5465     +208     
- Misses        679      711      +32     
- Partials       73       75       +2     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.