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.
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.
Returns false if x and y are equivalent, true otherwise.
Defines an order on B by mapping B to A using f and using As
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.