[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.4.5 Real and Complex Number Tests

5F127 %0=case ( %0 → :: %0 <ob1> ; )
( ob → :: ob <ob2> <rest> ; )
63D7B j%0=case ( %0 → :: <ob1> ; )
( ob → :: <ob2> <rest> ; )
5F13B C%0=case ( C%0 → :: C%0 <ob1> ; )
( ob → :: ob <ob2> <rest> ; )
5F0FA num0=case ( 0 → :: 0 <ob1> ; )
( ob → :: ob <ob2> <rest> ; )
Both a real and a complex zero are TRUE conditions for this test.
5F181 %1=case ( %1 → :: %1 <ob1> ; )
( ob → :: ob <ob2> <rest> ; )
5F19F C%1=case ( C%1 → :: C%1 <ob1> ; )
( ob → :: ob <ob2> <rest> ; )
5F154 num1=case ( 1 → :: 1 <ob1> ; )
( ob → :: ob <ob2> <rest> ; )
Both a real and a complex one are TRUE conditions for this test.
5F1EA %2=case ( %2 → :: %2 <ob1> ; )
( ob → :: ob <ob2> <rest> ; )
5F208 C%2=case ( C%2 → :: C%2 <ob1> ; )
( ob → :: ob <ob2> <rest> ; )
5F1BD num2=case ( 2 → :: 2 <ob1> ; )
( ob → :: ob <ob2> <rest> ; )
Both a real and a complex two are TRUE conditions for this test.
5F267 %-1=case ( %-1 → :: %-1 <ob1> ; )
( ob → :: ob <ob2> <rest> ; )
5F285 C%-1=case ( C%-1 → :: C%-1 <ob1> ; )
( ob → ob <ob2> <rest> ; )
5F23A num-1=case ( -1 → :: -1 <ob1> ; )
( ob → :: ob <ob2> <rest> ; )
Both a real and a complex -1 are TRUE conditions for this test.
5EEDB (REALNEGcase) ( %<0 → :: % <ob1> ; )
( ob → :: ob <ob2> <rest> ; )
5FBE6 (pick1#0=case) ( #0 M → COLA )
( ob M → SKIP )


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

This document was generated by Carsten Dominik on May, 30 2005 using texi2html