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.
typedef PolynomialTraits_d::Polynomial_d | ||
result_type; | ||
typedef PolynomialTraits_d::Polynomial_d | ||
argument_type; |
result_type | fo ( argument_type p ) | Returns the square-free part of p. |
Polynomial_d
PolynomialTraits_d
PolynomialTraits_d::Canonicalize
PolynomialTraits_d::SquareFreeFactorize
PolynomialTraits_d::IsSquareFree