
/*!
\ingroup PkgAlgebraicKernelDConceptsUni
\cgalConcept

Computes whether an `AlgebraicKernel_d_1::Polynomial_1` 
is zero at a given `AlgebraicKernel_d_1::Algebraic_real_1`. 

\cgalRefines `AdaptableBinaryFunction` 

\sa `AlgebraicKernel_d_1::SignAt_1`

*/

class AlgebraicKernel_d_1::IsZeroAt_1 {
public:

/// \name Types 
/// @{

/*!
Type convertible to `bool` 
*/ 
typedef unspecified_type result_type; 

/*!

*/ 
typedef AlgebraicKernel_d_1::Polynomial_1 first_argument_type; 

/*!

*/ 
typedef AlgebraicKernel_d_1::Algebraic_real_1 second_argument_type; 

/// @} 

/// \name Operations 
/// @{

/*!
Computes whether \f$ p\f$ is zero at \f$ x\f$. 
*/ 
result_type 
operator()(const first_argument_type & p, 
const second_argument_type & x); 

/// @}

}; /* end AlgebraicKernel_d_1::IsZeroAt_1 */

