 |
replace_top2_with_and |
Function (ROM Call 0x57A) |
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