744
Appendix A: System Routines — Logic
TI
-
89 / TI
-
92 Plus Developer Guide
Not for Distribution
Beta Version January 26, 2001
remaining_conjuncts_index
Declaration:
EStackIndex
remaining_conjuncts_index
(EStackIndex
i
)
Category(ies):
Logic
Description:
If
i
indexes an AND_TAG, returns the index of the deeper of its two
operands. Otherwise returns index_true. Internally-simplified conjuncts
have the most main Boolean factor shallowest.
Note that
index_true
is not ordinarily physically within the expression
indexed by
i
.
Inputs:
i
— Indexes the top tag of an expression.
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_index, lead_disjunct_index,
remaining_disjuncts_index
Example:
remaining_conjuncts_index (“internalSimplified” ((b and a) and c))
Returns index (b and c).
remaining_conjuncts_index (x > 3)
Returns index_true.
push_quantum (8u); /* Push variable x */
remaining_conjuncts_index (top_estack); /* Returns index_true. */