Trait un_algebra::com_group::add_com_group::AddComGroup

pub trait AddComGroup: AddGroup {
    fn axiom_add_commutivity(xs: Pair<Self>) -> bool { ... }
}

An algebraic additive commutative group.

Provided Methods

fn axiom_add_commutivity(xs: Pair<Self>) -> bool

Test the axiom of additive commutivity.

Implementations on Foreign Types

impl AddComGroup for i8

fn axiom_add_commutivity(xs: Pair<Self>) -> bool

impl AddComGroup for i16

fn axiom_add_commutivity(xs: Pair<Self>) -> bool

impl AddComGroup for i32

fn axiom_add_commutivity(xs: Pair<Self>) -> bool

impl AddComGroup for i64

fn axiom_add_commutivity(xs: Pair<Self>) -> bool

impl AddComGroup for i128

fn axiom_add_commutivity(xs: Pair<Self>) -> bool

impl AddComGroup for isize

fn axiom_add_commutivity(xs: Pair<Self>) -> bool

impl AddComGroup for BigRational

Rational numbers form an additive commutative group.

fn axiom_add_commutivity(xs: Pair<Self>) -> bool

Implementors