| is_nonpositive | Function (ROM Call 0x576)

AMS 2.02 or higher | estack.h

short is_nonpositive (CESI ptr);

Tests if an expression is <= 0.

Returns TRUE if the expression pointed to by ptr is known to be negative or zero, FALSE otherwise.

Uses: are_expressions_identical, is0, is_nonnegative, lead_factor_index, likely_approx_to_number, next_expression_index, push_internal_simplify, push_quantum, remaining_factors_index, top_estack, push_approx, push_difference, push_negate, add_to_top, estack_to_float, get_lb, get_ub, Integer1Index, IntegerMinus1Index, is_variable, lead_conjunct_factor_index, NG_control, NG_such_that_index, primary_tag_list, push_but_factor, push_pi_on_quantum, remaining_conjuncts_index, times_top, _bcd_math, ROM Call 0x4E1, ROM Call 0x4ED
Used by: is_negative, is_never0, is_nonnegative, did_push_anti_deriv, push_1st_derivative, push_abs, push_acosh, push_csolve, push_czeros, push_def_int, push_desolve, push_extended_prod, push_factor, push_integer_part, push_lim, push_ln, push_max, push_max2, push_min, push_min2, push_nsolve, push_sign, push_solve, push_summation, 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, push_reciprocal

See also: is_positive, is_negative, is_nonnegative