gap-packages · fingolfin · Sep 8, 2026
diff --git a/CHANGES.md b/CHANGES.md
@@ -20,6 +20,36 @@
   - Fix socle type series for unitary groups
   - Add `IsAlmostSimpleGroup` to the properties for which
     `AllPrimitiveGroups` and `OnePrimitiveGroup` need not compute the values
+  - **Breaking:** remove the irreducible solvable matrix groups, i.e. the
+    functions `IrreducibleSolvableGroup`, `IrreducibleSolvableGroupMS`,
+    `NumberIrreducibleSolvableGroups` (and its synonym
+    `NrIrreducibleSolvableGroups`), `AllIrreducibleSolvableGroups`,
+    `OneIrreducibleSolvableGroup`, the variable
+    `PrimitiveIndexIrreducibleSolvableGroup`, and the declarations of
+    `MinimalBlockDimension`, `IsPrimitiveMatrixGroup`,
+    `IsLinearlyPrimitive` and `DegreeOfMatrixGroup`.
+    The `irredsol` package covers the same groups over a wider range of
+    dimensions and fields; use it instead:
+
+    | removed | replacement in `irredsol` |
+    | --- | --- |
+    | `IrreducibleSolvableGroupMS(n,p,k)` | `IrreducibleSolubleMatrixGroup(n,q,d,k)` |
+    | `NumberIrreducibleSolvableGroups(n,p)` | `Sum(DivisorsInt(n), d -> Length(IndicesIrreducibleSolubleMatrixGroups(n,p,d)))` |
+    | `AllIrreducibleSolvableGroups(...)` | `AllIrreducibleSolubleMatrixGroups(...)` |
+    | `OneIrreducibleSolvableGroup(...)` | `OneIrreducibleSolubleMatrixGroup(...)` |
+    | `PrimitiveIndexIrreducibleSolvableGroup[d][i]` | `PrimitivePermGroupIrreducibleMatrixGroup(G)` |
+    | `Characteristic, p` as a condition | `Field, GF(p)` |
+    | `IsLinearlyPrimitive` | `IsPrimitiveMatrixGroup` |
+
+    `Dimension`, `DimensionOfMatrixGroup`, `DegreeOfMatrixGroup`, `Size`,
+    `Order`, `MinimalBlockDimension` and `IsPrimitiveMatrixGroup` keep
+    their meaning as conditions, and `irredsol` declares the latter two
+    itself.  But `irredsol` needs the field of the groups to be given, so
+    `Characteristic` no longer suffices to delimit a search.
+
+    Access by index does **not** carry over: `irredsol` numbers the groups
+    in `GL(n,q)` by trace field and splitting field degree `d`, so a given
+    `k` denotes a different group there and raises no error.
 
 ## 4.0.3 (2026-07-28)
 

diff --git a/PackageInfo.g b/PackageInfo.g
@@ -127,7 +127,7 @@ PackageDoc := rec(
 
 
 Dependencies := rec(
-  GAP := "4.12.0",
+  GAP := "4.15",
   NeededOtherPackages := [],
   SuggestedOtherPackages := [],
   ExternalConditions := []

diff --git a/doc/irredsol.xml b/doc/irredsol.xml
diff --git a/doc/manual.xml b/doc/manual.xml
@@ -97,7 +97,6 @@ Discrete Mathematics), <URL>https://www.codima.ac.uk/</URL>.
 <Body>
 
 <#Include SYSTEM "prim.xml">
-<#Include SYSTEM "irredsol.xml">
 
 </Body>
 

diff --git a/init.g b/init.g
@@ -8,7 +8,6 @@
 #R  Read the declaration files.
 ##
 ReadPackage( "primgrp", "lib/primitiv.gd" );
-ReadPackage( "primgrp", "lib/irredsol.gd" );
 
 #E  init.g . . . . . . . . . . . . . . . . . . . . . . . . . . . .  ends here
 
diff --git a/lib/irredsol.gd b/lib/irredsol.gd
-Original file line number
+Diff line change
@@ Expand Up / @@ -97,7 +97,6 @@ Discrete Mathematics), <URL>https://www.codima.ac.uk/</URL>. @@
     <Body>
     <#Include SYSTEM "prim.xml">
-    <#Include SYSTEM "irredsol.xml">
     </Body>
@@ Expand Down @@