The functions in this section are available for univariate polynomials over the integers only.
The sign of the leading coefficient of p.
Returns either p or -p according to which one has non-negative leading coefficient.
The maximum of the absolute values of the coefficients of p.
The sum of the coefficients of p.
Given a monic polynomial p (univariate or multivariate in one variable) and a prime number m, this returns true if p satisfies the Dedekind criterion at m, and false otherwise. The Dedekind criterion is satisfied at m if and only if the equation order corresponding to p is locally maximal at m [PZ89, p. 295].