abstract class $WHOLE_NUM{NTP} < $NFE{NTP}, $SIMPLE_NUM{NTP} |
---|
$SIMPLE_NUM{_} | $HASH | $IS_EQ | $SEQUENCERS{_} | $COUNTS{_} | $ARITHMETIC{_} | $ADD_OPS{_} | $ZERO{_} | $NFE{_} | $TEXT | $STR | $BINARY | $ORDERED{_} | $IS_LT{_} | $VALUE{_} | $NIL | $IS_NIL | $CONVERSION{_} |
$CARDINAL{_} | $INTEGER{_} | INT | FIELD | CARD | INTI |
ceiling( |
---|
evenly_divides( |
---|
extended_gcd( |
---|
factorial : NTP ; |
---|
gcd( |
---|
is_even : BOOL ; |
---|
is_odd : BOOL ; |
---|
is_prime : BOOL ; |
---|
is_prime_to( |
---|
lcm( |
---|