Texas Instruments TI-89 Developer's Guide

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

Texas Instruments TI-89 Specifications

General

Display size (HxV)	100 x 160 mm
Memory type	639K FLASH ROM, 188K bytes RAM
Compatible operating systems	Operating System 2.09
Battery type	AAA