diff --git a/CHANGES.md b/CHANGES.md new file mode 100644 index 0000000..9cb2147 --- /dev/null +++ b/CHANGES.md @@ -0,0 +1,120 @@ +# CHANGES to the 'ModIsom' GAP package + +## 3.2.0 (unreleased) + + - prefixed the global variables defined in `read.g` with `MIP_`, e.g. + `COVER_LIMIT` is now `MIP_COVER_LIMIT` + - `IsCoveredByTheory` and `IsCoveredByTheoryAllFields` now do what their + names suggest + +## 3.1.0 (2026-01-09) + + - fixed `JenningsInfoAllFields`, which used an invariant valid only over + `GF(p)`, namely the quotient by the second dimension subgroup + (Passi-Sehgal 72); this made the results of versions 3.0.0 and 3.0.1 + mathematically wrong + - `JenningsBoundPairwise` now does what it always claimed to do; the old + function is now called `JenningsBoundPairwiseWithIds` + - fixed a bug in `MIPBinsByGTInternal` and `MIPBinsByGTAllFieldsInternal` + which could cause break loops, as invariants were applied to empty bins + - added the invariant `G/Agemo(G')` for `G'` cyclic and `G` 2-generated + (Margolis-Sakurai 25) to `CyclicDerivedInfo` and + `CyclicDerivedInfoAllFields` + - `IsCoveredByTheoryAllFields` now covers metacyclic groups + (Margolis-Sakurai 25, Theorem 3.6) + - `IsCoveredByTheory` now covers Roehl 90, Theorem 3.1.2, using + Minac-Rogelstad-Tan 2016, Proposition 3.4 for the dimensions of + dimension subgroup quotients of free pro-p groups + - `IsCoveredByTheory` and `SandlingInfo` now cover Brenner-Garcia-Lucas 24, + Theorems A and B + - `MIPSplitGroupsByAlgebras` now returns 1 instead of 0 when the first + layers of the group algebras are not isomorphic, for consistency with + its other return values + - changed the output of `NormalSubgroupsInfo` so that one can tell which + entry belongs to which subgroup; the invariant itself is unchanged + - fixed several invariant functions which raised errors for groups they + were not written for, such as abelian groups + - extended the test files + - minor manual changes + +## 3.0.1 (2024-12-28) + + - made LAGUNA a required package, which avoids warnings when ModIsom is + loaded + +## 3.0.0 (2024-09-23) + +This release merges the functionality of ModIsomExt, a package by Leo +Margolis and Tobias Moede, into ModIsom; see +. ModIsomExt installed its +functions as methods; here they are all `BindGlobal`. + +New group-theoretic invariants and splitting functions (`detbins.gi`): + + - `RefineBins`, which refines lists of groups and not only of ids, + `ConjugacyClassInfo` (with the parameter of Parmenter-Polcino + Milies), `JenningsInfo` (with Hertweck's `G/D4(G)` and better id + recognition), `SandlingInfo` (with Baginski and Margolis-Moede on + small group rings), `BaginskiInfo` (Baginski 99), `CenterDerivedInfo`, + `FrattiniInfo`, `JenningsDerivedInfo`, `BaginskiCarantiInfo`, + `NilpotencyClassInfo` and `DimensionTwoCohomology`, all from ModIsomExt + - `JenningsInfoAllFields`, using only subsequent Jennings quotients + - `DimensionSecondHochschild`, the dimension of the second Hochschild + cohomology group + - `IsCoveredByTheory` extended by various new results, and the new + `IsCoveredByTheoryAllFields` + - `Theorem41MS22` for the result of Margolis-Stanojkovski + - `MaximalAbelianDirectFactor` and `MaximalElementaryAbelianDirectFactor` + for cancelling factors + - `AgemoInvariantAllM`, `OmegaInvariantAllM`, `AgemoCenterInvariantAllM` + and `NormalSubgroupsInfo`, based on Garcia-Lucas and + Margolis-Sakurai-Stanojkovski + - `CyclicDerivedInfo` and `CyclicDerivedInfoAllFields`, based on + Garcia-Lucas-Del Rio-Stanojkovski and Garcia-Lucas-Del Rio + - `MIPBinsByGTInternal` extended by the new invariants and an option to + turn off cohomology computations; `BinsByGT` now takes 2-4 arguments + and uses the new invariants + - `MIPBinsByGTAllFieldsInternal` and `BinsByGTAllFields` for all fields + - `MIPSplitGroupsByGroupTheoreticalInvariants` and its + `NoCohomology`, `AllFields` and `AllFieldsNoCohomology` variants, which + take just a list of groups + +Algebra side (`chkbins.gi`, formerly `checkbin.gi`): + + - `MIPBinSplit` from ModIsomExt, with a fix of the main function and a + change allowing the field to be increased + - `MIPSplitGroupsByAlgebras`, which takes a list of groups and optionally + a number by which to increase the field + - reports on time and similar data, as in ModIsomExt + +New files: + + - `collect.gi` from ModIsomExt: computing with Jennings bases in Loewy + series quotients of the augmentation ideal, plus the new function + `ModIsomTable` + - `jenningsBounds.gi` and `jenningsConjecture.gi`: the Jennings bound + functions, which in ModIsomExt lived in `detbins.gi` + - `kernelsize.gi`: kernel sizes of power maps + - `tabletoalgebraandback.gi`: `MIPElementTableToAlgebra` and + `MIPElementAlgebraToTable`, converting elements between the group + algebra and the table + - `detbinsRT.gi`: the ring-theoretic functions, from the second half of + the old `checkbin.gi`, now `chkbins.gi` + +Other changes: + + - fixed `PowerBasisWeights` in `fprint.gi`, as already done in ModIsomExt + - documented the new functions, the changes to existing ones, and a number + of functions that were undocumented before + +## 2.5.4 (2023-02-27) + +## 2.5.3 (2022-08-09) + +## 2.5.2 (2022-04-29) + +## 2.5.1 (2020-01-28) + +## 2.5.0 (2019-02-19) + +## 2.4.0 (2018-09-16) diff --git a/changes.txt b/changes.txt deleted file mode 100644 index 79c2172..0000000 --- a/changes.txt +++ /dev/null @@ -1,102 +0,0 @@ -Changes in 3.2.0: -- global variables defined in read.g have been redefined with prefix MIP_ -- the function IsCoveredByTheory and the AllFields variation now rather do what their name suggests - -Changes in 3.1.0: -- corrected a mistake in the function JenningsInfoAllFields. This lead to theoretical mistakes in versions 3.0.0 and 3.0.1, 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 -- slight modification of manual -- 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. Details included in manual -- results from Brenner-Garcia-Lucas 24 included in IsCoveredByTheory (Theorem A) and SandlingInfo (Theorem B) -- some functions computing invariants which were returning errors for groups they were not thought for (like abelian groups) are fixed for these cases -- test files extended - ------------------------------------------- -Changes in version 3.0.1: LAGUNA is now a requiered package. This solves the issue of warnings coming up when ModIsom was loaded without LAGUNA - ------------------------------------------------------------------ -Overview of files changed in Version 3.0.0 in respect to ModIsom 2.5.3: - -ModIsomExt refers to a GAP package written by Leo Margolis and Tobias Moede the functionality of which is now included in this package, cf. https://www.tu-braunschweig.de/index.php?eID=dumpFile&t=f&f=114036&token=7391a74bb71a93524f0dc24d07e5330c3d3cdf6e and https://doi.org/10.1016/j.jaca.2022.100001. - -Changed: -- detbins.gi: --- New invariants and new functions for all fields. Also new functions which do not need the order as input. --- Some of the existing functions now give more information, e.g. ConjugacyClassInfo or SandlingInfo --- Many of the functions are now documented. This concerns both, new and unchanged functions - -- checkbin.gi: --- Corrected mistake in main function as done in ModIsomExt. Basically, just copied the file from ModIsomExt --- New functionality which allows application to bigger fields --- Print info on time etc. as in ModIsomExt - -- fprint.gi: corrected mistake in function PowerBasisWeights as done in ModIsomExt - -New files: -- collect.gi as given in ModIsomExt. Function to efficiently compute with Jennings bases in Loewy series quotients of the augmentation ideal -- Jennings bound functions which in ModIsomExt are in detbins.gi into new files jenningsBound.g and jenningsConjecture.g -- kernelsize.gi: to compute kernel sizes of power maps -- tabletoalgebrandback.gi: functions which allow to convert hence and forth between elements in the group algebra (or rather the augmentation ideal) and the corresponding table -- detbinsRT.gi: for the ring-theoretic functions of detbins.gi in ModIsom - -Technical differences between ModIsom and ModIsomExt: -- ModIsom uses BindGlobal while ModIsomExt uses InstallMethod. --> Has been changed everywhere to BindGlobal -- Documentation is generated differently. ModIsom uses GAPMacro --> Fused - -------------------------------------------------- ------------------------------------------------- - -Concrete changes: - -detbins.gi: -- RefinBins from ModIsomExt (i.e. to refine lists of groups and not only of ids) -- MIPConjugcayClassInfo from ModIsomExt (i.e. with the parameter of Parmenter-Polcino Milies) -- MIPJenningsInfo from ModIsomExt (i.e. incorporating Hertweck's G/D4(G) and better id recognition) -- MIPSandlingInfo from ModIsomExt (i.e. incorporating Baginski/Margolis-Moede on small group rings) -- BaginskiInfo from ModIsomExt, implementing Baginski99-results -- CenterDerivedInfo from ModIsomExt -- FrattiniInfo from ModIsomExt -- JenningsDerivedInfo from ModIsomExt -- BaginskiCarantiInfo from ModIsomExt -- NilpotencyClassInfo from ModIsomExt -- DimensionTwoCohomology from ModIsomExt - -- MIPJenningsInfoAllFields, only subsequent Jennings quotients -- DimensionSecondHochschild, computes dimension of second Hochschild cohomology group -- IsCoveredByTheory extended from ModIsomExt with various new results -- IsCoveredByTheoryAllFields new function -- Theorem41MS22 new function for result from Margolis-Stanojkovski -- MaximalAbelianDirectFactor and MaximalElementaryAbelianDirectFactor new functions for canceling factors -- AgemoInvariantAllM and OmegaInvariantAllM and AgemoCenterInvariantAllM and NormalSubgroupsInfo new functions based on Garcia-Lucas and Margolis-Sakurai-Stanojkovski -- CyclicDerivedInfo and CyclicDerivedInfoAllFields new functions based on Garcia-Lucas-Del Rio-Stanojkovski and Garcia-Lucas-Del Rio -- MIPBinsByGTInternal changed from ModIsomExt to incorporate new invariants and option to shut off cohomology calculations -- MIPBinsByGT changes to 2-4 variables and with new invariants -- MIPBinsByGTAllFieldsInternal and MIPBinsByGTAllFields new functions for all fields -- MIPSplitGroupsByGroupTheoreticalInvariants and MIPSplitGroupsByGroupTheoreticalInvariantsNoCohomology and MIPSplitGroupsByGroupTheoreticalInvariantsAllFields and MIPSplitGroupsByGroupTheoreticalInvariantsAllFieldsNoCohomology new user friendly functions which only need list of groups as input - - -checkbin.gi: -- MIPBinSplit from ModIsomExt with change to allow to increase field -- MIPSplitGroupsByAlgebras new user friendly function with input list of groups (and optional number to increase field) - -fprint.gi: correction of mistake in PowerBasisWeights as already done in ModIsomExt - -collect.gi: like in ModIsomExt + new user friendly function ModIsomTable - -detbinsRT.gi: functions in the second half of the old checkbin.gi - -kernelsize.gi: compute kernel size of power map - -jenningsBounds.g: functions on Jennings bound from ModIsomExt - -tabletoalgebrandback.gi: MIPElementTableToAlgebra and MIPElementAlgebraToTable functions to convert elements between group algebra and table - -Manual: -- many of the new functions have been documented as well as the changes in the previous functions. Also some functions which remain unchanged are now documented - -