X-Git-Url: https://git.hcoop.net/jackhill/guix/guix.git/blobdiff_plain/88f913e8ad71309ff0c0793b74e4c704489b104f..8caa5d7a5393331a52bd3358be359a2403adb99c:/gnu/packages/algebra.scm diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index 7fca1358ff..f4d427334f 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm @@ -201,6 +201,7 @@ the real span of the lattice.") (uri (git-reference (url "https://github.com/fplll/fpylll.git") (commit (string-append version "dev")))) + (file-name (git-file-name name version)) (sha256 (base32 "01x2sqdv0sbjj4g4waj0hj4rcn4bq7h17442xaqwbznym9azmn9w")))) @@ -224,7 +225,7 @@ the real span of the lattice.") (define-public pari-gp (package (name "pari-gp") - (version "2.11.1") + (version "2.11.2") (source (origin (method url-fetch) (uri (string-append @@ -232,12 +233,11 @@ the real span of the lattice.") version ".tar.gz")) (sha256 (base32 - "1jfax92jpydjd02fwl30r6b8kfzqqd6sm4yx94gidyz9lqjb7a94")))) + "0fck8ssmirl8fy7s4mspgrxjs5sag76xbshqlqzkcl3kqyrk4raa")))) (build-system gnu-build-system) (native-inputs `(("texlive" ,(texlive-union - (list texlive-fonts-amsfonts - texlive-latex-amsfonts))))) + (list texlive-amsfonts))))) (inputs `(("gmp" ,gmp) ("libx11" ,libx11) ("perl" ,perl) @@ -267,7 +267,7 @@ PARI is also available as a C library to allow for faster computations.") (define-public gp2c (package (name "gp2c") - (version "0.0.11pl1") + (version "0.0.11pl2") (source (origin (method url-fetch) (uri (string-append @@ -275,7 +275,7 @@ PARI is also available as a C library to allow for faster computations.") version ".tar.gz")) (sha256 (base32 - "1c6f6vmncw032kfzrfyr8bynw6yd3faxpy2285r009fmr0zxfs5s")))) + "0wqsf05wgkqvmmsx7jinvzdqav6rl56sr8haibgs31nzz4x9xz9g")))) (build-system gnu-build-system) (native-inputs `(("perl" ,perl))) (inputs `(("pari-gp" ,pari-gp))) @@ -298,6 +298,20 @@ GP2C, the GP to C compiler, translates GP scripts to PARI programs.") (license license:gpl2) (home-page "https://pari.math.u-bordeaux.fr/"))) +(define fplll-4-cmh + (package + (inherit fplll) + (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")))))) + (define-public cmh (package (name "cmh") @@ -316,7 +330,7 @@ GP2C, the GP to C compiler, translates GP scripts to PARI programs.") ("mpfr" ,mpfr) ("mpc" ,mpc) ("mpfrcx" ,mpfrcx) - ("fplll" ,fplll) + ("fplll" ,fplll-4-cmh) ("pari-gp" ,pari-gp))) (synopsis "Igusa class polynomial computations") (description @@ -331,7 +345,7 @@ precision.") (define-public giac (package (name "giac") - (version "1.5.0-57") + (version "1.5.0-85") (source (origin (method url-fetch) ;; "~parisse/giac" is not used because the maintainer regularly @@ -343,7 +357,7 @@ precision.") "source/giac_" version ".tar.gz")) (sha256 (base32 - "08c93knsisbk9dkyyrignw0wvqbr1sa5czlvk5l307ahxbbmqncf")))) + "03icgrfhb1xiy95cqmfgmcb1lw3775mr2ybnzandmyn44iycs6rh")))) (build-system gnu-build-system) (arguments `(#:modules ((ice-9 ftw) @@ -470,7 +484,7 @@ fast arithmetic.") (define-public arb (package (name "arb") - (version "2.16.0") + (version "2.17.0") (source (origin (method git-fetch) (uri (git-reference @@ -479,7 +493,7 @@ fast arithmetic.") (file-name (git-file-name name version)) (sha256 (base32 - "0478671wfwy3gl26sbxh1jq1ih36z4k72waa8y2y2lvn649gb7cd")))) + "05lpy3hkl5f8ik19aw40cqydrb932xaf2n8hbq9ib5dnk7f010p1")))) (build-system gnu-build-system) (propagated-inputs `(("flint" ,flint))) ; flint.h is included by arf.h @@ -495,8 +509,8 @@ fast arithmetic.") (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 + ;; Do not pass "--enable-fast-install", which makes the + ;; homebrew configure process fail. (invoke "./configure" (string-append "--prefix=" out) (string-append "--with-flint=" flint) @@ -509,7 +523,7 @@ 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 license:lgpl2.1+) - (home-page "http://fredrikj.net/arb/"))) + (home-page "http://arblib.org"))) (define-public python-flint (package @@ -974,7 +988,7 @@ features, and more.") (define-public xtensor (package (name "xtensor") - (version "0.20.5") + (version "0.20.10") (source (origin (method git-fetch) (uri (git-reference @@ -982,7 +996,7 @@ features, and more.") (commit version))) (sha256 (base32 - "0kkc4ar7p2d94jnclmrh46dwv7ldy9lx630vm9gci3pp4hnhbj9f")) + "1fmv2hpx610xwhxrndfsfvlbqfyk4l3gi5q5d7pa9m82kblxjj9l")) (file-name (git-file-name name version)))) (build-system cmake-build-system) (native-inputs @@ -992,7 +1006,7 @@ features, and more.") `(#:configure-flags '("-DBUILD_TESTS=ON") #:test-target "xtest")) - (home-page "http://quantstack.net/xtensor") + (home-page "https://quantstack.net/xtensor") (synopsis "C++ tensors with broadcasting and lazy computing") (description "xtensor is a C++ library meant for numerical analysis with multi-dimensional array expressions. @@ -1008,7 +1022,7 @@ xtensor provides: (define-public gap (package (name "gap") - (version "4.10.1") + (version "4.10.2") (source (origin (method url-fetch) @@ -1018,8 +1032,7 @@ xtensor provides: version ".tar.bz2")) (sha256 - (base32 - "136s0zvhcw41fshj5zgsrjcy2kd58cdh2m3ddp5rdizi4rx54f10")) + (base32 "0cp6ddk0469zzv1m1vair6gm27ic6c5m77ri8rn0znq3gaps6x94")) (modules '((guix build utils) (ice-9 ftw) (srfi srfi-1))) (snippet '(begin @@ -1333,47 +1346,6 @@ multiplication algorithm.") (license license:gpl2+) (home-page "https://bitbucket.org/malb/m4ri/"))) -(define-public ratpoints - (package - (name "ratpoints") - (version "2.1.3") - (source (origin - (method url-fetch) - (uri (string-append - "http://www.mathe2.uni-bayreuth.de/stoll/programs/" - "ratpoints-" version ".tar.gz")) - (sha256 - (base32 - "0zhad84sfds7izyksbqjmwpfw4rvyqk63yzdjd3ysd32zss5bgf4")) - (patches - ;; Taken from - ;; - (search-patches "ratpoints-sturm_and_rp_private.patch")))) - (build-system gnu-build-system) - (arguments - `(#:test-target "test" - #:make-flags - (list (string-append "INSTALL_DIR=" (assoc-ref %outputs "out"))) - #:phases - (modify-phases %standard-phases - (delete 'configure) ;no configure script - (add-before 'install 'create-install-directories - (lambda* (#:key outputs #:allow-other-keys) - (let ((out (assoc-ref outputs "out"))) - (mkdir-p out) - (with-directory-excursion out - (for-each (lambda (d) (mkdir-p d)) - '("bin" "include" "lib")))) - #t))))) - (inputs - `(("gmp" ,gmp))) - (home-page "http://www.mathe2.uni-bayreuth.de/stoll/programs/") - (synopsis "Find rational points on hyperelliptic curves") - (description "Ratpoints tries to find all rational points within -a given height bound on a hyperelliptic curve in a very efficient way, -by using an optimized quadratic sieve algorithm.") - (license license:gpl2+))) - (define-public symmetrica (package (name "symmetrica") @@ -1400,7 +1372,7 @@ by using an optimized quadratic sieve algorithm.") (add-after 'unpack 'fix-makefile (lambda _ (substitute* "makefile" - (("cc -c") "gcc -c")) + (("cc -c") "gcc -c -fPIC")) #t)) (add-after 'fix-makefile 'turn-off-banner (lambda _ @@ -1464,7 +1436,7 @@ of M4RI from F_2 to F_{2^e}.") (define-public eclib (package (name "eclib") - (version "20190226") + (version "20190909") (source (origin (method git-fetch) (uri (git-reference @@ -1473,7 +1445,7 @@ of M4RI from F_2 to F_{2^e}.") (file-name (git-file-name name version)) (sha256 (base32 - "1910np1xzyjzszay24xn4b81qhpsvhp5aix9vdpknplni2mq8kwb")))) + "1gw27lqc3f525n8qdcmr2nyn16y9g10z9f6dnmckyyxcdzvhq35n")))) (build-system gnu-build-system) (native-inputs `(("autoconf" ,autoconf) @@ -1548,6 +1520,7 @@ structure constants of Schubert polynomials.") (arguments `(#:configure-flags (list + "--enable-shared" (string-append "--with-gmp-include=" (assoc-ref %build-inputs "gmp") "/include") (string-append "--with-gmp-lib="