From fc61573d184fb1e9528f19f2778871c6dc2a9f4e Mon Sep 17 00:00:00 2001 From: Max Horn Date: Wed, 29 Jul 2026 15:08:13 +0200 Subject: [PATCH] Make smallgrp an explicit dependency LocalNR uses SmallGroup and IdGroup in lib/lib_local.gi to construct and to identify the additive groups of the local near-rings in its library, so it needs the SmallGrp package. Without it, loading LocalNR in a GAP started with `--bare` and running its tests failed with Error, the Small Groups library is required but not installed At the moment this happens to be masked once SONATA declares smallgrp as a needed package, but relying on that is fragile, and LocalNR uses these functions in its own code. See https://github.com/gap-system/gap/issues/2434 Co-Authored-By: Claude Opus 5 --- PackageInfo.g | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/PackageInfo.g b/PackageInfo.g index f3c7deb..0411d35 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -104,7 +104,7 @@ Dependencies := rec( # insensitive, least version denoted with '>=' prepended to version string. # without these, the package will not load # NeededOtherPackages := [["GAPDoc", ">= 0.99"]], - NeededOtherPackages := [["SONATA", ">= 2.4"]], + NeededOtherPackages := [["SONATA", ">= 2.4"], ["smallgrp", ">= 1.3"]], # without these the package will issue a warning while loading # SuggestedOtherPackages := [], SuggestedOtherPackages := [],