A Boolean ring is a ring whose multiplication is idempotent, that is
a⋅a = a
for all elements ''a''. This property also implies a+a = 0
for all ''a'', and a⋅b = b⋅a
(commutativity of multiplication).
A Boolean ring is a ring whose multiplication is idempotent, that is
a⋅a = a
for all elements ''a''. This property also implies a+a = 0
for all ''a'', and a⋅b = b⋅a
(commutativity of multiplication).
Every Boolean ring is equivalent to a Boolean algebra.
See algebra.lattice.BoolFromBoolRing
for details.
- Companion
- object
Value members
Inherited methods
Convert the given BigInt to an instance of A.
Convert the given BigInt to an instance of A.
This is equivalent to 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.
- Inherited from
- Ring
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.
- Inherited from
- Ring
Given a sequence of as
, compute the product.
Given a sequence of as
, compute the product.
- Inherited from
- MultiplicativeMonoid
Given a sequence of as
, compute the sum.
Given a sequence of as
, compute the sum.
- Inherited from
- AdditiveMonoid