math/mpx.h, math/mpmont.c: Retune the Karatsuba thresholds.
[catacomb] / math / Makefile.am
CommitLineData
0f00dc4c
MW
1### -*-makefile-*-
2###
3### Build script for mathematical infrastructure
4###
5### (c) 2013 Straylight/Edgeware
6###
7
8###----- Licensing notice ---------------------------------------------------
9###
10### This file is part of Catacomb.
11###
12### Catacomb is free software; you can redistribute it and/or modify
13### it under the terms of the GNU Library General Public License as
14### published by the Free Software Foundation; either version 2 of the
15### License, or (at your option) any later version.
16###
17### Catacomb is distributed in the hope that it will be useful,
18### but WITHOUT ANY WARRANTY; without even the implied warranty of
19### MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
20### GNU Library General Public License for more details.
21###
22### You should have received a copy of the GNU Library General Public
23### License along with Catacomb; if not, write to the Free
24### Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
25### MA 02111-1307, USA.
26
27include $(top_srcdir)/vars.am
28
29noinst_LTLIBRARIES = libmath.la
30libmath_la_SOURCES =
31nodist_libmath_la_SOURCES =
32libmath_la_LIBADD =
33
34TEST_LIBS = libmath.la
35
36###--------------------------------------------------------------------------
1c3d4cf5
MW
37### Representation of multiprecision integers.
38
39## The `mpgen' tool for dealing with these things.
40mpgen = $(srcdir)/mpgen
41EXTRA_DIST += mpgen
42AM_V_MPGEN = $(AM_V_MPGEN_$(V))
43AM_V_MPGEN_ = $(AM_V_MPGEN_$(AM_DEFAULT_VERBOSITY))
44AM_V_MPGEN_0 = @echo " MPGEN $@";
45MPGEN = $(AM_V_MPGEN)$(PYTHON) $(mpgen)
46
47## The type information collected by `configure'.
48CLEANFILES += typeinfo.py
49EXTRA_DIST += typeinfo.py.in
50typeinfo.py: $(srcdir)/typeinfo.py.in Makefile
51 $(SUBST) $(srcdir)/typeinfo.py.in >typeinfo.py.new \
52 type_bits="@type_bits@" \
53 limits="@limits@" && \
54 mv typeinfo.py.new typeinfo.py
55
56## The header file containing our representation choices.
57BUILT_SOURCES += mptypes.h
58CLEANFILES += mptypes.h
59nodist_archinclude_HEADERS += mptypes.h
60mptypes.h: $(mpgen) typeinfo.py
61 $(MPGEN) mptypes >mptypes.h.in && mv mptypes.h.in mptypes.h
62
63## Limits of C types as multiprecision integers.
64BUILT_SOURCES += mplimits.h mplimits.c
65CLEANFILES += mplimits.h mplimits.c
66nodist_archinclude_HEADERS += mplimits.h
67nodist_libmath_la_SOURCES += mplimits.c
68mplimits.h: $(mpgen) typeinfo.py
69 $(MPGEN) mplimits_h >mplimits.h.in && mv mplimits.h.in mplimits.h
70mplimits.c: $(mpgen) typeinfo.py
71 $(MPGEN) mplimits_c >mplimits.c.in && mv mplimits.c.in mplimits.c
0f00dc4c 72
1c3d4cf5
MW
73###--------------------------------------------------------------------------
74### Main multiprecision integer library.
0f00dc4c
MW
75
76## Additional buffer I/O functions for mathematical objects.
77pkginclude_HEADERS += buf.h
78libmath_la_SOURCES += buf.c
79
80## Infrastructure for fast exponentiation.
81pkginclude_HEADERS += exp.h
82libmath_la_SOURCES += exp.c
83
84## Main user-visible multiprecision arithmetic.
85pkginclude_HEADERS += mp.h
1c3d4cf5 86libmath_la_SOURCES += mp-arith.c
ba57d652 87TESTS += mp-arith.t$(EXEEXT)
1c3d4cf5 88libmath_la_SOURCES += mp-const.c
0f00dc4c
MW
89libmath_la_SOURCES += mp-exp.c mp-exp.h
90libmath_la_SOURCES += mp-gcd.c
ba57d652 91TESTS += mp-gcd.t$(EXEEXT)
1c3d4cf5 92libmath_la_SOURCES += mp-io.c
0f00dc4c 93libmath_la_SOURCES += mp-jacobi.c
ba57d652 94TESTS += mp-jacobi.t$(EXEEXT)
1c3d4cf5
MW
95libmath_la_SOURCES += mp-mem.c
96libmath_la_SOURCES += mp-misc.c
0f00dc4c 97libmath_la_SOURCES += mp-modexp.c
ba57d652 98TESTS += mp-modexp.t$(EXEEXT)
0f00dc4c 99libmath_la_SOURCES += mp-modsqrt.c
ba57d652 100TESTS += mp-modsqrt.t$(EXEEXT)
0f00dc4c 101libmath_la_SOURCES += mp-sqrt.c
ba57d652 102TESTS += mp-sqrt.t$(EXEEXT)
0f00dc4c
MW
103libmath_la_SOURCES += mp-test.c
104EXTRA_DIST += t/mp
105
106## Computing Fibonacci numbers.
107pkginclude_HEADERS += mp-fibonacci.h
108libmath_la_SOURCES += mp-fibonacci.c
ba57d652 109TESTS += mp-fibonacci.t$(EXEEXT)
0f00dc4c
MW
110
111## Special memory allocation for multiprecision integers.
112pkginclude_HEADERS += mparena.h
1c3d4cf5 113libmath_la_SOURCES += mparena.c
0f00dc4c
MW
114
115## Barrett reduction, an efficient method for modular reduction.
116pkginclude_HEADERS += mpbarrett.h
117libmath_la_SOURCES += mpbarrett.c
ba57d652 118TESTS += mpbarrett.t$(EXEEXT)
0f00dc4c 119libmath_la_SOURCES += mpbarrett-exp.c mpbarrett-mexp.c mpbarrett-exp.h
ba57d652
MW
120TESTS += mpbarrett-exp.t$(EXEEXT) mpbarrett-mexp.t$(EXEEXT)
121TESTS += mpbarrett.t$(EXEEXT)
0f00dc4c
MW
122EXTRA_DIST += t/mpbarrett
123
124## Solving congruences using the Chinese Remainder Theorem.
125pkginclude_HEADERS += mpcrt.h
126libmath_la_SOURCES += mpcrt.c
ba57d652 127TESTS += mpcrt.t$(EXEEXT)
0f00dc4c
MW
128EXTRA_DIST += t/mpcrt
129
130## Conversions between machine-native and multiprecision integers.
131pkginclude_HEADERS += mpint.h
132libmath_la_SOURCES += mpint.c
ba57d652 133TESTS += mpint.t$(EXEEXT)
0f00dc4c
MW
134EXTRA_DIST += t/mpint
135
0f00dc4c
MW
136## Montgomery reduction, a clever method for modular arithmetic.
137pkginclude_HEADERS += mpmont.h
138libmath_la_SOURCES += mpmont.c
ba57d652 139TESTS += mpmont.t$(EXEEXT)
0f00dc4c 140libmath_la_SOURCES += mpmont-exp.c mpmont-mexp.c mpmont-exp.h
ba57d652 141TESTS += mpmont-exp.t$(EXEEXT) mpmont-mexp.t$(EXEEXT)
0f00dc4c
MW
142EXTRA_DIST += t/mpmont
143
144## Efficient multiplication of many small numbers.
145pkginclude_HEADERS += mpmul.h
146libmath_la_SOURCES += mpmul.c
ba57d652 147TESTS += mpmul.t$(EXEEXT)
0f00dc4c
MW
148
149## Generating random numbers.
150pkginclude_HEADERS += mprand.h
151libmath_la_SOURCES += mprand.c
152
153## Efficient reduction modulo numbers with conveninent binary
154## representations.
155pkginclude_HEADERS += mpreduce.h
156libmath_la_SOURCES += mpreduce.c mpreduce-exp.h
ba57d652 157TESTS += mpreduce.t$(EXEEXT)
0f00dc4c
MW
158EXTRA_DIST += t/mpreduce
159
160## Iteratiion over the bianry representation of multiprecision integers.
161pkginclude_HEADERS += mpscan.h
1c3d4cf5 162libmath_la_SOURCES += mpscan.c
0f00dc4c
MW
163
164## Conversion between multiprecision integers and their textual
165## representations.
166pkginclude_HEADERS += mptext.h
1c3d4cf5 167libmath_la_SOURCES += mptext.c
ba57d652 168TESTS += mptext.t$(EXEEXT)
0f00dc4c
MW
169libmath_la_SOURCES += mptext-dstr.c
170libmath_la_SOURCES += mptext-file.c
171libmath_la_SOURCES += mptext-len.c
1c3d4cf5 172libmath_la_SOURCES += mptext-string.c
0f00dc4c
MW
173EXTRA_DIST += t/mptext
174
0f00dc4c
MW
175## Low-level multiprecision arithmetic.
176pkginclude_HEADERS += mpx.h bitops.h mpw.h
1c3d4cf5 177libmath_la_SOURCES += mpx.c
ba57d652 178TESTS += mpx.t$(EXEEXT)
1c3d4cf5 179libmath_la_SOURCES += karatsuba.h mpx-kmul.c mpx-ksqr.c
ba57d652 180TESTS += mpx-kmul.t$(EXEEXT) mpx-ksqr.t$(EXEEXT)
0f00dc4c
MW
181noinst_PROGRAMS += bittest
182TESTS += bittest
183EXTRA_DIST += t/mpx
444083ae
MW
184if CPUFAM_X86
185libmath_la_SOURCES += mpx-mul4-x86-sse2.S
186endif
0f00dc4c
MW
187
188## A quick-and-dirty parser, used for parsing descriptions of groups, fields,
189## etc.
190pkginclude_HEADERS += qdparse.h
191libmath_la_SOURCES += qdparse.c
192
193## Pollard's `rho' algorithm for determining discrete logarithms.
194pkginclude_HEADERS += rho.h
195libmath_la_SOURCES += rho.c
ba57d652 196TESTS += rho.t$(EXEEXT)
0f00dc4c
MW
197
198###--------------------------------------------------------------------------
199### Prime number checking, searching, and related jobs.
200
201## Generating Lim--Lee groups, i.e., unit groups of finite fields without
202## small subgroups (except for the obvious ones).
203pkginclude_HEADERS += limlee.h
204libmath_la_SOURCES += limlee.c
205
206## A table of small prime numbers.
c9cfa678
MW
207pkginclude_HEADERS += $(precomp)/math/primetab.h
208nodist_libmath_la_SOURCES += ../precomp/math/primetab.c
209PRECOMPS += $(precomp)/math/primetab.h \
210 $(precomp)/math/primetab.c
e5b61a8d 211PRECOMP_PROGS += genprimes
0f00dc4c 212genprimes_LDADD = $(mLib_LIBS)
e5b61a8d 213if !CROSS_COMPILING
c9cfa678
MW
214$(precomp)/math/primetab.h: $(precomp)/math/primetab.c
215$(precomp)/math/primetab.c:
216 $(AM_V_at)$(MKDIR_P) $(precomp)/math
ba57d652 217 $(AM_V_at)$(MAKE) genprimes$(EXEEXT)
e5b61a8d 218 $(AM_V_GEN)./genprimes -sCATACOMB_PRIMETAB_H \
c9cfa678 219 -h$(precomp)/math/primetab.h -c$(precomp)/math/primetab.c \
0f00dc4c 220 -n256 -t"unsigned short" -iprimetab
e5b61a8d 221endif
0f00dc4c
MW
222
223## Filtering candidate prime numbers by checking for small factors
224## efficiently.
225pkginclude_HEADERS += pfilt.h
226libmath_la_SOURCES += pfilt.c
227
228## Generating prime numbers (and other kinds of numbers which need searching
229## for).
230pkginclude_HEADERS += pgen.h
231libmath_la_SOURCES += pgen.c
232libmath_la_SOURCES += pgen-gcd.c
233libmath_la_SOURCES += pgen-simul.c
234libmath_la_SOURCES += pgen-stdev.c
ba57d652 235TESTS += pgen.t$(EXEEXT)
0f00dc4c
MW
236EXTRA_DIST += t/pgen
237
238## Finding primitive elements in finite fields.
239pkginclude_HEADERS += prim.h
240libmath_la_SOURCES += prim.c
241
242## Iterating over all prime numbers from a given starting point.
243pkginclude_HEADERS += primeiter.h
244libmath_la_SOURCES += primeiter.c
ba57d652 245TESTS += primeiter.t$(EXEEXT)
c9cfa678 246primeiter.lo: $(precomp)/math/wheel.h
0f00dc4c
MW
247
248## The Miller--Rabin primality test.
249pkginclude_HEADERS += rabin.h
250libmath_la_SOURCES += rabin.c
251
252## Finding `strong' primes, using Gordon's algorithm. Once upon a time,
253## products of these kinds of numbers were harder to factor.
254pkginclude_HEADERS += strongprime.h
255libmath_la_SOURCES += strongprime.c
256
257## A `wheel', used by the prime iteration machinery.
c9cfa678
MW
258pkginclude_HEADERS += $(precomp)/math/wheel.h
259nodist_libmath_la_SOURCES += ../precomp/math/wheel.c
260PRECOMPS += $(precomp)/math/wheel.h $(precomp)/math/wheel.c
e5b61a8d 261PRECOMP_PROGS += genwheel
0f00dc4c 262genwheel_LDADD = $(mLib_LIBS)
e5b61a8d 263if !CROSS_COMPILING
c9cfa678
MW
264$(precomp)/math/wheel.h: $(precomp)/math/wheel.c
265$(precomp)/math/wheel.c:
266 $(AM_V_at)$(MKDIR_P) $(precomp)/math
ba57d652 267 $(AM_V_at)$(MAKE) genwheel$(EXEEXT)
e5b61a8d 268 $(AM_V_GEN)./genwheel -sCATACOMB_WHEEL_H \
c9cfa678 269 -h$(precomp)/math/wheel.h -c$(precomp)/math/wheel.c \
0f00dc4c 270 -n5 -t"unsigned char" -iwheel
e5b61a8d 271endif
0f00dc4c
MW
272
273###--------------------------------------------------------------------------
274### Binary polynomial arithmetic.
275
276## User-visible binary polynomial arithmetic.
277pkginclude_HEADERS += gf.h
278libmath_la_SOURCES += gf-arith.c
ba57d652 279TESTS += gf-arith.t$(EXEEXT)
0f00dc4c
MW
280libmath_la_SOURCES += gf-exp.c gf-exp.h
281libmath_la_SOURCES += gf-gcd.c
ba57d652 282TESTS += gf-gcd.t$(EXEEXT)
0f00dc4c
MW
283EXTRA_DIST += t/gf
284
285## Low-level binary polynomial arithmetic.
286pkginclude_HEADERS += gfx.h
287libmath_la_SOURCES += gfx.c
ba57d652 288TESTS += gfx.t$(EXEEXT)
0f00dc4c 289libmath_la_SOURCES += gfx-kmul.c
ba57d652 290TESTS += gfx-kmul.t$(EXEEXT)
c9cfa678
MW
291libmath_la_SOURCES += gfx-sqr.c
292nodist_libmath_la_SOURCES += ../precomp/math/gfx-sqrtab.c
293PRECOMPS += $(precomp)/math/gfx-sqrtab.c
e5b61a8d
MW
294PRECOMP_PROGS += gfx-sqr-mktab
295if !CROSS_COMPILING
c9cfa678
MW
296$(precomp)/math/gfx-sqrtab.c:
297 $(AM_V_at)$(MKDIR_P) $(precomp)/math
ba57d652 298 $(AM_V_at)$(MAKE) gfx-sqr-mktab$(EXEEXT)
c9cfa678
MW
299 $(AM_V_GEN)./gfx-sqr-mktab >$(precomp)/math/gfx-sqrtab.c.new && \
300 mv $(precomp)/math/gfx-sqrtab.c.new \
301 $(precomp)/math/gfx-sqrtab.c
e5b61a8d 302endif
ba57d652 303TESTS += gfx-sqr.t$(EXEEXT)
0f00dc4c
MW
304EXTRA_DIST += t/gfx
305
306## Conversions between normal and polynomial basis representations for binary
307## fields.
308pkginclude_HEADERS += gfn.h
309libmath_la_SOURCES += gfn.c
ba57d652 310TESTS += gfn.t$(EXEEXT)
0f00dc4c
MW
311EXTRA_DIST += t/gfn
312
313## Efficient reduction modulo sparse polynomials.
314pkginclude_HEADERS += gfreduce.h
315libmath_la_SOURCES += gfreduce.c gfreduce-exp.h
ba57d652 316TESTS += gfreduce.t$(EXEEXT)
0f00dc4c
MW
317EXTRA_DIST += t/gfreduce
318
319###--------------------------------------------------------------------------
320### Abstractions for various kinds of algebraic objects.
321
322## Abstract cyclic groups.
323pkginclude_HEADERS += group.h group-guts.h
324libmath_la_SOURCES += group-dstr.c
325libmath_la_SOURCES += group-exp.c group-exp.h
326libmath_la_SOURCES += group-file.c
327libmath_la_SOURCES += group-parse.c
328libmath_la_SOURCES += group-stdops.c
329libmath_la_SOURCES += group-string.c
330libmath_la_SOURCES += g-bin.c
331libmath_la_SOURCES += g-prime.c
332libmath_la_SOURCES += g-ec.c
333EXTRA_DIST += group-test.c
ba57d652 334TESTS += group-test.t$(EXEEXT)
0f00dc4c
MW
335EXTRA_DIST += t/group
336
337## Abstract finite fields.
338pkginclude_HEADERS += field.h field-guts.h
339libmath_la_SOURCES += field.c
340libmath_la_SOURCES += field-exp.c field-exp.h
341libmath_la_SOURCES += field-parse.c
342libmath_la_SOURCES += f-binpoly.c
343libmath_la_SOURCES += f-niceprime.c
344libmath_la_SOURCES += f-prime.c
345
346## Table of built-in binary fields.
347pkginclude_HEADERS += bintab.h
1c3d4cf5 348nodist_libmath_la_SOURCES += bintab.c
0f00dc4c 349CLEANFILES += bintab.c
1c3d4cf5
MW
350EXTRA_DIST += bintab.in
351bintab.c: $(mpgen) typeinfo.py bintab.in
352 $(MPGEN) bintab $(srcdir)/bintab.in >bintab.c.new && \
353 mv bintab.c.new bintab.c
0f00dc4c
MW
354
355## Table of built-in prime fields.
356pkginclude_HEADERS += ptab.h
1c3d4cf5 357nodist_libmath_la_SOURCES += ptab.c
0f00dc4c 358CLEANFILES += ptab.c
1c3d4cf5
MW
359EXTRA_DIST += ptab.in
360ptab.c: $(mpgen) typeinfo.py ptab.in
361 $(MPGEN) ptab $(srcdir)/ptab.in >ptab.c.new && \
362 mv ptab.c.new ptab.c
0f00dc4c
MW
363
364###--------------------------------------------------------------------------
365### Elliptic curve arithmetic.
366
367## Basic elliptic curve arithmetic.
368pkginclude_HEADERS += ec.h ec-guts.h
369libmath_la_SOURCES += ec.c
370libmath_la_SOURCES += ec-exp.c ec-exp.h
371libmath_la_SOURCES += ec-info.c
ba57d652 372TESTS += ec-info.t$(EXEEXT)
0f00dc4c 373libmath_la_SOURCES += ec-bin.c
ba57d652 374TESTS += ec-bin.t$(EXEEXT)
0f00dc4c 375libmath_la_SOURCES += ec-prime.c
ba57d652 376TESTS += ec-prime.t$(EXEEXT)
0f00dc4c
MW
377EXTRA_DIST += t/ec
378
379## The standard `raw' encoding (`EC2OSP') of elliptic curve points.
380pkginclude_HEADERS += ec-raw.h
381libmath_la_SOURCES += ec-raw.c
382
383## Assistance for elliptic-curve keys.
384pkginclude_HEADERS += ec-keys.h
385libmath_la_SOURCES += ec-fetch.c
386
387## Test infrastructure for elliptic curves.
388pkginclude_HEADERS += ec-test.h
389libmath_la_SOURCES += ec-test.c
ba57d652 390TESTS += ec-test.t$(EXEEXT)
0f00dc4c 391
1c3d4cf5 392## Table of built-in elliptic-curve groups.
0f00dc4c 393pkginclude_HEADERS += ectab.h
1c3d4cf5 394nodist_libmath_la_SOURCES += ectab.c
0f00dc4c 395CLEANFILES += ectab.c
1c3d4cf5
MW
396EXTRA_DIST += ectab.in
397ectab.c: $(mpgen) typeinfo.py ectab.in
398 $(MPGEN) ectab $(srcdir)/ectab.in >ectab.c.new && \
399 mv ectab.c.new ectab.c
0f00dc4c
MW
400
401###----- That's all, folks --------------------------------------------------