This Functor computes a square-free factorization of a PolynomialTraits_d::Polynomial_d.
A polynomial p is factored into square-free and pairwise coprime non-constant 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
template<class OutputIterator> | ||||
OutputIterator |
| |||
Computes the square-free factorization of p and returns the
past-the-end iterator of the written range.
| ||||
template<class OutputIterator> | ||||
OutputIterator | fo ( PolynomialTraits_d::Polynomial_d p , OutputIterator it ) | |||
As the first operator, just not computing the factor a. |
Polynomial_d
PolynomialTraits_d
PolynomialTraits_d::SquareFreeFactorizeUpToConstantFactor
PolynomialTraits_d::MakeSquareFree
PolynomialTraits_d::IsSquareFree