scirust::algebra::structure::group

Trait scirust::algebra::structure::group::CommutativeGroupAddPartial [−] [src]

pub trait CommutativeGroupAddPartial: GroupAddPartial + CommutativeMonoidAddPartial {
    fn prop_is_commutative(a: Self, b: Self) -> bool { ... }
}

Commutative group with an addition operation with partial equivalence

Provided Methods

fn prop_is_commutative(a: Self, b: Self) -> bool

Returns true`true` if the addition operator is approximately commutative for the given argument tuple.

Implementors