manifolds: Coordinate-free hypersurfaces

[ gpl, library, math ] [ Propose Tags ]

Manifolds, a generalisation of the notion of “smooth curves” or surfaces, are topological spaces locally homeomorphic to a vector space. This gives rise to what is actually the most natural / mathematically elegant way of dealing with them: calculations can be carried out locally, in connection with Riemannian products etc., in a vector space, the tangent space / tangent bundle.

However, this does not trivially translate to non-local operations. Common ways to carry those out include using a single affine map to cover (almost) all of the manifold (in general not possible homeomorphically, which leads to both topological and geometrical problems), to embed the manifold into a larger-dimensional vector space (which tends to distract from the manifold's own properties and is often not friendly to computations) or approximating the manifold by some kind of finite simplicial mesh (which intrinsically introduces non-differentiability issues and leads to the question of what precision is required).

This library tries to mitigate these problems by using Haskell's functional nature to keep the representation close to the mathematical ideal of local linearity with homeomorphic coordinate transforms, and, where it is necessary to recede to the less elegant alternatives, exploiting lazy evaluation etc. to optimise the compromises that have to be made.

Flags

Automatic Flags
NameDescriptionDefault
staticdimensionallinmapcategory

Whether to use linearmap-category-0.6 with its fixed-dimension classes. This requires also the singletons package.

Enabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0, 0.1.0.2, 0.1.3.0, 0.1.3.1, 0.1.5.0, 0.1.5.1, 0.1.5.2, 0.1.6.2, 0.1.6.3, 0.2.0.1, 0.2.2.0, 0.2.3.0, 0.3.0.0, 0.4.0.0, 0.4.1.0, 0.4.4.0, 0.4.5.0, 0.5.0.0, 0.5.0.1, 0.5.0.2, 0.5.0.3, 0.5.0.4, 0.5.1.0, 0.6.0.0, 0.6.1.0
Dependencies array, base (>=4.5 && <6), binary, call-stack, comonad, constrained-categories (>=0.3.1 && <0.5), containers, deepseq, equational-reasoning, free, free-vector-spaces (>=0.1.5), half-space (>=0.1 && <0.2), ieee754 (>=0.8 && <1), lens, linear, linearmap-category (>=0.4.3.0 && <0.7), list-t (>=1.0 && <1.1), manifolds-core (==0.6.1.0), MemoTrie, number-show (>=0.1 && <0.2), placeholders, pragmatic-show, QuickCheck (>=2.8 && <3), semigroups, singletons (>=3.0 && <3.3), singletons-base (>=3.0 && <3.3), spatial-rotations (>=0.1 && <0.2), tagged, transformers, vector, vector-space (>=0.8), void [details]
License GPL-3.0-only
Author Justus Sagemüller
Maintainer (@) jsag $ hvl.no
Category Math
Home page https://github.com/leftaroundabout/manifolds
Source repo head: git clone git://github.com/leftaroundabout/manifolds.git
Uploaded by leftaroundabout at 2023-07-04T09:34:42Z
Distributions
Reverse Dependencies 4 direct, 0 indirect [details]
Downloads 17817 total (37 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]