1 ;;; GNU Guix --- Functional package management for GNU
2 ;;; Copyright © 2012, 2013, 2014, 2015, 2016, 2017 Andreas Enge <andreas@enge.fr>
3 ;;; Copyright © 2013, 2015, 2017 Ludovic Courtès <ludo@gnu.org>
4 ;;; Copyright © 2016 Nicolas Goaziou <mail@nicolasgoaziou.fr>
5 ;;; Copyright © 2014 Mark H Weaver <mhw@netris.org>
6 ;;; Copyright © 2016 Ricardo Wurmus <rekado@elephly.net>
8 ;;; This file is part of GNU Guix.
10 ;;; GNU Guix is free software; you can redistribute it and/or modify it
11 ;;; under the terms of the GNU General Public License as published by
12 ;;; the Free Software Foundation; either version 3 of the License, or (at
13 ;;; your option) any later version.
15 ;;; GNU Guix is distributed in the hope that it will be useful, but
16 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
17 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 ;;; GNU General Public License for more details.
20 ;;; You should have received a copy of the GNU General Public License
21 ;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
23 (define-module (gnu packages algebra)
24 #:use-module (gnu packages)
25 #:use-module (gnu packages autotools)
26 #:use-module (gnu packages compression)
27 #:use-module (gnu packages documentation)
28 #:use-module (gnu packages fltk)
29 #:use-module (gnu packages gl)
30 #:use-module (gnu packages graphviz)
31 #:use-module (gnu packages image)
32 #:use-module (gnu packages multiprecision)
33 #:use-module (gnu packages maths)
34 #:use-module (gnu packages mpi)
35 #:use-module (gnu packages perl)
36 #:use-module (gnu packages readline)
37 #:use-module (gnu packages flex)
38 #:use-module (gnu packages python)
39 #:use-module (gnu packages shells)
40 #:use-module (gnu packages tex)
41 #:use-module (gnu packages xiph)
42 #:use-module (gnu packages xorg)
43 #:use-module ((guix licenses) #:prefix license:)
44 #:use-module (guix packages)
45 #:use-module (guix download)
46 #:use-module (guix build-system gnu)
47 #:use-module (guix build-system cmake)
48 #:use-module (guix utils))
58 "http://www.multiprecision.org/mpfrcx/download/mpfrcx-"
62 "0grw66b255r574lvll1bqccm5myj2m8ajzsjaygcyq9zjnnbnhhy"))))
63 (build-system gnu-build-system)
67 ("mpc" ,mpc))) ; Header files are included by mpfrcx.h.
68 (synopsis "Arithmetic of polynomials over arbitrary precision numbers")
70 "Mpfrcx is a library for the arithmetic of univariate polynomials over
71 arbitrary precision real (mpfr) or complex (mpc) numbers, without control
72 on the rounding. For the time being, only the few functions needed to
73 implement the floating point approach to complex multiplication are
74 implemented. On the other hand, these comprise asymptotically fast
75 multiplication routines such as Toom–Cook and the FFT.")
76 (license license:lgpl2.1+)
77 (home-page "http://mpfrcx.multiprecision.org/")))
86 "http://www.multiprecision.org/cm/download/cm-"
90 "1nf5kr0nqmhbzrsrinky18z0ighjpsmb5cr8zyg8jf04bfbyrfmc"))))
91 (build-system gnu-build-system)
94 ("zlib" ,zlib))) ; Header files included from cm_common.h.
96 `(("pari-gp" ,pari-gp)))
97 (synopsis "CM constructions for elliptic curves")
99 "The CM software implements the construction of ring class fields of
100 imaginary quadratic number fields and of elliptic curves with complex
101 multiplication via floating point approximations. It consists of libraries
102 that can be called from within a C program and of executable command
104 (license license:gpl3+)
105 (home-page "http://cm.multiprecision.org/")))
114 "http://perso.ens-lyon.fr/damien.stehle/fplll/libfplll-"
117 "1cbiby7ykis4z84swclpysrljmqhfcllpkcbll1m08rzskgb1a6b"))))
118 (build-system gnu-build-system)
119 (inputs `(("gmp" ,gmp)
121 (synopsis "Library for LLL-reduction of euclidean lattices")
123 "fplll LLL-reduces euclidean lattices. Since version 3, it can also
124 solve the shortest vector problem.")
125 (license license:lgpl2.1+)
126 (home-page "http://perso.ens-lyon.fr/damien.stehle/fplll/")))
128 (define-public pari-gp
135 "http://pari.math.u-bordeaux.fr/pub/pari/unix/pari-"
139 "0rq7wz9df1xs4acdzzb5dapx8vs6m5py39n2wynw2qv4d2b0ylfw"))))
140 (build-system gnu-build-system)
141 (native-inputs `(("texlive" ,texlive-minimal)))
142 (inputs `(("gmp" ,gmp)
145 ("readline" ,readline)))
147 '(#:make-flags '("all")
148 #:test-target "dobench"
149 #:phases (modify-phases %standard-phases
151 (lambda* (#:key outputs #:allow-other-keys)
152 (let ((out (assoc-ref outputs "out")))
154 (system* "./Configure"
155 (string-append "--prefix=" out)))))))))
156 (synopsis "PARI/GP, a computer algebra system for number theory")
158 "PARI/GP is a widely used computer algebra system designed for fast
159 computations in number theory (factorisations, algebraic number theory,
160 elliptic curves...), but it also contains a large number of other useful
161 functions to compute with mathematical entities such as matrices,
162 polynomials, power series, algebraic numbers, etc., and a lot of
163 transcendental functions.
164 PARI is also available as a C library to allow for faster computations.")
165 (license license:gpl2+)
166 (home-page "http://pari.math.u-bordeaux.fr/")))
175 "http://pari.math.u-bordeaux.fr/pub/pari/GP2C/gp2c-"
179 "1xhpz5p81iw261ay1kip283ggr0ir8ydz8qx3v24z8jfms1r3y70"))))
180 (build-system gnu-build-system)
181 (native-inputs `(("perl" ,perl)))
182 (inputs `(("pari-gp" ,pari-gp)))
185 (list (string-append "--with-paricfg="
186 (assoc-ref %build-inputs "pari-gp")
187 "/lib/pari/pari.cfg"))))
188 (synopsis "PARI/GP, a computer algebra system for number theory")
190 "PARI/GP is a widely used computer algebra system designed for fast
191 computations in number theory (factorisations, algebraic number theory,
192 elliptic curves...), but it also contains a large number of other useful
193 functions to compute with mathematical entities such as matrices,
194 polynomials, power series, algebraic numbers, etc., and a lot of
195 transcendental functions.
196 PARI is also available as a C library to allow for faster computations.
198 GP2C, the GP to C compiler, translates GP scripts to PARI programs.")
199 (license license:gpl2)
200 (home-page "http://pari.math.u-bordeaux.fr/")))
202 (define-public giac-xcas
208 ;; "~parisse/giac" is not used because the maintainer regularly
209 ;; overwrites the release tarball there, introducing a checksum
210 ;; mismatch every time. See
211 ;; <https://www-fourier.ujf-grenoble.fr/~parisse/debian/dists/stable/main/source/README>
212 (uri (string-append "https://www-fourier.ujf-grenoble.fr/"
213 "~parisse/debian/dists/stable/main/"
214 "source/giac_" version ".tar.gz"))
217 "0d6a42p8111raf7k16yvjajnpj22abiqndy3yzkrb4b8l071r24d"))))
218 (build-system gnu-build-system)
221 (modify-phases %standard-phases
222 (add-after 'unpack 'patch-bin-cp
224 ;; Some Makefiles contain hard-coded "/bin/cp".
225 (substitute* (find-files "doc" "^Makefile")
226 (("/bin/cp") (which "cp")))
228 (add-after 'unpack 'disable-broken-test
230 ;; Disable failing test. Actually, the results are correct but
231 ;; a sorting discrepancy prevents the test from being validated.
232 (substitute* "check/Makefile.in"
244 ("libxinerama" ,libxinerama)
254 ("texlive" ,texlive-minimal)))
255 (native-inputs `(("readline" ,readline)))
256 (home-page "https://www-fourier.ujf-grenoble.fr/~parisse/giac.html")
257 (synopsis "Computer algebra system")
259 "Giac/Xcas is a computer algebra system. It has a compatibility mode for
260 maple, mupad and the TI89. It is available as a standalone program (graphic
261 or text interfaces) or as a C++ library.")
262 (license license:gpl3+)))
271 "http://flintlib.org/flint-"
274 "11syazv1a8rrnac3wj3hnyhhflpqcmq02q8pqk2m6g2k6h0gxwfb"))
275 (patches (search-patches "flint-ldconfig.patch"))))
276 (build-system gnu-build-system)
279 ("mpfr" ,mpfr))) ; header files from both are included by flint/arith.h
281 `(#:parallel-tests? #f ; seems to be necessary on arm
283 (modify-phases %standard-phases
285 (lambda* (#:key inputs outputs #:allow-other-keys)
286 (let ((out (assoc-ref outputs "out"))
287 (gmp (assoc-ref inputs "gmp"))
288 (mpfr (assoc-ref inputs "mpfr")))
289 ;; do not pass "--enable-fast-install", which makes the
290 ;; homebrew configure process fail
293 (string-append "--prefix=" out)
294 (string-append "--with-gmp=" gmp)
295 (string-append "--with-mpfr=" mpfr)))))))))
296 (synopsis "Fast library for number theory")
298 "FLINT is a C library for number theory. It supports arithmetic
299 with numbers, polynomials, power series and matrices over many base
300 rings, including multiprecision integers and rationals, integers
301 modulo n, p-adic numbers, finite fields (prime and non-prime order)
302 and real and complex numbers (via the Arb extension library).
304 Operations that can be performed include conversions, arithmetic,
305 GCDs, factoring, solving linear systems, and evaluating special
306 functions. In addition, FLINT provides various low-level routines for
308 (license license:gpl2+)
309 (home-page "http://flintlib.org/")))
318 "https://github.com/fredrik-johansson/arb/archive/"
320 (file-name (string-append name "-" version ".tar.gz"))
323 "0jwcv9ssvi8axb1y7m2h4ykgyl015cl6g28gfl92l4dgnag585ak"))))
324 (build-system gnu-build-system)
326 `(("flint" ,flint))) ; flint.h is included by arf.h
334 (lambda* (#:key inputs outputs #:allow-other-keys)
335 (let ((out (assoc-ref outputs "out"))
336 (flint (assoc-ref inputs "flint"))
337 (gmp (assoc-ref inputs "gmp"))
338 (mpfr (assoc-ref inputs "mpfr")))
339 ;; do not pass "--enable-fast-install", which makes the
340 ;; homebrew configure process fail
343 (string-append "--prefix=" out)
344 (string-append "--with-flint=" flint)
345 (string-append "--with-gmp=" gmp)
346 (string-append "--with-mpfr=" mpfr)))))
348 (synopsis "Arbitrary precision floating-point ball arithmetic")
350 "Arb is a C library for arbitrary-precision floating-point ball
351 arithmetic. It supports efficient high-precision computation with
352 polynomials, power series, matrices and special functions over the
353 real and complex numbers, with automatic, rigorous error control.")
354 (license license:gpl2+)
355 (home-page "http://fredrikj.net/arb/")))
363 (uri (string-append "http://shoup.net/ntl/ntl-"
366 "115frp5flyvw9wghz4zph1b3llmr5nbxk1skgsggckr81fh3gmxq"))))
367 (build-system gnu-build-system)
369 `(("libtool" ,libtool)
370 ("perl" ,perl))) ; for configuration
371 ;; FIXME: Add optional input gf2x once available; then also add
372 ;; configure flag "NTL_GF2X_LIB=on".
377 (modify-phases %standard-phases
379 (lambda* (#:key outputs #:allow-other-keys)
381 (system* "./configure"
382 (string-append "PREFIX=" (assoc-ref outputs "out"))
383 ;; Do not build especially for the build machine.
385 ;; Also do not tune to the build machine.
389 (synopsis "C++ library for number theory")
391 "NTL is a C++ library providing data structures and algorithms
392 for manipulating signed, arbitrary length integers, and for vectors,
393 matrices, and polynomials over the integers and over finite fields.")
394 (license license:gpl2+)
395 (home-page "http://shoup.net/ntl/")))
397 (define-public singular
403 (uri (string-append "http://www.mathematik.uni-kl.de/ftp/pub/"
404 "Math/Singular/SOURCES/"
405 (string-join (string-split version #\.) "-")
406 "/singular-" version ".tar.gz"))
408 "0viidy2fz62rln9p0s9qfs7fnm55c6fw1agydd1py26gxylp1ksc"))))
409 (build-system gnu-build-system)
411 `(("doxygen" ,doxygen)
412 ("graphviz" ,graphviz)
421 ("readline" ,readline)))
424 (list (string-append "--with-ntl="
425 (assoc-ref %build-inputs "ntl")))))
426 (synopsis "Computer algebra system for polynomial computations")
428 "Singular is a computer algebra system for polynomial computations,
429 with special emphasis on commutative and non-commutative algebra, algebraic
430 geometry and singularity theory.")
431 ;; Singular itself is dual licensed gpl2 or gpl3, but some of the
432 ;; libraries with which it links are licensed under lgpl3+, so the
433 ;; combined work becomes gpl3. See COPYING in the source code.
434 (license license:gpl3)
435 (home-page "http://www.singular.uni-kl.de/index.php")))
437 (define-public gmp-ecm
443 (uri (string-append "https://gforge.inria.fr/frs/download.php/"
447 "00jzzwqp49m01vwsr9z1w7bvm8lb69l3f62x7qr8sfz0xiczxnpm"))))
448 (build-system gnu-build-system)
452 `(#:configure-flags '("--enable-shared"
453 ;; Disable specific assembly routines, which depend
454 ;; on the subarchitecture of the build machine,
455 ;; and use gmp instead.
456 "--disable-asm-redc")))
457 (synopsis "Integer factorization library using the elliptic curve method")
459 "GMP-ECM factors integers using the elliptic curve method (ECM) as well
460 as the P-1 and P+1 algorithms. It provides a library and a stand-alone
462 ;; Most files are under lgpl3+, but some are under gpl3+ or gpl2+,
463 ;; so the combined work is under gpl3+.
464 (license license:gpl3+)
465 (home-page "http://ecm.gforge.inria.fr/")))
473 (uri (string-append "mirror://gnu/bc/bc-" version ".tar.gz"))
476 "0cqf5jkwx6awgd2xc2a0mkpxilzcfmhncdcfg7c9439wgkqxkxjf"))))
477 (build-system gnu-build-system)
478 (inputs `(("readline" ,readline)))
479 (native-inputs `(("flex" ,flex)))
482 (alist-replace 'configure
483 (lambda* (#:key outputs #:allow-other-keys)
484 ;; This old `configure' script doesn't support
485 ;; variables passed as arguments.
486 (let ((out (assoc-ref outputs "out")))
487 (setenv "CONFIG_SHELL" (which "bash"))
491 (string-append "--prefix=" out)
492 ;; By default, man and info pages are put in
493 ;; PREFIX/{man,info}, but we want them in
494 ;; PREFIX/share/{man,info}.
495 (string-append "--mandir=" out "/share/man")
496 (string-append "--infodir=" out "/share/info")))))
498 (home-page "http://www.gnu.org/software/bc/")
499 (synopsis "Arbitrary precision numeric processing language")
501 "bc is an arbitrary precision numeric processing language. It includes
502 an interactive environment for evaluating mathematical statements. Its
503 syntax is similar to that of C, so basic usage is familiar. It also includes
504 \"dc\", a reverse-polish calculator.")
505 (license license:gpl2+)))
507 ;; The original kiss-fft does not have a complete build system and does not
508 ;; build any shared libraries. This is a fork used by Extempore.
509 (define-public kiss-fft-for-extempore
511 (name "kiss-fft-for-extempore")
515 (uri (string-append "https://github.com/extemporelang/kiss_fft/archive/"
517 (file-name (string-append name "-" version ".tar.gz"))
520 "0hkp9l6l4c92fb1l2sh6a6zv1hynpvb2s4d03vd8vxyvybc0l4pv"))))
521 (build-system cmake-build-system)
522 (arguments `(#:tests? #f)) ; no tests included
523 ;; Extempore refuses to build on architectures other than x86_64
524 (supported-systems '("x86_64-linux"))
525 (home-page "https://github.com/extemporelang/kiss_fft")
526 (synopsis "Mixed-radix Fast Fourier Transform")
528 "Kiss FFT attempts to be a reasonably efficient, moderately useful FFT
529 that can use fixed or floating data types and can easily be incorporated into
531 (license license:bsd-3)))
539 (uri (string-append "ftp://ftp.fftw.org/pub/fftw/fftw-"
543 "1kwbx92ps0r7s2mqy7lxbxanslxdzj7dp7r7gmdkzv1j8yqf3kwf"))))
544 (build-system gnu-build-system)
547 '("--enable-shared" "--enable-openmp" "--enable-threads")
548 #:phases (alist-cons-before
551 ;; By default '-mtune=native' is used. However, that may
552 ;; cause the use of ISA extensions (SSE2, etc.) that are
553 ;; not necessarily available on the user's machine when
554 ;; that package is built on a different machine.
555 (substitute* (find-files "." "Makefile$")
556 (("-mtune=native") "")))
558 (native-inputs `(("perl" ,perl)))
559 (home-page "http://fftw.org")
560 (synopsis "Computing the discrete Fourier transform")
562 "FFTW is a C subroutine library for computing the discrete Fourier
563 transform (DFT) in one or more dimensions, of arbitrary input size, and of
564 both real and complex data (as well as of even/odd data---i.e. the discrete
565 cosine/ sine transforms or DCT/DST).")
566 (license license:gpl2+)))
569 (package (inherit fftw)
572 (substitute-keyword-arguments (package-arguments fftw)
573 ((#:configure-flags cf)
574 `(cons "--enable-float" ,cf))))
576 (string-append (package-description fftw)
577 " Single-precision version."))))
579 (define-public fftw-openmpi
580 (package (inherit fftw)
581 (name "fftw-openmpi")
583 `(("openmpi" ,openmpi)
584 ,@(package-inputs fftw)))
586 (substitute-keyword-arguments (package-arguments fftw)
587 ((#:configure-flags cf)
588 `(cons "--enable-mpi" ,cf))))
590 (string-append (package-description fftw)
591 " With OpenMPI parallelism support."))))
599 (uri (string-append "https://bitbucket.org/eigen/eigen/get/"
603 "1zs5b210mq7nyanky07li6456rrd0xv2nxf6sl2lhkzdq5p067jd"))
604 (file-name (string-append name "-" version ".tar.bz2"))
605 (modules '((guix build utils)))
607 ;; There are 3 test failures in the "unsupported" directory,
608 ;; but maintainers say it's a known issue and it's unsupported
609 ;; anyway, so just skip them.
610 '(substitute* "CMakeLists.txt"
611 (("add_subdirectory\\(unsupported\\)")
612 "# Do not build the tests for unsupported features.\n")
614 ;; <http://eigen.tuxfamily.org/bz/show_bug.cgi?id=1114>.
615 (("\"include/eigen3\"")
616 "\"${CMAKE_INSTALL_PREFIX}/include/eigen3\"")))))
617 (build-system cmake-build-system)
619 '(;; Turn off debugging symbols to save space.
620 #:build-type "Release"
622 #:phases (modify-phases %standard-phases
625 (let* ((cores (parallel-job-count))
626 (dash-j (format #f "-j~a" cores)))
627 ;; First build the tests, in parallel. See
628 ;; <http://eigen.tuxfamily.org/index.php?title=Tests>.
629 (and (zero? (system* "make" "buildtests" dash-j))
631 ;; Then run 'CTest' with -V so we get more
632 ;; details upon failure.
633 (zero? (system* "ctest" "-V" dash-j)))))))))
634 (home-page "http://eigen.tuxfamily.org")
635 (synopsis "C++ template library for linear algebra")
637 "Eigen is a C++ template library for linear algebra: matrices, vectors,
638 numerical solvers, and related algorithms. It provides an elegant API based
639 on \"expression templates\". It is versatile: it supports all matrix sizes,
640 all standard numeric types, various matrix decompositions and geometry
641 features, and more.")
643 ;; Most of the code is MPLv2, with a few files under LGPLv2.1+ or BSD-3.
644 ;; See 'COPYING.README' for details.
645 (license license:mpl2.0)))