forked from Bodigrim/arithmoi
-
Notifications
You must be signed in to change notification settings - Fork 0
/
arithmoi.cabal
242 lines (236 loc) · 7.88 KB
/
arithmoi.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
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
name: arithmoi
version: 0.10.0.0
cabal-version: >=1.10
build-type: Simple
license: MIT
license-file: LICENSE
copyright: (c) 2016-2019 Andrew Lelechenko, Carter Schonwald, 2011 Daniel Fischer
maintainer: Andrew Lelechenko andrew dot lelechenko at gmail dot com,
Carter Schonwald carter at wellposed dot com
stability: Provisional
homepage: https://github.com/Bodigrim/arithmoi
bug-reports: https://github.com/Bodigrim/arithmoi/issues
synopsis: Efficient basic number-theoretic functions.
description:
A library of basic functionality needed for
number-theoretic calculations. The aim of this library
is to provide efficient implementations of the functions.
Primes and related things (totients, factorisation),
powers (integer roots and tests, modular exponentiation).
category: Math, Algorithms, Number Theory
author: Andrew Lelechenko, Daniel Fischer
tested-with: GHC ==8.0.2 GHC ==8.2.2 GHC ==8.4.4 GHC ==8.6.5 GHC ==8.8.1
extra-source-files:
Changes
source-repository head
type: git
location: https://github.com/Bodigrim/arithmoi
flag check-bounds
description:
Replace unsafe array operations with safe ones
default: False
manual: True
library
build-depends:
base >=4.9 && <5,
array >=0.5 && <0.6,
containers >=0.5 && <0.7,
chimera >= 0.3,
constraints,
deepseq,
exact-pi >=0.5,
ghc-prim <0.6,
integer-gmp <1.1,
integer-logarithms >=1.0,
mod,
random >=1.0 && <1.2,
transformers >=0.4 && <0.6,
semirings >= 0.5.2,
vector >= 0.12
exposed-modules:
GHC.TypeNats.Compat
Math.NumberTheory.ArithmeticFunctions
Math.NumberTheory.ArithmeticFunctions.Inverse
Math.NumberTheory.ArithmeticFunctions.Mertens
Math.NumberTheory.ArithmeticFunctions.NFreedom
Math.NumberTheory.ArithmeticFunctions.Moebius
Math.NumberTheory.ArithmeticFunctions.SieveBlock
Math.NumberTheory.Curves.Montgomery
Math.NumberTheory.DirichletCharacters
Math.NumberTheory.Euclidean
Math.NumberTheory.Euclidean.Coprimes
Math.NumberTheory.Moduli
Math.NumberTheory.Moduli.Chinese
Math.NumberTheory.Moduli.Class
Math.NumberTheory.Moduli.DiscreteLogarithm
Math.NumberTheory.Moduli.Equations
Math.NumberTheory.Moduli.Jacobi
Math.NumberTheory.Moduli.Multiplicative
Math.NumberTheory.Moduli.PrimitiveRoot
Math.NumberTheory.Moduli.Singleton
Math.NumberTheory.Moduli.Sqrt
Math.NumberTheory.MoebiusInversion
Math.NumberTheory.Powers
Math.NumberTheory.Powers.Cubes
Math.NumberTheory.Powers.Fourth
Math.NumberTheory.Powers.General
Math.NumberTheory.Powers.Modular
Math.NumberTheory.Powers.Squares
Math.NumberTheory.Powers.Squares.Internal
Math.NumberTheory.Prefactored
Math.NumberTheory.Primes
Math.NumberTheory.Primes.Counting
Math.NumberTheory.Primes.Testing
Math.NumberTheory.Quadratic.GaussianIntegers
Math.NumberTheory.Quadratic.EisensteinIntegers
Math.NumberTheory.Recurrences
Math.NumberTheory.Recurrences.Bilinear
Math.NumberTheory.Recurrences.Linear
Math.NumberTheory.Roots
Math.NumberTheory.SmoothNumbers
Math.NumberTheory.Zeta
other-modules:
Math.NumberTheory.ArithmeticFunctions.Class
Math.NumberTheory.ArithmeticFunctions.Standard
Math.NumberTheory.Moduli.Internal
Math.NumberTheory.Moduli.JacobiSymbol
Math.NumberTheory.Moduli.SomeMod
Math.NumberTheory.Primes.Counting.Approximate
Math.NumberTheory.Primes.Counting.Impl
Math.NumberTheory.Primes.Factorisation.Montgomery
Math.NumberTheory.Primes.Factorisation.TrialDivision
Math.NumberTheory.Primes.Sieve.Eratosthenes
Math.NumberTheory.Primes.Sieve.Indexing
Math.NumberTheory.Primes.Small
Math.NumberTheory.Primes.Testing.Certified
Math.NumberTheory.Primes.Testing.Probabilistic
Math.NumberTheory.Primes.Types
Math.NumberTheory.Recurrences.Pentagonal
Math.NumberTheory.Roots.Cubes
Math.NumberTheory.Roots.Fourth
Math.NumberTheory.Roots.General
Math.NumberTheory.Roots.Squares
Math.NumberTheory.Roots.Squares.Internal
Math.NumberTheory.Unsafe
Math.NumberTheory.Utils
Math.NumberTheory.Utils.DirichletSeries
Math.NumberTheory.Utils.FromIntegral
Math.NumberTheory.Utils.Hyperbola
Math.NumberTheory.Zeta.Dirichlet
Math.NumberTheory.Zeta.Hurwitz
Math.NumberTheory.Zeta.Riemann
Math.NumberTheory.Zeta.Utils
default-language: Haskell2010
ghc-options: -Wall -Widentities
if flag(check-bounds)
cpp-options: -DCheckBounds
test-suite spec
build-depends:
base >=4.9 && <5,
arithmoi,
containers,
exact-pi >=0.4.1.1,
integer-gmp <1.1,
mod,
QuickCheck >=2.10,
quickcheck-classes >=0.6.3,
semirings >= 0.2,
smallcheck >=1.1.3 && <1.2,
tasty >=0.10,
tasty-hunit >=0.9 && <0.11,
tasty-quickcheck >=0.9 && <0.11,
tasty-rerun >= 1.1.17,
tasty-smallcheck >=0.8 && <0.9,
transformers >=0.5,
vector
other-modules:
Math.NumberTheory.ArithmeticFunctionsTests
Math.NumberTheory.ArithmeticFunctions.InverseTests
Math.NumberTheory.ArithmeticFunctions.MertensTests
Math.NumberTheory.ArithmeticFunctions.SieveBlockTests
Math.NumberTheory.CurvesTests
Math.NumberTheory.DirichletCharactersTests
Math.NumberTheory.EisensteinIntegersTests
Math.NumberTheory.GaussianIntegersTests
Math.NumberTheory.EuclideanTests
Math.NumberTheory.Moduli.ChineseTests
Math.NumberTheory.Moduli.DiscreteLogarithmTests
Math.NumberTheory.Moduli.ClassTests
Math.NumberTheory.Moduli.EquationsTests
Math.NumberTheory.Moduli.JacobiTests
Math.NumberTheory.Moduli.PrimitiveRootTests
Math.NumberTheory.Moduli.SingletonTests
Math.NumberTheory.Moduli.SqrtTests
Math.NumberTheory.MoebiusInversionTests
Math.NumberTheory.Powers.CubesTests
Math.NumberTheory.Powers.FourthTests
Math.NumberTheory.Powers.GeneralTests
Math.NumberTheory.Powers.ModularTests
Math.NumberTheory.Powers.SquaresTests
Math.NumberTheory.PrefactoredTests
Math.NumberTheory.Primes.CountingTests
Math.NumberTheory.Primes.FactorisationTests
Math.NumberTheory.Primes.SequenceTests
Math.NumberTheory.Primes.SieveTests
Math.NumberTheory.Primes.TestingTests
Math.NumberTheory.PrimesTests
Math.NumberTheory.Recurrences.PentagonalTests
Math.NumberTheory.Recurrences.BilinearTests
Math.NumberTheory.Recurrences.LinearTests
Math.NumberTheory.SmoothNumbersTests
Math.NumberTheory.TestUtils
Math.NumberTheory.TestUtils.MyCompose
Math.NumberTheory.TestUtils.Wrappers
Math.NumberTheory.UniqueFactorisationTests
Math.NumberTheory.Zeta.DirichletTests
Math.NumberTheory.Zeta.RiemannTests
type: exitcode-stdio-1.0
main-is: Test.hs
default-language: Haskell2010
hs-source-dirs: test-suite
ghc-options: -Wall -Widentities
benchmark criterion
build-depends:
base,
arithmoi,
array,
constraints,
containers,
deepseq,
gauge,
integer-logarithms,
mod,
random,
semirings,
vector
other-modules:
Math.NumberTheory.ArithmeticFunctionsBench
Math.NumberTheory.DiscreteLogarithmBench
Math.NumberTheory.EisensteinIntegersBench
Math.NumberTheory.GaussianIntegersBench
Math.NumberTheory.InverseBench
Math.NumberTheory.JacobiBench
Math.NumberTheory.MertensBench
Math.NumberTheory.PrimesBench
Math.NumberTheory.PrimitiveRootsBench
Math.NumberTheory.RecurrencesBench
Math.NumberTheory.SequenceBench
Math.NumberTheory.SieveBlockBench
Math.NumberTheory.SmoothNumbersBench
Math.NumberTheory.ZetaBench
type: exitcode-stdio-1.0
main-is: Bench.hs
default-language: Haskell2010
hs-source-dirs: benchmark
ghc-options: -Wall -Widentities
executable sequence-model
build-depends:
base,
arithmoi,
containers,
hmatrix-gsl
buildable: False
main-is: SequenceModel.hs
hs-source-dirs: app
default-language: Haskell2010
ghc-options: -Wall -Widentities