Talk:Vector-space

From HaskellWiki
Revision as of 04:24, 4 June 2008 by Conal (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Version 0

Version 0.2

Version 0.2.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.

Version 0.1.3

  • InnerSpace instance in Data.Derivative

Version 0.1.2

  • Renamed dId to idD and added fstD and sndD.
  • Renamed bilinearD to distribD.

Version 0.1.1

  • Added some missing haddock docs
  • Added a Complex instance of VectorSpace

Version 0.1

  • 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.

Version 0.0.1

  • 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.]