Algebra.Structures.Module
Description
R-modules.
- class (CommutativeRing r, AbelianGroup m) => Module r m where
- (*>) :: r -> m -> m
- (<*) :: Module r m => m -> r -> m
- propScalarMul :: (Module r m, Eq m) => r -> m -> m -> Bool
- propScalarAdd :: (Module r m, Eq m) => r -> r -> m -> Bool
- propScalarAssoc :: (Module r m, Eq m) => r -> r -> m -> Bool
- propModule :: (Module r m, Eq m) => r -> r -> m -> m -> Property
Documentation
class (CommutativeRing r, AbelianGroup m) => Module r m whereSource
Module over a commutative ring r.
Instances
| AbelianGroup m => Module Z m | Z-module structure. |
(<*) :: Module r m => m -> r -> mSource
Since the ring is commutative we can turn the scalar multiplication around.
propScalarMul :: (Module r m, Eq m) => r -> m -> m -> BoolSource
propScalarAdd :: (Module r m, Eq m) => r -> r -> m -> BoolSource
propScalarAssoc :: (Module r m, Eq m) => r -> r -> m -> BoolSource
propModule :: (Module r m, Eq m) => r -> r -> m -> m -> PropertySource