Convert the given integer to an instance of A.
Convert the given integer to an instance of A.
Defined to be equivalent to sumN(one, n)
.
That is, n
repeated summations of this ring's one
, or -n
summations of -one
if n
is negative.
Most type class instances should consider overriding this method for performance reasons.
Tests if a
is one.
Tests if a
is one.
Tests if a
is zero.
Tests if a
is zero.
Given a sequence of as
, compute the product.
Given a sequence of as
, compute the product.
Given a sequence of as
, compute the sum.
Given a sequence of as
, compute the sum.
Given a sequence of as
, combine them and return the total.
Given a sequence of as
, combine them and return the total.
If the sequence is empty, returns None. Otherwise, returns Some(total).
Given a sequence of as
, combine them and return the total.
Given a sequence of as
, combine them and return the total.
If the sequence is empty, returns None. Otherwise, returns Some(total).
A Boolean ring is a ring whose multiplication is idempotent, that is
a⋅a = a
for all elements a. This property also impliesa+a = 0
for all a, anda⋅b = b⋅a
(commutativity of multiplication).Every Boolean ring is equivalent to a Boolean algebra. See
algebra.lattice.BoolFromBoolRing
for details.