Given a sum-of-squares polynomial with real coefficients in the reals, this method removes the squares with coefficients smaller than the given tolerance. It does nothing on inputs with rational coefficients.
i1 : R = RR[x,y]; |
i2 : s = sosPoly(R, {x^2+.0001*x+1, y}, {2, .0001})
2 2 2
o2 = 2*(x + .0001x + 1) + .0001*(y)
o2 : SOSPoly
|
i3 : clean( .001, s )
2 2
o3 = 2*(x + 1)
o3 : SOSPoly
|