abstract class $NUMBER{NTP} < $IS_LT{NTP},$NFE{NTP}
****
Abstraction over Real numbers and Integers This abstraction is needed to add in the the constraint that numbers are comparable, unlike general field elements which might not be.


Ancestors
$NFE{_} $IS_EQ $STR $NIL
$IS_NIL $IS_LT{_}

Descendants
$REAL_NUMBER{_} FLT FLTD INT



Public


The Sather Home Page