Trait alga::general::Loop

pub trait Loop<O: Op>: Quasigroup<O> + Identity<O> { }

A quasigroup with an unique identity element.

The left inverse r and right inverse l are not required to be equal. The following property is added to the quasigroup structure:

∃ e ∈ Self, ∀ a ∈ Self, ∃ r, l ∈ Self such that l ∘ a = a ∘ r = e

Implementors

• impl Loop<Additive> for i8
• impl Loop<Additive> for i16
• impl Loop<Additive> for i32
• impl Loop<Additive> for i64
• impl Loop<Additive> for f32
• impl Loop<Additive> for f64
• impl Loop<Multiplicative> for f32
• impl Loop<Multiplicative> for f64