You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Symmetry reduction now work on SumOfSquares master with StarAlgebras the same way it used to in the previous version so I can do a new release once StarAlgebras is released.
Any blocker to release ? We could wait for #62
The text was updated successfully, but these errors were encountered:
Symmetry reduction now work on SumOfSquares master with StarAlgebras the same way it used to in the previous version so I can do a new release once StarAlgebras is released.
Any blocker to release ? We could wait for #62
The text was updated successfully, but these errors were encountered: