[jackhill/guix/guix.git] / distro / packages / algebra.scm

;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2012 Andreas Enge <andreas@enge.fr>
;;;
;;; 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 (distro packages algebra)
  #:use-module (distro)
  #:use-module (distro packages multiprecision)
  #:use-module (guix licenses)
  #:use-module (guix packages)
  #:use-module (guix download)
  #:use-module (guix build-system gnu))


(define-public mpfrcx
  (package
   (name "mpfrcx")
   (version "0.4.1")
   (source (origin
            (method url-fetch)
            (uri (string-append
                  "http://www.multiprecision.org/mpfrcx/download/mpfrcx-"
                  version ".tar.gz"))
            (sha256
             (base32
              "1rrc75chxyicqjgg5mfhgbz7p9mx1fgh0qlx14a82m25vfhifnd1"))))
   (build-system gnu-build-system)
   (inputs `(("gmp" ,gmp)
             ("mpfr" ,mpfr)
             ("mpc"  ,mpc)))
   (synopsis "mpfrcx, a library for the arithmetic of univariate polynomials
over arbitrary precision real or complex 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.1")
   (source (origin
            (method url-fetch)
            (uri (string-append
                  "http://perso.ens-lyon.fr/damien.stehle/fplll/libfplll-"
                  version ".tar.gz"))
            (sha256 (base32
                     "122bpqdlikshhd7nmq0l5qfc0agyk7x21gvplv1l9hb77l8cy9rw"))))
   (build-system gnu-build-system)
   (inputs `(("gmp" ,gmp)
             ("mpfr" ,mpfr)))
   (synopsis "fplll, a 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/")))
Commit	Line	Data
233e7676 LC	1	;;; GNU Guix --- Functional package management for GNU
233e7676 LC	2	;;; Copyright © 2012 Andreas Enge <andreas@enge.fr>
2ed139c4	3	;;;
233e7676	4	;;; This file is part of GNU Guix.
2ed139c4	5	;;;
233e7676	6	;;; GNU Guix is free software; you can redistribute it and/or modify it
2ed139c4 AE	7	;;; under the terms of the GNU General Public License as published by
	8	;;; the Free Software Foundation; either version 3 of the License, or (at
	9	;;; your option) any later version.
	10	;;;
233e7676	11	;;; GNU Guix is distributed in the hope that it will be useful, but
2ed139c4 AE	12	;;; WITHOUT ANY WARRANTY; without even the implied warranty of
	13	;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	14	;;; GNU General Public License for more details.
	15	;;;
	16	;;; You should have received a copy of the GNU General Public License
233e7676	17	;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
2ed139c4 AE	18
	19	(define-module (distro packages algebra)
	20	#:use-module (distro)
	21	#:use-module (distro packages multiprecision)
	22	#:use-module (guix licenses)
	23	#:use-module (guix packages)
	24	#:use-module (guix download)
	25	#:use-module (guix build-system gnu))
	26
	27
	28	(define-public mpfrcx
	29	(package
	30	(name "mpfrcx")
	31	(version "0.4.1")
	32	(source (origin
	33	(method url-fetch)
	34	(uri (string-append
	35	"http://www.multiprecision.org/mpfrcx/download/mpfrcx-"
	36	version ".tar.gz"))
	37	(sha256
	38	(base32
	39	"1rrc75chxyicqjgg5mfhgbz7p9mx1fgh0qlx14a82m25vfhifnd1"))))
	40	(build-system gnu-build-system)
	41	(inputs `(("gmp" ,gmp)
	42	("mpfr" ,mpfr)
	43	("mpc" ,mpc)))
	44	(synopsis "mpfrcx, a library for the arithmetic of univariate polynomials
	45	over arbitrary precision real or complex numbers")
	46	(description
	47	"mpfrcx is a library for the arithmetic of univariate polynomials over
	48	arbitrary precision real (mpfr) or complex (mpc) numbers, without control
	49	on the rounding. For the time being, only the few functions needed to
	50	implement the floating point approach to complex multiplication are
	51	implemented. On the other hand, these comprise asymptotically fast
	52	multiplication routines such as Toom–Cook and the FFT. ")
	53	(license lgpl2.1+)
	54	(home-page "http://mpfrcx.multiprecision.org/")))
	55
	56
	57	(define-public fplll
	58	(package
	59	(name "fplll")
	60	(version "4.0.1")
	61	(source (origin
	62	(method url-fetch)
	63	(uri (string-append
	64	"http://perso.ens-lyon.fr/damien.stehle/fplll/libfplll-"
	65	version ".tar.gz"))
	66	(sha256 (base32
	67	"122bpqdlikshhd7nmq0l5qfc0agyk7x21gvplv1l9hb77l8cy9rw"))))
	68	(build-system gnu-build-system)
	69	(inputs `(("gmp" ,gmp)
	70	("mpfr" ,mpfr)))
	71	(synopsis "fplll, a library for LLL-reduction of euclidean lattices")
	72	(description
	73	"fplll LLL-reduces euclidean lattices. Since version 3, it can also
	74	solve the shortest vector problem.")
	75	(license lgpl2.1+)
	76	(home-page "http://perso.ens-lyon.fr/damien.stehle/fplll/")))