Module magma 

algebraic traits

Macros

impl_exp_bits_for_uint 🔒

impl_signed_exp_bits_for_sint 🔒

Structs

Bits

Traits

AbelianGroup

commutative group

AbelianMonoid

commutative monoid

Associative

$\forall a,\forall b,\forall c \in T, (a \circ b) \circ c = a \circ (b \circ c)$

Commutative

$\forall a,\forall b \in T, a \circ b = b \circ a$

ExpBits

Group

associative binary operation and an identity element and inverse elements

Idempotent

$\forall a \in T, a \circ a = a$

IdempotentMonoid

idempotent monoid

Invertible

$\exists e \in T, \forall a \in T, \exists b,c \in T, b \circ a = a \circ c = e$

Magma

binary operaion: $T \circ T \to T$

Monoid

associative binary operation and an identity element

SemiGroup

associative binary operation

SignedExpBits

Unital

$\exists e \in T, \forall a \in T, e \circ a = a \circ e = e$