
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


