Push_But_Conjunct_Factor - Texas Instruments TI-89 Developer's Manual

740

push_but_conjunct_factor

Declaration: void push_but_conjunct_factor (EStackIndex i , EStackIndex j )
Category(ies): Logic
Description: An internally-simplified conjunct has either the degenerate form
or the flattened form
where Boolean factors b1 through bn are not AND_TAGs.
i indexes such a conjunct (may be degenerate) and j == i or j indexes of its
partial conjuncts: either the deepest Boolean factor, all of i , or one of the
other above AND_TAGs. Pushes onto the estack the conjunct i without the
lead Boolean factor of j .
Examples:
If i indexes the above flattened form and j indexes the partial conjunct
bn . . . b2 AND_TAG, then
pushes bn . . . b3 AND_TAG b1.
If i indexes an equation and j == i , then
pushes a TRUE_TAG.
Inputs: i
j
Outputs: None
Assumptions: None
Side Effects: None
Availability: On AMS 2.02 and higher.
TI-89 / TI-92 Plus
Differences: None
See Also: lead_conjunct_factor_index, remaining_conjuncts_index
Example:
void push_but_conjunct_factor (EStackIndex i, EStackIndex j)
{ if (i == j)
push_expression (remaining_conjuncts_index (i));
else
{ push_but_conjunct_factor (remaining_conjuncts_index (i), j);
and_onto_top (lead_conjunct_factor_index (i));
}
}
TI-89 / TI-92 Plus Developer Guide
deepest: b1,
deepest: bn . . . b2 AND_TAG b1 AND_TAG,
— Index of the top tag of an internally-simplified Boolean expression.
— i or the index of one of its partial conjuncts.
Not for Distribution
Appendix A: System Routines — Logic
push_but_conjuct_factor (i, j)
push_but_conjuct_factor (i, j)
Beta Version January 26, 2001