|
| AlgebraicKernel_d_1::IsZeroAt_1::result_type | |
|
Type convertible to bool
| |
| typedef AlgebraicKernel_d_1::Polynomial_1 | ||
| first_argument_type; | ||
| typedef AlgebraicKernel_d_1::Algebraic_real_1 | ||
| second_argument_type; | ||
| result_type | fo ( first_argument_type p , second_argument_type x ) | |
| Computes whether p is zero at x. | ||