For a given polynomial p this AdaptableUnaryFunction computes the unique representative of the set
P := { q  λ* q = p for some λ ∈ R }, 
In case PolynomialTraits::Innermost_coefficient_type is a model of
Field, the computed polynomial is the monic polynomial in
P, that is, the innermost leading coefficient equals one.
In case PolynomialTraits::Innermost_coefficient_type is a model
of UniqueFactorizationDomain, the computed polynomial is the one with
a multivariate content of one.
For all other cases the notion of uniqueness is up to the concrete model.
Note that the computed polynomial has the same zero set as the given one.
AdaptableUnaryFunction
 


 


 Returns the canonical representative of p. 
Polynomial_d
PolynomialTraits_d