403 lines
16 KiB
Scheme
403 lines
16 KiB
Scheme
;;; GNU Guix --- Functional package management for GNU
|
||
;;; Copyright © 2012, 2013, 2014, 2015 Andreas Enge <andreas@enge.fr>
|
||
;;; Copyright © 2013, 2015 Ludovic Courtès <ludo@gnu.org>
|
||
;;; Copyright © 2014 Mark H Weaver <mhw@netris.org>
|
||
;;;
|
||
;;; This file is part of GNU Guix.
|
||
;;;
|
||
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
||
;;; under the terms of the GNU General Public License as published by
|
||
;;; the Free Software Foundation; either version 3 of the License, or (at
|
||
;;; your option) any later version.
|
||
;;;
|
||
;;; GNU Guix is distributed in the hope that it will be useful, but
|
||
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
;;; GNU General Public License for more details.
|
||
;;;
|
||
;;; You should have received a copy of the GNU General Public License
|
||
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
||
|
||
(define-module (gnu packages algebra)
|
||
#:use-module (gnu packages)
|
||
#:use-module (gnu packages multiprecision)
|
||
#:use-module (gnu packages mpi)
|
||
#:use-module (gnu packages perl)
|
||
#:use-module (gnu packages readline)
|
||
#:use-module (gnu packages flex)
|
||
#:use-module (guix licenses)
|
||
#:use-module (guix packages)
|
||
#:use-module (guix download)
|
||
#:use-module (guix build-system gnu)
|
||
#:use-module (guix build-system cmake)
|
||
#:use-module (guix utils))
|
||
|
||
|
||
(define-public mpfrcx
|
||
(package
|
||
(name "mpfrcx")
|
||
(version "0.4.2")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append
|
||
"http://www.multiprecision.org/mpfrcx/download/mpfrcx-"
|
||
version ".tar.gz"))
|
||
(sha256
|
||
(base32
|
||
"0grw66b255r574lvll1bqccm5myj2m8ajzsjaygcyq9zjnnbnhhy"))))
|
||
(build-system gnu-build-system)
|
||
(inputs `(("gmp" ,gmp)
|
||
("mpfr" ,mpfr)
|
||
("mpc" ,mpc)))
|
||
(synopsis "Arithmetic of polynomials over arbitrary precision numbers")
|
||
(description
|
||
"Mpfrcx is a library for the arithmetic of univariate polynomials over
|
||
arbitrary precision real (mpfr) or complex (mpc) numbers, without control
|
||
on the rounding. For the time being, only the few functions needed to
|
||
implement the floating point approach to complex multiplication are
|
||
implemented. On the other hand, these comprise asymptotically fast
|
||
multiplication routines such as Toom–Cook and the FFT. ")
|
||
(license lgpl2.1+)
|
||
(home-page "http://mpfrcx.multiprecision.org/")))
|
||
|
||
(define-public fplll
|
||
(package
|
||
(name "fplll")
|
||
(version "4.0.4")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append
|
||
"http://perso.ens-lyon.fr/damien.stehle/fplll/libfplll-"
|
||
version ".tar.gz"))
|
||
(sha256 (base32
|
||
"1cbiby7ykis4z84swclpysrljmqhfcllpkcbll1m08rzskgb1a6b"))))
|
||
(build-system gnu-build-system)
|
||
(inputs `(("gmp" ,gmp)
|
||
("mpfr" ,mpfr)))
|
||
(synopsis "Library for LLL-reduction of euclidean lattices")
|
||
(description
|
||
"fplll LLL-reduces euclidean lattices. Since version 3, it can also
|
||
solve the shortest vector problem.")
|
||
(license lgpl2.1+)
|
||
(home-page "http://perso.ens-lyon.fr/damien.stehle/fplll/")))
|
||
|
||
(define-public pari-gp
|
||
(package
|
||
(name "pari-gp")
|
||
(version "2.7.2")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append
|
||
"http://pari.math.u-bordeaux.fr/pub/pari/unix/pari-"
|
||
version ".tar.gz"))
|
||
(sha256 (base32
|
||
"1b0hzyhafpxhmiljyhnsh6c27ydsvb2599fshwq2fjfm96awjxmc"))))
|
||
(build-system gnu-build-system)
|
||
(inputs `(("gmp" ,gmp)
|
||
("perl" ,perl)
|
||
("readline" ,readline)))
|
||
(arguments
|
||
'(#:make-flags '("gp")
|
||
;; FIXME: building the documentation requires tex; once this is available,
|
||
;; replace "gp" by "all"
|
||
#:test-target "dobench"
|
||
#:phases
|
||
(alist-replace
|
||
'configure
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(let ((out (assoc-ref outputs "out")))
|
||
(zero?
|
||
(system* "./Configure" (string-append "--prefix=" out)))))
|
||
%standard-phases)))
|
||
(synopsis "PARI/GP, a computer algebra system for number theory")
|
||
(description
|
||
"PARI/GP is a widely used computer algebra system designed for fast
|
||
computations in number theory (factorisations, algebraic number theory,
|
||
elliptic curves...), but it also contains a large number of other useful
|
||
functions to compute with mathematical entities such as matrices,
|
||
polynomials, power series, algebraic numbers, etc., and a lot of
|
||
transcendental functions.
|
||
PARI is also available as a C library to allow for faster computations.")
|
||
(license gpl2+)
|
||
(home-page "http://pari.math.u-bordeaux.fr/")))
|
||
|
||
(define-public gp2c
|
||
(package
|
||
(name "gp2c")
|
||
(version "0.0.9pl2")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append
|
||
"http://pari.math.u-bordeaux.fr/pub/pari/GP2C/gp2c-"
|
||
version ".tar.gz"))
|
||
(sha256 (base32
|
||
"02h35fwz1caicii7fj8zb9ky4hcrd8rqmzkyvhbls0r05yg5bwwb"))))
|
||
(build-system gnu-build-system)
|
||
(native-inputs `(("perl" ,perl)))
|
||
(inputs `(("pari-gp" ,pari-gp)))
|
||
(arguments
|
||
'(#:configure-flags
|
||
(list (string-append "--with-paricfg="
|
||
(assoc-ref %build-inputs "pari-gp")
|
||
"/lib/pari/pari.cfg"))))
|
||
(synopsis "PARI/GP, a computer algebra system for number theory")
|
||
(description
|
||
"PARI/GP is a widely used computer algebra system designed for fast
|
||
computations in number theory (factorisations, algebraic number theory,
|
||
elliptic curves...), but it also contains a large number of other useful
|
||
functions to compute with mathematical entities such as matrices,
|
||
polynomials, power series, algebraic numbers, etc., and a lot of
|
||
transcendental functions.
|
||
PARI is also available as a C library to allow for faster computations.
|
||
|
||
GP2C, the GP to C compiler, translates GP scripts to PARI programs.")
|
||
(license gpl2)
|
||
(home-page "http://pari.math.u-bordeaux.fr/")))
|
||
|
||
(define-public flint
|
||
(package
|
||
(name "flint")
|
||
(version "2.4.4")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append
|
||
"http://flintlib.org/flint-"
|
||
version ".tar.gz"))
|
||
(sha256 (base32
|
||
"1isv1sfv8sg3qvf0d99apdfi3jnql95xfzszcawdf1pgjj9rwyf4"))))
|
||
(build-system gnu-build-system)
|
||
(inputs
|
||
`(("gmp" ,gmp)
|
||
("mpfr" ,mpfr)))
|
||
(arguments
|
||
`(#:phases
|
||
(alist-replace
|
||
'configure
|
||
(lambda* (#:key inputs outputs #:allow-other-keys)
|
||
(let ((out (assoc-ref outputs "out"))
|
||
(gmp (assoc-ref inputs "gmp"))
|
||
(mpfr (assoc-ref inputs "mpfr")))
|
||
;; Drop test failing with gmp-6 due to changed invertibility
|
||
;; of 0 in Z/1 Z, which according to the flint authors has no
|
||
;; impact on flint.
|
||
;; FIXME: Drop with later version.
|
||
(delete-file "fmpz/test/t-invmod.c")
|
||
;; do not pass "--enable-fast-install", which makes the
|
||
;; homebrew configure process fail
|
||
(zero? (system*
|
||
"./configure"
|
||
(string-append "--prefix=" out)
|
||
(string-append "--with-gmp=" gmp)
|
||
(string-append "--with-mpfr=" mpfr)))))
|
||
%standard-phases)))
|
||
(synopsis "Fast library for number theory")
|
||
(description
|
||
"FLINT is a C library for number theory. It supports arithmetic
|
||
with numbers, polynomials, power series and matrices over many base
|
||
rings, including multiprecision integers and rationals, integers
|
||
modulo n, p-adic numbers, finite fields (prime and non-prime order)
|
||
and real and complex numbers (via the Arb extension library).
|
||
|
||
Operations that can be performed include conversions, arithmetic,
|
||
GCDs, factoring, solving linear systems, and evaluating special
|
||
functions. In addition, FLINT provides various low-level routines for
|
||
fast arithmetic.")
|
||
(license gpl2+)
|
||
(home-page "http://flintlib.org/")))
|
||
|
||
(define-public arb
|
||
(package
|
||
(name "arb")
|
||
(version "2.2.0")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append
|
||
"https://github.com/fredrik-johansson/arb/archive/"
|
||
version ".tar.gz"))
|
||
(sha256 (base32
|
||
"0a8cgzznkmr59ngj4di9a37b5h4i00gbnixnxlwd34bcbflvjzyr"))))
|
||
(build-system gnu-build-system)
|
||
(inputs
|
||
`(("flint" ,flint)
|
||
("gmp" ,gmp)
|
||
("mpfr" ,mpfr)))
|
||
(arguments
|
||
`(#:phases
|
||
(alist-replace
|
||
'configure
|
||
(lambda* (#:key inputs outputs #:allow-other-keys)
|
||
(let ((out (assoc-ref outputs "out"))
|
||
(flint (assoc-ref inputs "flint"))
|
||
(gmp (assoc-ref inputs "gmp"))
|
||
(mpfr (assoc-ref inputs "mpfr")))
|
||
;; do not pass "--enable-fast-install", which makes the
|
||
;; homebrew configure process fail
|
||
(zero? (system*
|
||
"./configure"
|
||
(string-append "--prefix=" out)
|
||
(string-append "--with-flint=" flint)
|
||
(string-append "--with-gmp=" gmp)
|
||
(string-append "--with-mpfr=" mpfr)))))
|
||
%standard-phases)))
|
||
(synopsis "Arbitrary precision floating-point ball arithmetic")
|
||
(description
|
||
"Arb is a C library for arbitrary-precision floating-point ball
|
||
arithmetic. It supports efficient high-precision computation with
|
||
polynomials, power series, matrices and special functions over the
|
||
real and complex numbers, with automatic, rigorous error control.")
|
||
(license gpl2+)
|
||
(home-page "http://fredrikj.net/arb/")))
|
||
|
||
(define-public bc
|
||
(package
|
||
(name "bc")
|
||
(version "1.06")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append "mirror://gnu/bc/bc-" version ".tar.gz"))
|
||
(sha256
|
||
(base32
|
||
"0cqf5jkwx6awgd2xc2a0mkpxilzcfmhncdcfg7c9439wgkqxkxjf"))))
|
||
(build-system gnu-build-system)
|
||
(inputs `(("readline" ,readline)))
|
||
(native-inputs `(("flex" ,flex)))
|
||
(arguments
|
||
'(#:phases
|
||
(alist-replace 'configure
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
;; This old `configure' script doesn't support
|
||
;; variables passed as arguments.
|
||
(let ((out (assoc-ref outputs "out")))
|
||
(setenv "CONFIG_SHELL" (which "bash"))
|
||
(zero?
|
||
(system*
|
||
"./configure"
|
||
(string-append "--prefix=" out)
|
||
;; By default, man and info pages are put in
|
||
;; PREFIX/{man,info}, but we want them in
|
||
;; PREFIX/share/{man,info}.
|
||
(string-append "--mandir=" out "/share/man")
|
||
(string-append "--infodir=" out "/share/info")))))
|
||
%standard-phases)))
|
||
(home-page "http://www.gnu.org/software/bc/")
|
||
(synopsis "Arbitrary precision numeric processing language")
|
||
(description
|
||
"bc is an arbitrary precision numeric processing language. It includes
|
||
an interactive environment for evaluating mathematical statements. Its
|
||
syntax is similar to that of C, so basic usage is familiar. It also includes
|
||
\"dc\", a reverse-polish calculator.")
|
||
(license gpl2+)))
|
||
|
||
(define-public fftw
|
||
(package
|
||
(name "fftw")
|
||
(version "3.3.4")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append "ftp://ftp.fftw.org/pub/fftw/fftw-"
|
||
version".tar.gz"))
|
||
(sha256
|
||
(base32
|
||
"10h9mzjxnwlsjziah4lri85scc05rlajz39nqf3mbh4vja8dw34g"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
'(#:configure-flags '("--enable-shared" "--enable-openmp")
|
||
#:phases (alist-cons-before
|
||
'build 'no-native
|
||
(lambda _
|
||
;; By default '-mtune=native' is used. However, that may
|
||
;; cause the use of ISA extensions (SSE2, etc.) that are
|
||
;; not necessarily available on the user's machine when
|
||
;; that package is built on a different machine.
|
||
(substitute* (find-files "." "Makefile$")
|
||
(("-mtune=native") "")))
|
||
%standard-phases)))
|
||
(native-inputs `(("perl" ,perl)))
|
||
(home-page "http://fftw.org")
|
||
(synopsis "Computing the discrete Fourier transform")
|
||
(description
|
||
"FFTW is a C subroutine library for computing the discrete Fourier
|
||
transform (DFT) in one or more dimensions, of arbitrary input size, and of
|
||
both real and complex data (as well as of even/odd data---i.e. the discrete
|
||
cosine/ sine transforms or DCT/DST).")
|
||
(license gpl2+)))
|
||
|
||
(define-public fftwf
|
||
(package (inherit fftw)
|
||
(name "fftwf")
|
||
(arguments
|
||
(substitute-keyword-arguments (package-arguments fftw)
|
||
((#:configure-flags cf)
|
||
`(cons "--enable-float" ,cf))))
|
||
(description
|
||
(string-append (package-description fftw)
|
||
" Single-precision version."))))
|
||
|
||
(define-public fftw-openmpi
|
||
(package (inherit fftw)
|
||
(name "fftw-openmpi")
|
||
(inputs
|
||
`(("openmpi" ,openmpi)
|
||
,@(package-inputs fftw)))
|
||
(arguments
|
||
(substitute-keyword-arguments (package-arguments fftw)
|
||
((#:configure-flags cf)
|
||
`(cons "--enable-mpi" ,cf))))
|
||
(description
|
||
(string-append (package-description fftw)
|
||
" With OpenMPI parallelism support."))))
|
||
|
||
(define-public eigen
|
||
(package
|
||
(name "eigen")
|
||
(version "3.2.4")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append "https://bitbucket.org/eigen/eigen/get/"
|
||
version ".tar.bz2"))
|
||
(sha256
|
||
(base32
|
||
"08l92i6vpzz9ypj89hn7rxm6cp4njgc6wr7nb4n3v01i5v4k4hyn"))
|
||
(modules '((guix build utils)))
|
||
(snippet
|
||
;; There are 3 test failures in the "unsupported" directory,
|
||
;; but maintainers say it's a known issue and it's unsupported
|
||
;; anyway, so just skip them.
|
||
'(substitute* "CMakeLists.txt"
|
||
(("add_subdirectory\\(unsupported\\)")
|
||
"# Do not build the tests for unsupported features.\n")))))
|
||
(build-system cmake-build-system)
|
||
(arguments
|
||
'(;; Turn off debugging symbols to save space.
|
||
#:build-type "Release"
|
||
|
||
;; Use 'make check', as per
|
||
;; <http://eigen.tuxfamily.org/index.php?title=Tests>.
|
||
#:test-target "check"
|
||
|
||
#:phases (alist-cons-before
|
||
'check 'build-tests
|
||
(lambda _
|
||
;; First build the tests, in parallel.
|
||
;; See <http://eigen.tuxfamily.org/index.php?title=Tests>.
|
||
(let* ((cores (current-processor-count))
|
||
(dash-j (format #f "-j~a" cores)))
|
||
;; These variables are supposed to be honored.
|
||
(setenv "EIGEN_MAKE_ARGS" dash-j)
|
||
(setenv "EIGEN_CTEST_ARGS" dash-j)
|
||
|
||
(zero? (system* "make" "buildtests" dash-j))))
|
||
%standard-phases)))
|
||
(home-page "http://eigen.tuxfamily.org")
|
||
(synopsis "C++ template library for linear algebra")
|
||
(description
|
||
"Eigen is a C++ template library for linear algebra: matrices, vectors,
|
||
numerical solvers, and related algorithms. It provides an elegant API based
|
||
on \"expression templates\". It is versatile: it supports all matrix sizes,
|
||
all standard numeric types, various matrix decompositions and geometry
|
||
features, and more.")
|
||
|
||
;; Most of the code is MPLv2, with a few files under LGPLv2.1+ or BSD-3.
|
||
;; See 'COPYING.README' for details.
|
||
(license mpl2.0)))
|