Talk:Vector-space

Version 0

Data.Cross: generalized cross products
distribD now takes only one function argument and ties its own knot.
Renamed distribD to distrib.
Now there are two power series modules: Maclaurin (was Derivative) and Horner. Now Derivative is an indirection to one or the other, for testing. See Doug McIlroy's paper "The Music of Streams".
Factored Data.AdditiveGroup out of Data.VectorSpace
LinearMap has a new data representation for linear maps, to replace the simple function representation. Used in Data.Maclaurin.
Data.Derivative is now more than an indirection module. It re-wraps a power series type to provide different instances for VectorSpace and InnerSpace.
Added support for OpenGL vector types. In ghc-6.8.2, I get an error if a LMapDom instance is compiled in any module except for Data.LinearMap. Until this code is removed, the vector-space package depends on OpenGL.
Tests in FieldTrip show a dramatic slow-down, in contrast to my intended speed-up.
Andy Gill found at least one cause for the slow-down, which has been fixed. I think we have a long way to go. There appear to be lots of redundant dictionary construction.
Data.Horner removed temporarily, until re-sync'd with Data.Maclaurin.

Changed representation of the derivative part of a :> b. Was a :> (a :-* b). Now a :-* (a :> b), which can also be written a :~> b (leaving the derivative's linearity implicit). The type a :~> b means infinitely differentiable functions from a to b.

Changed repo location from darcs.haskell.org to http://code.haskell.org/vector-space.

Oops - there's a serious mistake in the derivatives code in versions up through 0.0.1. I'm working on a solution. [Fixed in 0.1.]