algebra.ring.BoolRing
See theBoolRing companion object
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.
Attributes
- Companion:
- object
- Source:
- BoolRing.scala
- Graph
- Supertypes
- trait CommutativeRing[A]trait CommutativeRig[A]trait MultiplicativeCommutativeMonoid[A]trait Ring[A]trait Rig[A]trait MultiplicativeMonoid[A]trait BoolRng[A]trait CommutativeRng[A]trait CommutativeSemiring[A]trait MultiplicativeCommutativeSemigroup[A]trait Rng[A]trait AdditiveCommutativeGroup[A]trait AdditiveGroup[A]trait Semiring[A]trait MultiplicativeSemigroup[A]trait AdditiveCommutativeMonoid[A]trait AdditiveCommutativeSemigroup[A]trait AdditiveMonoid[A]trait AdditiveSemigroup[A]trait Serializableclass Any
- Known subtypes
- class BoolRingFromBool[A]