[−][src]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 |