mirror/guix
mirror/guix
1
Fork 0
mirror of https://https.git.savannah.gnu.org/git/guix.git/ synced 2025-07-13 10:30:43 +02:00
Code Releases Activity

gnu: Add normaliz.

Browse source 
* gnu/packages/algebra.scm (normaliz): New variable.

Change-Id: I3e0936c598b0a5fdd88af9d22280137d42c45cc5
Signed-off-by: Andreas Enge <andreas@enge.fr>
This commit is contained in:
Vinicius Monego 2025-02-09 01:52:18 +00:00 • committed by Andreas Enge
parent 2951587274
commit 9f5c891c6a
No known key found for this signature in database
GPG key ID: F7D5C9BF765C61E3
1 changed files with 27 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

28
gnu/packages/algebra.scm
View file

@ -12,7 +12,7 @@
;;; Copyright © 2020 Björn Höfling <bjoern.hoefling@bjoernhoefling.de>
;;; Copyright © 2020 Jakub Kądziołka <kuba@kadziolka.net>
;;; Copyright © 2020 Vincent Legoll <vincent.legoll@gmail.com>
;;; Copyright © 2020, 2021, 2023, 2024 Vinicius Monego <monego@posteo.net>
;;; Copyright © 2020, 2021, 2023, 2024, 2025 Vinicius Monego <monego@posteo.net>
;;; Copyright © 2021 Lars-Dominik Braun <ldb@leibniz-psychology.org>
;;; Copyright © 2022 Maxim Cournoyer <maxim.cournoyer@gmail.com>
;;; Copyright © 2023 Mehmet Tekman <mtekman89@gmail.com>
@ -1017,6 +1017,32 @@ simple programming language but instead accepts a given language (C++) and
extends it by a set of algebraic capabilities.")
(license license:gpl2+)))
(define-public normaliz
(package
(name "normaliz")
(version "3.10.4")
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/normaliz/Normaliz")
(commit (string-append "v" version))))
(file-name (git-file-name name version))
(sha256
(base32
"1smla96wjyv5ygg77ps9np6bfzp2qynq8vd1msybabi4621cnrma"))))
(build-system gnu-build-system)
(native-inputs (list autoconf automake libtool pkg-config))
;; Flint is optional. TODO: Try to build with nauty and cocoalib support.
;; The configure script fails to find nauty.h.
(inputs (list flint gmp))
(home-page "https://www.normaliz.uni-osnabrueck.de/")
(synopsis "Tool for discrete convex geometry")
(description "Normaliz is a tool for computations in affine monoids,
vector configurations, rational polyhedra and rational cones. Normaliz now
computes rational and algebraic polyhedra, i.e., polyhedra defined over real
algebraic extensions of QQ.")
(license license:gpl3+)))
(define-public eigen
(package
(name "eigen")