AlgebraicKernel_d_1::IsZeroAt_1 Concept Reference

Definition

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

Refines:

AdaptableBinaryFunction

See also

AlgebraicKernel_d_1::SignAt_1

Types
typedef unspecified_type	result_type
	Type convertible to bool More...
typedef AlgebraicKernel_d_1::Polynomial_1	first_argument_type
typedef AlgebraicKernel_d_1::Algebraic_real_1	second_argument_type

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

Member Typedef Documentation

typedef AlgebraicKernel_d_1::Polynomial_1 AlgebraicKernel_d_1::IsZeroAt_1::first_argument_type

typedef unspecified_type AlgebraicKernel_d_1::IsZeroAt_1::result_type

Type convertible to bool

typedef AlgebraicKernel_d_1::Algebraic_real_1 AlgebraicKernel_d_1::IsZeroAt_1::second_argument_type

Member Function Documentation

result_type AlgebraicKernel_d_1::IsZeroAt_1::operator()	(	const first_argument_type &	p,
		const second_argument_type &	x
	)

Computes whether \( p\) is zero at \( x\).