CGAL 5.1.3  Polynomial

This AdaptableUnaryFunction
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 \cdot g_1^{m_1} \cdot ... \cdot g_n^{m_n}\), where all \( g_i\) are canonicalized.
Given this decomposition, the square free part is defined as the product \( g_1 \cdot ... \cdot g_n\), which is computed by this functor.
Types  
typedef PolynomialTraits_d::Polynomial_d  result_type 
typedef PolynomialTraits_d::Polynomial_d  argument_type 
Operations  
result_type  operator() (argument_type p) 
Returns the squarefree part of \( p\).  