Copyright	(c) Conal Elliott 2008
License	BSD3
Maintainer	conal@conal.net
Stability	experimental
Safe Haskell	None
Language	Haskell98

Data.Basis

Description

Basis of a vector space, as an associated type This module requires ghc-6.10 or later

Synopsis

Documentation

class VectorSpace v => HasBasis v where Source #

Minimal complete definition

basisValue, decompose, decompose'

Associated Types

type Basis v :: * Source #

Representation of the canonical basis for v

Methods

basisValue :: Basis v -> v Source #

Interpret basis rep as a vector

decompose :: v -> [(Basis v, Scalar v)] Source #

Extract coordinates

decompose' :: v -> Basis v -> Scalar v Source #

Experimental version. More elegant definitions, and friendly to infinite-dimensional vector spaces.

Instances

HasBasis Double Source #
Associated Types type Basis Double :: * Source # Methods basisValue :: Basis Double -> Double Source # decompose :: Double -> [(Basis Double, Scalar Double)] Source # decompose' :: Double -> Basis Double -> Scalar Double Source #
HasBasis Float Source #
Associated Types type Basis Float :: * Source # Methods basisValue :: Basis Float -> Float Source # decompose :: Float -> [(Basis Float, Scalar Float)] Source # decompose' :: Float -> Basis Float -> Scalar Float Source #
HasBasis CFloat Source #
Associated Types type Basis CFloat :: * Source # Methods basisValue :: Basis CFloat -> CFloat Source # decompose :: CFloat -> [(Basis CFloat, Scalar CFloat)] Source # decompose' :: CFloat -> Basis CFloat -> Scalar CFloat Source #
HasBasis CDouble Source #
Associated Types type Basis CDouble :: * Source # Methods basisValue :: Basis CDouble -> CDouble Source # decompose :: CDouble -> [(Basis CDouble, Scalar CDouble)] Source # decompose' :: CDouble -> Basis CDouble -> Scalar CDouble Source #
Integral a => HasBasis (Ratio a) Source #
Associated Types type Basis (Ratio a) :: * Source # Methods basisValue :: Basis (Ratio a) -> Ratio a Source # decompose :: Ratio a -> [(Basis (Ratio a), Scalar (Ratio a))] Source # decompose' :: Ratio a -> Basis (Ratio a) -> Scalar (Ratio a) Source #
(HasBasis u, (~) * s (Scalar u), HasBasis v, (~) * s (Scalar v)) => HasBasis (u, v) Source #
Associated Types type Basis (u, v) :: * Source # Methods basisValue :: Basis (u, v) -> (u, v) Source # decompose :: (u, v) -> [(Basis (u, v), Scalar (u, v))] Source # decompose' :: (u, v) -> Basis (u, v) -> Scalar (u, v) Source #
(HasBasis u, (~) * s (Scalar u), HasBasis v, (~) * s (Scalar v), HasBasis w, (~) * s (Scalar w)) => HasBasis (u, v, w) Source #
Associated Types type Basis (u, v, w) :: * Source # Methods basisValue :: Basis (u, v, w) -> (u, v, w) Source # decompose :: (u, v, w) -> [(Basis (u, v, w), Scalar (u, v, w))] Source # decompose' :: (u, v, w) -> Basis (u, v, w) -> Scalar (u, v, w) Source #

linearCombo :: VectorSpace v => [(v, Scalar v)] -> v Source #

Linear combination of vectors

recompose :: HasBasis v => [(Basis v, Scalar v)] -> v Source #