SSL changes.txt Sprache: Text

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

quality99%

¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.