From unknown Fri Jun 20 20:00:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76150] [PATCH 00/16] More patches towards SageMath. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 09 Feb 2025 01:51:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 76150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76150@debbugs.gnu.org Cc: Vinicius Monego X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.17390658426379 (code B ref -1); Sun, 09 Feb 2025 01:51:01 +0000 Received: (at submit) by debbugs.gnu.org; 9 Feb 2025 01:50:42 +0000 Received: from localhost ([127.0.0.1]:42280 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tgwT3-0001ep-Je for submit@debbugs.gnu.org; Sat, 08 Feb 2025 20:50:41 -0500 Received: from lists.gnu.org ([2001:470:142::17]:55960) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tgwT0-0001eZ-Pn for submit@debbugs.gnu.org; Sat, 08 Feb 2025 20:50:40 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tgwSv-0007wn-G0 for guix-patches@gnu.org; Sat, 08 Feb 2025 20:50:33 -0500 Received: from mout01.posteo.de ([185.67.36.65]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tgwSt-0002Zs-Li for guix-patches@gnu.org; Sat, 08 Feb 2025 20:50:33 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 43C6A240027 for ; Sun, 9 Feb 2025 02:50:26 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1739065827; bh=BAOBjGpDtZyRt725xIVv+QxPnAq8fFvPNKFEL4cm7Ac=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version: Content-Transfer-Encoding:From; b=RA9GCKGMNr8MHNtO1uGEhlM2GOeMkXFxBpsrv0oOswEodG45qtEhEIH/5tXnj00Fl m5T9VGR6OoMgqQW1NdaWZVxlDq0VUpV4hIzabBv9ZbPcFOst9MeJktC2QIFv//ouiv YXV4+5d3DzCXno7I+7/utjHjU/MuWBfYmaYU0vKB+ydT+F50yawYhU6hj4t/KACSDR yc1BC2kz+Jy1i4A/0/lVHocvf0gSiHLTGMoKLbtyZEX80T8D+/DL4zF4+jaApJfq2i oak7ClQUTsqjUGL4fX+RImcKK5X5hlK38WawJExuzHShfcm32fqdQz8ffuej1uIYcN Uw6jMoi0EvzlQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Yr9dY41vFz6tvZ; Sun, 9 Feb 2025 02:50:24 +0100 (CET) From: Vinicius Monego Date: Sun, 9 Feb 2025 01:50:06 +0000 Message-ID: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=185.67.36.65; envelope-from=monego@posteo.net; helo=mout01.posteo.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H5=0.001, RCVD_IN_MSPIKE_WL=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.0 (+) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) This series adds some optional packages for SageMath and updates other standard packages. The version bumps to m4ri, m4rie, python-cvxopt and singular are required for the latest version of sage. The other patches introduce new optional packages. Vinicius Monego (16): gnu: Add normaliz. gnu: Add python-pynormaliz. gnu: Add python-nibabel. gnu: python-cvxopt: Update to 1.3.2. gnu: Add msolve. gnu: Add python-cylp. gnu: singular: Remove package labels. gnu: singular: Update to 4.4.0p7. gnu: singular: Use G-Expressions. gnu: Add python-pysingular. gnu: m4ri: Update to 20200125. gnu: m4rie: Update to 20200125. gnu: Add hpcombi. gnu: Add libsemigroups. gnu: Add plantri. gnu: Add glucose. gnu/packages/algebra.scm | 157 ++++++++++++++++++++++++++++---- gnu/packages/graph.scm | 35 ++++++- gnu/packages/maths.scm | 153 ++++++++++++++++++++++++++++++- gnu/packages/python-science.scm | 35 ++++++- 4 files changed, 356 insertions(+), 24 deletions(-) base-commit: 05516fcb24799d00947751a434dd797f3fbb9d64 -- 2.48.1 From unknown Fri Jun 20 20:00:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76150] [PATCH 01/16] gnu: Add normaliz. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 09 Feb 2025 01:54:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76150@debbugs.gnu.org Cc: Vinicius Monego Received: via spool by 76150-submit@debbugs.gnu.org id=B76150.17390659906676 (code B ref 76150); Sun, 09 Feb 2025 01:54:02 +0000 Received: (at 76150) by debbugs.gnu.org; 9 Feb 2025 01:53:10 +0000 Received: from localhost ([127.0.0.1]:42286 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tgwVR-0001jX-LX for submit@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:10 -0500 Received: from mout01.posteo.de ([185.67.36.65]:57883) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tgwVO-0001iu-BK for 76150@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:07 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 37B04240027 for <76150@debbugs.gnu.org>; Sun, 9 Feb 2025 02:52:59 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1739065979; bh=GXYqNFMjquxImYoEIMBr5WXwQgFzknBLNzMCgheBj3w=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version:Content-Type: Content-Transfer-Encoding:From; b=XwE7/4dEFEScL483/LKzoqqHBpTFNTItTzTwKEPIRGpe035olHlmQoVvf9s4Fmu5T sdkObTPL9WpXvz/PhNrIqWWeASCtXxjoY3q4QsGIic1fb6h8c4CZSBT9BLlNXWMweb 4RTHnuRTgiiCi/Li9bPXkIry/co9vYd38HdXGaR/eeG5AW0/Z6l4Wx2nBRA0oqg9RH Z3PGhkFLv1G3LWGAZuoDLvM/oYFbl8TkjUf6ZX1eFRTwNbwuzDeXJSmj+wtbSd7fDn IVZ73oTC+DLloLQRsj5Hp+DIQ3C1EZJN16q+vBPrpFzHhV5fyf7UndyOrhM4eAIM2H bwp2/bvsACDDQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Yr9hV19qrz6ty4; Sun, 9 Feb 2025 02:52:57 +0100 (CET) From: Vinicius Monego Date: Sun, 9 Feb 2025 01:52:18 +0000 Message-ID: <82223555512250f32116e577ee99c171559f4381.1739064949.git.monego@posteo.net> In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) * gnu/packages/algebra.scm (normaliz): New variable. Change-Id: I3e0936c598b0a5fdd88af9d22280137d42c45cc5 --- gnu/packages/algebra.scm | 28 +++++++++++++++++++++++++++- 1 file changed, 27 insertions(+), 1 deletion(-) diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index afca739766..f1d4820dcb 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm @@ -12,7 +12,7 @@ ;;; Copyright © 2020 Björn Höfling ;;; Copyright © 2020 Jakub Kądziołka ;;; Copyright © 2020 Vincent Legoll -;;; Copyright © 2020, 2021, 2023, 2024 Vinicius Monego +;;; Copyright © 2020, 2021, 2023, 2024, 2025 Vinicius Monego ;;; Copyright © 2021 Lars-Dominik Braun ;;; Copyright © 2022 Maxim Cournoyer ;;; Copyright © 2023 Mehmet Tekman @@ -1017,6 +1017,32 @@ (define-public ginac 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") -- 2.48.1 From unknown Fri Jun 20 20:00:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76150] [PATCH 02/16] gnu: Add python-pynormaliz. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 09 Feb 2025 01:54:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76150@debbugs.gnu.org Cc: Vinicius Monego Received: via spool by 76150-submit@debbugs.gnu.org id=B76150.17390659936687 (code B ref 76150); Sun, 09 Feb 2025 01:54:02 +0000 Received: (at 76150) by debbugs.gnu.org; 9 Feb 2025 01:53:13 +0000 Received: from localhost ([127.0.0.1]:42288 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tgwVV-0001jn-Am for submit@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:13 -0500 Received: from mout01.posteo.de ([185.67.36.65]:56235) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tgwVR-0001jG-Bn for 76150@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:09 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 1655D240027 for <76150@debbugs.gnu.org>; Sun, 9 Feb 2025 02:53:03 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1739065983; bh=rfbI7DzEIwqNboYeB2GZ3Tqo4zMXi4wXxdtdZ77waw4=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version: Content-Transfer-Encoding:From; b=m4uwEUYfOkGVLtIZSNN0ZPpH86ef6IR2Z4T6q69aUOkKkBy5wW6P5DUhcAZfmeJTt vp+CwxUCEVgTK11cUhdn69tCfSRZjzqkBwQJlmK/hQPNCr71wTyCeMf9V6a7Y99Xck Ydr2c4iYUwgOrJOn9BG041QWevpRTufGeHg2eiCoH6UoHG5ol9Y2s7PwUrTpA1Miyq XcT/sUx7oZ1XD7DKGp8mIEtConkl6OBTa8d+8xdqLbAYh+pVOYOsQYJx9wZBNl8pf/ nOW9yhthhDXrumDgRg4MK21+z/5muDdOn2OcFbFkgV20qO/AKswUeQXPjgcov3SuhQ Lh7f9fXs6ib+w== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Yr9hZ1WLvz6txj; Sun, 9 Feb 2025 02:53:01 +0100 (CET) From: Vinicius Monego Date: Sun, 9 Feb 2025 01:52:19 +0000 Message-ID: <3167451161f6b33144c496fe9832ee196701580c.1739064949.git.monego@posteo.net> In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) * gnu/packages/algebra.scm (python-pynormaliz): New variable. Change-Id: I94379cfeed2a67bb4ffbda34823e4e000f4f961e --- gnu/packages/algebra.scm | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index f1d4820dcb..4e111a542a 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm @@ -1043,6 +1043,35 @@ (define-public normaliz algebraic extensions of QQ.") (license license:gpl3+))) +(define-public python-pynormaliz + (package + (name "python-pynormaliz") + (version "2.21") + (source + (origin + (method url-fetch) + (uri (pypi-uri "pynormaliz" version)) + (sha256 + (base32 "0hsyxml71i2b9pa375ipbfpackj3y67jlg2rxgc433sfy3895wvf")))) + (build-system pyproject-build-system) + (arguments + (list + #:tests? #f ; tests need normaliz to be built with nauty support + #:phases #~(modify-phases %standard-phases + (replace 'check + (lambda* (#:key tests? #:allow-other-keys) + (if tests? + (invoke "python" "tests/runtests.py"))))))) + (native-inputs (list python-setuptools python-wheel)) + (inputs (list flint gmp normaliz)) + (home-page "https://github.com/Normaliz/PyNormaliz") + (synopsis "Python interface to Normaliz") + (description + "PyNormaliz provides an interface to Normaliz via libNormaliz. It offers +the complete functionality of Normaliz, and can be used interactively from +Python.") + (license license:gpl2+))) + (define-public eigen (package (name "eigen") -- 2.48.1 From unknown Fri Jun 20 20:00:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76150] [PATCH 03/16] gnu: Add python-nibabel. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 09 Feb 2025 01:54:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76150@debbugs.gnu.org Cc: Vinicius Monego Received: via spool by 76150-submit@debbugs.gnu.org id=B76150.17390660016721 (code B ref 76150); Sun, 09 Feb 2025 01:54:03 +0000 Received: (at 76150) by debbugs.gnu.org; 9 Feb 2025 01:53:21 +0000 Received: from localhost ([127.0.0.1]:42291 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tgwVY-0001k5-NU for submit@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:21 -0500 Received: from mout01.posteo.de ([185.67.36.65]:41193) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tgwVV-0001jS-9X for 76150@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:14 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 5EE70240027 for <76150@debbugs.gnu.org>; Sun, 9 Feb 2025 02:53:07 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1739065987; bh=3PqDkbe72XTeEi1P14xkvHxJpEWY5OqNJUidIe0mvMs=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version:Content-Type: Content-Transfer-Encoding:From; b=TQKVXmUizWCRmUCHsexgoNTbFw+V8tKl+EVeJ3FSk1W+iK1NVmf4XPkkllMG6o1Hj PyMa7R2Nbi0Dap+Sk3/5g/+dccmbC+Ebgo/V72JTdPZ7i8curKlA/0U4IeIoEGA2WW vze+2MIysxLSSubQi8v69R44zBXBiy3mIx7xzlpBubiPy9Goi7eKDj+4v3gDsxNfSu cHsd5p8TNp2420Tx7UHkhwVLil2gyL8BXS02CfUVirZ6RJqfML/wpyhFssdtNNaWcM uNlT/PcCRv8mxZxyPlsEJ3+yuUipTLsgrziairZtGP5BTlFuQePuwgNESvmi/ZyDNo qcV1P3HrCrv5w== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Yr9hf37mVz9rxB; Sun, 9 Feb 2025 02:53:05 +0100 (CET) From: Vinicius Monego Date: Sun, 9 Feb 2025 01:52:20 +0000 Message-ID: <6942109990137daf5cdee6b4505102f646a90e22.1739064949.git.monego@posteo.net> In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -1.6 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) * gnu/packages/python-science.scm (python-nibabel): New variable. Change-Id: I27d3841def6f360ae3996aacb787142bcfa92291 --- gnu/packages/python-science.scm | 35 ++++++++++++++++++++++++++++++++- 1 file changed, 34 insertions(+), 1 deletion(-) diff --git a/gnu/packages/python-science.scm b/gnu/packages/python-science.scm index 7772dce248..bd7ea99c60 100644 --- a/gnu/packages/python-science.scm +++ b/gnu/packages/python-science.scm @@ -9,7 +9,7 @@ ;;; Copyright © 2019, 2021, 2022, 2023, 2024 Maxim Cournoyer ;;; Copyright © 2019 Giacomo Leidi ;;; Copyright © 2020 Pierre Langlois -;;; Copyright © 2020, 2021, 2022, 2023, 2024 Vinicius Monego +;;; Copyright © 2020-2025 Vinicius Monego ;;; Copyright © 2021 Greg Hogan ;;; Copyright © 2021 Roel Janssen ;;; Copyright © 2021 Paul Garlick @@ -1128,6 +1128,39 @@ (define-public python-pyet Evapotranspiration using various standard methods.") (license license:expat))) +(define-public python-nibabel + (package + (name "python-nibabel") + (version "5.3.2") + (source + (origin + (method url-fetch) + (uri (pypi-uri "nibabel" version)) + (sha256 + (base32 "16snprwgp7qzp51j3mx0zdn7brvx6r14ankldi24ny0w7d8adp0b")))) + (build-system pyproject-build-system) + (arguments + (list + ;; AttributeError: 'dict' object has no attribute 'add'. + #:test-flags #~(list "-k" "not test_first and not test_second"))) + (propagated-inputs (list python-importlib-resources python-numpy + python-packaging python-typing-extensions)) + (native-inputs (list python-hatch-vcs + python-hatchling + python-pytest + python-pytest-httpserver + python-pytest-xdist)) + (home-page "https://nipy.org/nibabel/") + (synopsis "Read and write access to common neuroimaging file formats") + (description + "@code{nibabel} is a library that provides read and write access to +common neuroimaging file formats, including: ANALYZE (plain, SPM99, SPM2 +and later), GIFTI, NIfTI1, NIfTI2, CIFTI-2, MINC1, MINC2, AFNI BRIK/HEAD, +ECAT and Philips PAR/REC. In addition, NiBabel also supports FreeSurfer’s +MGH, geometry, annotation and morphometry files, and provides some limited +support for DICOM.") + (license license:expat))) + (define-public python-tspex (package (name "python-tspex") -- 2.48.1 From unknown Fri Jun 20 20:00:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76150] [PATCH 04/16] gnu: python-cvxopt: Update to 1.3.2. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 09 Feb 2025 01:54:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76150@debbugs.gnu.org Cc: Vinicius Monego Received: via spool by 76150-submit@debbugs.gnu.org id=B76150.17390660016728 (code B ref 76150); Sun, 09 Feb 2025 01:54:03 +0000 Received: (at 76150) by debbugs.gnu.org; 9 Feb 2025 01:53:21 +0000 Received: from localhost ([127.0.0.1]:42294 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tgwVd-0001kM-5q for submit@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:21 -0500 Received: from mout01.posteo.de ([185.67.36.65]:39449) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tgwVZ-0001jl-AL for 76150@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:18 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 6BF56240027 for <76150@debbugs.gnu.org>; Sun, 9 Feb 2025 02:53:11 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1739065991; bh=LK9N2B7PusI//4iC9zc/xufc9EC8dLmh3M045jsrvdk=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version:Content-Type: Content-Transfer-Encoding:From; b=GqPthnJzySbx6d/iCZRH7tGRdzZdEX3unATpNBfn957r02urYHrp4qSvnGYSmUz6l a36yIIfHfZYokbJlToTMt21bVvJG7E6JpX3lX/0t41kCX6fOzgYgafEfvml/gWUUO9 H8sS5pY2imKFUtPsKXjEtZeB49oxYksiWSHhExucek4aE3Nl3OfUh1vGcmMwtBdxOU A9tjAV3N+w7xdYpf+/Rhrd/xXEcy+T8fe5dkzXKk58G8QC57NWbseIGoMY+pS0NGcQ pL6o2uVoGjJn+K1TYGe9/JhF2RlYJLK8he4xq7chQdcYJqB0UCnyKMGYk9w8j68gTR NoQhsbba0/smw== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Yr9hk3Tkfz6tm4; Sun, 9 Feb 2025 02:53:10 +0100 (CET) From: Vinicius Monego Date: Sun, 9 Feb 2025 01:52:21 +0000 Message-ID: <99a51c88eb0333d3e05747146ab65b00a95edc58.1739064949.git.monego@posteo.net> In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -1.4 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.4 (--) * gnu/packages/maths.scm (python-cvxopt): Update to 1.3.2. Change-Id: I7924821a69e092da529a5188df3d1b2e3f4eed49 --- gnu/packages/maths.scm | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index bfdad0eff3..47a81a510c 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -39,7 +39,7 @@ ;;; Copyright © 2020 Vincent Legoll ;;; Copyright © 2020 Nicolò Balzarotti ;;; Copyright © 2020 B. Wilson -;;; Copyright © 2020, 2021 Vinicius Monego +;;; Copyright © 2020, 2021, 2025 Vinicius Monego ;;; Copyright © 2020 Simon Tournier ;;; Copyright © 2020 Martin Becze ;;; Copyright © 2021 Gerd Heber @@ -3975,7 +3975,7 @@ (define-public python-blis-for-thinc (define-public python-cvxopt (package (name "python-cvxopt") - (version "1.2.7") + (version "1.3.2") (source (origin (method git-fetch) (uri (git-reference @@ -3984,7 +3984,7 @@ (define-public python-cvxopt (file-name (git-file-name name version)) (sha256 (base32 - "114z34wwx1bsv4q6xj9p5q99dffgnj9s4i4arx10g191xq9q8i5y")))) + "0vdfag3rr906w0gk7vxm2yxfy8y92i4wmqxi82cbykpfp5r82i36")))) (build-system python-build-system) (arguments `(#:phases -- 2.48.1 From unknown Fri Jun 20 20:00:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76150] [PATCH 05/16] gnu: Add msolve. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 09 Feb 2025 01:54:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76150@debbugs.gnu.org Cc: Vinicius Monego Received: via spool by 76150-submit@debbugs.gnu.org id=B76150.17390660046742 (code B ref 76150); Sun, 09 Feb 2025 01:54:04 +0000 Received: (at 76150) by debbugs.gnu.org; 9 Feb 2025 01:53:24 +0000 Received: from localhost ([127.0.0.1]:42297 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tgwVf-0001kf-KO for submit@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:23 -0500 Received: from mout01.posteo.de ([185.67.36.65]:58495) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tgwVd-0001k2-Jd for 76150@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:22 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id B0E7C240027 for <76150@debbugs.gnu.org>; Sun, 9 Feb 2025 02:53:15 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1739065995; bh=tyD9THEByTg72KH8zhIjpJ+ZCPcR7HPX4Q6OHEC3FKo=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version: Content-Transfer-Encoding:From; b=IJEDZAD7HOLzdpmCBpOXUS5J16SBul1HUryPKUa5mMc6fJuqQZkHwMY1C11NyWdoY b5AR66Hd59AUXhL8vG8aMI2Py8FOpDq4+4pzpk0pCRoQGl9ebfKOQtSPrg0DBQcbVl 6Xc8Nxk6UVM+3PkRZF/Jy5YlWIRU26ofTBz6lStKgTa3esAPplTZ1x9E0TcgsggYeD DR8HCbpUdlpzAh4ugHM5JAuttGQc3dAAceW/sLsqnwnU3hZqzBskxVq04R2lLf9Jck ZLsFc05ci6p6vRnjog3HcT9Xou9hD0VdZPbkcJR6T0N92t+8KXWLguHl0zhMbgZ0RA g11lDqms+1MOw== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Yr9hp6BgVz9rxB; Sun, 9 Feb 2025 02:53:14 +0100 (CET) From: Vinicius Monego Date: Sun, 9 Feb 2025 01:52:22 +0000 Message-ID: <4ca0caa93189db29f8bfb7f9c803b29cedaf97c8.1739064949.git.monego@posteo.net> In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) * gnu/packages/maths.scm (msolve): New variable. Change-Id: I8587f7527a6eb1cc9065751351491777c4cd00be --- gnu/packages/maths.scm | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 47a81a510c..2c89451d0f 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -7095,6 +7095,40 @@ (define-public lpsolve revised simplex and the branch-and-bound methods.") (license license:lgpl2.1+))) +(define-public msolve + (package + (name "msolve") + (version "0.7.3") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/algebraic-solving/msolve") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1ipsdw5sk4d344ki4r5ma9vn8gyi8hrk0n951r0720wvgxkw920p")))) + (build-system gnu-build-system) + (native-inputs (list autoconf automake libtool)) + (inputs (list flint gmp mpfr)) + (home-page "https://msolve.lip6.fr/") + (synopsis + "Library for polynomial system solving through algebraic methods") + (description "@code{msolve} is a C library implementing computer algebra +algorithms for solving polynomial systems (with rational coefficients or +coefficients in a prime field). + +Currently, with msolve, you can basically solve multivariate polynomial +systems. This encompasses: + +@itemize +@item the computation of Groebner bases +@item real root isolation of the solutions to polynomial systems +@item the computation of the dimension and the degree of the solution set and +many other things you can do using msolve. +@end itemize") + (license license:gpl2+))) + ;; Private Trilinos package for dealii-openmpi (similar to ;; trilinos-serial-xyce and trilinos-parallel-xyce). ;; This version is the latest known to be compatible with deal.II [1]. -- 2.48.1 From unknown Fri Jun 20 20:00:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76150] [PATCH 06/16] gnu: Add python-cylp. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 09 Feb 2025 01:54:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76150@debbugs.gnu.org Cc: Vinicius Monego Received: via spool by 76150-submit@debbugs.gnu.org id=B76150.17390660086762 (code B ref 76150); Sun, 09 Feb 2025 01:54:04 +0000 Received: (at 76150) by debbugs.gnu.org; 9 Feb 2025 01:53:28 +0000 Received: from localhost ([127.0.0.1]:42300 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tgwVk-0001kz-6W for submit@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:28 -0500 Received: from mout01.posteo.de ([185.67.36.65]:50463) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tgwVh-0001kJ-Hn for 76150@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:26 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id BD08D240027 for <76150@debbugs.gnu.org>; Sun, 9 Feb 2025 02:53:19 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1739065999; bh=GEA6PeKaG9r9PxuG/V2Casl8CwQTesIVFI7mlroTtqY=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version:Content-Type: Content-Transfer-Encoding:From; b=VBeVrlrmMUv0DVEMS4cmAkPBSUT9PI8fbp8jFc+qqgXg15ODQlT/DoZIvHTRQ4kon DX5wjNy8KZIUENJxWCZJxR/aCZgdClFw0M08LQdNBHse5/voY8h9iqJ4LNNeEOZgDk vQXRud+OSIQ4idDmyn4o3jvaPWN1hiQkaWl4S40YtXvt82xdSe28KvBQjiNxmO5tgO 53k+yWlMHLtYNMQBXVSbyG4r6qjhsQ9K4F4g8GLcIyoiJivqbld0fy3o5JTCEC5pOR II1EhqDiOB1iGaEQ0a5mTkDdaSwvIxWDm/jbagNFG5QLdz0LgCxCOBtUiQUaE0R56+ UkZZTYnBL5Rtw== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Yr9ht6Jfwz6tm4; Sun, 9 Feb 2025 02:53:18 +0100 (CET) From: Vinicius Monego Date: Sun, 9 Feb 2025 01:52:23 +0000 Message-ID: In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) * gnu/packages/maths.scm (python-cylp): New variable. Change-Id: Id3467bc34833472aa7fca3416801a5fbf5c033e6 --- gnu/packages/maths.scm | 48 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 48 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 2c89451d0f..44bd1b15d9 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -2739,6 +2739,54 @@ (define-public clp and quadratic objectives using the Simplex algorithm.") (license license:epl1.0))) +(define-public python-cylp + (package + (name "python-cylp") + (version "0.92.3") + (source + (origin + (method url-fetch) + (uri (pypi-uri "cylp" version)) + (sha256 + (base32 "1mhvjrhvpgnpw4zwri92dj168qvyclcpsqvzbj5maxx5cilnhkww")))) + (build-system pyproject-build-system) + (arguments + (list + #:test-flags #~(list "-k" (string-append + "not " (string-join + (list + "test_removeVar2" ; AssertionError + ;; Tests below segfault + "test_dantzig" + "test_lifo" + "test_mf" + "test_pe") + " and not "))) + #:phases + #~(modify-phases %standard-phases + (add-before 'check 'pre-check + (lambda* (#:key tests? #:allow-other-keys) + (if tests? ; rebuild extensions + (invoke "python" "setup.py" "build_ext" "--inplace"))))))) + (propagated-inputs (list python-numpy python-pytest python-scipy)) + (inputs (list cbc)) + (native-inputs (list pkg-config + python-cython-3 + python-hypothesis + python-numpy + python-pytest + python-setuptools + python-wheel)) + (home-page "https://github.com/coin-or/cylp") + (synopsis "Python interface for CLP, CBC, and CGL") + (description + "CyLP is a Python interface to COIN-OR’s Linear and mixed-integer program +solvers (CLP, CBC, and CGL). CyLP’s unique feature is that you can use it to +alter the solution process of the solvers from within Python. For example, +you may define cut generators, branch-and-bound strategies, and primal/dual +Simplex pivot rules completely in Python.") + (license license:epl2.0))) + (define-public gecode (let* ((commit "f7f0d7c273d6844698f01cec8229ebe0b66a016a") (version (git-version "6.2.0" "1" commit))) -- 2.48.1 From unknown Fri Jun 20 20:00:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76150] [PATCH 07/16] gnu: singular: Remove package labels. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 09 Feb 2025 01:54:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76150@debbugs.gnu.org Cc: Vinicius Monego Received: via spool by 76150-submit@debbugs.gnu.org id=B76150.17390660156794 (code B ref 76150); Sun, 09 Feb 2025 01:54:05 +0000 Received: (at 76150) by debbugs.gnu.org; 9 Feb 2025 01:53:35 +0000 Received: from localhost ([127.0.0.1]:42304 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tgwVq-0001lV-Sg for submit@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:35 -0500 Received: from mout02.posteo.de ([185.67.36.66]:41129) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tgwVo-0001kp-Jq for 76150@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:33 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id E1ED2240103 for <76150@debbugs.gnu.org>; Sun, 9 Feb 2025 02:53:23 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1739066003; bh=kRLPn3985kuT/ABC/DrHZdhM8GSAMqG9j/qG/M5caxk=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version: Content-Transfer-Encoding:From; b=DIbOnLxFO9jKvjgIXSdudvvRVgM7jFdG7vuXZTVmsM6iNvdKkG9TkxreZQvJBmxzy VZKkMg+l3PvPNSol8RnJvtJFnVaw3mHkhipYPPdXhKfkI1jNic1QbUjeQteL600HkO dw0J+TWtTwDUhDXtzpwkXQ8z/pxp0wKXUNedc7laHDVGo+w3M79sSzc0L54GbmUBOt SQpNUF4LnFIJCTbWeVqN9zjqPkvWDDEIfAUXNsxlPJ716INgIfvwEjU9B5ziSdAeir rUaVsKUy5Jz+muTD6IqMHbZLB5O01Z389iwXuEkH+w7kWz1WwJlCT2Xxi0IM2bGJ6H Z2oPMWVK+py9g== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Yr9hy5RZQz9rxB; Sun, 9 Feb 2025 02:53:22 +0100 (CET) From: Vinicius Monego Date: Sun, 9 Feb 2025 01:52:24 +0000 Message-ID: In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) * gnu/packages/algebra.scm (singular)[inputs]: Remove package labels. Change-Id: Iecdcf07df4c0f18c0305a8f990d4a2e3c832cdd6 --- gnu/packages/algebra.scm | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index 4e111a542a..bf3abaa8ed 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm @@ -619,13 +619,13 @@ (define-public singular (native-inputs (list doxygen graphviz perl)) (inputs - `(("cddlib" ,cddlib) - ("gmp" ,gmp) - ("flint" ,flint) - ("mpfr" ,mpfr) - ("ntl" ,ntl) - ("python" ,python-2) - ("readline" ,readline))) + (list cddlib + gmp + flint + mpfr + ntl + python-2 + readline)) (arguments `(#:configure-flags (list (string-append "--with-ntl=" -- 2.48.1 From unknown Fri Jun 20 20:00:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76150] [PATCH 08/16] gnu: singular: Update to 4.4.0p7. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 09 Feb 2025 01:54:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76150@debbugs.gnu.org Cc: Vinicius Monego Received: via spool by 76150-submit@debbugs.gnu.org id=B76150.17390660166803 (code B ref 76150); Sun, 09 Feb 2025 01:54:05 +0000 Received: (at 76150) by debbugs.gnu.org; 9 Feb 2025 01:53:36 +0000 Received: from localhost ([127.0.0.1]:42306 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tgwVs-0001lf-AM for submit@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:36 -0500 Received: from mout01.posteo.de ([185.67.36.65]:33745) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tgwVp-0001ky-CA for 76150@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:33 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 8A3FB240027 for <76150@debbugs.gnu.org>; Sun, 9 Feb 2025 02:53:27 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1739066007; bh=ESZgSx1NC2mVQeA+Z8PYzEZuAX5x6TPhQZz6KJXPECU=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version: Content-Transfer-Encoding:From; b=sLWwXX8iI1tCxz7Y9oLkJgUjKLiqREcJeb9Mc/nE5BGxj0GpTmbFUADUhdNbylWsj udmcvMz6zVJCvubGl5ipEWaSTEVjt2lciw9pu02qCkSngHgEdKrzNpM2ZZ/c9IoY9d MbZKU3/b8k60+BahLcAFFWb/ulucABemv4pLI7gakvWEIOZtwGHAyLSdVax8qtmqRF Wu3D9tEBDo75669UIFg6qNU2o5MpxBIVAkaw3hnrssrZsFhIWD0BcMKCWD8Zhq1beH EBWhGIz4SaobT3N9lRjhfZdgR11QYFz39d6uFtGt4rct3iq/1cAumHfk2dgQmzvHUv z/8XwnMgLB+Lg== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Yr9j259Bgz6tx8; Sun, 9 Feb 2025 02:53:26 +0100 (CET) From: Vinicius Monego Date: Sun, 9 Feb 2025 01:52:25 +0000 Message-ID: In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) * gnu/packages/algebra.scm (singular): Update to 4.4.0p7. Change-Id: I64f74815097ca3aaeeaba9f3177580818c433a4c --- gnu/packages/algebra.scm | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index bf3abaa8ed..acbc76b4ca 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm @@ -599,7 +599,7 @@ (define-public ntl (define-public singular (package (name "singular") - (version "4.3.2p16") + (version "4.4.0p7") (source (origin (method url-fetch) @@ -613,8 +613,9 @@ (define-public singular version)) #\.) "-") "/singular-" version ".tar.gz")) - (sha256 (base32 - "05ia8zqiddj1agg9bfdx54z0sjqcgjgi6lz7ck2ngv562fx36mv7")))) + (sha256 + (base32 + "0625541pxxhs7789i3ddf5fm1pqvf1kyljyaii41djg9j12cdhbc")))) (build-system gnu-build-system) (native-inputs (list doxygen graphviz perl)) -- 2.48.1 From unknown Fri Jun 20 20:00:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76150] [PATCH 09/16] gnu: singular: Use G-Expressions. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 09 Feb 2025 01:54:06 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76150@debbugs.gnu.org Cc: Vinicius Monego Received: via spool by 76150-submit@debbugs.gnu.org id=B76150.17390660206820 (code B ref 76150); Sun, 09 Feb 2025 01:54:06 +0000 Received: (at 76150) by debbugs.gnu.org; 9 Feb 2025 01:53:40 +0000 Received: from localhost ([127.0.0.1]:42309 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tgwVv-0001lw-OD for submit@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:40 -0500 Received: from mout02.posteo.de ([185.67.36.66]:45017) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tgwVt-0001lC-GY for 76150@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:37 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id 98F5B240101 for <76150@debbugs.gnu.org>; Sun, 9 Feb 2025 02:53:31 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1739066011; bh=B3+NshHOwdLJvCgr5tAzvFTM4HJ1xcRyD7EUYvVhU18=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version: Content-Transfer-Encoding:From; b=YccZUTsslSYzHQW5KCTZfNJvZu9QGS9DiA8lZOEF5zp/fg7CtyvvB231M2mTYNJYz 5I+prWpKqNjl0bELN74+iTsY1HYbi8N0+xT7Ge7STbbzE1Q8lixGcbgIWcjs9JZab4 UAz4/2uj4E/CdCK42DekGrXf6oNF2H7z+T2oWqDApLxNn7bc64U96db7TlpWtEj0I6 wXFwU00Sv2wyokHSYqfbn8SxoyDAcuIU8RaiiXoGFBkoQgLn4RjXl+kNp2SOe3kqhx Di1xUBduZrRrNQpulGx1/s++Y8pucAM4Fy7dUAUgtccPtuqap5SefhEf9FFrZrGMqn N0le171KA0mSA== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Yr9j65Sjxz9rxB; Sun, 9 Feb 2025 02:53:30 +0100 (CET) From: Vinicius Monego Date: Sun, 9 Feb 2025 01:52:26 +0000 Message-ID: <6c5f5034d72976249920afbdf3ce28a6de4d0701.1739064949.git.monego@posteo.net> In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) * gnu/packages/algebra.scm (singular)[arguments]: Use G-Expressions. Move below build-system. Change-Id: I4253b8a9a9cd3b7d2b7492853323d1e8c4fbec4e --- gnu/packages/algebra.scm | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index acbc76b4ca..b69b14fa28 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm @@ -617,6 +617,10 @@ (define-public singular (base32 "0625541pxxhs7789i3ddf5fm1pqvf1kyljyaii41djg9j12cdhbc")))) (build-system gnu-build-system) + (arguments + (list + #:configure-flags #~(list (string-append "--with-ntl=" + #$(this-package-input "ntl"))))) (native-inputs (list doxygen graphviz perl)) (inputs @@ -627,10 +631,6 @@ (define-public singular ntl python-2 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, -- 2.48.1 From unknown Fri Jun 20 20:00:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76150] [PATCH 10/16] gnu: Add python-pysingular. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 09 Feb 2025 01:54:06 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76150@debbugs.gnu.org Cc: Vinicius Monego Received: via spool by 76150-submit@debbugs.gnu.org id=B76150.17390660246840 (code B ref 76150); Sun, 09 Feb 2025 01:54:06 +0000 Received: (at 76150) by debbugs.gnu.org; 9 Feb 2025 01:53:44 +0000 Received: from localhost ([127.0.0.1]:42312 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tgwVz-0001mF-Hf for submit@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:43 -0500 Received: from mout02.posteo.de ([185.67.36.66]:57513) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tgwVx-0001ld-JX for 76150@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:42 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id A4E19240101 for <76150@debbugs.gnu.org>; Sun, 9 Feb 2025 02:53:35 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1739066015; bh=aJ62FQjdIrjC13DwVbv0VInTIarfspJrj78BW/0KQIs=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version: Content-Transfer-Encoding:From; b=kriMGYYmcMF15wGPSsT9+rOzeW3E7PjrW9et39eGC4QdkywNmJzmfT4w+besaqyDc aXjWUrrVjWjUrh96m+uPPMOyOEDUIrKf/O6Hli773OhZLVAx2tbqbp0LibSkR2+Knd A0CKOv3zA18p9t4j7xOklxb11dkF86MdLWG4FQtbve0SQxGi1mNVyrmYTIsAbZ8xLl I8G3M2eZQpTgVMxCJ+VTaykKAqiSXKZ+Ko3xHNmDEMnLzt9uUwlhmZDtRDDPg3GVzM EN1uI+79kiZPTuEjlvF+TEWp5kf0CuJUdapoPpDPjI08wYp9fPf6Mmz5SC7gTcW/ld dFIP2vY3hXnnw== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Yr9jB64kPz6tx8; Sun, 9 Feb 2025 02:53:34 +0100 (CET) From: Vinicius Monego Date: Sun, 9 Feb 2025 01:52:27 +0000 Message-ID: In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) * gnu/packages/algebra.scm (python-pysingular): New variable. Change-Id: I57e828bd4eb2c64b2ba094ed0c9cb516fee1c5b4 --- gnu/packages/algebra.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index b69b14fa28..6abe959343 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm @@ -642,6 +642,28 @@ (define-public singular (license license:gpl3) (home-page "https://www.singular.uni-kl.de/index.php"))) +(define-public python-pysingular + (package + (name "python-pysingular") + (version "0.9.7") + (source + (origin + (method url-fetch) + (uri (pypi-uri "PySingular" version)) + (sha256 + (base32 "037n3s1l08g75k22saki6813wi3ciiq45zxca11izilgagbx20ya")))) + (build-system pyproject-build-system) + (arguments + (list #:tests? #f)) ; there are no tests + (native-inputs (list python-setuptools python-wheel)) + ;; XXX: GMP failed to be loaded from Singular. Pass it here for now. + (inputs (list gmp singular)) + (home-page "https://github.com/sebasguts/SingularPython") + (synopsis "Simple interface to Singular") + (description "This package provides a simple Python interface to the +Singular computer algebra system.") + (license license:gpl2+))) + (define-public gmp-ecm (package (name "gmp-ecm") -- 2.48.1 From unknown Fri Jun 20 20:00:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76150] [PATCH 11/16] gnu: m4ri: Update to 20200125. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 09 Feb 2025 01:54:07 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76150@debbugs.gnu.org Cc: Vinicius Monego Received: via spool by 76150-submit@debbugs.gnu.org id=B76150.17390660286857 (code B ref 76150); Sun, 09 Feb 2025 01:54:07 +0000 Received: (at 76150) by debbugs.gnu.org; 9 Feb 2025 01:53:48 +0000 Received: from localhost ([127.0.0.1]:42315 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tgwW4-0001mW-36 for submit@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:48 -0500 Received: from mout01.posteo.de ([185.67.36.65]:39853) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tgwW1-0001lv-IM for 76150@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:45 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 6B637240027 for <76150@debbugs.gnu.org>; Sun, 9 Feb 2025 02:53:39 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1739066019; bh=894YZXE2oMs+N8MUBwux1misv8arLbH5VkWahJXO/fk=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version: Content-Transfer-Encoding:From; b=h7GoYnLz/u2BmjiGynXRaGYX2R+zjAuGgfqUgvfPw3yKZzudBaQPoozmTq9Nsmo/m BxXFJj5GZTYH+8xX/HwEt0RsBgjz5fuAPgFEPVNEueIOY4cBb9xqNNJ0bgmGrlz8hb YiTmjZEtRTnIB0Y22YejU5RBG+6p7UTSpTiYLa1Shk3OMYNXnlta7Bza4e7Rv4hfnY othrRV0lNRs/THjygsw3D2cePvIzos6zK9or5Q9NxYxrfiTtQhyPhvSckrkKqHn3Bu pow/0m2fLMkTXx1BkVRc6N5aDUNkEc87DPNGR4lCuToEKGhy11kWNfL527Cc/XI2cC 9Oyws502wx9DQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Yr9jG3s7Gz9rxB; Sun, 9 Feb 2025 02:53:38 +0100 (CET) From: Vinicius Monego Date: Sun, 9 Feb 2025 01:52:28 +0000 Message-ID: <5650cf40c203cfa13153854def744d00d54c3774.1739064949.git.monego@posteo.net> In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) * gnu/packages/algebra.scm (m4ri): Update to 20200125. Change-Id: I0b6ec9c92e224fa6ac8200c8aea0abb343dae8a6 --- gnu/packages/algebra.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index 6abe959343..90cee7e2ac 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm @@ -1573,7 +1573,7 @@ (define-public linbox (define-public m4ri (package (name "m4ri") - (version "20140914") + (version "20200125") (source (origin (method git-fetch) (uri (git-reference @@ -1582,7 +1582,7 @@ (define-public m4ri (file-name (git-file-name name version)) (sha256 (base32 - "0xfg6pffbn8r1s0y7bn9b8i55l00d41dkmhrpf7pwk53qa3achd3")))) + "1dxgbv6zdyki3h61qlv7003wzhy6x14zmcaz9x19md1i7ng07w1k")))) (build-system gnu-build-system) (native-inputs (list autoconf automake libtool pkg-config)) -- 2.48.1 From unknown Fri Jun 20 20:00:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76150] [PATCH 12/16] gnu: m4rie: Update to 20200125. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 09 Feb 2025 01:54:07 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76150@debbugs.gnu.org Cc: Vinicius Monego Received: via spool by 76150-submit@debbugs.gnu.org id=B76150.17390660316874 (code B ref 76150); Sun, 09 Feb 2025 01:54:07 +0000 Received: (at 76150) by debbugs.gnu.org; 9 Feb 2025 01:53:51 +0000 Received: from localhost ([127.0.0.1]:42318 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tgwW7-0001mm-El for submit@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:51 -0500 Received: from mout01.posteo.de ([185.67.36.65]:48013) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tgwW5-0001mD-2g for 76150@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:49 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 44F96240027 for <76150@debbugs.gnu.org>; Sun, 9 Feb 2025 02:53:43 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1739066023; bh=Av8IXVg0fbH/bSDySvxMLO3A5TtzHU2N6L/dLbjhLBE=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version: Content-Transfer-Encoding:From; b=PZfeITtgw/pIliXb+vdnrLqL0P46iFGu3b3l6mGHj3iQI+d2C0qiB0C/Jo4HlQyfS eD9/KjA+ju5ZgBVJlHOVPwKshDqec6zS7GxGvzwJ57XTrU9Thh1ZxTBW8fIFjIQO8Z ylFsOQSeg9ALtLNUBsCKT2ymgDKnGgPvmWpMaXsFoyhfWjywU4TWEOIV7kY9CPbl4n Giyz+bF+rjzjVAAoTr931qOzDRtHhJMjou9tRJSHrvtU0G4RKkbW0ruPVx1tQMYAxu ziZtnaoxZlWNlgG2jkUQU/AQ2rD8cY18h9uMrWvspMvfjomDIsGVAGn3QOqCc4TiQR knMLqNPlLu4Ug== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Yr9jL2lNLz6tx8; Sun, 9 Feb 2025 02:53:42 +0100 (CET) From: Vinicius Monego Date: Sun, 9 Feb 2025 01:52:29 +0000 Message-ID: <3f23458797eb21ffd9711c5fb87229be6eb7b24a.1739064949.git.monego@posteo.net> In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) * gnu/packages/algebra.scm (m4rie): Update to 20200125. Change-Id: I114f5c2bf3a689d8d7e66dd3a9125970852c90a6 --- gnu/packages/algebra.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index 90cee7e2ac..8175589006 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm @@ -1662,7 +1662,7 @@ (define-public symmetrica (define-public m4rie (package (name "m4rie") - (version "20150908") + (version "20200125") (source (origin (method git-fetch) (uri (git-reference @@ -1671,7 +1671,7 @@ (define-public m4rie (file-name (git-file-name name version)) (sha256 (base32 - "0r8lv46qx5mkz5kp3ay2jnsp0mbhlqr5z2z220wdk73wdshcznss")))) + "078f0b4skv1bbdj0j9b397hydj7gimhfzf407nisy2zcyp2iqc3f")))) (build-system gnu-build-system) (native-inputs (list autoconf automake libtool)) -- 2.48.1 From unknown Fri Jun 20 20:00:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76150] [PATCH 13/16] gnu: Add hpcombi. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 09 Feb 2025 01:54:08 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76150@debbugs.gnu.org Cc: Vinicius Monego Received: via spool by 76150-submit@debbugs.gnu.org id=B76150.17390660366893 (code B ref 76150); Sun, 09 Feb 2025 01:54:08 +0000 Received: (at 76150) by debbugs.gnu.org; 9 Feb 2025 01:53:56 +0000 Received: from localhost ([127.0.0.1]:42321 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tgwWB-0001n6-Pk for submit@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:56 -0500 Received: from mout01.posteo.de ([185.67.36.65]:59445) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tgwW9-0001mV-IG for 76150@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:54 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 30C9D240027 for <76150@debbugs.gnu.org>; Sun, 9 Feb 2025 02:53:47 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1739066027; bh=6L0pKiYytQ0nmzPPcUS8UzGZvtLqzBJ1ZIuD9OTbon4=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version: Content-Transfer-Encoding:From; b=nxlZ1Mw5m3ErjvoLIkAeY9e3183UkuUt7Ae7GS4PrOYGNRzoNeso9cjXhzPyaC6EW yeozXF3gKkAY2YTIkEfCUR+tO6YJ+75pgj89Wxee2xtd/SJxWqvQam2wqOS3MbJKuf f4E3OV7zM72sAWNT3fOhHeuSnXC9jwqsgY9yYcutdtOD/1fo/P6AgSpC2ZrwDmqK/I 7fGyooRqHr13xs8nfoeUFLslqFUNOdAiyMBWsuNSFKlgnltXscjTrFzMloDc3/3QLs GbesVqMGVz+KPv1z9U68pQSZly3yvWoE2hiYy103uN1Y9kYZDmbZLnLUkkk8gM1uTW R4i0ztzFNLcfA== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Yr9jQ2lVtz9rxB; Sun, 9 Feb 2025 02:53:46 +0100 (CET) From: Vinicius Monego Date: Sun, 9 Feb 2025 01:52:30 +0000 Message-ID: <93ae923ef783285073180ec35ea7792336a6e7f8.1739064949.git.monego@posteo.net> In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -1.6 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.6 (--) * gnu/packages/maths.scm (hpcombi): New variable. Change-Id: I64eb46aa4002a2291ae59122e083998a9c846eaf --- gnu/packages/maths.scm | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 44bd1b15d9..cd0a0828e1 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -2976,6 +2976,32 @@ (define-public libflame includes a complete LAPACK implementation.") (license license:bsd-3)))) +(define-public hpcombi + (package + (name "hpcombi") + (version "1.0.1") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/libsemigroups/hpcombi") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "00mbxw5x6m61n0x68dsiyq97i7b08h3hkbj9is2w6gcg571jy319")))) + (arguments + (list #:configure-flags #~(list "-DBUILD_TESTING=ON"))) + (native-inputs + (list catch2-3)) + (build-system cmake-build-system) + (home-page "https://libsemigroups.github.io/HPCombi/") + (synopsis "Fast combinatorics in C++ using SSE/AVX instruction sets") + (description "HPCombi is a C++17 header-only library using the SSE and AVX +instruction sets, and some equivalents, for very fast manipulation of +combinatorial objects such as transformations, permutations, and boolean +matrices of small size.") + (license license:gpl3+))) + (define-public scasp (package (name "scasp") -- 2.48.1 From unknown Fri Jun 20 20:00:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76150] [PATCH 14/16] gnu: Add libsemigroups. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 09 Feb 2025 01:54:08 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76150@debbugs.gnu.org Cc: Vinicius Monego Received: via spool by 76150-submit@debbugs.gnu.org id=B76150.17390660386907 (code B ref 76150); Sun, 09 Feb 2025 01:54:08 +0000 Received: (at 76150) by debbugs.gnu.org; 9 Feb 2025 01:53:58 +0000 Received: from localhost ([127.0.0.1]:42324 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tgwWE-0001nK-7B for submit@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:58 -0500 Received: from mout02.posteo.de ([185.67.36.66]:52895) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tgwWC-0001ml-N9 for 76150@debbugs.gnu.org; Sat, 08 Feb 2025 20:53:57 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id E7EFF240101 for <76150@debbugs.gnu.org>; Sun, 9 Feb 2025 02:53:50 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1739066030; bh=D6pBJWDz129GPTwbjb5L72ZeTW/1ZXp2A1N7DKnCU4w=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version: Content-Transfer-Encoding:From; b=lBFJ4NhlxlxiSgqyDmDhMGVNGOaVQCmH1u69+nfnpf2+AfTqKUqLZhm/zaYw6svao YaHbXwHX3+pKPqribgO1eJBWwGV/fEXFNYBJlg7vDOl14886YMEG0yw3I74cHDFzqx vWuUS4mDlY0eIUBcHewqnnlM6RY4yNRHeaLMiOBfLkgM1OAPe7k9DGYV6CoodKibV3 ++IygbMRuQfZCpTm8jDzS4WTHR9T3mZbwtf/bXKUgWT6X1V63P4RyZpHtS+wTAJhTt fRYF/kGkpQ77gesMrI1b7S0r0m0rA9ElksJwSU+Xs98i2yO3dclmr7EMGAgrCH17uQ KbhjiZIy3ZIgA== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Yr9jT6wGbz6txv; Sun, 9 Feb 2025 02:53:49 +0100 (CET) From: Vinicius Monego Date: Sun, 9 Feb 2025 01:52:31 +0000 Message-ID: In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) * gnu/packages/algebra.scm (libsemigroups): New variable. Change-Id: I6e929fe6b479c7e7c2b5b4632759bd781af3c927 --- gnu/packages/algebra.scm | 41 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index 8175589006..9da5f0124c 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm @@ -63,6 +63,7 @@ (define-module (gnu packages algebra) #:use-module (gnu packages ocaml) #:use-module (gnu packages perl) #:use-module (gnu packages pkg-config) + #:use-module (gnu packages pretty-print) #:use-module (gnu packages pulseaudio) #:use-module (gnu packages python) #:use-module (gnu packages python-build) @@ -1836,6 +1837,46 @@ (define-public r-dtt (@dfn{DHT}).") (license license:gpl2+))) +(define-public libsemigroups + (package + (name "libsemigroups") + (version "2.7.1") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/libsemigroups/libsemigroups") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0acpx6n6chqm365k71ba6lwqqzapbh6h4wzra63p6mbgb8dw9l1f")))) + (build-system gnu-build-system) + (arguments + (list + ;; XXX: libsemigroup's build system doesn't have an option to use + ;; external HPCombi. Try to work it around in the future and skip + ;; support for now. + #:configure-flags #~(list "--enable-fmt=yes" + "--enable-hpcombi=no" + "--with-external-eigen=yes" + "--with-external-fmt=yes") + #:phases #~(modify-phases %standard-phases + (add-after 'unpack 'fix-version + (lambda* (#:key inputs #:allow-other-keys) + (substitute* "etc/version-number.sh" + (("/bin/sh") + (search-input-file inputs "/bin/bash")))))))) + (native-inputs + (list autoconf automake libtool pkg-config)) + (inputs (list eigen fmt)) + (home-page "https://github.com/libsemigroups/libsemigroups") + (synopsis "Library for semigroups and monoids") + (description + "@code{libsemigroups} is a C++14 library containing implementations of +several algorithms for computing finite, and finitely presented, +semigroups and monoids.") + (license license:gpl2+))) + (define-public sollya (package (name "sollya") -- 2.48.1 From unknown Fri Jun 20 20:00:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76150] [PATCH 15/16] gnu: Add plantri. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 09 Feb 2025 01:54:09 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76150@debbugs.gnu.org Cc: Vinicius Monego Received: via spool by 76150-submit@debbugs.gnu.org id=B76150.17390660466992 (code B ref 76150); Sun, 09 Feb 2025 01:54:09 +0000 Received: (at 76150) by debbugs.gnu.org; 9 Feb 2025 01:54:06 +0000 Received: from localhost ([127.0.0.1]:42335 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tgwWL-0001oa-Ld for submit@debbugs.gnu.org; Sat, 08 Feb 2025 20:54:06 -0500 Received: from mout02.posteo.de ([185.67.36.66]:44275) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tgwWG-0001n4-Iq for 76150@debbugs.gnu.org; Sat, 08 Feb 2025 20:54:04 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id C108C240101 for <76150@debbugs.gnu.org>; Sun, 9 Feb 2025 02:53:54 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1739066034; bh=qkqIKs1/e1jZxKyfMjpvVTJhD9J6n2RcvtdQNqLPid0=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version:Content-Type: Content-Transfer-Encoding:From; b=RUBhM2vhBBV0f1nGK9lDrtwQtzXW9xdkHsI7cLVcvrYjJOJYcEqxH9fZFGaVIBKkm yPvSrOWr2FPyoidMAH+wWfFUCGJCnNZaf5Tf6GNKrQBXuz0FQigimTvQhRNy8IA7xq P415u+5G+ZHopwqXZ6LbXQzNLFlo0eLIULHud3qdMNSxFDQFO3ZTDICUcBZAw9RnNc 6JthCD0ufolqHGub/gp2uPo7fbhtXet9OcMKyHPMbUU3VgZvynLRA7cU4O7K/vH1k3 BUmzPTempbOb5GhnrJlQXa9T0wsJ7/6ZiFQJ/qDctAXkRlLuEOfq5gbWMnqomrER+8 JsZiP5GlFiL0A== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Yr9jY6J1yz9rxG; Sun, 9 Feb 2025 02:53:53 +0100 (CET) From: Vinicius Monego Date: Sun, 9 Feb 2025 01:52:32 +0000 Message-ID: <30eb654cc83ccabe7be3a8351405d09169f974ae.1739064949.git.monego@posteo.net> In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) * gnu/packages/graph.scm (plantri): New variable. Change-Id: I976eb88437b47bc06d7b2c2f8703da217e85cc7e --- gnu/packages/graph.scm | 35 ++++++++++++++++++++++++++++++++++- 1 file changed, 34 insertions(+), 1 deletion(-) diff --git a/gnu/packages/graph.scm b/gnu/packages/graph.scm index c8bd25af9c..5303f2e9db 100644 --- a/gnu/packages/graph.scm +++ b/gnu/packages/graph.scm @@ -6,7 +6,7 @@ ;;; Copyright © 2019 Andreas Enge ;;; Copyright © 2020 Alexander Krotov ;;; Copyright © 2020 Pierre Langlois -;;; Copyright © 2021, 2023 Vinicius Monego +;;; Copyright © 2021, 2023, 2025 Vinicius Monego ;;; Copyright © 2021 Alexandre Hannud Abdo ;;; Copyright © 2021, 2022, 2023 Maxim Cournoyer ;;; Copyright © 2022 Marius Bakke @@ -783,6 +783,39 @@ (define-public edge-addition-planarity-suite (home-page "https://github.com/graph-algorithms/edge-addition-planarity-suite"))) +(define-public plantri + (package + (name "plantri") + (version "5.5") + (source (origin + (method url-fetch) + (uri (string-append "https://users.cecs.anu.edu.au/~bdm/plantri/" + "plantri" (string-join + (string-split version #\.) + "") ".tar.gz")) + (sha256 + (base32 + "1vbxpjih293d9nmb65fsh6xgg0w12kygwycg1yw4wad7ridxy74i")))) + (build-system gnu-build-system) + (arguments + (list + #:tests? #f ; there are no tests + #:phases #~(modify-phases %standard-phases + (delete 'configure) + (replace 'install + (lambda _ + (for-each + (lambda (bin) + (install-file bin (string-append #$output "/bin"))) + '("fullgen" "plantri"))))))) + (home-page "https://users.cecs.anu.edu.au/~bdm/plantri/") + (synopsis "Generate certain types of planar graphs") + (description + "@code{plantri} and @code{fullgen} are programs for generation of certain +types of planar graphs. Graphs are generated in such a way that exactly one +member of each isomorphism class is output without the need for storing them.") + (license license:asl2.0))) + (define-public rw (package (name "rw") -- 2.48.1 From unknown Fri Jun 20 20:00:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76150] [PATCH 16/16] gnu: Add glucose. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 09 Feb 2025 01:55:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76150@debbugs.gnu.org Cc: Vinicius Monego Received: via spool by 76150-submit@debbugs.gnu.org id=B76150.17390660507059 (code B ref 76150); Sun, 09 Feb 2025 01:55:02 +0000 Received: (at 76150) by debbugs.gnu.org; 9 Feb 2025 01:54:10 +0000 Received: from localhost ([127.0.0.1]:42344 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tgwWP-0001pf-8u for submit@debbugs.gnu.org; Sat, 08 Feb 2025 20:54:09 -0500 Received: from mout01.posteo.de ([185.67.36.65]:58659) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tgwWK-0001nS-GM for 76150@debbugs.gnu.org; Sat, 08 Feb 2025 20:54:06 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id AE4E9240027 for <76150@debbugs.gnu.org>; Sun, 9 Feb 2025 02:53:58 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1739066038; bh=RbuLSWxhzFXpCAlg4eAa2aRqlk9lTiKYrmmNGzn4CMI=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version:Content-Type: Content-Transfer-Encoding:From; b=pIIMbUiszgKzUtNrceN7J+JHO1Gr/5zytJ8jp5IIAIedJat8WBrOwjunVBiD2utZ9 QdQnDiB5lc28eBKKeDHMN+w8CiBfIMCbbm0y7Y4FI8ltysYcIHVwLd8r4YlfHDSqUb 6cdY3V0viqxo/m0Ly8sXjRwcPOzjjPqysDmIl6FVQc26VN5MyLzCmhAtqbg0N0q0lk GVEHxF3qtv+rFGffIeFjgTyjgRQ3QWQbEo1702tDY/4+gZcjAiQoRDsOT3krmUWxsg 205FjJz5kBOoVW4Vy/YTO++2wB/gUhVpq7yL4TbpQddRBGphO/guVoKSRxTO365LJm wt4Thiu4DWulg== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Yr9jd642qz6v0L; Sun, 9 Feb 2025 02:53:57 +0100 (CET) From: Vinicius Monego Date: Sun, 9 Feb 2025 01:52:33 +0000 Message-ID: In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) * gnu/packages/maths.scm (glucose): New variable. Change-Id: I8e9031db55aa98ddde82ea676d3287656f7c4288 --- Is it OK to use -DCMAKE_BUILD_RPATH here? I don't see anyone doing it this way, it usually has a dedicated phase but it's more verbose that way. gnu/packages/maths.scm | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index cd0a0828e1..1856a68d10 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -2899,6 +2899,45 @@ (define-public libfixmath fixed point (16.16) format.") (license license:expat)))) +(define-public glucose + (package + (name "glucose") + (version "4.2.1") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/audemard/glucose") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0zrn4hnkf8k95dc3s3acydl1bqkr8a0axw56g7n562lx7zj7sd62")))) + (build-system cmake-build-system) + (arguments + (list + #:tests? #f ; there are no tests + #:configure-flags + #~(list "-DBUILD_SHARED_LIBS=ON" + (string-append "-DCMAKE_BUILD_RPATH=" #$output "/lib")) + #:phases #~(modify-phases %standard-phases + (replace 'install + (lambda _ + (for-each + (lambda (bin) + (install-file bin (string-append #$output "/bin"))) + '("glucose-simp" "glucose-syrup")) + (for-each + (lambda (lib) + (install-file lib (string-append #$output "/lib"))) + '("libglucose.so" "libglucosep.so"))))))) + (inputs (list zlib)) + (home-page "https://www.labri.fr/perso/lsimon/research/glucose/") + (synopsis "SAT Solver") + (description "Glucose is a SAT solver based on a scoring scheme introduced +in 2009 for the clause learning mechanism of so called “Modern” SAT solvers. +It is designed to be parallel.") + (license license:expat))) + (define-public libflame ;; The latest release (5.2.0) dates back to 2019. Use a newer one, which ;; among other things provides extra LAPACK symbols, such as 'dgemlq_' -- 2.48.1 From unknown Fri Jun 20 20:00:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76150] Fwd: [PATCH 00/16] More patches towards SageMath. Resent-From: Andreas Enge Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 09 Feb 2025 09:42:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Vinicius Monego Cc: 76150@debbugs.gnu.org, vicvbcun , Sharlatan Hellseher Received: via spool by 76150-submit@debbugs.gnu.org id=B76150.173909408431062 (code B ref 76150); Sun, 09 Feb 2025 09:42:02 +0000 Received: (at 76150) by debbugs.gnu.org; 9 Feb 2025 09:41:24 +0000 Received: from localhost ([127.0.0.1]:43159 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1th3oa-00084w-Af for submit@debbugs.gnu.org; Sun, 09 Feb 2025 04:41:24 -0500 Received: from hera.aquilenet.fr ([185.233.100.1]:34060) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1th3oY-00084e-As for 76150@debbugs.gnu.org; Sun, 09 Feb 2025 04:41:23 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 7A1B220B; Sun, 9 Feb 2025 10:41:16 +0100 (CET) Authentication-Results: hera.aquilenet.fr; none X-Virus-Scanned: Debian amavis at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavis, port 10024) with ESMTP id DKc7RbqVXMAe; Sun, 9 Feb 2025 10:41:16 +0100 (CET) Received: from jurong (176-179-191-150.abo.bbox.fr [176.179.191.150]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 746211E4; Sun, 9 Feb 2025 10:41:15 +0100 (CET) Date: Sun, 9 Feb 2025 10:41:13 +0100 From: Andreas Enge Message-ID: References: <9bcab742-64f8-4bc4-8ff1-e5e7747a9e71@posteo.net> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <9bcab742-64f8-4bc4-8ff1-e5e7747a9e71@posteo.net> X-Rspamd-Server: hera X-Rspamd-Queue-Id: 7A1B220B X-Spamd-Result: default: False [-7.73 / 15.00]; REPLY(-4.00)[]; BAYES_HAM(-2.79)[99.10%]; NEURAL_HAM(-1.34)[-0.445]; MID_RHS_NOT_FQDN(0.50)[]; MIME_GOOD(-0.10)[text/plain]; FROM_EQ_ENVFROM(0.00)[]; MIME_TRACE(0.00)[0:+]; RCVD_TLS_ALL(0.00)[]; RCVD_COUNT_TWO(0.00)[2]; ARC_NA(0.00)[]; TO_DN_SOME(0.00)[]; FREEMAIL_ENVRCPT(0.00)[gmail.com]; RCVD_VIA_SMTP_AUTH(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; FREEMAIL_CC(0.00)[gmail.com,ikherbers.com,debbugs.gnu.org] X-Spamd-Bar: ------- X-Rspamd-Action: no action X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Thanks for the patches! I have built and applied the first two, and will continue working on the others as time permits, probably starting tomorrow. Andreas From unknown Fri Jun 20 20:00:19 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Vinicius Monego Subject: bug#76150: closed (Re: Fwd: [PATCH 00/16] More patches towards SageMath.) Message-ID: References: X-Gnu-PR-Message: they-closed 76150 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 76150@debbugs.gnu.org Date: Mon, 10 Feb 2025 13:50:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1739195402-2620-1" This is a multi-part message in MIME format... ------------=_1739195402-2620-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #76150: [PATCH 00/16] More patches towards SageMath. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 76150@debbugs.gnu.org. --=20 76150: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D76150 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1739195402-2620-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 76150-done) by debbugs.gnu.org; 10 Feb 2025 13:49:14 +0000 Received: from localhost ([127.0.0.1]:49632 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1thU9y-0000f0-3K for submit@debbugs.gnu.org; Mon, 10 Feb 2025 08:49:14 -0500 Received: from hera.aquilenet.fr ([185.233.100.1]:50688) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1thU9v-0000ek-E2 for 76150-done@debbugs.gnu.org; Mon, 10 Feb 2025 08:49:12 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 860F341B; Mon, 10 Feb 2025 14:49:05 +0100 (CET) Authentication-Results: hera.aquilenet.fr; none X-Virus-Scanned: Debian amavis at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavis, port 10024) with ESMTP id G9yY3cb4Aqk7; Mon, 10 Feb 2025 14:49:05 +0100 (CET) Received: from jurong (i19-lef01-t2-195-36-198-235.ft.lns.abo.bbox.fr [195.36.198.235]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 9FB57415; Mon, 10 Feb 2025 14:49:03 +0100 (CET) Date: Mon, 10 Feb 2025 14:49:00 +0100 From: Andreas Enge To: Vinicius Monego Subject: Re: Fwd: [PATCH 00/16] More patches towards SageMath. Message-ID: References: <9bcab742-64f8-4bc4-8ff1-e5e7747a9e71@posteo.net> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Rspamd-Server: hera X-Spamd-Bar: +++++ X-Rspamd-Queue-Id: 860F341B X-Spamd-Result: default: False [5.82 / 15.00]; SPAM_FLAG(5.00)[]; NEURAL_SPAM(3.00)[1.000]; BAYES_HAM(-2.58)[98.14%]; MID_RHS_NOT_FQDN(0.50)[]; MIME_GOOD(-0.10)[text/plain]; RCVD_TLS_ALL(0.00)[]; RCVD_COUNT_TWO(0.00)[2]; FROM_EQ_ENVFROM(0.00)[]; MIME_TRACE(0.00)[0:+]; TO_DN_SOME(0.00)[]; ARC_NA(0.00)[]; FREEMAIL_ENVRCPT(0.00)[gmail.com]; RCVD_VIA_SMTP_AUTH(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; FREEMAIL_CC(0.00)[gmail.com,ikherbers.com,debbugs.gnu.org] X-Spam-Level: ***** X-Rspamd-Action: greylist X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 76150-done Cc: 76150-done@debbugs.gnu.org, vicvbcun , Sharlatan Hellseher X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hello! All packages are pushed to master now. I have changed the licence of libsemigroups (it is gpl3+) and updated it to the latest version. For good measure, I have also updated eclib. Thanks for all these high quality patches! Closing this bug report. Andreas ------------=_1739195402-2620-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 9 Feb 2025 01:50:42 +0000 Received: from localhost ([127.0.0.1]:42280 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tgwT3-0001ep-Je for submit@debbugs.gnu.org; Sat, 08 Feb 2025 20:50:41 -0500 Received: from lists.gnu.org ([2001:470:142::17]:55960) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tgwT0-0001eZ-Pn for submit@debbugs.gnu.org; Sat, 08 Feb 2025 20:50:40 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tgwSv-0007wn-G0 for guix-patches@gnu.org; Sat, 08 Feb 2025 20:50:33 -0500 Received: from mout01.posteo.de ([185.67.36.65]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tgwSt-0002Zs-Li for guix-patches@gnu.org; Sat, 08 Feb 2025 20:50:33 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 43C6A240027 for ; Sun, 9 Feb 2025 02:50:26 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1739065827; bh=BAOBjGpDtZyRt725xIVv+QxPnAq8fFvPNKFEL4cm7Ac=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version: Content-Transfer-Encoding:From; b=RA9GCKGMNr8MHNtO1uGEhlM2GOeMkXFxBpsrv0oOswEodG45qtEhEIH/5tXnj00Fl m5T9VGR6OoMgqQW1NdaWZVxlDq0VUpV4hIzabBv9ZbPcFOst9MeJktC2QIFv//ouiv YXV4+5d3DzCXno7I+7/utjHjU/MuWBfYmaYU0vKB+ydT+F50yawYhU6hj4t/KACSDR yc1BC2kz+Jy1i4A/0/lVHocvf0gSiHLTGMoKLbtyZEX80T8D+/DL4zF4+jaApJfq2i oak7ClQUTsqjUGL4fX+RImcKK5X5hlK38WawJExuzHShfcm32fqdQz8ffuej1uIYcN Uw6jMoi0EvzlQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Yr9dY41vFz6tvZ; Sun, 9 Feb 2025 02:50:24 +0100 (CET) From: Vinicius Monego To: guix-patches@gnu.org Subject: [PATCH 00/16] More patches towards SageMath. Date: Sun, 9 Feb 2025 01:50:06 +0000 Message-ID: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=185.67.36.65; envelope-from=monego@posteo.net; helo=mout01.posteo.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H5=0.001, RCVD_IN_MSPIKE_WL=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: submit Cc: Vinicius Monego X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) This series adds some optional packages for SageMath and updates other standard packages. The version bumps to m4ri, m4rie, python-cvxopt and singular are required for the latest version of sage. The other patches introduce new optional packages. Vinicius Monego (16): gnu: Add normaliz. gnu: Add python-pynormaliz. gnu: Add python-nibabel. gnu: python-cvxopt: Update to 1.3.2. gnu: Add msolve. gnu: Add python-cylp. gnu: singular: Remove package labels. gnu: singular: Update to 4.4.0p7. gnu: singular: Use G-Expressions. gnu: Add python-pysingular. gnu: m4ri: Update to 20200125. gnu: m4rie: Update to 20200125. gnu: Add hpcombi. gnu: Add libsemigroups. gnu: Add plantri. gnu: Add glucose. gnu/packages/algebra.scm | 157 ++++++++++++++++++++++++++++---- gnu/packages/graph.scm | 35 ++++++- gnu/packages/maths.scm | 153 ++++++++++++++++++++++++++++++- gnu/packages/python-science.scm | 35 ++++++- 4 files changed, 356 insertions(+), 24 deletions(-) base-commit: 05516fcb24799d00947751a434dd797f3fbb9d64 -- 2.48.1 ------------=_1739195402-2620-1--