SumOfSquares.jl
SumOfSquares.jl copied to clipboard
Implement ideals with coefficients
The keyword would be named remainder.
See #4