OrderedArithmeticType

Usage

OrderedArithmeticType: Category

Description

OrderedArithmeticType is the category of ordered types with the standard arithmetic operations.

Exports

ArithmeticType
TotallyOrderedType
abs:	% $\to$ %	norm
sign:	% $\to$ MachineInteger	sign