| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
NumHask.Algebra.Basis
Description
Element-by-element operations
- class Additive a => AdditiveBasis m a where
- class AdditiveGroup a => AdditiveGroupBasis m a where
- class Multiplicative a => MultiplicativeBasis m a where
- class MultiplicativeGroup a => MultiplicativeGroupBasis m a where
Documentation
class Additive a => AdditiveBasis m a where Source #
element by element addition
(a .+. b) .+. c == a .+. (b .+. c) zero .+. a = a a .+. zero = a a .+. b == b .+. a
Minimal complete definition
class AdditiveGroup a => AdditiveGroupBasis m a where Source #
element by element subtraction
a .-. a = singleton zero
Minimal complete definition
class Multiplicative a => MultiplicativeBasis m a where Source #
element by element multiplication
(a .*. b) .*. c == a .*. (b .*. c) singleton one .*. a = a a .*. singelton one = a a .*. b == b .*. a
Minimal complete definition
class MultiplicativeGroup a => MultiplicativeGroupBasis m a where Source #
element by element division
a ./. a == singleton one
Minimal complete definition