PolynomialTraits_d::MakeSquareFree

Definition

This AdaptableBinaryFunction computes the square-free part of a polynomial of type PolynomialTraits_d::Polynomial_d up to a constant factor.

A polynomial p can be factored into square-free and pairwise coprime non-constant factors gi with multiplicities mi and a constant factor a, such that p = a g1m1 ... gnmn, where all gi are canonicalized.

Given this decomposition, the square free part is defined as the product g1 ... gn, which is computed by this functor.

Refines

AdaptableUnaryFunction

Types

typedef PolynomialTraits_d::Polynomial_d
result_type;
typedef PolynomialTraits_d::Polynomial_d
argument_type;

Operations

result_type fo ( argument_type p ) Returns the square-free part of p.

See Also

Polynomial_d
PolynomialTraits_d
PolynomialTraits_d::Canonicalize
PolynomialTraits_d::SquareFreeFactorize
PolynomialTraits_d::IsSquareFree