scirust::algebra::structure::semigroup

Trait scirust::algebra::structure::semigroup::SemiGroupAddPartial [−] [src]

pub trait SemiGroupAddPartial: MagmaAddPartial {
    fn prop_is_associative(a: Self, b: Self, c: Self) -> bool { ... }
}

Semigroup with an addition operation with partial equivalence

Provided Methods

fn prop_is_associative(a: Self, b: Self, c: Self) -> bool

Implementors