An idempotent function that ensures an object has a non-negative sign.
An idempotent function that ensures an object has a non-negative sign.
Returns true
if x
and y
are equivalent, false
otherwise.
Defined to be equivalent to additive.sumn(one, n)
.
Defined to be equivalent to additive.sumn(one, n)
. That is, n
repeated summations of this ring's one
, or -one
if n
is
negative.
Returns false
if x
and y
are equivalent, true
otherwise.
Defines an order on B
by mapping B
to A
using f
and using A
s
order to order B
.
This is similar to Semigroup#pow
, except that a pow 0
is defined to be
the multiplicative identity.
This is similar to Semigroup#pow
, except that a pow 0
is defined to be
the multiplicative identity.
Defines an ordering on A
where all arrows switch direction.
Defines an ordering on A
where all arrows switch direction.
Returns Zero if a
is 0, Positive if a
is positive, and Negative is a
is negative.
Returns Zero if a
is 0, Positive if a
is positive, and Negative is a
is negative.
Returns 0 if a
is 0, > 0 if a
is positive, and < 0 is a
is negative.
Returns 0 if a
is 0, > 0 if a
is positive, and < 0 is a
is negative.