| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Algebra.NormedSpace.Euclidean
Description
Abstraction of normed vector spaces
Documentation
class (C a, C a v) => Sqr a v where #
Minimal complete definition
Methods
Square of the Euclidean norm of a vector. This is sometimes easier to implement.
Instances
| Sqr Double Double # | |
| Sqr Float Float # | |
| Sqr Int Int # | |
| Sqr Integer Integer # | |
| (Sqr a v, RealFloat v) => Sqr a (Complex v) # | |
| Sqr a v => Sqr a [v] # | |
| Sqr a b => Sqr a (T b) # | |
| Sqr a b => Sqr a (T b) # | |
| (Sqr a v0, Sqr a v1) => Sqr a (v0, v1) # | |
| (Sqr a v0, Sqr a v1, Sqr a v2) => Sqr a (v0, v1, v2) # | |
| (C a, C a) => Sqr (T a) (T a) # | |
| Sqr a v => Sqr (T a) (T v) # | |
normSqrFoldable :: (Sqr a v, Foldable f) => f v -> a #
normSqrFoldable1 :: (Sqr a v, Foldable f, Functor f) => f v -> a #
class Sqr a v => C a v where #
A vector space equipped with an Euclidean or a Hilbert norm.
Minimal definition:
norm
Minimal complete definition
Instances
| C Double Double # | |
| C Float Float # | |
| C Int Int # | |
| C Integer Integer # | |
| (C a, Sqr a v, RealFloat v) => C a (Complex v) # | |
| (C a, Sqr a v) => C a [v] # | |
| (C a, Sqr a b) => C a (T b) # | |
| (C a, Sqr a b) => C a (T b) # | |
| (C a, Sqr a v0, Sqr a v1) => C a (v0, v1) # | |
| (C a, Sqr a v0, Sqr a v1, Sqr a v2) => C a (v0, v1, v2) # | |
| C a v => C (T a) (T v) # | |