[Symmetry] Equality on invariant basis

[blegat]

It's been a request form @kalmarek for a while. This follows the approach of https://github.com/kalmarek/SymbolicWedderburn.jl/blob/master/examples/sos_problem.jl
This will create less equality constraints as it only adds constraints on some invariant basis. This also allows us to just request simple basis from SymbolicWedderburn (not semi-simple), so it needs

• Move the Linear Algebra diagonalization from SumOfSquares kalmarek/SymbolicWedderburn.jl#106
• Add parent for simple basis JuliaAlgebra/MultivariateBases.jl#83

[codecov]

Codecov Report

❌ Patch coverage is 10.16949% with 53 lines in your changes missing coverage. Please review.
✅ Project coverage is 84.00%. Comparing base (1185d8e) to head (541cdd8).
⚠️ Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
src/Certificate/Symmetry/invariant_basis.jl	0.00%	26 Missing ⚠️
src/Certificate/Symmetry/wedderburn.jl	0.00%	25 Missing ⚠️
src/Bridges/Constraint/sos_polynomial.jl	66.66%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #445      +/-   ##
==========================================
- Coverage   84.65%   84.00%   -0.65%     
==========================================
  Files          42       43       +1     
  Lines        2639     2664      +25     
==========================================
+ Hits         2234     2238       +4     
- Misses        405      426      +21     

☔ View full report in Codecov by Harness.
📢 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.