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 $$g_i with multiplicities $$m_i and a constant factor $$a, such that $$p = a · g₁^m₁ · ... · g_n^m_n, where all $$g_i are canonicalized.

Given this decomposition, the square free part is defined as the product $$g₁ · ... · g_n, which is computed by this functor.

Refines

Types

Operations

See Also

Polynomial_d
PolynomialTraits_d
PolynomialTraits_d::Canonicalize