Module maths_traits::algebra

Traits for sets with binary operations

Traits in this module have been split into four groups:

• "Group-Like" mathematical objects with one binary operation and include structures such as groups and monoids
• "Ring-Like" mathematical objects with two binary operations that distribute over the other. This includes sets like rings, semirings, division rings, and fields. In addition, this module contains an added system for integer-like properties like divisibility, greatest common denominators, and Euclidean division.
• "Module-Like" traits for groups with an added scalar multiplication operation. This includes vector spaces, ring modules, and algebras as well as a system for bilinear forms.
• Integer and Natural numeric traits

For ease of use, members of each module have been re-exported into this one.

Re-exports

pub use self::group_like::*;

pub use self::ring_like::*;

pub use self::integer::*;

pub use self::module_like::*;

Modules

group_like	Traits for sets with a single binary operation and various properties of that operation
integer	Traits for integers and natural numbers
module_like	Traits for structures with an addition and scalar multiplication operation
ring_like	Traits for structures with both an addition and multiplication operation