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

5.2.6 Integer Tests

265C1 Z= ( Z Z' → flag )
265C6 Z<> ( Z Z' → flag )
265BC Z< ( Z Z' → flag )
265D0 Z<= ( Z Z' → flag )
265B7 Z> ( Z Z' → flag )
265CB Z>= ( Z Z' → flag )
0F8006 ^QIsZero? ( Q → flag )
Tests if Q is zero. Assumes list contains only lists or hexes!.
0F7006 ^DupQIsZero? ( Q → Q flag )
Duplicates Q and tests if Q is zero. Assumes list contains only lists or hexes!.
0FA006 ^ZIsOne? ( Z → flag )
Tests if Z is Z1.
0F9006 ^DupZIsOne? ( Z → Z flag )
Duplicates Z, and returns TRUE if Z is 1.
109006 ^DupZIsTwo? ( Z → Z flag )
Returns TRUE if Z is 2.
0FC006 ^ZIsNeg? ( Z → flag )
Tests if Z is negative.
0FB006 ^DupZIsNeg? ( Z → Z flag )
Tests if Z is negative.
10A006 ^DupZIsEven? ( Z → Z flag )
Tests if Z is even.
107006 ^ZNLT? ( Z1 Z2 → flag )
TRUE if |Z1|<|Z2|.
19A006 ^OBJINT? ( z/% → z flag )
Tests if Obj is an integer.
19B006 ^OBJPOSINT? ( z/% → z flag )
Tests if Obj is a positive integer smaller than Zsmall.
19C006 ^CKINT>0 ( Obj → Obj flag )
Tests if Obj is a strictly positive integer.
198006 ^METAINT? ( Meta → Meta flag )
Tests if Meta is an integer.
199006 ^METAPOSINT? ( Meta → Meta flag )
Tests if Meta is a positive integer smaller than Zsmall.
0CC006 ^DupTypeS? ( Z → Z flag )
Tests if Z is short (≤ 64 bits).


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

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