Texas Instruments TI-89 - Logic

725
TI
-
89 / TI
-
92 Plus Developer Guide
Not for Distribution
Beta Version January 26, 2001
Appendix A: System Routines — Logic
and_onto_top............................................................................................................................727
is_equivalent_to........................................................................................................................728
is_negative................................................................................................................................729
is_never0 ..................................................................................................................................730
is_nonnegative..........................................................................................................................731
is_nonpositive ...........................................................................................................................732
is_positive .................................................................................................................................733
is_real .......................................................................................................................................734
is_undefined..............................................................................................................................735
lead_conjunct_factor_index ......................................................................................................736
lead_disjunct_term_index .........................................................................................................737
or_onto_top...............................................................................................................................738
push_and ..................................................................................................................................739
push_but_conjunct_factor.........................................................................................................740
push_not ...................................................................................................................................741
push_or.....................................................................................................................................742
push_when................................................................................................................................743
remaining_conjuncts_index ......................................................................................................744
remaining_disjuncts_index........................................................................................................745
replace_top2_with_and.............................................................................................................746
replace_top2_with_or................................................................................................................747