replace_top2_with_and Function (ROM Call 0x57A)

AMS 2.02 or higher estack.h

void replace_top2_with_and (ESI expr);

Replace the two top-most expressions on the EStack by their logical AND.

The following code:

push_quantum(TRUE_TAG);
ptr = top_estack;
push_quantum(FALSE_TAG);
replace_top2_with_and(ptr);
will leave the false expression on the EStack.
expr should usually be next_expression_index(top_estack).


Uses: push_and, delete_between, next_expression_index, top_estack
Used by: get_ub, push_simplify, did_push_anti_deriv, push_1st_derivative, push_csolve, push_czeros, push_def_int, push_desolve, push_extended_prod, push_lim, push_max, push_min, push_nsolve, push_solve, push_summation, push_zeros, push_and, push_equals, push_greater_than, push_greater_than_or_equals, push_less_than, push_less_than_or_equals, push_not, push_not_equals, push_internal_simplify


See also: replace_top2_with_or