Safe Haskell | None |
---|---|
Language | Haskell2010 |
Provides the SemivectorSpace
typeclass.
Since: 0.1
Synopsis
- class (MSpace v k, Semifield k, Semimodule v k) => SemivectorSpace v k | v -> k
Documentation
class (MSpace v k, Semifield k, Semimodule v k) => SemivectorSpace v k | v -> k Source #
Defines a semivector space over a semifield. This generalizes the notion
of a VectorSpace
\(V\) over a
Field
\(K\) such that:
Since: 0.1
Instances
Semifield k => SemivectorSpace (k, k) k Source # | Since: 0.1 |
Defined in Numeric.Algebra.Space.SemivectorSpace | |
Semifield k => SemivectorSpace (k, k, k) k Source # | Since: 0.1 |
Defined in Numeric.Algebra.Space.SemivectorSpace | |
Semifield k => SemivectorSpace (k, k, k, k) k Source # | Since: 0.1 |
Defined in Numeric.Algebra.Space.SemivectorSpace | |
Semifield k => SemivectorSpace (k, k, k, k, k) k Source # | Since: 0.1 |
Defined in Numeric.Algebra.Space.SemivectorSpace | |
Semifield k => SemivectorSpace (k, k, k, k, k, k) k Source # | Since: 0.1 |
Defined in Numeric.Algebra.Space.SemivectorSpace | |
Semifield k => SemivectorSpace (k, k, k, k, k, k, k) k Source # | Since: 0.1 |
Defined in Numeric.Algebra.Space.SemivectorSpace | |
Semifield k => SemivectorSpace (k, k, k, k, k, k, k, k) k Source # | Since: 0.1 |
Defined in Numeric.Algebra.Space.SemivectorSpace | |
Semifield k => SemivectorSpace (k, k, k, k, k, k, k, k, k) k Source # | Since: 0.1 |
Defined in Numeric.Algebra.Space.SemivectorSpace |