Trait alga::general::AbstractLoop
source · pub trait AbstractLoop<O: Operator>: AbstractQuasigroup<O> + Identity<O> { }Expand description
A loop is a quasigroup with an unique identity element, e.
A set equipped with a closed binary operation possessing the divisibility property and a unique identity element.
§Identity element
∃! e ∈ Self, ∀ a ∈ Self, ∃ r, l ∈ Self such that l ∘ a = a ∘ r = e.
The left inverse r and right inverse l are not required to be equal.
This property follows from
∀ a ∈ Self, ∃ e ∈ Self, such that e ∘ a = a ∘ e = a.
Object Safety§
This trait is not object safe.