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.
This is implemented in terms of basic Field ops.
This is implemented in terms of basic Field ops. However, this is probably significantly less efficient than can be done with a specific type. So, it is recommended that this method is overriden.
This is possible because a Double is a rational number.
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 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.