Personal tools

Vector-space

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(Abstract)
m (link to MemoTrie)
Line 1: Line 1:
[[Category:Mathematics]]
 
[[Category:Packages]]
 
 
 
== Abstract ==
 
== Abstract ==
   
Line 7: Line 4:
 
The library also defines a type of infinite towers of generalized derivatives.
 
The library also defines a type of infinite towers of generalized derivatives.
 
A generalized derivative is a linear map rather than one of the usual concrete representations (scalars, vectors, matrices, ...).
 
A generalized derivative is a linear map rather than one of the usual concrete representations (scalars, vectors, matrices, ...).
  +
  +
The representation of linear maps uses [[MemoTrie]].
   
 
''Warning'': Starting with version 0.3, this package depends on type families working fairly well, and requires ghc version at least 6.9.
 
''Warning'': Starting with version 0.3, this package depends on type families working fairly well, and requires ghc version at least 6.9.
Line 21: Line 20:
   
 
Please leave comments at the [[Talk:vector-space|Talk page]].
 
Please leave comments at the [[Talk:vector-space|Talk page]].
 
== See also ==
 
 
* [[Linear algebra]]
 
* [[Mathematical prelude discussion]]
 

Revision as of 16:57, 21 October 2008

Abstract

vector-space is library that provides provides classes and generic operations for additive groups, vector spaces and affine spaces. There are also vector space bases and a general notion of linear maps (linear transformations). The library also defines a type of infinite towers of generalized derivatives. A generalized derivative is a linear map rather than one of the usual concrete representations (scalars, vectors, matrices, ...).

The representation of linear maps uses MemoTrie.

Warning: Starting with version 0.3, this package depends on type families working fairly well, and requires ghc version at least 6.9. Version 0.4 contains some modules that require ghc 6.10 or better. For instance, Data.AVectorSpace is a 6.10-friendly replacement for Data.VectorSpace. After a while, when 6.10 is widespread, I'll switch over entirely and eliminate the earlier versions.

Besides this wiki page, here are more ways to find out about vector-space:

Please leave comments at the Talk page.