AlgebraicKernel_d_2::IsZeroAt_2 Concept Reference

Definition

Computes whether an AlgebraicKernel_d_2::Polynomial_2 is zero at a given AlgebraicKernel_d_2::Algebraic_real_2.

Refines

AdaptableBinaryFunction

See also

AlgebraicKernel_d_2::SignAt_2

AlgebraicKernel_d_1::IsZeroAt_1

Types
typedef unspecified_type	result_type
	Type convertible to bool
typedef AlgebraicKernel_d_2::Polynomial_2	first_argument_type
typedef AlgebraicKernel_d_2::Algebraic_real_2	second_argument_type

Operations
result_type	operator() (const first_argument_type &p, const second_argument_type &a)
	Computes whether \( p\) is zero at \( a\).