Modulenumeric-prelude-0.4.4Haskell98

Algebra.Vector

Abstraction of vectors

classclass C (v :: Type -> Type) where

A Module over a ring satisfies:

  a *> (b + c) === a *> b + a *> c
  (a * b) *> c === a *> (b *> c)
  (a + b) *> c === a *> c + b *> c

Instances13C, …

C TDefined in numeric-prelude-0.4.4 · MathObj.LaurentPolynomial
C TDefined in numeric-prelude-0.4.4 · MathObj.Matrix
C TDefined in numeric-prelude-0.4.4 · MathObj.Polynomial
C TDefined in numeric-prelude-0.4.4 · MathObj.PowerSeries
C TDefined in numeric-prelude-0.4.4 · MathObj.PowerSeries2
C TDefined in numeric-prelude-0.4.4 · Number.Complex
C TDefined in numeric-prelude-0.4.4 · Number.Quaternion
C []Defined in numeric-prelude-0.4.4 · Algebra.Vector
Ord a => C (T a)Defined in numeric-prelude-0.4.4 · MathObj.Algebra
Ord i => C (Map i)Defined in numeric-prelude-0.4.4 · MathObj.DiscreteMap · orphan
Ord i => C (T i)Defined in numeric-prelude-0.4.4 · Number.Physical
C (T a)Defined in numeric-prelude-0.4.4 · Number.SI
C ((->) b)Defined in numeric-prelude-0.4.4 · Algebra.Vector

classclass Eq (v :: Type -> Type) where

We need a Haskell 98 type class which provides equality test for Vector type constructors.

Instances1Eq

Instances for standard type constructors

1 declaration

valuefunctorScale :: (Functor v, C a) => a -> v a -> v a

1 declaration

valuelinearComb :: (C a, C v) => [a] -> [v a] -> v a

Compute the linear combination of a list of vectors.

3 declarations

valuepropCascade :: (C v, Eq v, C a, Eq a) => a -> a -> v a -> Bool

valuepropRightDistributive :: (C v, Eq v, C a, Eq a) => a -> v a -> v a -> Bool

valuepropLeftDistributive :: (C v, Eq v, C a, Eq a) => a -> a -> v a -> Bool