gap-modisom 3.1.0

gap-modisom.changes

@@ -1,3 +1,33 @@
+-------------------------------------------------------------------
+Fri Jan  9 17:32:31 UTC 2026 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 3.1.0
+  * Corrected a mistake in the function JenningsInfoAllFields. This
+    lead to theoretical mistakes, as it was using an invariant only
+    valid over Fp, namely the quotient by the second dimension
+    subgroup (Passi-Sehgal 72).
+  * JenningBoundPairwise is now doing what it claimed to do before.
+    The old function is now called JenningsBoundPairwiseWithIds.
+  * A mistake which could lead to break loops in SplitByGT, as
+    functions were applied to empty bins, has been corrected.
+  * Included new invariant G/Agemo(G') for the case G' is cyclic
+    and G is 2-generated (Margolis-Sakurai 25) in CyclicDerivedInfo
+    and CyclicDerivedInfoAllFields
+  * Metacyclic groups included in IsCoveredByTheoryAllFields (due
+    to Margolis-Sakurai 25, Theorem 3.6)
+  * If the first layers of the group algebras are not isomorphic
+    the return of MIPSplitGroupsByAlgebras is now 1 rather than 0,
+    for more consistency.
+  * included Theorem 3.1.2 of Roehl 90 in IsCoveredByTheory. For the
+    dimensions of dimension subgroup quotients of free pro-p groups
+    Minac-Rogelstad-Tan 2016, Proposition 3.4 is used.
+  * Output of NormalSubgroupsInfo has changed (though
+    mathematically it remains the same) to allow to understand
+    which entry corresponds to which subgroup.
+  * Some functions computing invariants which were returning errors
+    for groups they were not thought for (like Abelian groups) are
+    fixed for these cases.
+
 -------------------------------------------------------------------
 Thu Feb 27 23:00:16 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
 

gap-modisom.spec

@@ -1,7 +1,7 @@
 #
 # spec file for package gap-modisom
 #
-# Copyright (c) 2024 SUSE LLC
+# Copyright (c) 2026 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-modisom
-Version:        3.0.1
+Version:        3.1.0
 Release:        0
 Summary:        GAP: Computing with nilpotent associative algebras
 License:        GPL-2.0-or-later
@@ -27,7 +27,8 @@ URL:            https://gap-packages.github.io/modisom/
 Source:         https://github.com/gap-packages/modisom/releases/download/v%version/modisom-%version.tar.gz
 BuildRequires:  gap-devel
 BuildRequires:  gap-rpm-devel
-Requires:       gap-core >= 4.7
+Requires:       gap-core >= 4.10
+Requires:       gap-laguna >= 3.8.0
 Requires:       gap-polycyclic >= 1.0
 
 %description