2013-01-05 23:47:50 +00:00
|
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
2017-03-03 16:02:12 +00:00
|
|
|
|
;;; Copyright © 2012, 2013, 2014, 2015, 2016, 2017 Andreas Enge <andreas@enge.fr>
|
2017-01-02 13:45:15 +00:00
|
|
|
|
;;; Copyright © 2013, 2015, 2017 Ludovic Courtès <ludo@gnu.org>
|
2018-01-04 09:20:13 +00:00
|
|
|
|
;;; Copyright © 2016, 2017, 2018 Nicolas Goaziou <mail@nicolasgoaziou.fr>
|
2014-03-20 07:51:09 +00:00
|
|
|
|
;;; Copyright © 2014 Mark H Weaver <mhw@netris.org>
|
2016-04-29 18:09:22 +00:00
|
|
|
|
;;; Copyright © 2016 Ricardo Wurmus <rekado@elephly.net>
|
2017-04-16 16:20:41 +00:00
|
|
|
|
;;; Copyright © 2017 Efraim Flashner <efraim@flashner.co.il>
|
2017-04-05 01:10:24 +00:00
|
|
|
|
;;; Copyright © 2017 Tobias Geerinckx-Rice <me@tobias.gr>
|
2017-04-14 10:26:02 +00:00
|
|
|
|
;;; Copyright © 2017 Marius Bakke <mbakke@fastmail.com>
|
2017-12-11 18:16:20 +00:00
|
|
|
|
;;; Copyright © 2017 Eric Bavier <bavier@member.fsf.org>
|
2012-12-19 22:50:52 +00:00
|
|
|
|
;;;
|
2013-01-05 23:47:50 +00:00
|
|
|
|
;;; This file is part of GNU Guix.
|
2012-12-19 22:50:52 +00:00
|
|
|
|
;;;
|
2013-01-05 23:47:50 +00:00
|
|
|
|
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
2012-12-19 22:50:52 +00:00
|
|
|
|
;;; 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.
|
|
|
|
|
;;;
|
2013-01-05 23:47:50 +00:00
|
|
|
|
;;; GNU Guix is distributed in the hope that it will be useful, but
|
2012-12-19 22:50:52 +00:00
|
|
|
|
;;; 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
|
2013-01-05 23:47:50 +00:00
|
|
|
|
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
2012-12-19 22:50:52 +00:00
|
|
|
|
|
2013-01-18 00:06:24 +00:00
|
|
|
|
(define-module (gnu packages algebra)
|
2013-01-18 00:06:47 +00:00
|
|
|
|
#:use-module (gnu packages)
|
2016-04-05 15:40:35 +00:00
|
|
|
|
#:use-module (gnu packages autotools)
|
2015-07-24 16:53:03 +00:00
|
|
|
|
#:use-module (gnu packages compression)
|
gnu: Update module imports for asciidoc and doxygen.
This is a followup to commit 0573a923def01e54bf104e0015ade44ab42f694f.
* gnu/packages/algebra.scm, gnu/packages/bioinformatics.scm,
gnu/packages/fcitx.scm, gnu/packages/fish.scm,
gnu/packages/freedesktop.scm, gnu/packages/game-development.scm,
gnu/packages/gcc.scm, gnu/packages/graphics.scm, gnu/packages/image.scm,
gnu/packages/kodi.scm, gnu/packages/libreoffice.scm,
gnu/packages/linux.scm, gnu/packages/messaging.scm,
gnu/packages/mpd.scm, gnu/packages/music.scm, gnu/packages/rdf.scm,
gnu/packages/serialization.scm, gnu/packages/version-control.scm,
gnu/packages/web.scm, gnu/packages/wm.scm, gnu/packages/xdisorg.scm,
gnu/packages/xiph.scm: Change imports of (gnu packages asciidoc) or
(gnu packages doxygen) to (gnu packages documentation).
2016-05-13 00:18:15 +00:00
|
|
|
|
#:use-module (gnu packages documentation)
|
2017-04-14 10:26:02 +00:00
|
|
|
|
#:use-module (gnu packages ed)
|
2017-04-04 23:01:00 +00:00
|
|
|
|
#:use-module (gnu packages flex)
|
2016-04-07 12:43:15 +00:00
|
|
|
|
#:use-module (gnu packages fltk)
|
|
|
|
|
#:use-module (gnu packages gl)
|
2016-04-05 23:26:23 +00:00
|
|
|
|
#:use-module (gnu packages graphviz)
|
2016-04-07 12:43:15 +00:00
|
|
|
|
#:use-module (gnu packages image)
|
2016-04-05 23:26:23 +00:00
|
|
|
|
#:use-module (gnu packages maths)
|
2014-05-08 21:54:06 +00:00
|
|
|
|
#:use-module (gnu packages mpi)
|
2017-04-04 23:01:00 +00:00
|
|
|
|
#:use-module (gnu packages multiprecision)
|
2013-01-18 00:06:24 +00:00
|
|
|
|
#:use-module (gnu packages perl)
|
2016-04-05 23:26:23 +00:00
|
|
|
|
#:use-module (gnu packages python)
|
2017-04-04 23:01:00 +00:00
|
|
|
|
#:use-module (gnu packages readline)
|
2016-08-03 09:01:56 +00:00
|
|
|
|
#:use-module (gnu packages shells)
|
2016-05-24 19:18:53 +00:00
|
|
|
|
#:use-module (gnu packages tex)
|
2017-04-14 10:26:02 +00:00
|
|
|
|
#:use-module (gnu packages texinfo)
|
2016-04-07 12:43:15 +00:00
|
|
|
|
#:use-module (gnu packages xiph)
|
2015-10-28 14:56:22 +00:00
|
|
|
|
#:use-module (gnu packages xorg)
|
2014-03-22 18:00:50 +00:00
|
|
|
|
#:use-module (guix build-system gnu)
|
2015-01-16 12:42:24 +00:00
|
|
|
|
#:use-module (guix build-system cmake)
|
2017-04-04 23:01:00 +00:00
|
|
|
|
#:use-module (guix download)
|
|
|
|
|
#:use-module ((guix licenses) #:prefix license:)
|
|
|
|
|
#:use-module (guix packages)
|
2014-03-22 18:00:50 +00:00
|
|
|
|
#:use-module (guix utils))
|
2012-12-19 22:50:52 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(define-public mpfrcx
|
|
|
|
|
(package
|
|
|
|
|
(name "mpfrcx")
|
2013-08-05 20:14:44 +00:00
|
|
|
|
(version "0.4.2")
|
2012-12-19 22:50:52 +00:00
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append
|
|
|
|
|
"http://www.multiprecision.org/mpfrcx/download/mpfrcx-"
|
|
|
|
|
version ".tar.gz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
2013-08-05 20:14:44 +00:00
|
|
|
|
"0grw66b255r574lvll1bqccm5myj2m8ajzsjaygcyq9zjnnbnhhy"))))
|
2012-12-19 22:50:52 +00:00
|
|
|
|
(build-system gnu-build-system)
|
2015-07-24 16:36:15 +00:00
|
|
|
|
(propagated-inputs
|
|
|
|
|
`(("gmp" ,gmp)
|
|
|
|
|
("mpfr" ,mpfr)
|
|
|
|
|
("mpc" ,mpc))) ; Header files are included by mpfrcx.h.
|
gnu: Some cleanup based on lint checkers.
* gnu/packages/admin.scm, gnu/packages/aidc.scm, gnu/packages/algebra.scm,
gnu/packages/apr.scm, gnu/packages/avahi.scm, gnu/packages/backup.scm,
gnu/packages/base.scm, gnu/packages/calcurse.scm, gnu/packages/cdrom.scm,
gnu/packages/check.scm, gnu/packages/compression.scm, gnu/packages/cook.scm,
gnu/packages/crypto.scm, gnu/packages/cryptsetup.scm, gnu/packages/curl.scm,
gnu/packages/cyrus-sasl.scm, gnu/packages/databases.scm,
gnu/packages/doxygen.scm, gnu/packages/dwm.scm, gnu/packages/elf.scm,
gnu/packages/emacs.scm, gnu/packages/feh.scm, gnu/packages/file.scm,
gnu/packages/fish.scm, gnu/packages/flex.scm, gnu/packages/fltk.scm,
gnu/packages/fontutils.scm, gnu/packages/games.scm, gnu/packages/gcal.scm,
gnu/packages/gcc.scm, gnu/packages/geeqie.scm, gnu/packages/ghostscript.scm,
gnu/packages/gimp.scm, gnu/packages/gl.scm, gnu/packages/glib.scm,
gnu/packages/gnome.scm, gnu/packages/gnunet.scm, gnu/packages/gnupg.scm,
gnu/packages/gperf.scm, gnu/packages/grub.scm, gnu/packages/gsasl.scm,
gnu/packages/gtk.scm, gnu/packages/guile-wm.scm, gnu/packages/guile.scm,
gnu/packages/hurd.scm, gnu/packages/icu4c.scm, gnu/packages/image.scm,
gnu/packages/imagemagick.scm, gnu/packages/irssi.scm, gnu/packages/kde.scm,
gnu/packages/libdaemon.scm, gnu/packages/libevent.scm,
gnu/packages/libidn.scm, gnu/packages/libusb.scm, gnu/packages/linux.scm,
gnu/packages/lout.scm, gnu/packages/lsh.scm, gnu/packages/lsof.scm,
gnu/packages/lua.scm, gnu/packages/maths.scm, gnu/packages/mcrypt.scm,
gnu/packages/mp3.scm, gnu/packages/netpbm.scm, gnu/packages/noweb.scm,
gnu/packages/ocaml.scm, gnu/packages/openssl.scm, gnu/packages/pcre.scm,
gnu/packages/pdf.scm, gnu/packages/pkg-config.scm,
gnu/packages/pretty-print.scm, gnu/packages/python.scm, gnu/packages/qt.scm,
gnu/packages/rsync.scm, gnu/packages/scheme.scm, gnu/packages/scrot.scm,
gnu/packages/sdl.scm, gnu/packages/skribilo.scm, gnu/packages/ssh.scm,
gnu/packages/stalonetray.scm, gnu/packages/tcl.scm, gnu/packages/tcsh.scm,
gnu/packages/telephony.scm, gnu/packages/texlive.scm, gnu/packages/tor.scm,
gnu/packages/valgrind.scm, gnu/packages/version-control.scm,
gnu/packages/vim.scm, gnu/packages/vpn.scm, gnu/packages/w3m.scm,
gnu/packages/web.scm, gnu/packages/wordnet.scm, gnu/packages/xiph.scm,
gnu/packages/xml.scm, gnu/packages/xorg.scm, gnu/packages/zile.scm,
gnu/packages/zip.scm, gnu/packages/zsh.scm [synopsis, description]: Adjust
according to lint checkers.
* gnu/packages/fltk.scm (fltk)[source]: Wrap long line in uri.
* /gnu/packages/xiph.scm (libogg, libtheora, vorbis-tools)[source]: Same.
2014-10-24 04:46:59 +00:00
|
|
|
|
(synopsis "Arithmetic of polynomials over arbitrary precision numbers")
|
2012-12-19 22:50:52 +00:00
|
|
|
|
(description
|
gnu: Some cleanup based on lint checkers.
* gnu/packages/admin.scm, gnu/packages/aidc.scm, gnu/packages/algebra.scm,
gnu/packages/apr.scm, gnu/packages/avahi.scm, gnu/packages/backup.scm,
gnu/packages/base.scm, gnu/packages/calcurse.scm, gnu/packages/cdrom.scm,
gnu/packages/check.scm, gnu/packages/compression.scm, gnu/packages/cook.scm,
gnu/packages/crypto.scm, gnu/packages/cryptsetup.scm, gnu/packages/curl.scm,
gnu/packages/cyrus-sasl.scm, gnu/packages/databases.scm,
gnu/packages/doxygen.scm, gnu/packages/dwm.scm, gnu/packages/elf.scm,
gnu/packages/emacs.scm, gnu/packages/feh.scm, gnu/packages/file.scm,
gnu/packages/fish.scm, gnu/packages/flex.scm, gnu/packages/fltk.scm,
gnu/packages/fontutils.scm, gnu/packages/games.scm, gnu/packages/gcal.scm,
gnu/packages/gcc.scm, gnu/packages/geeqie.scm, gnu/packages/ghostscript.scm,
gnu/packages/gimp.scm, gnu/packages/gl.scm, gnu/packages/glib.scm,
gnu/packages/gnome.scm, gnu/packages/gnunet.scm, gnu/packages/gnupg.scm,
gnu/packages/gperf.scm, gnu/packages/grub.scm, gnu/packages/gsasl.scm,
gnu/packages/gtk.scm, gnu/packages/guile-wm.scm, gnu/packages/guile.scm,
gnu/packages/hurd.scm, gnu/packages/icu4c.scm, gnu/packages/image.scm,
gnu/packages/imagemagick.scm, gnu/packages/irssi.scm, gnu/packages/kde.scm,
gnu/packages/libdaemon.scm, gnu/packages/libevent.scm,
gnu/packages/libidn.scm, gnu/packages/libusb.scm, gnu/packages/linux.scm,
gnu/packages/lout.scm, gnu/packages/lsh.scm, gnu/packages/lsof.scm,
gnu/packages/lua.scm, gnu/packages/maths.scm, gnu/packages/mcrypt.scm,
gnu/packages/mp3.scm, gnu/packages/netpbm.scm, gnu/packages/noweb.scm,
gnu/packages/ocaml.scm, gnu/packages/openssl.scm, gnu/packages/pcre.scm,
gnu/packages/pdf.scm, gnu/packages/pkg-config.scm,
gnu/packages/pretty-print.scm, gnu/packages/python.scm, gnu/packages/qt.scm,
gnu/packages/rsync.scm, gnu/packages/scheme.scm, gnu/packages/scrot.scm,
gnu/packages/sdl.scm, gnu/packages/skribilo.scm, gnu/packages/ssh.scm,
gnu/packages/stalonetray.scm, gnu/packages/tcl.scm, gnu/packages/tcsh.scm,
gnu/packages/telephony.scm, gnu/packages/texlive.scm, gnu/packages/tor.scm,
gnu/packages/valgrind.scm, gnu/packages/version-control.scm,
gnu/packages/vim.scm, gnu/packages/vpn.scm, gnu/packages/w3m.scm,
gnu/packages/web.scm, gnu/packages/wordnet.scm, gnu/packages/xiph.scm,
gnu/packages/xml.scm, gnu/packages/xorg.scm, gnu/packages/zile.scm,
gnu/packages/zip.scm, gnu/packages/zsh.scm [synopsis, description]: Adjust
according to lint checkers.
* gnu/packages/fltk.scm (fltk)[source]: Wrap long line in uri.
* /gnu/packages/xiph.scm (libogg, libtheora, vorbis-tools)[source]: Same.
2014-10-24 04:46:59 +00:00
|
|
|
|
"Mpfrcx is a library for the arithmetic of univariate polynomials over
|
2012-12-19 22:50:52 +00:00
|
|
|
|
arbitrary precision real (mpfr) or complex (mpc) numbers, without control
|
gnu: Some cleanup based on lint checkers.
* gnu/packages/admin.scm, gnu/packages/aidc.scm, gnu/packages/algebra.scm,
gnu/packages/apr.scm, gnu/packages/avahi.scm, gnu/packages/backup.scm,
gnu/packages/base.scm, gnu/packages/calcurse.scm, gnu/packages/cdrom.scm,
gnu/packages/check.scm, gnu/packages/compression.scm, gnu/packages/cook.scm,
gnu/packages/crypto.scm, gnu/packages/cryptsetup.scm, gnu/packages/curl.scm,
gnu/packages/cyrus-sasl.scm, gnu/packages/databases.scm,
gnu/packages/doxygen.scm, gnu/packages/dwm.scm, gnu/packages/elf.scm,
gnu/packages/emacs.scm, gnu/packages/feh.scm, gnu/packages/file.scm,
gnu/packages/fish.scm, gnu/packages/flex.scm, gnu/packages/fltk.scm,
gnu/packages/fontutils.scm, gnu/packages/games.scm, gnu/packages/gcal.scm,
gnu/packages/gcc.scm, gnu/packages/geeqie.scm, gnu/packages/ghostscript.scm,
gnu/packages/gimp.scm, gnu/packages/gl.scm, gnu/packages/glib.scm,
gnu/packages/gnome.scm, gnu/packages/gnunet.scm, gnu/packages/gnupg.scm,
gnu/packages/gperf.scm, gnu/packages/grub.scm, gnu/packages/gsasl.scm,
gnu/packages/gtk.scm, gnu/packages/guile-wm.scm, gnu/packages/guile.scm,
gnu/packages/hurd.scm, gnu/packages/icu4c.scm, gnu/packages/image.scm,
gnu/packages/imagemagick.scm, gnu/packages/irssi.scm, gnu/packages/kde.scm,
gnu/packages/libdaemon.scm, gnu/packages/libevent.scm,
gnu/packages/libidn.scm, gnu/packages/libusb.scm, gnu/packages/linux.scm,
gnu/packages/lout.scm, gnu/packages/lsh.scm, gnu/packages/lsof.scm,
gnu/packages/lua.scm, gnu/packages/maths.scm, gnu/packages/mcrypt.scm,
gnu/packages/mp3.scm, gnu/packages/netpbm.scm, gnu/packages/noweb.scm,
gnu/packages/ocaml.scm, gnu/packages/openssl.scm, gnu/packages/pcre.scm,
gnu/packages/pdf.scm, gnu/packages/pkg-config.scm,
gnu/packages/pretty-print.scm, gnu/packages/python.scm, gnu/packages/qt.scm,
gnu/packages/rsync.scm, gnu/packages/scheme.scm, gnu/packages/scrot.scm,
gnu/packages/sdl.scm, gnu/packages/skribilo.scm, gnu/packages/ssh.scm,
gnu/packages/stalonetray.scm, gnu/packages/tcl.scm, gnu/packages/tcsh.scm,
gnu/packages/telephony.scm, gnu/packages/texlive.scm, gnu/packages/tor.scm,
gnu/packages/valgrind.scm, gnu/packages/version-control.scm,
gnu/packages/vim.scm, gnu/packages/vpn.scm, gnu/packages/w3m.scm,
gnu/packages/web.scm, gnu/packages/wordnet.scm, gnu/packages/xiph.scm,
gnu/packages/xml.scm, gnu/packages/xorg.scm, gnu/packages/zile.scm,
gnu/packages/zip.scm, gnu/packages/zsh.scm [synopsis, description]: Adjust
according to lint checkers.
* gnu/packages/fltk.scm (fltk)[source]: Wrap long line in uri.
* /gnu/packages/xiph.scm (libogg, libtheora, vorbis-tools)[source]: Same.
2014-10-24 04:46:59 +00:00
|
|
|
|
on the rounding. For the time being, only the few functions needed to
|
2012-12-19 22:50:52 +00:00
|
|
|
|
implement the floating point approach to complex multiplication are
|
gnu: Some cleanup based on lint checkers.
* gnu/packages/admin.scm, gnu/packages/aidc.scm, gnu/packages/algebra.scm,
gnu/packages/apr.scm, gnu/packages/avahi.scm, gnu/packages/backup.scm,
gnu/packages/base.scm, gnu/packages/calcurse.scm, gnu/packages/cdrom.scm,
gnu/packages/check.scm, gnu/packages/compression.scm, gnu/packages/cook.scm,
gnu/packages/crypto.scm, gnu/packages/cryptsetup.scm, gnu/packages/curl.scm,
gnu/packages/cyrus-sasl.scm, gnu/packages/databases.scm,
gnu/packages/doxygen.scm, gnu/packages/dwm.scm, gnu/packages/elf.scm,
gnu/packages/emacs.scm, gnu/packages/feh.scm, gnu/packages/file.scm,
gnu/packages/fish.scm, gnu/packages/flex.scm, gnu/packages/fltk.scm,
gnu/packages/fontutils.scm, gnu/packages/games.scm, gnu/packages/gcal.scm,
gnu/packages/gcc.scm, gnu/packages/geeqie.scm, gnu/packages/ghostscript.scm,
gnu/packages/gimp.scm, gnu/packages/gl.scm, gnu/packages/glib.scm,
gnu/packages/gnome.scm, gnu/packages/gnunet.scm, gnu/packages/gnupg.scm,
gnu/packages/gperf.scm, gnu/packages/grub.scm, gnu/packages/gsasl.scm,
gnu/packages/gtk.scm, gnu/packages/guile-wm.scm, gnu/packages/guile.scm,
gnu/packages/hurd.scm, gnu/packages/icu4c.scm, gnu/packages/image.scm,
gnu/packages/imagemagick.scm, gnu/packages/irssi.scm, gnu/packages/kde.scm,
gnu/packages/libdaemon.scm, gnu/packages/libevent.scm,
gnu/packages/libidn.scm, gnu/packages/libusb.scm, gnu/packages/linux.scm,
gnu/packages/lout.scm, gnu/packages/lsh.scm, gnu/packages/lsof.scm,
gnu/packages/lua.scm, gnu/packages/maths.scm, gnu/packages/mcrypt.scm,
gnu/packages/mp3.scm, gnu/packages/netpbm.scm, gnu/packages/noweb.scm,
gnu/packages/ocaml.scm, gnu/packages/openssl.scm, gnu/packages/pcre.scm,
gnu/packages/pdf.scm, gnu/packages/pkg-config.scm,
gnu/packages/pretty-print.scm, gnu/packages/python.scm, gnu/packages/qt.scm,
gnu/packages/rsync.scm, gnu/packages/scheme.scm, gnu/packages/scrot.scm,
gnu/packages/sdl.scm, gnu/packages/skribilo.scm, gnu/packages/ssh.scm,
gnu/packages/stalonetray.scm, gnu/packages/tcl.scm, gnu/packages/tcsh.scm,
gnu/packages/telephony.scm, gnu/packages/texlive.scm, gnu/packages/tor.scm,
gnu/packages/valgrind.scm, gnu/packages/version-control.scm,
gnu/packages/vim.scm, gnu/packages/vpn.scm, gnu/packages/w3m.scm,
gnu/packages/web.scm, gnu/packages/wordnet.scm, gnu/packages/xiph.scm,
gnu/packages/xml.scm, gnu/packages/xorg.scm, gnu/packages/zile.scm,
gnu/packages/zip.scm, gnu/packages/zsh.scm [synopsis, description]: Adjust
according to lint checkers.
* gnu/packages/fltk.scm (fltk)[source]: Wrap long line in uri.
* /gnu/packages/xiph.scm (libogg, libtheora, vorbis-tools)[source]: Same.
2014-10-24 04:46:59 +00:00
|
|
|
|
implemented. On the other hand, these comprise asymptotically fast
|
gnu packages: Clean up synopses and descriptions.
* gnu/packages/admin.scm, gnu/packages/algebra.scm, gnu/packages/audio.scm,
gnu/packages/backup.scm, gnu/packages/base.scm, gnu/packages/bittorrent.scm,
gnu/packages/code.scm, gnu/packages/compression.scm,
gnu/packages/databases.scm, gnu/packages/enchant.scm,
gnu/packages/firmware.scm, gnu/packages/fonts.scm,
gnu/packages/freedesktop.scm, gnu/packages/games.scm, gnu/packages/gd.scm,
gnu/packages/gl.scm, gnu/packages/gnome.scm, gnu/packages/gsasl.scm,
gnu/packages/gstreamer.scm, gnu/packages/gtk.scm, gnu/packages/guile.scm,
gnu/packages/haskell.scm, gnu/packages/language.scm,
gnu/packages/lesstif.scm, gnu/packages/libreoffice.scm,
gnu/packages/linux.scm, gnu/packages/llvm.scm, gnu/packages/maths.scm,
gnu/packages/mcrypt.scm, gnu/packages/mit-krb5.scm, gnu/packages/mp3.scm,
gnu/packages/ncdu.scm, gnu/packages/networking.scm, gnu/packages/ntp.scm,
gnu/packages/ocaml.scm, gnu/packages/openbox.scm, gnu/packages/pdf.scm,
gnu/packages/perl.scm, gnu/packages/pretty-print.scm,
gnu/packages/pulseaudio.scm, gnu/packages/python.scm,
gnu/packages/rdesktop.scm, gnu/packages/rdf.scm, gnu/packages/ruby.scm,
gnu/packages/slang.scm, gnu/packages/slim.scm, gnu/packages/telephony.scm,
gnu/packages/tls.scm, gnu/packages/tmux.scm, gnu/packages/tre.scm,
gnu/packages/unrtf.scm, gnu/packages/version-control.scm,
gnu/packages/vpn.scm, gnu/packages/web.scm, gnu/packages/wget.scm,
gnu/packages/xdisorg.scm, gnu/packages/xfce.scm, gnu/packages/xiph.scm:
Fix typos. Trim long lines. Add missing periods in the end of sentences.
Use double spaces between sentences. Remove trailing whitespaces.
2015-07-17 12:16:07 +00:00
|
|
|
|
multiplication routines such as Toom–Cook and the FFT.")
|
2015-07-24 16:41:36 +00:00
|
|
|
|
(license license:lgpl2.1+)
|
2012-12-19 22:50:52 +00:00
|
|
|
|
(home-page "http://mpfrcx.multiprecision.org/")))
|
|
|
|
|
|
2015-07-24 16:53:03 +00:00
|
|
|
|
(define-public cm
|
|
|
|
|
(package
|
|
|
|
|
(name "cm")
|
2016-03-16 13:27:53 +00:00
|
|
|
|
(version "0.3")
|
2015-07-24 16:53:03 +00:00
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append
|
|
|
|
|
"http://www.multiprecision.org/cm/download/cm-"
|
|
|
|
|
version ".tar.gz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
2016-03-16 13:27:53 +00:00
|
|
|
|
"1nf5kr0nqmhbzrsrinky18z0ighjpsmb5cr8zyg8jf04bfbyrfmc"))))
|
2015-07-24 16:53:03 +00:00
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
|
(propagated-inputs
|
|
|
|
|
`(("mpfrcx" ,mpfrcx)
|
|
|
|
|
("zlib" ,zlib))) ; Header files included from cm_common.h.
|
|
|
|
|
(inputs
|
|
|
|
|
`(("pari-gp" ,pari-gp)))
|
|
|
|
|
(synopsis "CM constructions for elliptic curves")
|
|
|
|
|
(description
|
|
|
|
|
"The CM software implements the construction of ring class fields of
|
|
|
|
|
imaginary quadratic number fields and of elliptic curves with complex
|
|
|
|
|
multiplication via floating point approximations. It consists of libraries
|
|
|
|
|
that can be called from within a C program and of executable command
|
|
|
|
|
line applications.")
|
2016-03-16 13:27:53 +00:00
|
|
|
|
(license license:gpl3+)
|
2015-07-24 16:53:03 +00:00
|
|
|
|
(home-page "http://cm.multiprecision.org/")))
|
|
|
|
|
|
2012-12-19 22:50:52 +00:00
|
|
|
|
(define-public fplll
|
|
|
|
|
(package
|
|
|
|
|
(name "fplll")
|
2013-08-05 20:11:27 +00:00
|
|
|
|
(version "4.0.4")
|
2012-12-19 22:50:52 +00:00
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append
|
|
|
|
|
"http://perso.ens-lyon.fr/damien.stehle/fplll/libfplll-"
|
|
|
|
|
version ".tar.gz"))
|
|
|
|
|
(sha256 (base32
|
2013-08-05 20:11:27 +00:00
|
|
|
|
"1cbiby7ykis4z84swclpysrljmqhfcllpkcbll1m08rzskgb1a6b"))))
|
2012-12-19 22:50:52 +00:00
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
|
(inputs `(("gmp" ,gmp)
|
|
|
|
|
("mpfr" ,mpfr)))
|
gnu: Some cleanup based on lint checkers.
* gnu/packages/admin.scm, gnu/packages/aidc.scm, gnu/packages/algebra.scm,
gnu/packages/apr.scm, gnu/packages/avahi.scm, gnu/packages/backup.scm,
gnu/packages/base.scm, gnu/packages/calcurse.scm, gnu/packages/cdrom.scm,
gnu/packages/check.scm, gnu/packages/compression.scm, gnu/packages/cook.scm,
gnu/packages/crypto.scm, gnu/packages/cryptsetup.scm, gnu/packages/curl.scm,
gnu/packages/cyrus-sasl.scm, gnu/packages/databases.scm,
gnu/packages/doxygen.scm, gnu/packages/dwm.scm, gnu/packages/elf.scm,
gnu/packages/emacs.scm, gnu/packages/feh.scm, gnu/packages/file.scm,
gnu/packages/fish.scm, gnu/packages/flex.scm, gnu/packages/fltk.scm,
gnu/packages/fontutils.scm, gnu/packages/games.scm, gnu/packages/gcal.scm,
gnu/packages/gcc.scm, gnu/packages/geeqie.scm, gnu/packages/ghostscript.scm,
gnu/packages/gimp.scm, gnu/packages/gl.scm, gnu/packages/glib.scm,
gnu/packages/gnome.scm, gnu/packages/gnunet.scm, gnu/packages/gnupg.scm,
gnu/packages/gperf.scm, gnu/packages/grub.scm, gnu/packages/gsasl.scm,
gnu/packages/gtk.scm, gnu/packages/guile-wm.scm, gnu/packages/guile.scm,
gnu/packages/hurd.scm, gnu/packages/icu4c.scm, gnu/packages/image.scm,
gnu/packages/imagemagick.scm, gnu/packages/irssi.scm, gnu/packages/kde.scm,
gnu/packages/libdaemon.scm, gnu/packages/libevent.scm,
gnu/packages/libidn.scm, gnu/packages/libusb.scm, gnu/packages/linux.scm,
gnu/packages/lout.scm, gnu/packages/lsh.scm, gnu/packages/lsof.scm,
gnu/packages/lua.scm, gnu/packages/maths.scm, gnu/packages/mcrypt.scm,
gnu/packages/mp3.scm, gnu/packages/netpbm.scm, gnu/packages/noweb.scm,
gnu/packages/ocaml.scm, gnu/packages/openssl.scm, gnu/packages/pcre.scm,
gnu/packages/pdf.scm, gnu/packages/pkg-config.scm,
gnu/packages/pretty-print.scm, gnu/packages/python.scm, gnu/packages/qt.scm,
gnu/packages/rsync.scm, gnu/packages/scheme.scm, gnu/packages/scrot.scm,
gnu/packages/sdl.scm, gnu/packages/skribilo.scm, gnu/packages/ssh.scm,
gnu/packages/stalonetray.scm, gnu/packages/tcl.scm, gnu/packages/tcsh.scm,
gnu/packages/telephony.scm, gnu/packages/texlive.scm, gnu/packages/tor.scm,
gnu/packages/valgrind.scm, gnu/packages/version-control.scm,
gnu/packages/vim.scm, gnu/packages/vpn.scm, gnu/packages/w3m.scm,
gnu/packages/web.scm, gnu/packages/wordnet.scm, gnu/packages/xiph.scm,
gnu/packages/xml.scm, gnu/packages/xorg.scm, gnu/packages/zile.scm,
gnu/packages/zip.scm, gnu/packages/zsh.scm [synopsis, description]: Adjust
according to lint checkers.
* gnu/packages/fltk.scm (fltk)[source]: Wrap long line in uri.
* /gnu/packages/xiph.scm (libogg, libtheora, vorbis-tools)[source]: Same.
2014-10-24 04:46:59 +00:00
|
|
|
|
(synopsis "Library for LLL-reduction of euclidean lattices")
|
2012-12-19 22:50:52 +00:00
|
|
|
|
(description
|
gnu: Some cleanup based on lint checkers.
* gnu/packages/admin.scm, gnu/packages/aidc.scm, gnu/packages/algebra.scm,
gnu/packages/apr.scm, gnu/packages/avahi.scm, gnu/packages/backup.scm,
gnu/packages/base.scm, gnu/packages/calcurse.scm, gnu/packages/cdrom.scm,
gnu/packages/check.scm, gnu/packages/compression.scm, gnu/packages/cook.scm,
gnu/packages/crypto.scm, gnu/packages/cryptsetup.scm, gnu/packages/curl.scm,
gnu/packages/cyrus-sasl.scm, gnu/packages/databases.scm,
gnu/packages/doxygen.scm, gnu/packages/dwm.scm, gnu/packages/elf.scm,
gnu/packages/emacs.scm, gnu/packages/feh.scm, gnu/packages/file.scm,
gnu/packages/fish.scm, gnu/packages/flex.scm, gnu/packages/fltk.scm,
gnu/packages/fontutils.scm, gnu/packages/games.scm, gnu/packages/gcal.scm,
gnu/packages/gcc.scm, gnu/packages/geeqie.scm, gnu/packages/ghostscript.scm,
gnu/packages/gimp.scm, gnu/packages/gl.scm, gnu/packages/glib.scm,
gnu/packages/gnome.scm, gnu/packages/gnunet.scm, gnu/packages/gnupg.scm,
gnu/packages/gperf.scm, gnu/packages/grub.scm, gnu/packages/gsasl.scm,
gnu/packages/gtk.scm, gnu/packages/guile-wm.scm, gnu/packages/guile.scm,
gnu/packages/hurd.scm, gnu/packages/icu4c.scm, gnu/packages/image.scm,
gnu/packages/imagemagick.scm, gnu/packages/irssi.scm, gnu/packages/kde.scm,
gnu/packages/libdaemon.scm, gnu/packages/libevent.scm,
gnu/packages/libidn.scm, gnu/packages/libusb.scm, gnu/packages/linux.scm,
gnu/packages/lout.scm, gnu/packages/lsh.scm, gnu/packages/lsof.scm,
gnu/packages/lua.scm, gnu/packages/maths.scm, gnu/packages/mcrypt.scm,
gnu/packages/mp3.scm, gnu/packages/netpbm.scm, gnu/packages/noweb.scm,
gnu/packages/ocaml.scm, gnu/packages/openssl.scm, gnu/packages/pcre.scm,
gnu/packages/pdf.scm, gnu/packages/pkg-config.scm,
gnu/packages/pretty-print.scm, gnu/packages/python.scm, gnu/packages/qt.scm,
gnu/packages/rsync.scm, gnu/packages/scheme.scm, gnu/packages/scrot.scm,
gnu/packages/sdl.scm, gnu/packages/skribilo.scm, gnu/packages/ssh.scm,
gnu/packages/stalonetray.scm, gnu/packages/tcl.scm, gnu/packages/tcsh.scm,
gnu/packages/telephony.scm, gnu/packages/texlive.scm, gnu/packages/tor.scm,
gnu/packages/valgrind.scm, gnu/packages/version-control.scm,
gnu/packages/vim.scm, gnu/packages/vpn.scm, gnu/packages/w3m.scm,
gnu/packages/web.scm, gnu/packages/wordnet.scm, gnu/packages/xiph.scm,
gnu/packages/xml.scm, gnu/packages/xorg.scm, gnu/packages/zile.scm,
gnu/packages/zip.scm, gnu/packages/zsh.scm [synopsis, description]: Adjust
according to lint checkers.
* gnu/packages/fltk.scm (fltk)[source]: Wrap long line in uri.
* /gnu/packages/xiph.scm (libogg, libtheora, vorbis-tools)[source]: Same.
2014-10-24 04:46:59 +00:00
|
|
|
|
"fplll LLL-reduces euclidean lattices. Since version 3, it can also
|
2012-12-19 22:50:52 +00:00
|
|
|
|
solve the shortest vector problem.")
|
2015-07-24 16:41:36 +00:00
|
|
|
|
(license license:lgpl2.1+)
|
2012-12-19 22:50:52 +00:00
|
|
|
|
(home-page "http://perso.ens-lyon.fr/damien.stehle/fplll/")))
|
2013-01-07 20:20:41 +00:00
|
|
|
|
|
2013-01-13 13:27:16 +00:00
|
|
|
|
(define-public pari-gp
|
|
|
|
|
(package
|
|
|
|
|
(name "pari-gp")
|
2017-08-31 18:46:24 +00:00
|
|
|
|
(version "2.9.3")
|
2013-01-13 13:27:16 +00:00
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append
|
|
|
|
|
"http://pari.math.u-bordeaux.fr/pub/pari/unix/pari-"
|
|
|
|
|
version ".tar.gz"))
|
2015-02-20 15:46:26 +00:00
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
2017-08-31 18:46:24 +00:00
|
|
|
|
"0qqal1lpggd6dvs19svnz0dil86xk0xkcj5s3b7104ibkmvjfsp7"))))
|
2013-01-13 13:27:16 +00:00
|
|
|
|
(build-system gnu-build-system)
|
2017-06-30 07:21:41 +00:00
|
|
|
|
(native-inputs `(("texlive" ,texlive-tiny)))
|
2013-01-13 13:27:16 +00:00
|
|
|
|
(inputs `(("gmp" ,gmp)
|
2015-10-28 14:56:22 +00:00
|
|
|
|
("libx11" ,libx11)
|
2013-01-13 13:27:16 +00:00
|
|
|
|
("perl" ,perl)
|
|
|
|
|
("readline" ,readline)))
|
|
|
|
|
(arguments
|
2016-01-15 15:02:29 +00:00
|
|
|
|
'(#:make-flags '("all")
|
2013-01-23 21:47:39 +00:00
|
|
|
|
#:test-target "dobench"
|
2016-03-24 13:44:08 +00:00
|
|
|
|
#:phases (modify-phases %standard-phases
|
|
|
|
|
(replace 'configure
|
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
(let ((out (assoc-ref outputs "out")))
|
|
|
|
|
(zero?
|
|
|
|
|
(system* "./Configure"
|
|
|
|
|
(string-append "--prefix=" out)))))))))
|
2013-01-13 13:27:16 +00:00
|
|
|
|
(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.")
|
2015-07-24 16:41:36 +00:00
|
|
|
|
(license license:gpl2+)
|
2013-01-13 13:27:16 +00:00
|
|
|
|
(home-page "http://pari.math.u-bordeaux.fr/")))
|
2013-01-15 21:49:50 +00:00
|
|
|
|
|
2013-10-12 17:43:27 +00:00
|
|
|
|
(define-public gp2c
|
|
|
|
|
(package
|
|
|
|
|
(name "gp2c")
|
2017-02-07 12:32:03 +00:00
|
|
|
|
(version "0.0.10")
|
2013-10-12 17:43:27 +00:00
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append
|
|
|
|
|
"http://pari.math.u-bordeaux.fr/pub/pari/GP2C/gp2c-"
|
|
|
|
|
version ".tar.gz"))
|
2015-07-23 20:20:00 +00:00
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
2017-02-07 12:32:03 +00:00
|
|
|
|
"1xhpz5p81iw261ay1kip283ggr0ir8ydz8qx3v24z8jfms1r3y70"))))
|
2013-10-12 17:43:27 +00:00
|
|
|
|
(build-system gnu-build-system)
|
2014-03-26 14:47:54 +00:00
|
|
|
|
(native-inputs `(("perl" ,perl)))
|
2013-10-12 17:43:27 +00:00
|
|
|
|
(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.")
|
2015-07-24 16:41:36 +00:00
|
|
|
|
(license license:gpl2)
|
2013-10-12 17:43:27 +00:00
|
|
|
|
(home-page "http://pari.math.u-bordeaux.fr/")))
|
|
|
|
|
|
2016-04-07 12:43:15 +00:00
|
|
|
|
(define-public giac-xcas
|
|
|
|
|
(package
|
|
|
|
|
(name "giac-xcas")
|
2018-01-04 09:20:13 +00:00
|
|
|
|
(version "1.4.9-43")
|
2016-04-07 12:43:15 +00:00
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
;; "~parisse/giac" is not used because the maintainer regularly
|
|
|
|
|
;; overwrites the release tarball there, introducing a checksum
|
|
|
|
|
;; mismatch every time. See
|
|
|
|
|
;; <https://www-fourier.ujf-grenoble.fr/~parisse/debian/dists/stable/main/source/README>
|
|
|
|
|
(uri (string-append "https://www-fourier.ujf-grenoble.fr/"
|
|
|
|
|
"~parisse/debian/dists/stable/main/"
|
|
|
|
|
"source/giac_" version ".tar.gz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
2018-01-04 09:20:13 +00:00
|
|
|
|
"1zhbyw4mrgf78fz55cf65650zqld156qa40s4ps69bas8jh61hci"))))
|
2016-04-07 12:43:15 +00:00
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(add-after 'unpack 'patch-bin-cp
|
|
|
|
|
(lambda _
|
|
|
|
|
;; Some Makefiles contain hard-coded "/bin/cp".
|
|
|
|
|
(substitute* (find-files "doc" "^Makefile")
|
|
|
|
|
(("/bin/cp") (which "cp")))
|
|
|
|
|
#t)))))
|
|
|
|
|
(inputs
|
|
|
|
|
`(("fltk" ,fltk)
|
|
|
|
|
("gmp" ,gmp)
|
|
|
|
|
("gsl" ,gsl)
|
|
|
|
|
("lapack" ,lapack)
|
|
|
|
|
("libao" ,ao)
|
|
|
|
|
("libjpeg" ,libjpeg)
|
|
|
|
|
("libpng" ,libpng)
|
|
|
|
|
("libx11" ,libx11)
|
2016-04-28 11:35:20 +00:00
|
|
|
|
("libxinerama" ,libxinerama)
|
2016-04-07 12:43:15 +00:00
|
|
|
|
("libxft" ,libxft)
|
|
|
|
|
("libxt" ,libxt)
|
|
|
|
|
("mesa" ,mesa)
|
|
|
|
|
("mpfi" ,mpfi)
|
|
|
|
|
("mpfr" ,mpfr)
|
|
|
|
|
("ntl" ,ntl)
|
|
|
|
|
("perl" ,perl)
|
|
|
|
|
("pari-gp" ,pari-gp)
|
|
|
|
|
("tcsh" ,tcsh)
|
2017-06-30 07:49:40 +00:00
|
|
|
|
("texlive" ,texlive-tiny)))
|
2016-04-07 12:43:15 +00:00
|
|
|
|
(native-inputs `(("readline" ,readline)))
|
|
|
|
|
(home-page "https://www-fourier.ujf-grenoble.fr/~parisse/giac.html")
|
|
|
|
|
(synopsis "Computer algebra system")
|
|
|
|
|
(description
|
|
|
|
|
"Giac/Xcas is a computer algebra system. It has a compatibility mode for
|
|
|
|
|
maple, mupad and the TI89. It is available as a standalone program (graphic
|
|
|
|
|
or text interfaces) or as a C++ library.")
|
|
|
|
|
(license license:gpl3+)))
|
|
|
|
|
|
2014-09-12 12:20:28 +00:00
|
|
|
|
(define-public flint
|
|
|
|
|
(package
|
|
|
|
|
(name "flint")
|
2015-08-14 15:46:31 +00:00
|
|
|
|
(version "2.5.2")
|
2014-09-12 12:20:28 +00:00
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append
|
|
|
|
|
"http://flintlib.org/flint-"
|
|
|
|
|
version ".tar.gz"))
|
|
|
|
|
(sha256 (base32
|
2015-08-14 15:46:31 +00:00
|
|
|
|
"11syazv1a8rrnac3wj3hnyhhflpqcmq02q8pqk2m6g2k6h0gxwfb"))
|
2016-04-08 12:18:13 +00:00
|
|
|
|
(patches (search-patches "flint-ldconfig.patch"))))
|
2014-09-12 12:20:28 +00:00
|
|
|
|
(build-system gnu-build-system)
|
2015-03-20 15:45:02 +00:00
|
|
|
|
(propagated-inputs
|
2014-09-12 12:20:28 +00:00
|
|
|
|
`(("gmp" ,gmp)
|
2015-03-20 15:45:02 +00:00
|
|
|
|
("mpfr" ,mpfr))) ; header files from both are included by flint/arith.h
|
2014-09-12 12:20:28 +00:00
|
|
|
|
(arguments
|
2015-08-15 07:24:30 +00:00
|
|
|
|
`(#:parallel-tests? #f ; seems to be necessary on arm
|
|
|
|
|
#:phases
|
2015-08-14 15:04:08 +00:00
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(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")))
|
|
|
|
|
;; 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)))))))))
|
2014-09-12 12:20:28 +00:00
|
|
|
|
(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.")
|
2015-07-24 16:41:36 +00:00
|
|
|
|
(license license:gpl2+)
|
2014-09-12 12:20:28 +00:00
|
|
|
|
(home-page "http://flintlib.org/")))
|
|
|
|
|
|
2014-09-15 14:26:30 +00:00
|
|
|
|
(define-public arb
|
|
|
|
|
(package
|
|
|
|
|
(name "arb")
|
2017-03-03 16:02:12 +00:00
|
|
|
|
(version "2.10.0")
|
2014-09-15 14:26:30 +00:00
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append
|
|
|
|
|
"https://github.com/fredrik-johansson/arb/archive/"
|
|
|
|
|
version ".tar.gz"))
|
gnu: Add 'file-name' fields for github source tarballs without a name.
* gnu/packages/aarddict.scm (aarddict), gnu/packages/algebra.scm (arb),
gnu/packages/audio.scm (jack-2, lvtk),
gnu/packages/bioinformatics.scm (bedops, bedtools, bowtie),
gnu/packages/game-development.scm (tiled),
gnu/packages/games.scm (minetest-data, minetest, retroarch),
gnu/packages/jrnl.scm (jrnl), gnu/packages/kde.scm (qjson),
gnu/packages/libevent.scm (libuv), gnu/packages/linux.scm (pflask),
gnu/packages/mail.scm (offlineimap, libetpan),
gnu/packages/maths.scm (arpack-ng), gnu/packages/ninja.scm (ninja),
gnu/packages/nutrition.scm (gourmet),
gnu/packages/python.scm (python-cairocffi), gnu/packages/rdf.scm (lrdf),
gnu/packages/ruby.scm (ruby-i18n), gnu/packages/sxiv.scm (sxiv): Add
'file-name' field to origin.
2015-02-27 17:23:27 +00:00
|
|
|
|
(file-name (string-append name "-" version ".tar.gz"))
|
2015-07-23 20:17:30 +00:00
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
2017-03-03 16:02:12 +00:00
|
|
|
|
"0jwcv9ssvi8axb1y7m2h4ykgyl015cl6g28gfl92l4dgnag585ak"))))
|
2014-09-15 14:26:30 +00:00
|
|
|
|
(build-system gnu-build-system)
|
2015-03-20 15:49:30 +00:00
|
|
|
|
(propagated-inputs
|
|
|
|
|
`(("flint" ,flint))) ; flint.h is included by arf.h
|
2014-09-15 14:26:30 +00:00
|
|
|
|
(inputs
|
2015-03-20 15:49:30 +00:00
|
|
|
|
`(("gmp" ,gmp)
|
2014-09-15 14:26:30 +00:00
|
|
|
|
("mpfr" ,mpfr)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:phases
|
gnu: Use 'modify-phases' syntax.
* gnu/packages/admin.scm (mingetty, clusterssh, wpa-supplicant-minimal,
wpa-supplicant, wakelan, acpica, tree, direvent, dstat)[arguments]: Use
'modify-phases' syntax.
* gnu/packages/algebra.scm (arb)[arguments]: Likewise.
* gnu/packages/apr.scm (apr-util)[arguments]: Likewise.
* gnu/packages/audio.scm (clalsadrv, fluidsynth, faad2, lv2-mda-piano,
lv2-mda-epiano, timidity++, vamp, soundtouch, portaudio, rsound,
zita-convolver, zita-alsa-pcmi)[arguments]: Likewise.
* gnu/packages/backup.scm (rdup, btar)[arguments]: Likewise.
* gnu/packages/bioinformatics.scm (bedops, bwa, crossmap, express,
flexbar, grit, hisat, ngs-sdk, subread)[arguments]: Likewise.
* gnu/packages/bittorrent.scm (transmission)[arguments]: Likewise.
* gnu/packages/cdrom.scm (cd-discid)[arguments]: Likewise.
* gnu/packages/compression.scm (sharutils)[arguments]: Likewise.
* gnu/packages/conky.scm (conky)[arguments]: Likewise.
* gnu/packages/databases.scm (bdb, bdb-5.3)[arguments]: Likewise.
* gnu/packages/debug.scm (delta, c-reduce)[arguments]: Likewise.
* gnu/packages/display-managers.scm (slim)[arguments]: Likewise.
* gnu/packages/dns.scm (dnsmasq)[arguments]: Likewise.
* gnu/packages/emacs.scm (geiser, emacs-wget, bbdb)[arguments]: Likewise.
* gnu/packages/engineering.scm (pcb)[arguments]: Likewise.
* gnu/packages/firmware.scm (ath9k-htc-firmware)[arguments]: Likewise.
* gnu/packages/flashing-tools.scm (flashrom)[arguments]: Likewise.
* gnu/packages/fltk.scm (fltk)[arguments]: Likewise.
* gnu/packages/freedesktop.scm (python-pyxdg)[arguments]: Likewise.
* gnu/packages/gd.scm (perl-gd)[arguments]: Likewise.
* gnu/packages/gkrellm.scm (gkrellm)[arguments]: Likewise.
* gnu/packages/glib.scm (glibmm)[arguments]: Likewise.
* gnu/packages/gl.scm (glew)[arguments]: Likewise.
* gnu/packages/gnome.scm (icon-naming-utils, orbit2, libbonobo, gnome-vfs,
libgnome, libbonoboui, goffice-0.8, dconf)[arguments]: Likewise.
* gnu/packages/gprolog.scm (gprolog)[arguments]: Likewise.
* gnu/packages/gps.scm (gpscorrelate)[arguments]: Likewise.
* gnu/packages/graphics.scm (agg)[arguments]: Likewise.
* gnu/packages/gtk.scm (ganv, girara, gtksourceview-2, guile-present,
python2-pycairo)[arguments]: Likewise.
* gnu/packages/guile.scm (guile-1.8)[arguments]: Likewise.
* gnu/packages/guile-wm.scm (guile-wm)[arguments]: Likewise.
* gnu/packages/hugs.scm (hugs)[arguments]: Likewise.
* gnu/packages/hurd.scm (gnumach-headers, hurd-headers, hurd-minimal)
[arguments]: Likewise.
* gnu/packages/image-viewers.scm (feh, sxiv)[arguments]: Likewise.
* gnu/packages/libcanberra.scm (libcanberra)[arguments]: Likewise.
* gnu/packages/linux.scm (bridge-utils, iw, fuse, unionfs-fuse/static,
lm-sensors, i2c-tools, xsensors, perf, mdadm, libaio, module-init-tools)
[arguments]: Likewise.
* gnu/packages/lisp.scm (ccl)[arguments]: Likewise.
* gnu/packages/lout.scm (lout)[arguments]: Likewise.
* gnu/packages/lua.scm (luajit)[arguments]: Likewise.
* gnu/packages/machine-learning.scm (shogun)[arguments]: Likewise.
* gnu/packages/mail.scm (exim)[arguments]: Likewise.
* gnu/packages/man.scm (man-pages, txt2man)[arguments]: Likewise.
* gnu/packages/maths.scm (lapack, superlu-dist, openlibm, openspecfun)
[arguments]: Likewise.
* gnu/packages/messaging.scm (bitlbee)[arguments]: Likewise.
* gnu/packages/mp3.scm (libmad, id3lib, mp3info)[arguments]: Likewise.
* gnu/packages/music.scm (solfege)[arguments]: Likewise.
* gnu/packages/noweb.scm (noweb)[arguments]: Likewise.
* gnu/packages/patchutils.scm (patchutils, quilt, colordiff)[arguments]:
Likewise.
* gnu/packages/pdf.scm (xpdf, zathura-cb, zathura-ps, zathura-djvu,
zathura-pdf-poppler, zathura, podofo, fbida)[arguments]: Likewise.
* gnu/packages/perl.scm (perl-file-list, perl-test-harness)[arguments]:
Likewise.
* gnu/packages/photo.scm (gphoto2)[arguments]: Likewise.
* gnu/packages/popt.scm (popt)[arguments]: Likewise.
* gnu/packages/pretty-print.scm (source-highlight, astyle)[arguments]:
Likewise.
* gnu/packages/pumpio.scm (pumpa)[arguments]: Likewise.
* gnu/packages/python.scm (python-passlib, python-pycrypto, python2-empy,
python-sqlalchemy, python-docopt)[arguments]: Likewise.
* gnu/packages/rdf.scm (lrdf)[arguments]: Likewise.
* gnu/packages/regex.scm (tre)[arguments]: Likewise.
* gnu/packages/rrdtool.scm (rrdtool)[arguments]: Likewise.
* gnu/packages/ruby.scm (ruby-2.1, ruby-1.8)[arguments]: Likewise.
* gnu/packages/sawfish.scm (sawfish)[arguments]: Likewise.
* gnu/packages/scheme.scm (racket)[arguments]: Likewise.
* gnu/packages/sdl.scm (guile-sdl)[arguments]: Likewise.
* gnu/packages/serveez.scm (serveez)[arguments]: Likewise.
* gnu/packages/skribilo.scm (skribilo)[arguments]: Likewise.
* gnu/packages/smalltalk.scm (smalltalk)[arguments]: Likewise.
* gnu/packages/suckless.scm (dmenu, slock)[arguments]: Likewise.
* gnu/packages/tcl.scm (expect)[arguments]: Likewise.
* gnu/packages/telephony.scm (commoncpp)[arguments]: Likewise.
* gnu/packages/textutils.scm (recode, libgtextutils)[arguments]:
Likewise.
* gnu/packages/time.scm (time)[arguments]: Likewise.
* gnu/packages/tor.scm (privoxy)[arguments]: Likewise.
* gnu/packages/uucp.scm (uucp)[arguments]: Likewise.
* gnu/packages/video.scm (libdvdnav-4)[arguments]: Likewise.
* gnu/packages/web-browsers.scm (lynx)[arguments]: Likewise.
* gnu/packages/web.scm (tinyproxy)[arguments]: Likewise.
* gnu/packages/wicd.scm (wicd)[arguments]: Likewise.
* gnu/packages/wm.scm (bspwm)[arguments]: Likewise.
* gnu/packages/xdisorg.scm (sxhkd, xcape)[arguments]: Likewise.
* gnu/packages/xfce.scm (xfconf)[arguments]: Likewise.
* gnu/packages/xfig.scm (transfig)[arguments]: Likewise.
* gnu/packages/xorg.scm (imake)[arguments]: Likewise.
2017-07-29 15:28:42 +00:00
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(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)))))))))
|
2014-09-15 14:26:30 +00:00
|
|
|
|
(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.")
|
2015-07-24 16:41:36 +00:00
|
|
|
|
(license license:gpl2+)
|
2014-09-15 14:26:30 +00:00
|
|
|
|
(home-page "http://fredrikj.net/arb/")))
|
|
|
|
|
|
2016-04-05 15:40:35 +00:00
|
|
|
|
(define-public ntl
|
|
|
|
|
(package
|
|
|
|
|
(name "ntl")
|
|
|
|
|
(version "9.7.0")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://shoup.net/ntl/ntl-"
|
|
|
|
|
version ".tar.gz"))
|
|
|
|
|
(sha256 (base32
|
|
|
|
|
"115frp5flyvw9wghz4zph1b3llmr5nbxk1skgsggckr81fh3gmxq"))))
|
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("libtool" ,libtool)
|
|
|
|
|
("perl" ,perl))) ; for configuration
|
|
|
|
|
;; FIXME: Add optional input gf2x once available; then also add
|
|
|
|
|
;; configure flag "NTL_GF2X_LIB=on".
|
|
|
|
|
(inputs
|
|
|
|
|
`(("gmp" ,gmp)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:phases
|
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
|
(replace 'configure
|
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
|
(chdir "src")
|
|
|
|
|
(system* "./configure"
|
|
|
|
|
(string-append "PREFIX=" (assoc-ref outputs "out"))
|
|
|
|
|
;; Do not build especially for the build machine.
|
|
|
|
|
"NATIVE=off"
|
|
|
|
|
;; Also do not tune to the build machine.
|
|
|
|
|
"WIZARD=off"
|
|
|
|
|
"SHARED=on")
|
|
|
|
|
#t)))))
|
|
|
|
|
(synopsis "C++ library for number theory")
|
|
|
|
|
(description
|
|
|
|
|
"NTL is a C++ library providing data structures and algorithms
|
|
|
|
|
for manipulating signed, arbitrary length integers, and for vectors,
|
|
|
|
|
matrices, and polynomials over the integers and over finite fields.")
|
|
|
|
|
(license license:gpl2+)
|
|
|
|
|
(home-page "http://shoup.net/ntl/")))
|
|
|
|
|
|
2016-04-05 23:26:23 +00:00
|
|
|
|
(define-public singular
|
|
|
|
|
(package
|
|
|
|
|
(name "singular")
|
|
|
|
|
(version "4.0.3")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "http://www.mathematik.uni-kl.de/ftp/pub/"
|
|
|
|
|
"Math/Singular/SOURCES/"
|
|
|
|
|
(string-join (string-split version #\.) "-")
|
|
|
|
|
"/singular-" version ".tar.gz"))
|
|
|
|
|
(sha256 (base32
|
2016-04-08 09:17:46 +00:00
|
|
|
|
"0viidy2fz62rln9p0s9qfs7fnm55c6fw1agydd1py26gxylp1ksc"))))
|
2016-04-05 23:26:23 +00:00
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
|
(native-inputs
|
|
|
|
|
`(("doxygen" ,doxygen)
|
|
|
|
|
("graphviz" ,graphviz)
|
|
|
|
|
("perl" ,perl)))
|
|
|
|
|
(inputs
|
|
|
|
|
`(("cddlib" ,cddlib)
|
|
|
|
|
("gmp" ,gmp)
|
|
|
|
|
("flint" ,flint)
|
|
|
|
|
("mpfr" ,mpfr)
|
|
|
|
|
("ntl" ,ntl)
|
|
|
|
|
("python" ,python-2)
|
|
|
|
|
("readline" ,readline)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:configure-flags
|
|
|
|
|
(list (string-append "--with-ntl="
|
|
|
|
|
(assoc-ref %build-inputs "ntl")))))
|
|
|
|
|
(synopsis "Computer algebra system for polynomial computations")
|
|
|
|
|
(description
|
|
|
|
|
"Singular is a computer algebra system for polynomial computations,
|
|
|
|
|
with special emphasis on commutative and non-commutative algebra, algebraic
|
|
|
|
|
geometry and singularity theory.")
|
|
|
|
|
;; Singular itself is dual licensed gpl2 or gpl3, but some of the
|
|
|
|
|
;; libraries with which it links are licensed under lgpl3+, so the
|
|
|
|
|
;; combined work becomes gpl3. See COPYING in the source code.
|
|
|
|
|
(license license:gpl3)
|
|
|
|
|
(home-page "http://www.singular.uni-kl.de/index.php")))
|
|
|
|
|
|
2016-04-13 11:32:05 +00:00
|
|
|
|
(define-public gmp-ecm
|
|
|
|
|
(package
|
|
|
|
|
(name "gmp-ecm")
|
|
|
|
|
(version "7.0")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "https://gforge.inria.fr/frs/download.php/"
|
|
|
|
|
"file/35642/ecm-"
|
|
|
|
|
version ".tar.gz"))
|
|
|
|
|
(sha256 (base32
|
|
|
|
|
"00jzzwqp49m01vwsr9z1w7bvm8lb69l3f62x7qr8sfz0xiczxnpm"))))
|
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
|
(inputs
|
|
|
|
|
`(("gmp" ,gmp)))
|
|
|
|
|
(arguments
|
|
|
|
|
`(#:configure-flags '("--enable-shared"
|
|
|
|
|
;; Disable specific assembly routines, which depend
|
|
|
|
|
;; on the subarchitecture of the build machine,
|
|
|
|
|
;; and use gmp instead.
|
|
|
|
|
"--disable-asm-redc")))
|
|
|
|
|
(synopsis "Integer factorization library using the elliptic curve method")
|
|
|
|
|
(description
|
|
|
|
|
"GMP-ECM factors integers using the elliptic curve method (ECM) as well
|
|
|
|
|
as the P-1 and P+1 algorithms. It provides a library and a stand-alone
|
|
|
|
|
binary.")
|
|
|
|
|
;; Most files are under lgpl3+, but some are under gpl3+ or gpl2+,
|
|
|
|
|
;; so the combined work is under gpl3+.
|
|
|
|
|
(license license:gpl3+)
|
|
|
|
|
(home-page "http://ecm.gforge.inria.fr/")))
|
|
|
|
|
|
2013-01-15 21:49:50 +00:00
|
|
|
|
(define-public bc
|
|
|
|
|
(package
|
|
|
|
|
(name "bc")
|
2017-04-14 10:26:02 +00:00
|
|
|
|
(version "1.07.1")
|
2013-01-15 21:49:50 +00:00
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "mirror://gnu/bc/bc-" version ".tar.gz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
2017-04-14 10:26:02 +00:00
|
|
|
|
"0amh9ik44jfg66csyvf4zz1l878c4755kjndq9j0270akflgrbb2"))))
|
2013-01-15 21:49:50 +00:00
|
|
|
|
(build-system gnu-build-system)
|
2017-04-14 10:26:02 +00:00
|
|
|
|
(native-inputs
|
|
|
|
|
`(("ed" ,ed)
|
|
|
|
|
("flex" ,flex)
|
|
|
|
|
("texinfo" ,texinfo)))
|
2013-01-15 21:49:50 +00:00
|
|
|
|
(arguments
|
2017-04-14 10:26:02 +00:00
|
|
|
|
'(#:configure-flags
|
2017-04-05 01:10:24 +00:00
|
|
|
|
(list "--with-readline")))
|
2017-03-29 22:48:16 +00:00
|
|
|
|
(home-page "https://www.gnu.org/software/bc/")
|
gnu: Use synopses from the Womb.
* gnu/packages/algebra.scm,
gnu/packages/aspell.scm,
gnu/packages/autotools.scm,
gnu/packages/base.scm,
gnu/packages/bash.scm,
gnu/packages/bison.scm,
gnu/packages/cdrom.scm,
gnu/packages/cflow.scm,
gnu/packages/compression.scm,
gnu/packages/cpio.scm,
gnu/packages/cppi.scm,
gnu/packages/ddrescue.scm,
gnu/packages/dejagnu.scm,
gnu/packages/ed.scm,
gnu/packages/emacs.scm,
gnu/packages/fdisk.scm,
gnu/packages/gawk.scm,
gnu/packages/gcc.scm,
packages/gcc.scm, b/gnu/packages/gcc.scm,
4b982 100644
s/gcc.scm,
s/gcc.scm,
@@
%standard-phases)))))
`((gcc-libc . ,(assoc-ref inputs "libc"))))
The GNU Compiler Collection")
GNU Compiler Collection")
n
ompiler Collection includes compiler front ends for C, C++,
tran, OpenMP for C/C++/Fortran, Java, and Ada, as well as
gnu/packages/gdb.scm,
gnu/packages/gettext.scm,
gnu/packages/ghostscript.scm,
gnu/packages/glib.scm,
gnu/packages/global.scm,
gnu/packages/gnupg.scm,
gnu/packages/gnutls.scm,
gnu/packages/gperf.scm,
gnu/packages/gprolog.scm,
gnu/packages/groff.scm,
gnu/packages/grub.scm,
gnu/packages/gsasl.scm,
gnu/packages/guile.scm,
gnu/packages/help2man.scm,
gnu/packages/idutils.scm,
gnu/packages/indent.scm,
gnu/packages/less.scm,
gnu/packages/libidn.scm,
gnu/packages/libsigsegv.scm,
gnu/packages/libunistring.scm,
gnu/packages/linux.scm,
gnu/packages/lsh.scm,
gnu/packages/m4.scm,
gnu/packages/mailutils.scm,
gnu/packages/multiprecision.scm,
gnu/packages/nano.scm,
gnu/packages/ncurses.scm,
gnu/packages/nettle.scm,
gnu/packages/oggvorbis.scm,
gnu/packages/parted.scm,
gnu/packages/pth.scm,
gnu/packages/readline.scm,
gnu/packages/recutils.scm,
gnu/packages/scheme.scm,
gnu/packages/screen.scm,
gnu/packages/shishi.scm,
gnu/packages/smalltalk.scm,
gnu/packages/system.scm,
gnu/packages/texinfo.scm,
gnu/packages/time.scm,
gnu/packages/wdiff.scm,
gnu/packages/wget.scm,
gnu/packages/which.scm: Use synopses from the Womb.
2013-04-17 16:04:25 +00:00
|
|
|
|
(synopsis "Arbitrary precision numeric processing language")
|
2013-01-15 21:49:50 +00:00
|
|
|
|
(description
|
Synchronize package descriptions with the Womb.
* gnu/packages/algebra.scm,
gnu/packages/aspell.scm,
gnu/packages/autotools.scm,
gnu/packages/base.scm,
gnu/packages/bash.scm,
gnu/packages/bison.scm,
gnu/packages/cdrom.scm,
gnu/packages/cflow.scm,
gnu/packages/compression.scm,
gnu/packages/cpio.scm,
gnu/packages/cppi.scm,
gnu/packages/ddrescue.scm,
gnu/packages/dejagnu.scm,
gnu/packages/ed.scm,
gnu/packages/emacs.scm,
gnu/packages/fdisk.scm,
gnu/packages/freeipmi.scm,
gnu/packages/gawk.scm,
gnu/packages/gcal.scm,
gnu/packages/gcc.scm,
gnu/packages/gdb.scm,
gnu/packages/gdbm.scm,
gnu/packages/gettext.scm,
gnu/packages/ghostscript.scm,
gnu/packages/global.scm,
gnu/packages/gnunet.scm,
gnu/packages/gnupg.scm,
gnu/packages/gnutls.scm,
gnu/packages/gperf.scm,
gnu/packages/gprolog.scm,
gnu/packages/groff.scm,
gnu/packages/grub.scm,
gnu/packages/gsasl.scm,
gnu/packages/guile.scm,
gnu/packages/gv.scm,
gnu/packages/help2man.scm,
gnu/packages/idutils.scm,
gnu/packages/indent.scm,
gnu/packages/less.scm,
gnu/packages/libidn.scm,
gnu/packages/libsigsegv.scm,
gnu/packages/libunistring.scm,
gnu/packages/lightning.scm,
gnu/packages/linux.scm,
gnu/packages/lsh.scm,
gnu/packages/m4.scm,
gnu/packages/mail.scm,
gnu/packages/maths.scm,
gnu/packages/multiprecision.scm,
gnu/packages/nano.scm,
gnu/packages/ncurses.scm,
gnu/packages/nettle.scm,
gnu/packages/ocrad.scm,
gnu/packages/oggvorbis.scm,
gnu/packages/parted.scm,
gnu/packages/plotutils.scm,
gnu/packages/pth.scm,
gnu/packages/readline.scm,
gnu/packages/recutils.scm,
gnu/packages/rush.scm,
gnu/packages/scheme.scm,
gnu/packages/screen.scm,
gnu/packages/shishi.scm,
gnu/packages/smalltalk.scm,
gnu/packages/system.scm,
gnu/packages/texinfo.scm,
gnu/packages/time.scm,
gnu/packages/unrtf.scm,
gnu/packages/version-control.scm,
gnu/packages/wdiff.scm,
gnu/packages/wget.scm,
gnu/packages/which.scm,
gnu/packages/xnee.scm,
gnu/packages/zile.scm: Change value of the 'description' field to that
of the Womb.
2013-10-09 14:14:23 +00:00
|
|
|
|
"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.")
|
2015-07-24 16:41:36 +00:00
|
|
|
|
(license license:gpl2+)))
|
2013-10-04 20:20:56 +00:00
|
|
|
|
|
2016-09-14 09:25:57 +00:00
|
|
|
|
;; The original kiss-fft does not have a complete build system and does not
|
|
|
|
|
;; build any shared libraries. This is a fork used by Extempore.
|
|
|
|
|
(define-public kiss-fft-for-extempore
|
|
|
|
|
(package
|
|
|
|
|
(name "kiss-fft-for-extempore")
|
|
|
|
|
(version "1.3.0")
|
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "https://github.com/extemporelang/kiss_fft/archive/"
|
|
|
|
|
version ".tar.gz"))
|
|
|
|
|
(file-name (string-append name "-" version ".tar.gz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
|
|
|
|
"0hkp9l6l4c92fb1l2sh6a6zv1hynpvb2s4d03vd8vxyvybc0l4pv"))))
|
|
|
|
|
(build-system cmake-build-system)
|
|
|
|
|
(arguments `(#:tests? #f)) ; no tests included
|
2016-09-21 19:47:56 +00:00
|
|
|
|
;; Extempore refuses to build on architectures other than x86_64
|
|
|
|
|
(supported-systems '("x86_64-linux"))
|
2016-09-14 09:25:57 +00:00
|
|
|
|
(home-page "https://github.com/extemporelang/kiss_fft")
|
|
|
|
|
(synopsis "Mixed-radix Fast Fourier Transform")
|
|
|
|
|
(description
|
|
|
|
|
"Kiss FFT attempts to be a reasonably efficient, moderately useful FFT
|
|
|
|
|
that can use fixed or floating data types and can easily be incorporated into
|
|
|
|
|
a C program.")
|
|
|
|
|
(license license:bsd-3)))
|
|
|
|
|
|
2013-10-04 20:20:56 +00:00
|
|
|
|
(define-public fftw
|
|
|
|
|
(package
|
|
|
|
|
(name "fftw")
|
2016-08-14 11:15:27 +00:00
|
|
|
|
(version "3.3.5")
|
2013-10-04 20:20:56 +00:00
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "ftp://ftp.fftw.org/pub/fftw/fftw-"
|
|
|
|
|
version".tar.gz"))
|
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
2016-08-14 11:15:27 +00:00
|
|
|
|
"1kwbx92ps0r7s2mqy7lxbxanslxdzj7dp7r7gmdkzv1j8yqf3kwf"))))
|
2013-10-04 20:20:56 +00:00
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
|
(arguments
|
2016-11-06 17:58:22 +00:00
|
|
|
|
'(#:configure-flags
|
|
|
|
|
'("--enable-shared" "--enable-openmp" "--enable-threads")
|
2013-10-04 20:20:56 +00:00
|
|
|
|
#: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).")
|
2015-07-24 16:41:36 +00:00
|
|
|
|
(license license:gpl2+)))
|
2014-03-22 18:00:50 +00:00
|
|
|
|
|
|
|
|
|
(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."))))
|
2014-05-09 13:59:47 +00:00
|
|
|
|
|
|
|
|
|
(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."))))
|
2015-01-16 12:42:24 +00:00
|
|
|
|
|
|
|
|
|
(define-public eigen
|
|
|
|
|
(package
|
|
|
|
|
(name "eigen")
|
2017-12-11 18:16:20 +00:00
|
|
|
|
(version "3.3.4")
|
2015-01-16 12:42:24 +00:00
|
|
|
|
(source (origin
|
|
|
|
|
(method url-fetch)
|
|
|
|
|
(uri (string-append "https://bitbucket.org/eigen/eigen/get/"
|
2015-02-07 18:25:47 +00:00
|
|
|
|
version ".tar.bz2"))
|
2015-01-16 12:42:24 +00:00
|
|
|
|
(sha256
|
|
|
|
|
(base32
|
2017-12-11 18:16:20 +00:00
|
|
|
|
"19m4406jvqnwh7kpcvx1lfx2vdc5zwia5q9ayv89bimg1gmln9fx"))
|
2015-11-13 21:46:54 +00:00
|
|
|
|
(file-name (string-append name "-" version ".tar.bz2"))
|
2017-12-11 18:16:20 +00:00
|
|
|
|
(patches (search-patches "eigen-arm-neon-fixes.patch"))
|
2015-01-16 12:42:24 +00:00
|
|
|
|
(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.
|
2017-12-11 18:16:20 +00:00
|
|
|
|
'(begin
|
|
|
|
|
(substitute* "CMakeLists.txt"
|
|
|
|
|
(("add_subdirectory\\(unsupported\\)")
|
|
|
|
|
"# Do not build the tests for unsupported features.\n")
|
|
|
|
|
;; Work around
|
|
|
|
|
;; <http://eigen.tuxfamily.org/bz/show_bug.cgi?id=1114>.
|
|
|
|
|
(("\"include/eigen3\"")
|
|
|
|
|
"\"${CMAKE_INSTALL_PREFIX}/include/eigen3\""))
|
|
|
|
|
(substitute* "test/bdcsvd.cpp"
|
|
|
|
|
;; See
|
|
|
|
|
;; https://bitbucket.org/eigen/eigen/commits/ea8c22ce6920e982d15245ee41d0531a46a28e5d
|
|
|
|
|
((".*svd_preallocate[^\n]*" &)
|
|
|
|
|
(string-append "//" & " // Not supported by BDCSVD")))))))
|
2015-01-16 12:42:24 +00:00
|
|
|
|
(build-system cmake-build-system)
|
|
|
|
|
(arguments
|
|
|
|
|
'(;; Turn off debugging symbols to save space.
|
|
|
|
|
#:build-type "Release"
|
|
|
|
|
|
2015-11-16 14:52:56 +00:00
|
|
|
|
#:phases (modify-phases %standard-phases
|
2015-11-27 09:59:56 +00:00
|
|
|
|
(replace 'check
|
2015-11-16 14:52:56 +00:00
|
|
|
|
(lambda _
|
|
|
|
|
(let* ((cores (parallel-job-count))
|
|
|
|
|
(dash-j (format #f "-j~a" cores)))
|
2017-12-11 18:16:20 +00:00
|
|
|
|
(setenv "EIGEN_SEED" "1") ;for reproducibility
|
2015-11-27 09:59:56 +00:00
|
|
|
|
;; First build the tests, in parallel. See
|
|
|
|
|
;; <http://eigen.tuxfamily.org/index.php?title=Tests>.
|
|
|
|
|
(and (zero? (system* "make" "buildtests" dash-j))
|
2015-01-16 12:42:24 +00:00
|
|
|
|
|
2015-11-27 09:59:56 +00:00
|
|
|
|
;; Then run 'CTest' with -V so we get more
|
|
|
|
|
;; details upon failure.
|
|
|
|
|
(zero? (system* "ctest" "-V" dash-j)))))))))
|
2015-01-16 12:42:24 +00:00
|
|
|
|
(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.
|
2015-07-24 16:41:36 +00:00
|
|
|
|
(license license:mpl2.0)))
|