-
Notifications
You must be signed in to change notification settings - Fork 2
/
manifolds.cabal
156 lines (151 loc) · 6.46 KB
/
manifolds.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
Name: manifolds
Version: 0.6.1.0
Category: Math
Synopsis: Coordinate-free hypersurfaces
Description: 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.
License: GPL-3
License-file: COPYING
Author: Justus Sagemüller
Homepage: https://github.com/leftaroundabout/manifolds
Maintainer: (@) jsag $ hvl.no
Build-Type: Simple
Cabal-Version: 1.18
Extra-Doc-Files: images/examples/*.png,
images/examples/ShadeCombinations/2Dconvolution-skewed.png
images/examples/TreesAndWebs/*.png
images/examples/DiffableFunction-plots/*.png
flag staticDimensionalLinmapCategory
description: Whether to use linearmap-category-0.6 with its fixed-dimension classes.
This requires also the singletons package.
default: True
manual: False
Source-Repository head
type: git
location: git://github.com/leftaroundabout/manifolds.git
Library
Build-Depends: base>=4.5 && < 6
, manifolds-core == 0.6.1.0
, transformers
, vector-space>=0.8
, free-vector-spaces>=0.1.5
, half-space >=0.1 && <0.2
, linear
, MemoTrie
, vector
, linearmap-category >= 0.4.3.0 && < 0.7
, spatial-rotations >= 0.1 && < 0.2
, containers
, array
, binary
, comonad
, free
, semigroups
, void
, list-t >=1.0 && <1.1
, number-show >= 0.1 && < 0.2
, ieee754 >= 0.8 && < 1
, tagged
, equational-reasoning
, deepseq
, placeholders
, lens
, call-stack
, constrained-categories >= 0.3.1 && < 0.5
, pragmatic-show
, QuickCheck >=2.8 && <3
if flag(staticDimensionalLinmapCategory)
build-depends:
linearmap-category >=0.6
, singletons >=3.0 && <3.3
, singletons-base >=3.0 && <3.3
else
build-depends:
linearmap-category <0.6
other-extensions: FlexibleInstances
, TypeFamilies
, FlexibleContexts
, GADTs
, RankNTypes
, ConstraintKinds
, PatternGuards
, ScopedTypeVariables
, RecordWildCards
, TupleSections
ghc-options: -O2
Exposed-modules: Data.Manifold
Data.Manifold.PseudoAffine
Data.Manifold.WithBoundary
Data.Manifold.TreeCover
Data.Manifold.Shade
Data.Manifold.Web
Data.Manifold.Web.Internal
Data.Manifold.Mesh
Data.Manifold.DifferentialEquation
Data.Manifold.Function.LocalModel
Data.Manifold.Function.Interpolation
Data.Simplex.Abstract
Data.Function.Differentiable
Data.Function.Affine
Data.Manifold.Types
Data.Manifold.Types.Stiefel
Data.Manifold.Griddable
Data.Manifold.Atlas
Data.Manifold.FibreBundle
Data.Manifold.Riemannian
Math.Manifold.Real.Coordinates
Math.Manifold.Embedding.Simple.Class
Math.Manifold.Homogeneous
Other-modules: Data.List.FastNub
Data.Manifold.Types.Primitive
Data.Manifold.WithBoundary.Class
Data.SetLike.Intersection
Data.Manifold.Cone
Data.Embedding
Data.Manifold.Function.Quadratic
Data.Function.Differentiable.Data
Control.Monad.Trans.OuterMaybe
Util.Associate
Util.LtdShow
default-language: Haskell2010
test-suite test
default-language:
Haskell2010
type:
exitcode-stdio-1.0
hs-source-dirs:
test/tasty
main-is:
test.hs
build-depends:
base >= 4 && < 5
, tasty >= 0.7
, tasty-hunit
, tasty-quickcheck
, manifolds
, pragmatic-show
, containers
, vector-space
, linear
, spatial-rotations
, constrained-categories
, linearmap-category
, lens