polynomials.sums-of-polynomials.texi 6.96 KB