Trait un_algebra::quasigroup::quasigroup::QuasigroupLaws

pub trait QuasigroupLaws: Quasigroup {
    fn left_lcancellation(&self, x: &Self) -> bool { ... }
    fn right_lcancellation(&self, x: &Self) -> bool { ... }
    fn left_rcancellation(&self, x: &Self) -> bool { ... }
    fn right_rcancellation(&self, x: &Self) -> bool { ... }
}

Laws of quasigroups.

Provided methods

fn left_lcancellation(&self, x: &Self) -> bool

The left axiom of left-cancellation.

fn right_lcancellation(&self, x: &Self) -> bool

The right axiom of left-cancellation.

fn left_rcancellation(&self, x: &Self) -> bool

The left axiom of right-cancellation.

fn right_rcancellation(&self, x: &Self) -> bool

The right axiom of right-cancellation.

Loading content...

Implementors

impl<Q: Quasigroup> QuasigroupLaws for Q

Blanket implementation of quasigroup laws for quasigroup implementations.

Loading content...