Talk:Vector-space

From HaskellWiki

Contents 1 Version 0 1.1 Version 0.2 1.1.1 Version 0.2.0 1.1.2 Version 0.1.3 1.1.3 Version 0.1.2 1.1.4 Version 0.1.1 1.1.5 Version 0.1 1.2 Version 0.0.1

1 Version 0

1.1 Version 0.2

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

1.1.2 Version 0.1.3

• InnerSpace
  instance in
  Data.Derivative

1.1.3 Version 0.1.2

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

1.1.4 Version 0.1.1

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

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

1.2 Version 0.0.1

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