From b146763a86812edc3de654403f70b8e699f2d090 Mon Sep 17 00:00:00 2001 From: Andreas Enge Date: Tue, 5 Apr 2016 18:48:02 +0200 Subject: gnu: Add 4ti2. * gnu/packages/maths.scm (4ti2): New variable. --- gnu/packages/maths.scm | 29 ++++++++++++++++++++++++++++- 1 file changed, 28 insertions(+), 1 deletion(-) (limited to 'gnu/packages') diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index d6b371ee81..1d879713ac 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2013, 2014, 2015 Andreas Enge +;;; Copyright © 2013, 2014, 2015, 2016 Andreas Enge ;;; Copyright © 2013 Nikita Karetnikov ;;; Copyright © 2014 John Darrington ;;; Copyright © 2014, 2015, 2016 Eric Bavier @@ -200,6 +200,33 @@ translator for the language. In addition to the C library, a stand-alone LP/MIP solver is included in the package.") (license license:gpl3+))) +(define-public 4ti2 + (package + (name "4ti2") + (version "1.6.7") + (source + (origin + (method url-fetch) + (uri (string-append "http://www.4ti2.de/version_" version + "/4ti2-" version ".tar.gz")) + (sha256 + (base32 + "1frix3rnm9ffr93alqzw4cavxbfpf524l8rfbmcpyhwd3n1km0yl")))) + (build-system gnu-build-system) + (native-inputs + `(("which" ,(@ (gnu packages base) which)))) ; for the tests + (inputs + `(("glpk" ,glpk) + ("gmp" ,gmp))) + (home-page "http://www.4ti2.de/") + (synopsis "Mathematical tool suite for problems on linear spaces") + (description + "4ti2 implements algorithms for solving algebraic, geometric and +combinatorial problems on linear spaces. Among others, it solves systems +of linear equations, computes extreme rays of polyhedral cones, solves +integer programming problems and computes Markov bases for statistics.") + (license license:gpl2+))) + (define-public arpack-ng (package (name "arpack-ng") -- cgit v1.2.3