This AdaptableBinaryFunction computes the squarefree part of a polynomial of type PolynomialTraits_d::Polynomial_d up to a constant factor.
A polynomial p can be factored into squarefree and pairwise coprime nonconstant factors g_{i} with multiplicities m_{i} and a constant factor a, such that p = a ⋅ g_{1}^{m1} ⋅ ... ⋅ g_{n}^{mn}, where all g_{i} are canonicalized.
Given this decomposition, the square free part is defined as the product g_{1} ⋅ ... ⋅ g_{n}, which is computed by this functor.
 


 


 Returns the squarefree part of p. 
Polynomial_d
PolynomialTraits_d
PolynomialTraits_d::Canonicalize
PolynomialTraits_d::SquareFreeFactorize
PolynomialTraits_d::IsSquareFree