This AdaptableFunctor computes a squarefree factorization up to a constant factor (utcf) of a PolynomialTraits_d::Polynomial_d.
A polynomial p is factored into squarefree and pairwise coprime nonconstant factors g_{i} with multiplicities m_{i}, such that a ⋅ p = g_{1}^{m1} ⋅ ... ⋅ g_{n}^{mn}, where a is some constant factor.
The pairs (g_{i},m_{i}) are written into the given output iterator.
The constant factor a is not computed.
This functor is well defined even though PolynomialTraits_d::Innermost_coefficient_type may not be a UniqueFactorizationDomain.
Assignable
CopyConstructible
DefaultConstructible
template<class OutputIterator>  
OutputIterator  fo ( PolynomialTraits_d::Polynomial_d p , OutputIterator it )  
Computes the squarefree factorization of p and returns the
pasttheend iterator of the written range.

Polynomial_d
PolynomialTraits_d
PolynomialTraits_d::SquareFreeFactorize