A Boolean ring is a ring whose multiplication is idempotent, that is
a⋅a = a
for all elements a.
A Boolean rng is a rng whose multiplication is idempotent, that is
a⋅a = a
for all elements a.
CommutativeRig is a Rig that is commutative under multiplication.
CommutativeRing is a Ring that is commutative under multiplication.
EuclideanRing implements a Euclidean domain.
Rig consists of:
Ring consists of:
Rng (pronounced "Rung") consists of:
Semiring consists of: