|
Algebra.ModuleBasis | Portability | requires multi-parameter type classes | Stability | provisional | Maintainer | numericprelude@henning-thielemann.de |
|
|
|
|
|
Description |
Abstraction of bases of finite dimensional modules
|
|
Synopsis |
|
|
|
Documentation |
|
|
It must hold:
Module.linearComb (flatten v `asTypeOf` [a]) (basis a) == v
dimension a v == length (flatten v `asTypeOf` [a])
| | Methods | | basis of the module with respect to the scalar type,
the result must be independent of argument, Prelude.undefined should suffice.
| | | scale a vector by a scalar
| | | the size of the basis, should also work for undefined argument,
the result must be independent of argument, Prelude.undefined should suffice.
|
| | Instances | |
|
|
Instances for atomic types
|
|
Instances for composed types
|
|
Properties
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |