BooleanAlgebra
This commutative rig is different than the one obtained from GF(2).
This commutative rig is different than the one obtained from GF(2).
It uses || for plus, and && for times.
Value members
Inherited methods
Every Boolean algebra is a BoolRing, with multiplication defined as
and and addition defined as xor. Bool does not extend BoolRing
because, e.g. we might want a Bool[Int] and CommutativeRing[Int] to
refer to different structures, by default.
Every Boolean algebra is a BoolRing, with multiplication defined as
and and addition defined as xor. Bool does not extend BoolRing
because, e.g. we might want a Bool[Int] and CommutativeRing[Int] to
refer to different structures, by default.
Note that the ring returned by this method is not an extension of
the Rig returned from BoundedDistributiveLattice.asCommutativeRig.
- Definition Classes
- Inherited from
- Bool
Return a CommutativeRig using join and meet. Note this must obey the commutative rig laws since meet(a, one) = a, and meet and join are associative, commutative and distributive.
Return a CommutativeRig using join and meet. Note this must obey the commutative rig laws since meet(a, one) = a, and meet and join are associative, commutative and distributive.
- Inherited from
- BoundedDistributiveLattice
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