Module maths_traits::algebra::group_like::multiplicative

Traits for group-like structures using Multiplication

Traits

Div	The division operator /.
DivAssign	The division assignment operator /=.
Inv	Unary operator for retrieving the multiplicative inverse, or reciprocal, of a value.
Mul	The multiplication operator *.
MulAssign	The multiplication assignment operator *=.
MulAssociative	A marker trait for stucts whose multiplication operation is evaluation order independent, ie x*(y*z)=(x*y)*z for all x, y, and z.
MulCommutative	A marker trait for stucts whose addition operation is order independent, ie x+y=y+x for all x, y, and z.
One	Defines a multiplicative identity element for Self.
PowN	An auto-implemented trait for exponentiation by natural numbers with associative types using repeated multiplication
PowZ	An auto-implemented trait for exponentiation by integers with associative and invertable types using inversion and repeated multiplication

Trait aliases

Invertable	A set with an fully described multiplicative inverse
MulAbelianGroup	A commutative multiplicative group
MulGroup	A multiplicative monoid with an inverse operation
MulLoop	A multiplicative magma with an inverse operation and identity
MulMagma	A set with a multiplication operation
MulMonoid	A multiplicative semigroup with an identity element
MulSemigroup	An associative multiplicative magma