abs package:numhask

The absolute value of a number.
\a -> abs a * signum a ~= a
>>> abs (-1)
1
Basis where the domain and magnitude codomain are the same.
An Absorbing is a Magma with an Absorbing Element
a ⊕ absorb = absorb