Texas Instruments TI-89 - Push_But_Conjunct_Factor

740
Appendix A: System Routines — Logic
TI
-
89 / TI
-
92 Plus Developer Guide
Not for Distribution
Beta Version January 26, 2001
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
deepest: b1,
or the flattened form
deepest: bn . . . b2 AND_TAG b1 AND_TAG,
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
push_but_conjuct_factor (i, j)
pushes bn . . . b3 AND_TAG b1.
If
i
indexes an equation and
j
==
i
, then
push_but_conjuct_factor (i, j)
pushes a TRUE_TAG.
Inputs:
i
— Index of the top tag of an internally-simplified Boolean expression.
j
—
i
or the index of one of its partial conjuncts.
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));
}
}