Given an SOSPoly with coefficients in the reals, this method removes terms 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}) o2 = coeffs: {2, .0001} gens: 2 {x + .0001x + 1, y} o2 : SOSPoly |
i3 : clean( .001, s ) o3 = coeffs: {2} gens: 2 {x + 1} o3 : SOSPoly |