SumOfSquares.jl
SumOfSquares.jl copied to clipboard
Fix symmetry reduction
This was a draft a did some time ago. The goal now is to wait for https://github.com/kalmarek/SymbolicWedderburn.jl/issues/79