is_positive Function (ROM Call 0x573)

AMS 2.02 or higher estack.h

short is_positive (CESI ptr);

Tests if an expression is greater than 0.

Returns TRUE if the expression pointed to by ptr is known to be positive (not zero), FALSE otherwise.


Uses: are_expressions_identical, is_negative, is_never0, is_nonnegative, lead_factor_index, likely_approx_to_number, next_expression_index, push_internal_simplify, push_quantum, remaining_factors_index, top_estack, add_to_top, estack_to_float, push_approx, push_difference, push_negate, get_lb, get_ub, Integer1Index, IntegerMinus1Index, is_real, 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 0x4E2
Used by: is_negative, is_never0, is_nonnegative, did_push_anti_deriv, did_push_series, push_1st_derivative, push_acosh, push_asin, push_atanh, push_comb, push_comdenom, push_csolve, push_czeros, push_def_int, push_denominator, push_desolve, push_exp, push_expand, push_extended_prod, push_factor, push_floor, push_im, push_lim, push_ln, push_max, push_min, push_mod, push_nsolve, push_numerator, push_phase, push_re, push_rownorm, push_sin2, push_solve, push_summation, push_zeros, did_push_to_polar, push_equals, push_exponentiate, push_greater_than, push_greater_than_or_equals, push_less_than, push_less_than_or_equals, push_negate, push_not_equals, push_product, push_sum, push_to_cylin, push_to_sphere, add_to_top, are_units_consistent, did_push_approx_inflection_point, get_ub, index_if_pushed_qquad_info, push_auto_units_conversion, push_but_factor, push_but_term, push_constant_factors, push_constant_terms, push_dependent_factors, push_dependent_terms, push_gcd_then_cofactors, push_independent_factors, push_independent_terms, push_make_proper, push_nonconstant_factors, push_nonconstant_terms, push_nonnumeric_factors, push_poly_qr, push_reciprocal, push_standardize, raise_to_top, replace_top_with_post_simplified, replace_top2_with_pow, replace_top2_with_sum, ROM Call 0x48D, ROM Call 0x606


See also: is_nonpositive, is_negative, is_nonnegative