SumOfSquares.jl
SumOfSquares.jl copied to clipboard
Specific method for 0/1 and -1/+1 hypercubes
It is easy to compute the standard monomials for those varieties, we should have something faster in that case