Accepting request 1313191 from science

- Update to release 4.15.1

OBS-URL: https://build.opensuse.org/request/show/1313191
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/gap?expand=0&rev=7

_scmsync.obsinfo

@@ -0,0 +1,4 @@
+mtime: 1760892672
+commit: b6ab8e7116b842861a99273a2db407d06be6cc0fc1acff8890ef463fa419141b
+url: https://src.opensuse.org/jengelh/gap
+revision: master

build.specials.obscpio

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:3ebeeac52d3d079bd9fd4deff440e05d3254a86fc45513ea5392782d873b48a4
+size 256

gap.changes

@@ -1,3 +1,39 @@
+-------------------------------------------------------------------
+Sun Oct 19 12:37:56 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 4.15.1
+  * Make various operations for finite matrix groups in
+    characteristic 0 faster.
+  * Make `Irr` for solvable groups faster by using the result of
+    `IrrBaumClausen` in `IrrDixonSchneider`.
+  * Fix `CompatiblePairs` to not ignore the optional automorphism
+    group argument.
+  * Fix an unexpected error that could occur when working with
+    matrix groups in characteristic zero.
+
+-------------------------------------------------------------------
+Sat Oct 11 18:31:36 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 4.15
+  * Sped up `RandomInvertibleMat`, `Random(GL(n,q))`,
+    `CharacterDegrees`.
+  * Optimized `IsZero` and `IsOne` for rational functions and
+    (Laurent) polynomials.
+  * Sped up `IsRegularPGroup` for direct products.
+  * Faster `IsFinite` for rational matrix groups, and hence for
+    matrix groups over cyclotomics as well.
+  * Make meataxe endomorphism ring computation faster in some
+    cases.
+  * Small improvements in creating large simple groups and their
+    maximals.
+  * Add an `Irr` method for natural alternating groups, using the
+    generic character table.
+  * Add `SortedListBy` function
+  * Introduced `MayBeHandledByNiceMonomorphism`, in order to detect
+    early whether a group shall be handled by nice monomorphisms.
+  * Add functions `IsDicyclicGroup` and `DicyclicGenerators`.
+- Delete gcc15.patch (merged)
+
 -------------------------------------------------------------------
 Sun Jun 22 19:48:05 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
 

gap.spec

@@ -1,7 +1,7 @@
 #
 # spec file for package gap
 #
-# Copyright (c) 2025 SUSE LLC
+# Copyright (c) 2025 SUSE LLC and contributors
 #
 # All modifications and additions to the file contributed by third parties
 # remain the property of their copyright owners, unless otherwise agreed
@@ -17,7 +17,7 @@
 
 
 Name:           gap
-Version:        4.14.0
+Version:        4.15.1
 Release:        0
 Summary:        System for Computational Discrete Algebra
 License:        GPL-2.0-or-later
@@ -27,7 +27,6 @@ URL:            https://gap-system.org/
 Source:         https://github.com/gap-system/gap/releases/download/v%version/gap-%version-core.tar.gz
 Source2:        macros.gap
 Source3:        %name-rpmlintrc
-Patch1:         gcc15.patch
 BuildRequires:  gcc-c++
 %if 0%{?suse_version}
 BuildRequires:  fdupes
@@ -43,7 +42,7 @@ Requires:       gap-primgrp >= 3.4.3
 Requires:       gap-smallgrp >= 1.5.1
 Requires:       gap-transgrp >= 3.6.3
 
-%define lname libgap9
+%define lname libgap10
 %global gap_sitearch %_libdir/gap/pkg
 %global gap_sitelib  %_datadir/gap/pkg
 
@@ -94,51 +93,52 @@ Group:          Metapackages
 BuildArch:      noarch
 Requires:       gap >= %version
 Requires:       gap-4ti2interface >= 2024.11.01
-Requires:       gap-ace >= 5.6.2
-Requires:       gap-aclib >= 1.3.2
+Requires:       gap-ace >= 5.7.0
+Requires:       gap-aclib >= 1.3.3
 Requires:       gap-agt >= 0.3.1
+Requires:       gap-alco >= 1.1.2
 Requires:       gap-alnuth >= 3.2.1
-Requires:       gap-anupq >= 3.3.1
+Requires:       gap-anupq >= 3.3.2
 Requires:       gap-atlasrep >= 2.1.9
-Requires:       gap-autodoc >= 2023.06.19
+Requires:       gap-autodoc >= 2025.10.16
 Requires:       gap-automata >= 1.16
 Requires:       gap-automgrp >= 1.3.2
-Requires:       gap-autpgrp >= 1.11
+Requires:       gap-autpgrp >= 1.11.1
 Requires:       gap-browse >= 1.8.21
-Requires:       gap-cap >= 2024.11.02
+Requires:       gap-cap >= 2025.09.04
 Requires:       gap-caratinterface >= 2.3.7
-Requires:       gap-cddinterface >= 2024.09.02
+Requires:       gap-cddinterface >= 2025.06.24
 Requires:       gap-circle >= 1.6.6
 Requires:       gap-classicpres >= 1.22
-Requires:       gap-cohomolo >= 1.6.11
+Requires:       gap-cohomolo >= 1.6.12
 Requires:       gap-congruence >= 1.2.7
 Requires:       gap-corefreesub >= 0.6
 Requires:       gap-corelg >= 1.57
 Requires:       gap-crime >= 1.6
-Requires:       gap-crisp >= 1.4.6
-Requires:       gap-crypting >= 0.10.5
-Requires:       gap-cryst >= 4.1.27
+Requires:       gap-crisp >= 1.4.8
+Requires:       gap-crypting >= 0.10.6
+Requires:       gap-cryst >= 4.1.30
 Requires:       gap-crystcat >= 1.1.10
-Requires:       gap-ctbllib >= 1.3.9
-Requires:       gap-cubefree >= 1.20
-Requires:       gap-curlinterface >= 2.4.0
-Requires:       gap-cvec >= 2.8.2
-Requires:       gap-datastructures >= 0.3.1
-Requires:       gap-deepthought >= 1.0.7
+Requires:       gap-ctbllib >= 1.3.11
+Requires:       gap-cubefree >= 1.21
+Requires:       gap-curlinterface >= 2.4.2
+Requires:       gap-cvec >= 2.8.4
+Requires:       gap-datastructures >= 0.4.0
+Requires:       gap-deepthought >= 1.0.9
 Requires:       gap-design >= 1.8.2
 Requires:       gap-difsets >= 2.3.1
-Requires:       gap-digraphs >= 1.9.0
+Requires:       gap-digraphs >= 1.13.1
 Requires:       gap-edim >= 1.3.8
-Requires:       gap-example >= 4.4.0
+Requires:       gap-example >= 4.4.1
 Requires:       gap-examplesforhomalg >= 2023.10.01
 Requires:       gap-factint >= 1.6.3
-Requires:       gap-ferret >= 1.0.14
+Requires:       gap-ferret >= 1.0.15
 Requires:       gap-fga >= 1.5.0
 Requires:       gap-fining >= 1.5.6
-Requires:       gap-float >= 1.0.5
+Requires:       gap-float >= 1.0.9
 Requires:       gap-format >= 1.4.4
-Requires:       gap-forms >= 1.2.12
-Requires:       gap-fplsa >= 1.2.6
+Requires:       gap-forms >= 1.2.13
+Requires:       gap-fplsa >= 1.2.7
 Requires:       gap-fr >= 2.4.13
 #dependson jupyterkernel#Requires:       gap-francy >= 2.0.3
 Requires:       gap-fwtree >= 1.3
@@ -146,115 +146,118 @@ Requires:       gap-gapdoc >= 1.6.7
 Requires:       gap-gauss >= 2024.11.01
 Requires:       gap-gaussforhomalg >= 2024.08.01
 Requires:       gap-gbnp >= 1.1.0
-Requires:       gap-generalizedmorphismsforcap >= 2024.09.03
+Requires:       gap-generalizedmorphismsforcap >= 2025.08.01
 Requires:       gap-genss >= 1.6.9
-Requires:       gap-gradedmodules >= 2024.01.01
+Requires:       gap-gradedmodules >= 2024.12.01
 Requires:       gap-gradedringforhomalg >= 2024.07.01
-Requires:       gap-grape >= 4.9.2
-Requires:       gap-groupoids >= 1.76
+Requires:       gap-grape >= 4.9.3
+Requires:       gap-groupoids >= 1.79
 Requires:       gap-grpconst >= 2.6.5
 Requires:       gap-guarana >= 0.96.3
-Requires:       gap-guava >= 3.19
-Requires:       gap-hap >= 1.66
+Requires:       gap-guava >= 3.20
+Requires:       gap-hap >= 1.70
 Requires:       gap-hapcryst >= 0.1.15
 Requires:       gap-hecke >= 1.5.4
 Requires:       gap-help >= 4.0
 Requires:       gap-homalg >= 2024.01.01
-Requires:       gap-homalgtocas >= 2023.11.01
-Requires:       gap-idrel >= 2.48
+Requires:       gap-homalgtocas >= 2025.08.01
+Requires:       gap-ibnp >= 0.17
+Requires:       gap-idrel >= 2.49
 Requires:       gap-images >= 1.3.3
+Requires:       gap-inducereduce >= 1.3
 Requires:       gap-intpic >= 0.4.0
-Requires:       gap-io >= 4.9.1
+Requires:       gap-io >= 4.9.3
 Requires:       gap-io_forhomalg >= 2023.02.04
 Requires:       gap-irredsol >= 1.4.4
 Requires:       gap-itc >= 1.5.1
-Requires:       gap-json >= 2.2.2
+Requires:       gap-json >= 2.2.3
 #notready#Requires: gap-jupyterkernel >= 1.5.1
 #notready#Requires: gap-jupyterviz >= 1.5.6
 Requires:       gap-kan >= 1.37
 Requires:       gap-kbmag >= 1.5.11
 Requires:       gap-laguna >= 3.9.7
-Requires:       gap-liealgdb >= 2.2.1
+Requires:       gap-liealgdb >= 2.3.0
 Requires:       gap-liepring >= 2.9.1
 Requires:       gap-liering >= 2.4.2
-Requires:       gap-linearalgebraforcap >= 2024.10.01
+Requires:       gap-linearalgebraforcap >= 2025.09.01
 Requires:       gap-lins >= 0.9
 Requires:       gap-localizeringforhomalg >= 2023.10.01
 Requires:       gap-loops >= 3.4.4
 Requires:       gap-lpres >= 1.1.1
 Requires:       gap-majoranaalgebras >= 1.5.2
 Requires:       gap-mapclass >= 1.4.6
-Requires:       gap-matgrp >= 0.71
-Requires:       gap-matricesforhomalg >= 2024.11.02
+Requires:       gap-matgrp >= 0.72
+Requires:       gap-matricesforhomalg >= 2025.09.01
 Requires:       gap-modisom >= 3.0.0
 # gap-modulepresentationsforcap requires a non-existent gap-complexesandfilteredobjectsforgap
-#Requires:      gap-modulepresentationsforcap >= 2024.09.02
-Requires:       gap-modules >= 2024.01.01
-Requires:       gap-monoidalcategories >= 2024.09.05
-Requires:       gap-nconvex >= 2022.09.01
+#Requires:      gap-modulepresentationsforcap >= 2025.09.01
+Requires:       gap-modules >= 2024.12.01
+Requires:       gap-monoidalcategories >= 2025.08.02
+Requires:       gap-nconvex >= 2024.12.01
 Requires:       gap-nilmat >= 1.4.2
 Requires:       gap-nock >= 1.5
-Requires:       gap-normalizinterface >= 1.3.7
+Requires:       gap-normalizinterface >= 1.4.1
 Requires:       gap-nq >= 2.5.11
 Requires:       gap-numericalsgps >= 1.4.0
 Requires:       gap-openmath >= 11.5.3
-Requires:       gap-orb >= 4.9.1
-#we have rpm#Requires:       gap-packagemanager >= 1.6
-#Needs separate gap-core built with openmpi and update-alternatives
-#Requires:      gap-pargap >= 1.4.3
+Requires:       gap-orb >= 5.0.1
+#we have rpm#Requires:       gap-packagemanager >= 1.6.3
 Requires:       gap-patternclass >= 2.4.5
 Requires:       gap-permut >= 2.0.5
-Requires:       gap-polenta >= 1.3.10
-Requires:       gap-polycyclic >= 2.16
+Requires:       gap-polenta >= 1.3.11
+Requires:       gap-polycyclic >= 2.17
 Requires:       gap-polymaking >= 0.8.7
-Requires:       gap-primgrp >= 3.4.4
-Requires:       gap-profiling >= 2.6.0
+Requires:       gap-primgrp >= 4.0.1
+Requires:       gap-profiling >= 2.6.2
 Requires:       gap-qpa >= 1.35
 Requires:       gap-quagroup >= 1.8.4
 Requires:       gap-radiroot >= 2.9
-Requires:       gap-rcwa >= 4.7.1
-Requires:       gap-rds >= 1.8
-Requires:       gap-recog >= 1.4.3
-Requires:       gap-repndecomp >= 1.3.0
+Requires:       gap-rcwa >= 4.8.0
+Requires:       gap-rds >= 1.9
+Requires:       gap-recog >= 1.4.4
+Requires:       gap-repndecomp >= 1.3.1
 Requires:       gap-repsn >= 3.1.2
-Requires:       gap-resclasses >= 4.7.3
+Requires:       gap-resclasses >= 4.7.4
 Requires:       gap-ringsforhomalg >= 2024.11.02
 Requires:       gap-sco >= 2023.08.01
-Requires:       gap-scscp >= 2.4.3
-Requires:       gap-semigroups >= 5.4.0
+Requires:       gap-scscp >= 2.4.4
+Requires:       gap-semigroups >= 5.5.4
+Requires:       gap-smallclassnr >= 1.4.2
 Requires:       gap-sglppow >= 2.4
 Requires:       gap-sgpviz >= 0.999.6
 Requires:       gap-simpcomp >= 2.1.14
-Requires:       gap-singular >= 2024.06.03
+Requires:       gap-singular >= 2025.08.26
 Requires:       gap-sl2reps >= 1.1
-Requires:       gap-smallantimagmas >= 0.2.12
 Requires:       gap-sla >= 1.6.2
+Requires:       gap-smallantimagmas >= 0.5.1
 Requires:       gap-smallgrp >= 1.5.4
-Requires:       gap-smallsemi >= 0.7.1
-Requires:       gap-sonata >= 2.9.6
+Requires:       gap-smallsemi >= 0.7.2
+Requires:       gap-sonata >= 2.9.7
 Requires:       gap-sophus >= 1.27
+Requires:       gap-sotgrps >= 1.3
 Requires:       gap-spinsym >= 1.5.2
 Requires:       gap-standardff >= 1.0
 Requires:       gap-symbcompcc >= 1.3.2
 Requires:       gap-thelma >= 1.3
 Requires:       gap-tomlib >= 1.2.11
-Requires:       gap-toolsforhomalg >= 2024.09.01
+Requires:       gap-toolsforhomalg >= 2025.05.01
 Requires:       gap-toric >= 1.9.6
-Requires:       gap-toricvarieties >= 2022.07.13
 Requires:       gap-transgrp >= 3.6.5
+Requires:       gap-twistedconjugacy >= 3.1.1
+Requires:       gap-typeset >= 1.2.3
 Requires:       gap-ugaly >= 4.1.3
 Requires:       gap-unipot >= 1.6
-Requires:       gap-unitlib >= 4.2.0
-Requires:       gap-utils >= 0.85
+Requires:       gap-unitlib >= 5.0.0
+Requires:       gap-utils >= 0.92
 Requires:       gap-uuid >= 0.7
 Requires:       gap-walrus >= 0.9991
-Requires:       gap-wedderga >= 4.10.5
+Requires:       gap-wedderga >= 4.11.1
 Requires:       gap-wpe >= 0.8
-Requires:       gap-xgap >= 4.32
-Requires:       gap-xmod >= 2.92
-Requires:       gap-xmodalg >= 1.23
-Requires:       gap-yangbaxter >= 0.10.6
-Requires:       gap-zeromqinterface >= 0.16
+Requires:       gap-xgap >= 4.33
+Requires:       gap-xmod >= 2.95
+Requires:       gap-xmodalg >= 1.32
+Requires:       gap-yangbaxter >= 0.10.7
+Requires:       gap-zeromqinterface >= 0.17
 
 %description full
 GAP is a system for computational discrete algebra, with particular
@@ -299,11 +302,10 @@ EOF
 %files
 %_bindir/gap*
 %dir %_libdir/gap/
-%_libdir/gap/gap
 %_datadir/gap/
 
 %files -n %lname
-%_libdir/libgap.so.9*
+%_libdir/libgap.so.[0-9]*
 
 %files devel
 %_bindir/gac*

gcc15.patch

@@ -1,60 +0,0 @@
-From e080de9a6b37e806dcd7b4814926a1b59b64d2cc Mon Sep 17 00:00:00 2001
-From: Jan Engelhardt <jengelh@inai.de>
-Date: Wed, 18 Jun 2025 06:07:10 +0200
-Subject: [PATCH] Stop using declarators with unspecified arguments
-MIME-Version: 1.0
-Content-Type: text/plain; charset=UTF-8
-Content-Transfer-Encoding: 8bit
-References: https://github.com/gap-system/gap/pull/6010
-
-GCC 15/-std=c23:
-
-```
-src/bool.c:332:22: error: passing argument 1 of 'InitHandlerFunc' from incompatible pointer type [-Wincompatible-pointer-types]
-  332 |     InitHandlerFunc( ReturnTrue1, "src/bool.c:ReturnTrue1" );
-[   19s] src/calls.h:416:30: note: expected ‘ObjFunc’ {aka ‘struct OpaqueBag * (*)(void)’} but argument is of type ‘struct OpaqueBag * (*)(struct OpaqueBag *, struct OpaqueBag *)’
-```
-
-Declarators with unspecified arguments `int f();` got socially
-deprecated with C89; since then, one can write `f(void)` for actual
-zero-argument functions, and `f(T, ...)` for varargs functions.
-
-C23 finally yanked declarators with unspecified arguments.
-
-Different pointer types may have different size. So you can't have
-one pointer type for "all kinds of functions" in plain C. Nor C++ for
-that matter; some use of templates/RTTI would be necessary (possibly
-hidden in something like std::any, but still).
-
-Or rely on platform-specific extensions, e.g. POSIX>=2001 guarantees
-that sizeof(void*) >= sizeof(any function pointer) and that
-conversion is meaningful; this is effectively mandated by the
-presence of dlsym(). For Windows, sizeof(FARPROC) >= sizeof(afp),
-effectively mandated by GetProcAddress().
-
-Fixes: #5857 #6009
----
- src/common.h | 7 +------
- 1 file changed, 1 insertion(+), 6 deletions(-)
-
-diff --git a/src/common.h b/src/common.h
-index 3932c3020..02818f567 100644
---- a/src/common.h
-+++ b/src/common.h
-@@ -161,12 +161,7 @@ typedef Bag Obj;
- **
- **  'ObjFunc' is the type of a function returning an object.
- */
--#pragma GCC diagnostic push
--#ifndef __cplusplus
--#pragma GCC diagnostic ignored "-Wstrict-prototypes"
--#endif
--typedef Obj (* ObjFunc) (/*arguments*/);
--#pragma GCC diagnostic pop
-+typedef void * ObjFunc;
- 
- typedef Obj (* ObjFunc_0ARGS) (Obj self);
- typedef Obj (* ObjFunc_1ARGS) (Obj self, Obj a1);
--- 
-2.49.0
-