AlgebraicKernel_d_1::SquareFreeFactorize_1

Definition

Computes a square free factorization of an AlgebraicKernel_d_1::Polynomial_1.

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_1::Polynomial_1 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_1::Polynomial_1, AlgebraicKernel_d_1::Multiplicity_type>.

See Also

AlgebraicKernel_d_1::IsSquareFree_1
AlgebraicKernel_d_1::MakeSquareFree_1