-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathchanges.txt
83 lines (61 loc) · 4.89 KB
/
changes.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
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