Univariate Polynomial Rings [HB 36]

New features:

• The function Roots now has a parameter Max to specify the maximum number of roots desired (and the function can be more efficient if this maximum is smaller than the actual number).
• New functions lt, le, gt, ge for univariate polynomials (uses the total ordering given by comparing degrees, then the comparison algorithm for the coefficients starting from the most significant).