abstract class $WHOLE_NUM{NTP} < $NFE{NTP}, $SIMPLE_NUM{NTP}


Ancestors
$SIMPLE_NUM{_} $HASH $IS_EQ $SEQUENCERS{_}
$COUNTS{_} $ARITHMETIC{_} $ADD_OPS{_} $ZERO{_}
$NFE{_} $TEXT $STR $BINARY
$ORDERED{_} $IS_LT{_} $VALUE{_} $NIL
$IS_NIL $CONVERSION{_}

Descendants
$CARDINAL{_} $INTEGER{_} INT FIELD
CARD INTI



Public


Features
ceiling(
evenly_divides(
extended_gcd(
factorial : NTP ;
gcd(
is_even : BOOL ;
is_odd : BOOL ;
is_prime : BOOL ;
is_prime_to(
lcm(

The Sather Home Page