This Functor computes a squarefree factorization of a PolynomialTraits_d::Polynomial_d.
A polynomial p is factored into squarefree and pairwise coprime nonconstant factors g_{i} with multiplicities m_{i} and a constant factor a, such that p = a ⋅ g_{1}^{m1} ⋅ ... ⋅ g_{n}^{mn}.
The pairs (g_{i},m_{i}) are written into the given output iterator.
This functor is well defined if PolynomialTraits_d::Polynomial_d is a UniqueFactorizationDomain.
Assignable
CopyConstructible
DefaultConstructible
 

 
Computes the squarefree factorization of p and returns the
pasttheend iterator of the written range.
 
 

 
As the first operator, just not computing the factor a. 
Polynomial_d
PolynomialTraits_d
PolynomialTraits_d::SquareFreeFactorizeUpToConstantFactor
PolynomialTraits_d::MakeSquareFree
PolynomialTraits_d::IsSquareFree