[−][src]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. |
Invertable | A set with an fully described multiplicative inverse |
Mul | The multiplication operator |
MulAbelianGroup | A commutative multiplicative group |
MulAssign | The multiplication assignment operator |
MulAssociative | A marker trait for stucts whose multiplication operation is evaluation order independent,
ie |
MulCommutative | A marker trait for stucts whose addition operation is order independent,
ie |
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 |
One | Defines a multiplicative identity element for |
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 |