# free-vector-spaces: Instantiate the classes from the vector-space package with types from linear

The linear package offers efficient
vector types — where vector means *element of a free vector space*, i.e.
fixed-length arrays of numbers. The entire interface of that library is based on
this concept of free vectors with a canonical coordinate representation.

While this is practically speaking often useful, it is also

Questionable in terms of conceptual elegance. The idea of a vector has originally not much to do with number-arrays; in physics a vector is just a quantity with

*magnitude and direction*. Only by fixing a basis can a coordinate representation arise from that.Not as safe as we'd like. The typical linear-algebra languages like Matlab or Fortran are notorious for hard-to spot mistakes that often arise from the total reliance on coordinate representations (every vector/linear map is just a matrix of number).

`linear`

already avoids most of these problems because it can at least check dimensions at compile-time and usually doesn't need any indices, but some trouble still remains. E.g., two different 3-dimensional spaces are indistinguishable by the type system (unless you wrap one of them in a`newtype`

, however that also needs to be parameterised on the coordinate type to work with the rest of the library).

The vector-space library
has arguably a better (albeit less complete) interface. To gain access to
that interface with the more efficient types from `linear`

, we here provide
the necessary orphan instances.

Versions [faq] | 0.1.0.0, 0.1.1.0, 0.1.2.0, 0.1.4.0, 0.1.5.0 |
---|---|

Dependencies | base (>=4.6 && <5.1), lens (==4.*), linear (>=1.18 && <1.23), MemoTrie, pragmatic-show (>=0.1.2 && <0.2), vector, vector-space (>=0.11 && <0.16) [details] |

License | BSD-3-Clause |

Author | Justus Sagemüller |

Maintainer | (@) sagemueller $ geo.uni-koeln.de |

Revised | Revision 1 made by leftaroundabout at Fri Dec 7 11:03:46 UTC 2018 |

Category | Math |

Home page | https://github.com/leftaroundabout/free-vector-spaces |

Source repo | head: git clone git://github.com/leftaroundabout/free-vector-spaces.git |

Uploaded | by leftaroundabout at Mon Mar 5 15:26:32 UTC 2018 |

Distributions | NixOS:0.1.5.0 |

Downloads | 1102 total (78 in the last 30 days) |

Rating | (no votes yet) [estimated by rule of succession] |

Your Rating | |

Status | Docs available [build log] Last success reported on 2018-03-05 [all 1 reports] |

## Modules

[Index]

## Downloads

- free-vector-spaces-0.1.5.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.