☰
numeric
numeric
numeric -- parent of all numeric features
is this part of given set
NYI: infix operators currently always use dynamic binding on the lhs and pass
the rhs as an argument. If we would support an 'rinfix ∈' that would use the
rhs for dynamic binding and the lhs as argument, we could define '∈' in Set T
and it would work for all set types.
NYI: infix operators currently always use dynamic binding on the lhs and pass
the rhs as an argument. If we would support an 'rinfix ∈' that would use the
rhs for dynamic binding and the lhs as argument, we could define '∈' in Set T
and it would work for all set types.
is this not part of given set
preconditions for basic operations: true if the operation's result is
representable for the given values
This does not check if the operation is defined (i.e, it
returns true for '3/!0' or '0**!0'.
representable for the given values
This does not check if the operation is defined (i.e, it
returns true for '3/!0' or '0**!0'.
overflow checking operations
get numeric.this value of type T. This is used for a generic implemention
of some features (e.g. prefix -, abs)
of some features (e.g. prefix -, abs)