Tests if a
is zero.
Tests if a
is zero.
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 rng is a rng 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
BoolRng
is equivalent toalgebra.lattice.GenBool
. Seealgebra.lattice.GenBoolFromBoolRng
for details.