is_never0 Function (ROM Call 0x577)

AMS 2.02 or higher estack.h

short is_never0 (CESI ptr);

Tests if an expression is never 0.

Returns TRUE if the expression pointed to by ptr cannot be equal to zero.


Uses: are_expressions_identical, integer_non_unknown, is_negative, is_nonnegative, is_nonpositive, is_positive, is0, is1, likely_approx_to_number, next_expression_index, top_estack, push_approx, push_arg_minus_1, is_variable, lead_conjunct_factor_index, NG_such_that_index, primary_tag_list, remaining_conjuncts_index, ROM Call 0x4DF, ROM Call 0x4E2
Used by: is_negative, is_positive, did_push_anti_deriv, push_1st_derivative, push_csolve, push_czeros, push_def_int, push_desolve, push_lim, push_max, push_min, push_nsolve, push_solve, push_zeros, push_equals, push_exponentiate, push_greater_than, push_greater_than_or_equals, push_less_than, push_less_than_or_equals, push_not_equals, push_product, get_ub


See also: is0