lead_conjunct_factor_index Function (ROM Call 0x580)

AMS 2.02 or higher unknown.h

ESI lead_conjunct_factor_index (ESI);

This identifier has not been documented yet. Please help us out.


Used by: get_lb, get_ub, is_negative, is_never0, is_nonnegative, is_nonpositive, is_positive, push_but_conjunct_factor, push_user_func, did_push_anti_deriv, push_1st_derivative, push_csolve, push_czeros, push_def_int, push_desolve, push_factor, push_lim, push_max, push_min, push_nsolve, push_solve, push_zeros, push_and, push_equals, push_greater_than, push_greater_than_or_equals, push_less_than, push_less_than_or_equals, push_not_equals, push_or, push_substitute_using_such_that, ST_eraseHelp, ST_modKey, ROM Call 0x4E6