Personal tools

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, search

Contents

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

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