FunctionObjectConcept

AlgebraicKernel_d_2::SquareFreeFactorize_2

Definition

Computes a square free factorization of an AlgebraicKernel_d_2::Polynomial_2.

A polynomial p is factored into square free and pairwise coprime non-constant factors qi with multiplicities mi and a constant factor c, such that p = c q1m1 ... qnmn.

The factor multiplicity pairs <qi,mi> are written to the given output iterator. The constant factor c is not computed.

Refines

Assignable
CopyConstructible

Operations

template < class OutputIterator >
OutputIterator fo ( AlgebraicKernel_d_2::Polynomial_2 p , OutputIterator res )
Copies in the output iterator the factors of a square free factorization of p, with their multiplicity, as objects of type std::pair<AlgebraicKernel_d_2::Polynomial_2, AlgebraicKernel_d_2::Multiplicity_type>.

See Also

AlgebraicKernel_d_2::IsSquareFree_2
AlgebraicKernel_d_2::MakeSquareFree_2