# GAP - history of changes ## GAP 4.13.0 (March 2024) The following gives an overview of the changes compared to the previous release. This list is not complete, many more internal or minor changes were made, but we tried to only list those changes which we think might affect some users directly. ### Changes related to handling of packages - [#5623](https://github.com/gap-system/gap/pull/5623) Change `gac` to respect `CC` and `CXX` environment variables if set (to override the C/C++ compiler it invokes) - [#5572](https://github.com/gap-system/gap/pull/5572) Make `License` field for GAP packages mandatory - [#5472](https://github.com/gap-system/gap/pull/5472) Stop requiring `Status` in package metadata; we now collect this information centrally - [#5401](https://github.com/gap-system/gap/pull/5401) Improve linker flags for kernel extensions under Cygwin - [#5375](https://github.com/gap-system/gap/pull/5375) Support package extensions (see the manual section "Extensions Provided by a Package") ### Changes in the documentation - [#5424](https://github.com/gap-system/gap/pull/5424) Specify/unify the definition of `CompanionMatrix` - [#5248](https://github.com/gap-system/gap/pull/5248) Add subsection "User Preferences Defined by GAP" to the GAP reference manual which lists available user preferences, and add index entries for the preferences to make it easier to find their documentation ### Performance improvements - [#5566](https://github.com/gap-system/gap/pull/5566) Validate arguments to `ListPerm`, and turn it into a kernel function to make it faster - [#5537](https://github.com/gap-system/gap/pull/5537) Use `anupq` package for computing isomorphism of p-groups if it is available - [#5514](https://github.com/gap-system/gap/pull/5514) Improve subgroup conjugacy of permutation groups - [#5512](https://github.com/gap-system/gap/pull/5512) Add new normalizer routine for permutation groups of larger degree and with a sizeable solvable radical - [#5342](https://github.com/gap-system/gap/pull/5342) Add much faster `IsOne` method for matrices - [#5300](https://github.com/gap-system/gap/pull/5300) Make `Remove` with two arguments faster for internal lists - [#5216](https://github.com/gap-system/gap/pull/5216) Speed up `AsList`, `AsSet` and `ElementsStabChain` for permutation groups, by not sorting the list returned by `ElementsStabChain` (in accordance with its documentation which never promised this) ### Build system - [#5551](https://github.com/gap-system/gap/pull/5551) Disable storing build date and time when `SOURCE_DATE_EPOCH` is defined (beneficial for reproducible builds) - [#5522](https://github.com/gap-system/gap/pull/5522) Remove compatibility mode from the GAP build system for old GAP packages (all currently distributed packages do not need it anymore) - [#5499](https://github.com/gap-system/gap/pull/5499) Update bundled zlib to 1.3 - [#5498](https://github.com/gap-system/gap/pull/5498) Update bundled GMP to 6.3.0 - [#5435](https://github.com/gap-system/gap/pull/5435) Stop installing headers into `${includedir}/gap/src` - [#5306](https://github.com/gap-system/gap/pull/5306) Stop using GNU libtool for linking GAP and libgap - [#5080](https://github.com/gap-system/gap/pull/5080) Generate and install `libgap.pc` for use with `pkg-config` ### Changes to the `libgap` interface - [#5457](https://github.com/gap-system/gap/pull/5457) Add `GAP_IsChar`, `GAP_IsBoolean`, `GAP_IsFunction`; fix `GAP_IsMacFloat`; expand some comments ### Changes to HPC-GAP - [#5500](https://github.com/gap-system/gap/pull/5500) Fix HPC-GAP crash when calling `IntFFE` repeatedly ### New features - [#5585](https://github.com/gap-system/gap/pull/5585) Add function `ChangeDirectoryCurrent` to change current directory (identical to the one provided by the IO package) - [#5491](https://github.com/gap-system/gap/pull/5491) Add `AlgebraWithOneByStructureConstants` - [#5407](https://github.com/gap-system/gap/pull/5407) Add user preference `ShortBanners` (if enabled package banners are reduced to just name, version and description of a package) - [#5359](https://github.com/gap-system/gap/pull/5359) Add new property `IsRegularPGroup` - [#5344](https://github.com/gap-system/gap/pull/5344) Support method dispatch based on tags (see the manual section "Tag Based Operations") - [#5255](https://github.com/gap-system/gap/pull/5255) Add `AlgebraHomomorphismByFunction` and `AlgebraWithOneHomomorphismByFunction`, formerly provided by the packages FR and XModAlg ### Improved and extended functionality - [#5660](https://github.com/gap-system/gap/pull/5660) Enhance `IsomorphismFpGroup(G)` to transfer in more cases information about `G` to its image - [#5521](https://github.com/gap-system/gap/pull/5521) Fix unexpected error when doing certain calculations in a fitting-free group acting intransitively on its socle factors - [#5480](https://github.com/gap-system/gap/pull/5480) Make `GroupWithMemory` behave more like `Group`, and e.g. make the wrapped generators immutable, and for matrices try to convert them to a better representation - [#5440](https://github.com/gap-system/gap/pull/5440) Change handling of long command line options like `--norepl` so that repeating them will not toggle behaviour anymore - [#5410](https://github.com/gap-system/gap/pull/5410) Support `AbelianInvariants` for infinite cyclic groups - [#5210](https://github.com/gap-system/gap/pull/5210) Change `Test` so it immediately outputs failed test results - [#5179](https://github.com/gap-system/gap/pull/5179) Quit GAP with non-zero exit code if processing init files fails and `--quitonbreak` is being used - [#5158](https://github.com/gap-system/gap/pull/5158) Change `DecomposeTensorProduct` to ensure it produces a *sorted* list of highest weights, and document this - [#5153](https://github.com/gap-system/gap/pull/5153) Support consistency checks for `Vector`, `Matrix` - [#5146](https://github.com/gap-system/gap/pull/5146) Signal an error when internal file descriptor limit is reached (at most 256 files can be open at the same time) - [#5139](https://github.com/gap-system/gap/pull/5139) Enhance `Display` for functions to print where the function was defined, if possible - [#5049](https://github.com/gap-system/gap/pull/5049) Improve how `Test` handles `#@exec` comments in `.tst` files (by executing these earlier to allow `#@if` comments to depend on them) - [#5038](https://github.com/gap-system/gap/pull/5038) Support `TensorProduct`, `ExteriorPower` and `SymmetricPower` for characters - [#5013](https://github.com/gap-system/gap/pull/5013) Add a new criterion to compute indicators of 2-modular Brauer characters ### Removed or obsolete functionality - [#5524](https://github.com/gap-system/gap/pull/5524) Disable several long obsolete (and often undocumented) functions and synonyms (`GAP_ARCHITECTURE`, `Revision`, `TRANSDEGREES`, `FormattedString`, `Complementclasses`, `TeX`, `LaTeX`, `TeXObj`, `LaTeXObj`, `RecFields`, `InfoRead1`, `InfoRead2`, `IsLexicographicallyLess` and more) - [#5301](https://github.com/gap-system/gap/pull/5301) Remove `ActivateProfileColour` (it was rarely used or even known, and blocked work on the profiling engine) - [#5263](https://github.com/gap-system/gap/pull/5263) Mark as obsolete: `ZeroSM`/`ZeroAttr`, `AdditiveInverseSM`/`AdditiveInverseAttr` `OneSM`/`OneAttr`, `InverseSM`/`InverseAttr`, `TransposedMatAttr` ### Fixed bugs that could lead to incorrect results - [#5620](https://github.com/gap-system/gap/pull/5620) Fix error in `MaximalAbelianQuotient` applied to a subgroup of an FPGroup which could result in wrong results - [#5509](https://github.com/gap-system/gap/pull/5509) Reject GAP function definitions containing huge list or record expressions (millions of entries) instead of silently discarding part of the data - [#5495](https://github.com/gap-system/gap/pull/5495) Fix `LogFFE` for finite field elements which are not in `IsInternalRep` (such as elements of "large" finite fields) - [#5475](https://github.com/gap-system/gap/pull/5475) Fix an error in calculating subgroup lattices of nonsolvable groups was fixed. This error could lead to subgroups being omitted. - [#5469](https://github.com/gap-system/gap/pull/5469) Fix an error in the Modified Todd-Coxeter (subgroup presentations on specified generators) that could lead to wrong results when using `IsomorphismFpGroupByGenerators` - [#5339](https://github.com/gap-system/gap/pull/5339) Ensure `IsomorphismPermGroup(G)` always returns an isomorphism for `G` (before if `G` was a finite matrix group it sometimes returned an isomorphism for a general linear group containing `G`) - [#5335](https://github.com/gap-system/gap/pull/5335) Fix a case where `Coefficients(B,v)` returned a list instead of `fail` although the vector `v` did not lie in the underlying vector space `V` of `B` - [#5122](https://github.com/gap-system/gap/pull/5122) Restrict `\/` for free groups to full free groups, instead of returning wrong results for other cases ### Fixed bugs that could lead to crashes - [#5371](https://github.com/gap-system/gap/pull/5371) Fix a rare crash in the garbage collector while restoring a workspace ### Fixed bugs that could lead to unexpected errors - [#5573](https://github.com/gap-system/gap/pull/5573) Fix failure loading a workspace created while GAP's stdin was a file into a GAP with stdin attached to a terminal - [#5532](https://github.com/gap-system/gap/pull/5532) Fix an unexpected error in `GQuotients` (by fixing a bug in the cyclic modified Todd-Coxeter) - [#5501](https://github.com/gap-system/gap/pull/5501) Fix `EpimorphismSchurCover` with two arguments for p-groups - [#5494](https://github.com/gap-system/gap/pull/5494) Fix `Agemo(G,p)` for trivial group `G` - [#5432](https://github.com/gap-system/gap/pull/5432) Fix `AbelianGroup` to (better) handle empty order lists, and generators of order 1 - [#5298](https://github.com/gap-system/gap/pull/5298) Fix a rare error message in isomorphism test - [#5245](https://github.com/gap-system/gap/pull/5245) Fix `AsSet` and other functions for `GL(1,Integers)` and `SL(1,Integers)` - [#5029](https://github.com/gap-system/gap/pull/5029) Document and enforce that "nice monomorphisms" must have `IsInjective` set (otherwise an infinite recursion can happen) ### Other fixed bugs - [#5666](https://github.com/gap-system/gap/pull/5666) Fix an issue where closing a subprocess started via `InputOutputLocalProcess` could lead to spurious error messages by that subprocess - [#5546](https://github.com/gap-system/gap/pull/5546) Fix printing of GAP strings containing null characters (skip them instead of truncating the string) - [#5523](https://github.com/gap-system/gap/pull/5523) Fix infinite recursion in `ReplacedString` when `` string is empty - [#5520](https://github.com/gap-system/gap/pull/5520) Restrict `SetDimension` method to `IsFreeLeftModule` to avoid a bug involving `FinInG` - [#5453](https://github.com/gap-system/gap/pull/5453) Fix printing of expressions including non-zero list levels - [#5450](https://github.com/gap-system/gap/pull/5450) Ensure all lists of lists are marked as rectangular tables when approriate - [#5427](https://github.com/gap-system/gap/pull/5427) Fix `Concatenation ` to reject `Concatenation( [ 1 ] )` instead of returning `1`, and in general do a better job at validating its inputs - [#5400](https://github.com/gap-system/gap/pull/5400) Fix workspaces to save and restore "early methods" of operations - [#5246](https://github.com/gap-system/gap/pull/5246) Make sure that syntax error messages during `EvalString` are displayed correctly - [#5165](https://github.com/gap-system/gap/pull/5165) Fix a number of bugs in `SyntaxTree` and `SyntaxTreeCode` ### Other changes - [#5653](https://github.com/gap-system/gap/pull/5653) Change `Cite` to not include a version in the generated keys - [#5554](https://github.com/gap-system/gap/pull/5554) Make `Objectify` and `ObjectifyWithAttributes` reject input objects which are not plain lists or records - [#5366](https://github.com/gap-system/gap/pull/5366) Add user preference `HistoryBackwardSearchSkipIdenticalEntries` - [#5180](https://github.com/gap-system/gap/pull/5180) Force `START_TEST` and `STOP_TEST` to be always used in tandem - [#3006](https://github.com/gap-system/gap/pull/3006) Forbid installing new implications to representations using `InstallTrueMethod` ### Package distribution #### New packages redistributed with GAP - [**LINS**](https://gap-packages.github.io/LINS/) 0.9: provides an algorithm for computing the normal subgroups of a finitely presented group up to some given index bound., by Friedrich Rober - [**QDistRnd**](https://QEC-pages.github.io/QDistRnd) 0.9.4: Calculate the distance of a q-ary quantum stabilizer code, by Leonid P. Pryadko, V. A. Shabashov, V. K. Kozin - [**SOTGrps**](https://gap-packages.github.io/sotgrps/) 1.2: Constructing and identifying groups of small order type, by Eileen Pan - [**typeset**](https://gap-packages.github.io/typeset/) 1.2.2: Automatic typesetting framework for common GAP objects, with LaTeX generation, by Zachariah Newbery #### Updated packages redistributed with GAP The GAP 4.13.0 distribution contains 159 packages, of which 87 have been updated since GAP 4.12.2. The full list of updated packages is given below: - [**4ti2Interface**](https://homalg-project.github.io/pkg/4ti2Interface): 2022.09-01 -> 2023.02-04 - [**ACE**](https://gap-packages.github.io/ace): 5.6.1 -> 5.6.2 - [**AGT**](https://gap-packages.github.io/agt): 0.3 -> 0.3.1 - [**ANUPQ**](https://gap-packages.github.io/anupq/): 3.2.6 -> 3.3.0 - [**AtlasRep**](https://www.math.rwth-aachen.de/~Thomas.Breuer/atlasrep): 2.1.6 -> 2.1.8 - [**AutoDoc**](https://gap-packages.github.io/AutoDoc): 2022.10.20 -> 2023.06.19 - [**Browse**](https://www.math.rwth-aachen.de/~Browse): 1.8.19 -> 1.8.21 - [**CAP**](https://homalg-project.github.io/pkg/CAP): 2022.12-11 -> 2024.03-02 - [**CaratInterface**](https://www.math.uni-bielefeld.de/~gaehler/gap/packages.php): 2.3.4 -> 2.3.6 - [**Circle**](https://gap-packages.github.io/circle): 1.6.5 -> 1.6.6 - [**cohomolo**](https://gap-packages.github.io/cohomolo): 1.6.10 -> 1.6.11 - [**Congruence**](https://gap-packages.github.io/congruence): 1.2.4 -> 1.2.5 - [**Cryst**](https://www.math.uni-bielefeld.de/~gaehler/gap/packages.php): 4.1.25 -> 4.1.27 - [**CTblLib**](https://www.math.rwth-aachen.de/~Thomas.Breuer/ctbllib): 1.3.4 -> 1.3.9 - [**curlInterface**](https://gap-packages.github.io/curlInterface/): 2.3.1 -> 2.3.2 - [**cvec**](https://gap-packages.github.io/cvec): 2.7.6 -> 2.8.1 - [**DESIGN**](https://gap-packages.github.io/design): 1.7 -> 1.8 - [**Digraphs**](https://digraphs.github.io/Digraphs): 1.6.1 -> 1.7.1 - [**EDIM**](https://www.math.rwth-aachen.de/~Frank.Luebeck/EDIM): 1.3.6 -> 1.3.8 - [**Example**](https://gap-packages.github.io/example): 4.3.2 -> 4.3.4 - [**ExamplesForHomalg**](https://homalg-project.github.io/pkg/ExamplesForHomalg): 2022.11-01 -> 2023.10-01 - [**ferret**](https://gap-packages.github.io/ferret/): 1.0.9 -> 1.0.10 - [**FGA**](https://gap-packages.github.io/fga/): 1.4.0 -> 1.5.0 - [**FinInG**](https://gap-packages.github.io/FinInG): 1.5.4 -> 1.5.6 - [**float**](https://gap-packages.github.io/float/): 1.0.3 -> 1.0.4 - [**FORMAT**](https://gap-packages.github.io/format/): 1.4.3 -> 1.4.4 - [**FPLSA**](https://gap-packages.github.io/FPLSA): 1.2.5 -> 1.2.6 - [**FR**](https://gap-packages.github.io/fr): 2.4.12 -> 2.4.13 - [**francy**](https://gap-packages.github.io/francy): 1.2.5 -> 2.0.3 - [**GAPDoc**](https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc): 1.6.6 -> 1.6.7 - [**Gauss**](https://homalg-project.github.io/pkg/Gauss): 2022.11-01 -> 2023.02-04 - [**GaussForHomalg**](https://homalg-project.github.io/pkg/GaussForHomalg): 2022.08-03 -> 2023.11-01 - [**GeneralizedMorphismsForCAP**](https://homalg-project.github.io/pkg/GeneralizedMorphismsForCAP): 2022.12-01 -> 2024.01-01 - [**GradedModules**](https://homalg-project.github.io/pkg/GradedModules): 2022.09-02 -> 2024.01-01 - [**GradedRingForHomalg**](https://homalg-project.github.io/pkg/GradedRingForHomalg): 2022.11-01 -> 2023.08-01 - [**groupoids**](https://gap-packages.github.io/groupoids/): 1.71 -> 1.74 - [**GrpConst**](https://gap-packages.github.io/grpconst/): 2.6.3 -> 2.6.5 - [**GUAVA**](https://gap-packages.github.io/guava): 3.17 -> 3.18 - [**HAP**](https://gap-packages.github.io/hap): 1.47 -> 1.62 - [**HeLP**](https://gap-packages.github.io/HeLP): 3.5 -> 4.0 - [**homalg**](https://homalg-project.github.io/pkg/homalg): 2022.11-01 -> 2024.01-01 - [**HomalgToCAS**](https://homalg-project.github.io/pkg/HomalgToCAS): 2022.11-02 -> 2023.11-01 - [**idrel**](https://gap-packages.github.io/idrel/): 2.44 -> 2.46 - [**images**](https://gap-packages.github.io/images/): 1.3.1 -> 1.3.2 - [**IO**](https://gap-packages.github.io/io): 4.8.0 -> 4.8.2 - [**IO_ForHomalg**](https://homalg-project.github.io/pkg/IO_ForHomalg): 2022.11-01 -> 2023.02-04 - [**json**](https://gap-packages.github.io/json/): 2.1.1 -> 2.2.0 - [**JupyterKernel**](https://gap-packages.github.io/JupyterKernel/): 1.4.1 -> 1.5.0 - [**kan**](https://gap-packages.github.io/kan/): 1.34 -> 1.37 - [**kbmag**](https://gap-packages.github.io/kbmag): 1.5.10 -> 1.5.11 - [**LAGUNA**](https://gap-packages.github.io/laguna): 3.9.5 -> 3.9.6 - [**LinearAlgebraForCAP**](https://homalg-project.github.io/pkg/LinearAlgebraForCAP): 2022.12-04 -> 2024.02-02 - [**LocalizeRingForHomalg**](https://homalg-project.github.io/pkg/LocalizeRingForHomalg): 2022.11-01 -> 2023.10-01 - [**MatricesForHomalg**](https://homalg-project.github.io/pkg/MatricesForHomalg): 2022.12-01 -> 2024.02-01 - [**ModIsom**](https://gap-packages.github.io/modisom/): 2.5.3 -> 2.5.4 - [**ModulePresentationsForCAP**](https://homalg-project.github.io/pkg/ModulePresentationsForCAP): 2022.12-01 -> 2024.01-04 - [**Modules**](https://homalg-project.github.io/pkg/Modules): 2022.11-01 -> 2024.01-01 - [**MonoidalCategories**](https://homalg-project.github.io/pkg/MonoidalCategories): 2022.12-01 -> 2024.02-04 - [**NormalizInterface**](https://gap-packages.github.io/NormalizInterface): 1.3.5 -> 1.3.6 - [**nq**](https://gap-packages.github.io/nq/): 2.5.9 -> 2.5.11 - [**OpenMath**](https://gap-packages.github.io/openmath): 11.5.2 -> 11.5.3 - [**PackageManager**](https://gap-packages.github.io/PackageManager/): 1.3.2 -> 1.4.3 - [**permut**](https://gap-packages.github.io/permut/): 2.0.4 -> 2.0.5 - [**polymaking**](https://gap-packages.github.io/polymaking/): 0.8.6 -> 0.8.7 - [**PrimGrp**](https://gap-packages.github.io/primgrp/): 3.4.3 -> 3.4.4 - [**profiling**](https://gap-packages.github.io/profiling/): 2.5.1 -> 2.5.4 - [**QPA**](https://folk.ntnu.no/oyvinso/QPA/): 1.34 -> 1.35 - [**QuaGroup**](https://gap-packages.github.io/quagroup/): 1.8.3 -> 1.8.4 - [**RepnDecomp**](https://gap-packages.github.io/RepnDecomp): 1.2.1 -> 1.3.0 - [**Repsn**](https://gap-packages.github.io/repsn/): 3.1.0 -> 3.1.2 - [**RingsForHomalg**](https://homalg-project.github.io/pkg/RingsForHomalg): 2022.11-01 -> 2023.11-02 - [**SCO**](https://homalg-project.github.io/pkg/SCO): 2022.09-01 -> 2023.08-01 - [**SCSCP**](https://gap-packages.github.io/scscp): 2.4.0 -> 2.4.2 - [**Semigroups**](https://semigroups.github.io/Semigroups): 5.2.0 -> 5.3.7 - [**singular**](https://gap-packages.github.io/singular/): 2022.09.23 -> 2023.02.09 - [**SmallGrp**](https://gap-packages.github.io/smallgrp/): 1.5.1 -> 1.5.3 - [**StandardFF**](https://www.math.rwth-aachen.de/~Frank.Luebeck/gap/StandardFF/): 0.9.4 -> 1.0 - [**TomLib**](https://gap-packages.github.io/tomlib): 1.2.9 -> 1.2.11 - [**ToolsForHomalg**](https://homalg-project.github.io/pkg/ToolsForHomalg): 2022.12-01 -> 2023.11-01 - [**TransGrp**](https://www.math.colostate.edu/~hulpke/transgrp): 3.6.3 -> 3.6.5 - [**UGALY**](https://gap-packages.github.io/UGALY): 4.0.3 -> 4.1.3 - [**UnitLib**](https://gap-packages.github.io/unitlib): 4.1.0 -> 4.2.0 - [**utils**](https://gap-packages.github.io/utils): 0.81 -> 0.85 - [**Wedderga**](https://gap-packages.github.io/wedderga): 4.10.2 -> 4.10.5 - [**XGAP**](https://gap-packages.github.io/xgap): 4.31 -> 4.32 - [**XMod**](https://gap-packages.github.io/xmod/): 2.88 -> 2.92 - [**YangBaxter**](https://gap-packages.github.io/YangBaxter): 0.10.2 -> 0.10.3 ## GAP 4.12.2 (December 2022) The following gives an overview of the changes compared to the previous release. - [#5250](https://github.com/gap-system/gap/pull/5250) Fix an unexpected error during tab completion for input like `a.b.` when `a` is not a record - [#5235](https://github.com/gap-system/gap/pull/5235) Fix a problem with kernel extensions on macOS - [#5187](https://github.com/gap-system/gap/pull/5187) Allow kernel extensions to use GAP header files via `#include ` instead of `#include "src/HEADER.h"` or `#include "HEADER.h"` (improves compatibility with "install" GAP versions shipped by Linux distributions) - [#5112](https://github.com/gap-system/gap/pull/5112) [#5171](https://github.com/gap-system/gap/pull/5171) [#5193](https://github.com/gap-system/gap/pull/5193) [#5201](https://github.com/gap-system/gap/pull/5201) [#5206](https://github.com/gap-system/gap/pull/5206) Build system changes - [#5170](https://github.com/gap-system/gap/pull/5170) [#5213](https://github.com/gap-system/gap/pull/5213) [#5215](https://github.com/gap-system/gap/pull/5215) Fix compiler warnings ### Package distribution #### New packages redistributed with GAP - [**SL2Reps**](https://snw-0.github.io/sl2-reps) 1.1: Constructing symmetric representations of SL(2,Z)., by Siu-Hung Ng, Yilong Wang, Samuel Wilson #### Updated packages redistributed with GAP The GAP 4.12.2 distribution contains 155 packages, of which 44 have been updated since GAP 4.12.1. The full list of updated packages is given below: - [**AGT**](https://gap-packages.github.io/agt): 0.2 -> 0.3 - [**Browse**](https://www.math.rwth-aachen.de/~Browse): 1.8.18 -> 1.8.19 - [**CAP**](https://homalg-project.github.io/pkg/CAP): 2022.10-06 -> 2022.12-11 - [**CddInterface**](https://homalg-project.github.io/CddInterface): 2022.08.11 -> 2022.11.01 - [**CRISP**](http://www.icm.tu-bs.de/~bhoeflin/crisp/index.html): 1.4.5 -> 1.4.6 - [**crypting**](https://gap-packages.github.io/crypting/): 0.10.3 -> 0.10.4 - [**datastructures**](https://gap-packages.github.io/datastructures): 0.2.7 -> 0.3.0 - [**Digraphs**](https://digraphs.github.io/Digraphs): 1.6.0 -> 1.6.1 - [**ExamplesForHomalg**](https://homalg-project.github.io/pkg/ExamplesForHomalg): 2022.10-01 -> 2022.11-01 - [**FinInG**](https://gap-packages.github.io/FinInG): 1.5.1 -> 1.5.4 - [**FR**](https://gap-packages.github.io/fr): 2.4.10 -> 2.4.12 - [**Gauss**](https://homalg-project.github.io/pkg/Gauss): 2022.10-01 -> 2022.11-01 - [**GeneralizedMorphismsForCAP**](https://homalg-project.github.io/pkg/GeneralizedMorphismsForCAP): 2022.09-01 -> 2022.12-01 - [**GradedRingForHomalg**](https://homalg-project.github.io/pkg/GradedRingForHomalg): 2022.10-01 -> 2022.11-01 - [**GRAPE**](https://gap-packages.github.io/grape): 4.8.5 -> 4.9.0 - [**GrpConst**](https://gap-packages.github.io/grpconst/): 2.6.2 -> 2.6.3 - [**homalg**](https://homalg-project.github.io/pkg/homalg): 2022.08-04 -> 2022.11-01 - [**HomalgToCAS**](https://homalg-project.github.io/pkg/HomalgToCAS): 2022.10-01 -> 2022.11-02 - [**IO_ForHomalg**](https://homalg-project.github.io/pkg/IO_ForHomalg): 2022.09-01 -> 2022.11-01 - [**IRREDSOL**](http://www.icm.tu-bs.de/~bhoeflin/irredsol/index.html): 1.4.3 -> 1.4.4 - [**LiePRing**](https://gap-packages.github.io/liepring/): 2.7 -> 2.8 - [**LinearAlgebraForCAP**](https://homalg-project.github.io/pkg/LinearAlgebraForCAP): 2022.10-03 -> 2022.12-04 - [**LocalizeRingForHomalg**](https://homalg-project.github.io/pkg/LocalizeRingForHomalg): 2022.09-01 -> 2022.11-01 - [**loops**](https://gap-packages.github.io/loops/): 3.4.2 -> 3.4.3 - [**MajoranaAlgebras**](https://gap-packages.github.io/MajoranaAlgebras/): 1.5 -> 1.5.1 - [**MatricesForHomalg**](https://homalg-project.github.io/pkg/MatricesForHomalg): 2022.10-05 -> 2022.12-01 - [**ModulePresentationsForCAP**](https://homalg-project.github.io/pkg/ModulePresentationsForCAP): 2022.10-04 -> 2022.12-01 - [**Modules**](https://homalg-project.github.io/pkg/Modules): 2022.09-01 -> 2022.11-01 - [**MonoidalCategories**](https://homalg-project.github.io/pkg/MonoidalCategories): 2022.10-01 -> 2022.12-01 - [**NormalizInterface**](https://gap-packages.github.io/NormalizInterface): 1.3.4 -> 1.3.5 - [**nq**](https://gap-packages.github.io/nq/): 2.5.8 -> 2.5.9 - [**OpenMath**](https://gap-packages.github.io/openmath): 11.5.1 -> 11.5.2 - [**PrimGrp**](https://gap-packages.github.io/primgrp/): 3.4.2 -> 3.4.3 - [**RCWA**](https://gap-packages.github.io/rcwa/): 4.7.0 -> 4.7.1 - [**RingsForHomalg**](https://homalg-project.github.io/pkg/RingsForHomalg): 2022.10-02 -> 2022.11-01 - [**SCSCP**](https://gap-packages.github.io/scscp): 2.3.1 -> 2.4.0 - [**Semigroups**](https://semigroups.github.io/Semigroups): 5.0.2 -> 5.2.0 - [**SglPPow**](https://gap-packages.github.io/sglppow/): 2.2 -> 2.3 - [**SmallGrp**](https://gap-packages.github.io/smallgrp/): 1.5 -> 1.5.1 - [**SONATA**](https://gap-packages.github.io/sonata/): 2.9.5 -> 2.9.6 - [**ToolsForHomalg**](https://homalg-project.github.io/pkg/ToolsForHomalg): 2022.09-08 -> 2022.12-01 - [**utils**](https://gap-packages.github.io/utils): 0.77 -> 0.81 - [**XModAlg**](https://gap-packages.github.io/xmodalg/): 1.22 -> 1.23 - [**YangBaxter**](https://gap-packages.github.io/YangBaxter): 0.10.1 -> 0.10.2 ## GAP 4.12.1 (October 2022) The following gives an overview of the changes compared to the previous release. This list is not complete, many more internal or minor changes were made, but we tried to only list those changes which we think might affect some users directly. The new `make install` feature which we first shipped in GAP 4.12.0 has received extensive testing by several downstream packagers, who provided feedback we used to fix and improve it. If you tried it with 4.12.0 and did run into problems, please give it another try. ### Performance improvements - [#5032](https://github.com/gap-system/gap/pull/5032) Fix performance regression in `AllHomomorphismClasses` and possibly other code searching isomorphisms ### Improved and extended functionality - [#5047](https://github.com/gap-system/gap/pull/5047) `Display` for a character table optionally shows the degrees of the character fields ### Fixed bugs that could lead to incorrect results - [#5036](https://github.com/gap-system/gap/pull/5036) Fix `Centre` for pc groups giving wrong results, e.g. `Size(Center(SmallGroup(2^9,261648)))` gave 4 instead of 8 - [#5067](https://github.com/gap-system/gap/pull/5067) Fix `AbsolutelyIrreducibleModules` for a pc group and a finite prime field ### Fixed bugs that could lead to crashes - [#5126](https://github.com/gap-system/gap/pull/5126) Fix crashes in `ConvertToVectorRep` and `CopyToVectorRep` ### Fixed bugs that could lead to break loops - [#5025](https://github.com/gap-system/gap/pull/5025) Fix unexpected error in tab completion for non-record component objects - [#5033](https://github.com/gap-system/gap/pull/5033) Fix unexpected error in `ConjugacyClassesSubgroups` - [#5041](https://github.com/gap-system/gap/pull/5041) Fix unexpected error in `MinimalGeneratingSet` for solvable non-pc groups - [#5057](https://github.com/gap-system/gap/pull/5057) Fix `Orbits` when called with a range as seeds ### Other fixed bugs - [#5043](https://github.com/gap-system/gap/pull/5043) Fix `SaveOnExitFile` in restored workspaces - [#5116](https://github.com/gap-system/gap/pull/5116) Fix printing of GAP functions containing sublist extractions ### Other changes - [#5079](https://github.com/gap-system/gap/pull/5079) Improve buildsystem by exporting `GMP_PREFIX` in `sysinfo.gap` for package build systems ### Package distribution #### Updated packages redistributed with GAP The GAP 4.12.1 distribution contains 154 packages, of which 49 have been updated since GAP 4.12.0. The full list of updated packages is given below: - [**4ti2Interface**](https://homalg-project.github.io/pkg/4ti2Interface): 2022.08-03 -> 2022.09-01 - [**ACE**](https://gap-packages.github.io/ace): 5.5 -> 5.6.1 - [**AtlasRep**](https://www.math.rwth-aachen.de/~Thomas.Breuer/atlasrep): 2.1.4 -> 2.1.6 - [**AutoDoc**](https://gap-packages.github.io/AutoDoc): 2022.07.10 -> 2022.10.20 - [**Browse**](https://www.math.rwth-aachen.de/~Browse): 1.8.14 -> 1.8.18 - [**CAP**](https://homalg-project.github.io/pkg/CAP): 2022.08-05 -> 2022.10-06 - [**crypting**](https://gap-packages.github.io/crypting/): 0.10 -> 0.10.3 - [**curlInterface**](https://gap-packages.github.io/curlInterface/): 2.2.3 -> 2.3.1 - [**DeepThought**](https://gap-packages.github.io/DeepThought/): 1.0.5 -> 1.0.6 - [**Digraphs**](https://digraphs.github.io/Digraphs): 1.5.3 -> 1.6.0 - [**EDIM**](https://www.math.rwth-aachen.de/~Frank.Luebeck/EDIM): 1.3.5 -> 1.3.6 - [**ExamplesForHomalg**](https://homalg-project.github.io/pkg/ExamplesForHomalg): 2022.08-02 -> 2022.10-01 - [**ferret**](https://gap-packages.github.io/ferret/): 1.0.8 -> 1.0.9 - [**FinInG**](https://gap-packages.github.io/FinInG): 1.5 -> 1.5.1 - [**Forms**](https://gap-packages.github.io/forms): 1.2.8 -> 1.2.9 - [**Francy**](https://gap-packages.github.io/francy): 1.2.4 -> 1.2.5 - [**Gauss**](https://homalg-project.github.io/pkg/Gauss): 2022.08-04 -> 2022.10-01 - [**GaussForHomalg**](https://homalg-project.github.io/pkg/GaussForHomalg): 2022.08-02 -> 2022.08-03 - [**GeneralizedMorphismsForCAP**](https://homalg-project.github.io/pkg/GeneralizedMorphismsForCAP): 2022.05-01 -> 2022.09-01 - [**genss**](https://gap-packages.github.io/genss): 1.6.7 -> 1.6.8 - [**GradedModules**](https://homalg-project.github.io/pkg/GradedModules): 2022.08-02 -> 2022.09-02 - [**GradedRingForHomalg**](https://homalg-project.github.io/pkg/GradedRingForHomalg): 2022.08-02 -> 2022.10-01 - [**GUAVA**](https://gap-packages.github.io/guava): 3.16 -> 3.17 - [**homalg**](https://homalg-project.github.io/pkg/homalg): 2022.08-03 -> 2022.08-04 - [**HomalgToCAS**](https://homalg-project.github.io/pkg/HomalgToCAS): 2022.08-02 -> 2022.10-01 - [**IO**](https://gap-packages.github.io/io): 4.7.2 -> 4.8.0 - [**IO_ForHomalg**](https://homalg-project.github.io/pkg/IO_ForHomalg): 2022.08-03 -> 2022.09-01 - [**json**](https://gap-packages.github.io/json/): 2.1.0 -> 2.1.1 - [**kbmag**](https://gap-packages.github.io/kbmag): 1.5.9 -> 1.5.10 - [**LinearAlgebraForCAP**](https://homalg-project.github.io/pkg/LinearAlgebraForCAP): 2022.08-03 -> 2022.10-03 - [**LocalizeRingForHomalg**](https://homalg-project.github.io/pkg/LocalizeRingForHomalg): 2022.08-02 -> 2022.09-01 - [**MajoranaAlgebras**](https://gap-packages.github.io/MajoranaAlgebras/): 1.4 -> 1.5 - [**MapClass**](https://gap-packages.github.io/MapClass): 1.4.5 -> 1.4.6 - [**MatricesForHomalg**](https://homalg-project.github.io/pkg/MatricesForHomalg): 2022.08-02 -> 2022.10-05 - [**ModulePresentationsForCAP**](https://homalg-project.github.io/pkg/ModulePresentationsForCAP): 2022.08-02 -> 2022.10-04 - [**Modules**](https://homalg-project.github.io/pkg/Modules): 2022.08-03 -> 2022.09-01 - [**MonoidalCategories**](https://homalg-project.github.io/pkg/MonoidalCategories): 2022.08-03 -> 2022.10-01 - [**NConvex**](https://homalg-project.github.io/pkg/NConvex): 2020.11-04 -> 2022.09-01 - [**orb**](https://gap-packages.github.io/orb): 4.8.5 -> 4.9.0 - [**PackageManager**](https://gap-packages.github.io/PackageManager/): 1.3 -> 1.3.2 - [**PatternClass**](https://gap-packages.github.io/PatternClass/): 2.4.2 -> 2.4.3 - [**profiling**](https://gap-packages.github.io/profiling/): 2.5.0 -> 2.5.1 - [**recog**](https://gap-packages.github.io/recog): 1.3.2 -> 1.4.2 - [**RingsForHomalg**](https://homalg-project.github.io/pkg/RingsForHomalg): 2022.08-03 -> 2022.10-02 - [**SCO**](https://homalg-project.github.io/pkg/SCO): 2022.08-02 -> 2022.09-01 - [**singular**](https://gap-packages.github.io/singular/): 2020.12.18 -> 2022.09.23 - [**SONATA**](https://gap-packages.github.io/sonata/): 2.9.4 -> 2.9.5 - [**ToolsForHomalg**](https://homalg-project.github.io/pkg/ToolsForHomalg): 2022.08-02 -> 2022.09-08 - [**utils**](https://gap-packages.github.io/utils): 0.76 -> 0.77 ## GAP 4.12.0 (August 2022) The following gives an overview of the changes compared to the previous release. This list is not complete, many more internal or minor changes were made, but we tried to only list those changes which we think might affect some users directly. ### Highlights - **Added the missing perfect groups of order up to two million** Added perfect groups of orders that had been missing in the Holt/Plesken book (newly computed). This increases the number of groups in the perfect groups library from 1098 to 15768. Also added five groups that were found missing in the existing lists. See PR [#3925](https://github.com/gap-system/gap/pull/3925) and [#4530](https://github.com/gap-system/gap/pull/4530) for details. - **The windows installer for GAP has been completely rewritten** There are many changes and minor fixes, the most significant are: - GAP can be installed globally into "Program Files". - GAP can also be installed without admin access into the user's home directory. - Almost all packages work, including those with kernel modules and external programs. - The default directory for saving is the user's "Documents" folder. - There is no longer possible to choose which packages are installed. - Windows versions before 8 are no longer supported. - **Initial support for `make install` available** This is mostly of interest for downstream packagers, e.g. for Linux distributions. One major caveat is that it does not deal with installing packages (handling that still requires some more planing and thought). The feature is also still rather new and as such is likely to still have rough edges, but we welcome you to try it, and share your feedback with us. See PR [#4492](https://github.com/gap-system/gap/pull/4492). ### Changes to the `libgap` interface - [#4215](https://github.com/gap-system/gap/pull/4215) Add `GAP_MarkBag`, `GAP_CollectBags`, a minimal interface to the garbage collector - [#4501](https://github.com/gap-system/gap/pull/4501) Add `GAP_CallFunc[0-3]Args` - [#4531](https://github.com/gap-system/gap/pull/4531) Add `GAP_IsMatrix` - [#4621](https://github.com/gap-system/gap/pull/4621) Add `GAP_NewRange`, `GAP_NewObjIntFromInt`, `GAP_ValueInt` to the libgap API - [#4644](https://github.com/gap-system/gap/pull/4644) Make `libgap-api.h` safe to use from C++ code ### Changes to the GAP compiler - [#4746](https://github.com/gap-system/gap/pull/4746) Rewrite `gac` to not use libtool - [#4778](https://github.com/gap-system/gap/pull/4778) Remove support for static linking from `gac`, it was rarely if ever used but required a disproportionate amount of effort to keep it working - [#4933](https://github.com/gap-system/gap/pull/4933) Improve `gac` to print errors to stderr and in color ### Changes in the documentation - [#4168](https://github.com/gap-system/gap/pull/4168) Improve the documentation concerning GASMAN, add `CollectGarbage` - [#4339](https://github.com/gap-system/gap/pull/4339) Document `TensorProduct`, `ExteriorPower` and `SymmetricPower` (they existed since at least GAP 4.4) - [#4438](https://github.com/gap-system/gap/pull/4438) Improve documentation for random sources - [#4475](https://github.com/gap-system/gap/pull/4475) Improve argument checking and documentation for `FreeGroup`, `FreeMonoid`, `FreeSemigroup`, `FreeMagmaWithOne`, and `FreeMagma` - [#4529](https://github.com/gap-system/gap/pull/4529) Document `IsNoImmediateMethodsObject` officially, so that packages are free to use it (it already existed for a long time) - [#4672](https://github.com/gap-system/gap/pull/4672) Clarify documentation of `IsFFECollection` - [#4925](https://github.com/gap-system/gap/pull/4925) Document `IsSquareInt` (it has been around for a long time) ### Performance improvements - [#3721](https://github.com/gap-system/gap/pull/3721) Add optimised `SmallestMovedPoint` implementation - [#3740](https://github.com/gap-system/gap/pull/3740) Speed up printing of large permutations - [#4186](https://github.com/gap-system/gap/pull/4186) Speed up `CoefficientsQadic` for long results - [#4331](https://github.com/gap-system/gap/pull/4331) Speed up building stabchain from base and strong generators - [#4411](https://github.com/gap-system/gap/pull/4411) Speed up automorphism group and group isomorphism computations - [#4411](https://github.com/gap-system/gap/pull/4411) Speed up `IntermediateSubgroups` if the smaller subgroup has many orbits - [#4599](https://github.com/gap-system/gap/pull/4599) Speed up `PositionSublist` by using `Position` to search for first entry - [#4622](https://github.com/gap-system/gap/pull/4622) Speed up `AlgebraicExtension` and `AlgebraicExtensionNC` for larger degrees - [#4683](https://github.com/gap-system/gap/pull/4683) Speed up `Embedding` for wreath products - [#4836](https://github.com/gap-system/gap/pull/4836) Speed up calculation of character tables, in particular for solvable groups - [#4874](https://github.com/gap-system/gap/pull/4874) Speed up computation of the intersection of group cosets in the generic cases and even more so for permutation groups - [#4902](https://github.com/gap-system/gap/pull/4902) Speed up `Exponent` for groups with known conjugacy classes - [#4905](https://github.com/gap-system/gap/pull/4905) Speed up `IrrBaumClausen` (used for computing character tables of supersolvable groups, including $p$-groups) - [#4910](https://github.com/gap-system/gap/pull/4910) Speed up `LinearCharacters` for $p$-groups, and `IrrConlon` (used for computing character tables of supersolvable groups, including $p$-groups) ### Changes to HPC-GAP - [#3759](https://github.com/gap-system/gap/pull/3759) Fix an issue with error reporting in parallel threads - [#3761](https://github.com/gap-system/gap/pull/3761) Fix bugs in HPC-GAP serialization code and improve its tests - [#3822](https://github.com/gap-system/gap/pull/3822) Make the assertion level (which controls `Assert` statements) thread local when using HPC-GAP ### New features - [#3858](https://github.com/gap-system/gap/pull/3858) Add `DeclareGlobalName`; together with `BindGlobal` it can be used to replace uses of `DeclareGlobalVariable` & `InstallValue` (which are not thread safe and have other dangers) - [#3914](https://github.com/gap-system/gap/pull/3914) Add `InnerAutomorphismGroup` attribute for groups - [#3992](https://github.com/gap-system/gap/pull/3992) Add `Pluralize` function for strings - [#4074](https://github.com/gap-system/gap/pull/4074) Add `IteratorOfPartitionsSet` an iterator for all unordered partitions of a set into pairwise disjoint nonempty sets - [#4104](https://github.com/gap-system/gap/pull/4104) Add `TaylorSeriesRationalFunction` and improve `Derivative` for univariate rational functions - [#4126](https://github.com/gap-system/gap/pull/4126) Add command line option `--version` - [#4128](https://github.com/gap-system/gap/pull/4128) Add `OutputGzipFile`, in order to create a gzip compressed file - [#4207](https://github.com/gap-system/gap/pull/4207) Add group constructors `PGammaL`, `PSigmaL`, and their methods for permutation groups - [#4219](https://github.com/gap-system/gap/pull/4219) Add `CompositionSeriesThrough` - [#4249](https://github.com/gap-system/gap/pull/4249) Add `ARCH_IS_WSL` to detect Windows Subsystem for Linux - [#4295](https://github.com/gap-system/gap/pull/4295) Add `OpenExternal`, a function for opening files in the OS - [#4334](https://github.com/gap-system/gap/pull/4334) Add group constructors `PGO` and `PSO` - [#4410](https://github.com/gap-system/gap/pull/4410) Add `ListWreathProductElement` and `WreathProductElementList` - [#4465](https://github.com/gap-system/gap/pull/4465) Add command line option `--print-gaproot` - [#4557](https://github.com/gap-system/gap/pull/4557) Add `InstallEarlyMethod` which allows installing special methods that bypass method selection (and thus its overhead) - [#4893](https://github.com/gap-system/gap/pull/4893) Add `HexSHA256` function for computing SHA256 checksums ### Improved and extended functionality - [#3355](https://github.com/gap-system/gap/pull/3355) Allow packages to use ISO 8601 dates in their `PackageInfo.g` files (so `YYYY-MM-DD` instead of `DD/MM/YYYY`) - [#3628](https://github.com/gap-system/gap/pull/3628) Add `Info` statement triggered when re-assigning already assigned attributes and the info level `InfoAttributes` is at least 3 - [#3643](https://github.com/gap-system/gap/pull/3643) Start the process of making vector and matrix objects official - [#3668](https://github.com/gap-system/gap/pull/3668) Support several package instances with same version - [#3713](https://github.com/gap-system/gap/pull/3713) Add tracing and counting of built-in operations - [#3861](https://github.com/gap-system/gap/pull/3861) Extend the range of precomputed simple groups from orders up to 10^18 to orders up to about 10^27 - [#3901](https://github.com/gap-system/gap/pull/3901) Allow function-call syntax for general mappings. - [#3920](https://github.com/gap-system/gap/pull/3920) Admit `CentralIdempotentsOfAlgebra` for algebras without `One` - [#3933](https://github.com/gap-system/gap/pull/3933) Add libtool versioning to libgap shared library - [#3939](https://github.com/gap-system/gap/pull/3939) Improve handling of temp directory in GAP for Windows - [#3986](https://github.com/gap-system/gap/pull/3986) Add methods taking machine floats for `Sinh`, `Cosh`, `Tanh`, `Asinh`, `Acosh`, `Atanh`, `CubeRoot`, `Erf`, `Gamma` - [#4000](https://github.com/gap-system/gap/pull/4000) Enhance `NormalClosure` to accept a list of normal generators (instead of a group) as second argument - [#4050](https://github.com/gap-system/gap/pull/4050) Use `Pluralize` to give correct pluralization in many GAP library methods - [#4099](https://github.com/gap-system/gap/pull/4099) Passing a `.tst` file as a command line argument to `gap` will now invoke `Test` on it - [#4105](https://github.com/gap-system/gap/pull/4105) Add an optional third argument to `OrderMod` that is a multiple of the order one wants to compute - [#4111](https://github.com/gap-system/gap/pull/4111) Enhance `FreeGroup` to support the option `generatorNames` to prescribe the names of the generators - [#4142](https://github.com/gap-system/gap/pull/4142) Extend `BindConstant`, `MakeConstantGlobal` to all object types. - [#4144](https://github.com/gap-system/gap/pull/4144) Avoid overflows when converting rationals with large denominator and/or numerator to floating point - [#4145](https://github.com/gap-system/gap/pull/4145) Improve errors messages for various set operations (`AddSet`, `UniteSet`, ...) - [#4146](https://github.com/gap-system/gap/pull/4146) Fix `Cite` to honor `GAPInfo.TermEncoding` for its printing; let `BibEntry` always use encoding "UTF-8" - [#4170](https://github.com/gap-system/gap/pull/4170) Improve `Test` to use colors to highlight failures and diffs - [#4201](https://github.com/gap-system/gap/pull/4201) Support optional `transformFunction` in `Test`, similar to `compareFunction`. - [#4231](https://github.com/gap-system/gap/pull/4231) Add `LoadKernelExtension`, `IsKernelExtensionAvailable` - [#4274](https://github.com/gap-system/gap/pull/4274) Enable color prompt by default - [#4275](https://github.com/gap-system/gap/pull/4275) Enable `SaveAndRestoreHistory` by default - [#4296](https://github.com/gap-system/gap/pull/4296) Allow function-call syntax for evaluating univariate polynomials - [#4332](https://github.com/gap-system/gap/pull/4332) Rewrite and officially document `PlainListCopy` - [#4333](https://github.com/gap-system/gap/pull/4333) Add `GO(1,q)`, `SO(1,q)`, `Omega(1,q)`, `Omega(-1,2,q)` - [#4361](https://github.com/gap-system/gap/pull/4361) Add `\in` method for `GO(e,d,q)` and `SO(e,d,q)` that is based on the stored invariant quadratic form - [#4366](https://github.com/gap-system/gap/pull/4366) Improve `(New)ZeroMatrix`, `(New)IdentityMatrix`, `(New)ZeroVector` to better reject invalid input - [#4373](https://github.com/gap-system/gap/pull/4373) Support `IsCommutative`/`IsAssociative` for `IsCollection`, rather than just for `IsMagma` - [#4483](https://github.com/gap-system/gap/pull/4483) Write `--help` output to `*stdout*` not `*errout*` - [#4489](https://github.com/gap-system/gap/pull/4489) The functions `GO`, `GU`, `Omega`, `SO`, `SU`, and `Sp` now allow to specify an invariant form for the group in question; the methods that do the work are provided by the Forms package - [#4506](https://github.com/gap-system/gap/pull/4506) Change the *default* representation for perfect groups to `IsPermGroup` (previously `IsFpGroup`) - [#4517](https://github.com/gap-system/gap/pull/4517) Add basic operations for row/column reductions in matrix objects - [#4528](https://github.com/gap-system/gap/pull/4528) Improve `SizeOfFieldOfDefinition` such that `fail` is no longer returned when the first argument is a (Brauer) character - [#4537](https://github.com/gap-system/gap/pull/4537) Implement `IsMinimalNonmonomial` for nonsolvable groups - [#4555](https://github.com/gap-system/gap/pull/4555) Fix `PrintFormattingStatus` and `SetPrintFormattingStatus` for the standard output (i.e., when the first argument is `"*stdout*"` and add a variant that deals with the current output (whatever that may be), reachable by using `"*current*"` as first argument - [#4632](https://github.com/gap-system/gap/pull/4632) Document and unify the order in which GAP evaluates function arguments and options - [#4639](https://github.com/gap-system/gap/pull/4639) Add `LatticeSubgroups` method for the case `IsHandledByNiceMonomorphism` - [#4653](https://github.com/gap-system/gap/pull/4653) Add `IsQuasisimpleGroup`, `IsQuasisimpleCharacterTable` - [#4668](https://github.com/gap-system/gap/pull/4668) Add `SpinorNorm` - [#4764](https://github.com/gap-system/gap/pull/4764) Admit `g^chi` and `chi^g` for Brauer characters `chi` and group elements `g` - [#4810](https://github.com/gap-system/gap/pull/4810) Enhance `SimplifiedFpGroup` and `IsomorphismSimplifiedFpGroup` to transfer attributes (such as size, being abelian etc.) to the simplified group ### Removed or obsolete functionality - [#3694](https://github.com/gap-system/gap/pull/3694) Deprecate undocumented extra arguments for `DeclareGlobalFunction` and `InstallGlobalFunction` - [#3702](https://github.com/gap-system/gap/pull/3702) Make `TmpNameAllArchs` obsolete by enhancing `TmpName` - [#3796](https://github.com/gap-system/gap/pull/3796) Remove command line option `-B` which could be used to override the architecture - [#3862](https://github.com/gap-system/gap/pull/3862) Rename `QUIT_GAP`, `FORCE_QUIT_GAP` and `GAP_EXIT_CODE` to `QuitGap`, `ForceQuitGap` and `GapExitCode` (the old names remain available as synonyms) - [#4493](https://github.com/gap-system/gap/pull/4493) Remove optional `crc` argument to `LoadDynamicModule` and `LoadStaticModule` - [#4504](https://github.com/gap-system/gap/pull/4504) Turn `IsLexicographicallyLess` into an obsolete synonym for `\<` - [#4519](https://github.com/gap-system/gap/pull/4519) Make third argument of `DeclareRepresentation` and `NewRepresentation` optional, and document that it and the fourth argument are (and always were) unused - [#4655](https://github.com/gap-system/gap/pull/4655) Rename `RadicalGroup` to `SolvableRadical` (the old name is still supported as an obsolete synonym) - [#4697](https://github.com/gap-system/gap/pull/4697) Disable `NaturalHomomorphism` for `FactorGroup`, as it has side effects (code using this should be rewritten to use `NaturalHomomorphismByNormalSubgroup` instead) ### Fixed bugs that could lead to incorrect results - [#4035](https://github.com/gap-system/gap/pull/4035) Fix `DirectoriesPackagePrograms` to ignore case of package name, like `LoadPackage` does - [#4206](https://github.com/gap-system/gap/pull/4206) Fix `DirectoriesPackageLibrary`, `DirectoriesPackagePrograms` when they are called during package loading - [#4219](https://github.com/gap-system/gap/pull/4219) Fix `IntermediateGroup` to not return `fail` if the index is large but subgroups exist - [#4320](https://github.com/gap-system/gap/pull/4320) Fix missing outer automorphisms of certain Chevalley groups of type O_n-(q), n>=8 even; this also fixes calculation of certain normalizers in S_n - [#4327](https://github.com/gap-system/gap/pull/4327) Fix `InvariantQuadraticForm` for `Omega(-1, 2*d, 2^n)` - [#4372](https://github.com/gap-system/gap/pull/4372) Fix argument checking in `FreeSemigroup`, prevent creation of inconsistent objects - [#4373](https://github.com/gap-system/gap/pull/4373) Fix `AsSemigroup` to reject non-associative inputs - [#4396](https://github.com/gap-system/gap/pull/4396) Fix computation of all maximal subgroups (under specific circumstances, an incomplete list was returned) - [#4411](https://github.com/gap-system/gap/pull/4411) Fix `RankAction` to reject intransitive actions instead of returning potentially misleading results - [#4482](https://github.com/gap-system/gap/pull/4482) Fix bug in `MakeImagesInfoLinearGeneralMappingByImages` that could lead to errors resp. wrong results if multiplication with coefficients from the right is not defined resp. not commutative - [#4634](https://github.com/gap-system/gap/pull/4634) Fix test for subgroup conjugacy for cyclic permutation groups (If A,B are cyclic conjugate subgroups of G, and A <= C, with C abelian, the error could have caused a claim of C being conjugate to B) - [#4660](https://github.com/gap-system/gap/pull/4660) Fix (rare) wrong result for stabilizer computations - [#4664](https://github.com/gap-system/gap/pull/4664) Fix `WreathProduct` to return correct generators when given a matrix group and an intransitive top group - [#4665](https://github.com/gap-system/gap/pull/4665) Fix `RootSystem` to use the correct field for determining eigenvectors - [#4703](https://github.com/gap-system/gap/pull/4703) Fix `Coefficients` for large finite fields created via a polynomial - [#4718](https://github.com/gap-system/gap/pull/4718) Fix `LatticeSubgroup` sometimes returning wrong results for matrix groups - [#4822](https://github.com/gap-system/gap/pull/4822) Fix bug in computing canonical class representative for pc groups which could yield wrong results in larger groups - [#4907](https://github.com/gap-system/gap/pull/4907) Fix `IsTransitive` to require that the group actually acts on the given domain (strictly speaking, the previous behavior was "as documented", but it made no sense and led to bugs elsewhere) - [#4992](https://github.com/gap-system/gap/pull/4992) Fix `Gcd` for multivariate polynomials to always return a standard associate element ### Fixed bugs that could lead to crashes - [#3808](https://github.com/gap-system/gap/pull/3808) Fix a crash when using a constant global variable (created via `MakeConstantGlobal`, such as `IsHPCGAP`) as index variable of a `for` loop - [#3825](https://github.com/gap-system/gap/pull/3825) Fix some crashes caused by running out of memory - [#4407](https://github.com/gap-system/gap/pull/4407) Fix crash when accessing `mat[i,j]` and `mat[i]` is unbound - [#4442](https://github.com/gap-system/gap/pull/4442) Fix crash when incorrectly accessing a compressed vector `v` via `v{...}[...]` or `v{...}{...}` as if it was a matrix - [#4508](https://github.com/gap-system/gap/pull/4508) Fix crash in `LocationFunc` when the input has incomplete location information - [#4544](https://github.com/gap-system/gap/pull/4544) Forbid installing an operation as method for itself, as that leads to crashes - [#4579](https://github.com/gap-system/gap/pull/4579) Fix crash when methods for mutable attribute do not return a value - [#4823](https://github.com/gap-system/gap/pull/4823) Fix crash when `QuitGap` is called while reading from an `InputTextString` ### Fixed bugs that could lead to break loops - [#3693](https://github.com/gap-system/gap/pull/3693) Fix `ViewString` for string to correctly escape characters needing it - [#3747](https://github.com/gap-system/gap/pull/3747) Fix unexpected error when testing permutation groups for conjugacy - [#3903](https://github.com/gap-system/gap/pull/3903) Fix `Cycles((),[ ])` to correctly return `[ ]` - [#4023](https://github.com/gap-system/gap/pull/4023) Fix the floating point number parser for certain exotic formats, e.g. `1.0e0i_` and `1.0e0i_y` now work as intended - [#4037](https://github.com/gap-system/gap/pull/4037) Change `IsPackageLoaded` and `TestPackage` to ignore case of package name, like `LoadPackage` does - [#4108](https://github.com/gap-system/gap/pull/4108) Fix some unexpected error when inverting or computing random elements of algebraic extensions of finite fields of size > 256 - [#4239](https://github.com/gap-system/gap/pull/4239) Add missing `\=` method for `IsMultiplicativeElement` and `IsObjWithMemory` (the other direction was already present) - [#4245](https://github.com/gap-system/gap/pull/4245) Admit non-fields as left acting domains for free (associative or Lie) algebras, and fix the zero-dimensional case - [#4411](https://github.com/gap-system/gap/pull/4411) Fix an assertion error in `AllHomomorphismClasses` - [#4427](https://github.com/gap-system/gap/pull/4427) Fix `QuaternionAlgebra` bug that caused `QuaternionAlgebra( [1], 2, 5 ).1` to error the second time it was invoked - [#4566](https://github.com/gap-system/gap/pull/4566) Fix an unexpected error in `FrobeniusCharacterValue` when the rows of the equation system have different lengths - [#4875](https://github.com/gap-system/gap/pull/4875) Fix an unexpected error when computing conjugacy classes in certain large permutation groups (and other improvements) ### Other fixed bugs - [#3695](https://github.com/gap-system/gap/pull/3695) Fix `Test` to correctly handle test outputs which do not end with a newline when using `rewriteToFile` - [#3931](https://github.com/gap-system/gap/pull/3931) Do not ignore `#@` comments after empty line at start of test file - [#4132](https://github.com/gap-system/gap/pull/4132) Fix a long standing bug which prevented `SetPrintFormattingStatus( "*stdout*", false );` from working as expected - [#4232](https://github.com/gap-system/gap/pull/4232) Fix a bug where calling `NextIterator` on a "done" list iterator caused it to seemingly switch back to "not done" status - [#4317](https://github.com/gap-system/gap/pull/4317) Fix `Cite` to again properly compute the year in which GAP was released - [#4386](https://github.com/gap-system/gap/pull/4386) Fix the broken `--strict` option to `BuildPackages.sh`, but only if `--parallel` is not also specified - [#4451](https://github.com/gap-system/gap/pull/4451) Fix printing of GAP code containing nested logical operators to correctly use parentheses (try e.g. `Print(x -> (x = x) = true);`) - [#4759](https://github.com/gap-system/gap/pull/4759) Fix `Earns` to always returns a list, as documented (and other improvements) - [#4794](https://github.com/gap-system/gap/pull/4794) Remove incorrect line breaks in the output of `StringFormatted` - [#4855](https://github.com/gap-system/gap/pull/4855) Fix `SubgroupsSolvableGroup` to honor `retnorm` option even for trivial groups - [#4928](https://github.com/gap-system/gap/pull/4928) Fix off-by-one error in `CopyListEntries` that could end up creating lists in which the last element is unbound ### Package distribution #### New packages redistributed with GAP - [**classicpres**](http://www.math.colostate.edu/~hulpke/classicpres) 1.22: Classical Group Presentations, by Alexander Hulpke, Eamonn O'Brien, Charles Leedham-Green, Madeleine Whybrow, Giovanni de Franceschi - [**StandardFF**](https://www.math.rwth-aachen.de/~Frank.Luebeck/gap/StandardFF) 0.9.4: Standard finite fields and cyclic generators, by Frank Lübeck - [**UGALY**](https://gap-packages.github.io/UGALY) 4.0.3: Universal Groups Acting LocallY, by Khalil Hannouch, Stephan Tornier #### Updated packages redistributed with GAP The GAP 4.12.0 distribution contains 154 packages, of which 121 have been updated since GAP 4.11.1. The full list of updated packages is given below: - [**4ti2Interface**](https://homalg-project.github.io/pkg/4ti2Interface): 2020.10-02 -> 2022.08-03 - [**ACE**](https://gap-packages.github.io/ace): 5.3 -> 5.5 - [**Alnuth**](https://gap-packages.github.io/alnuth): 3.1.2 -> 3.2.1 - [**ANUPQ**](https://gap-packages.github.io/anupq/): 3.2.1 -> 3.2.6 - [**AtlasRep**](https://www.math.rwth-aachen.de/~Thomas.Breuer/atlasrep): 2.1.0 -> 2.1.4 - [**AutoDoc**](https://gap-packages.github.io/AutoDoc): 2020.08.11 -> 2022.07.10 - [**Automata**](https://gap-packages.github.io/automata/): 1.14 -> 1.15 - [**AutPGrp**](https://gap-packages.github.io/autpgrp/): 1.10.2 -> 1.11 - [**Browse**](https://www.math.rwth-aachen.de/~Browse): 1.8.11 -> 1.8.14 - [**CAP**](https://homalg-project.github.io/pkg/CAP): 2020.10-01 -> 2022.08-05 - [**CaratInterface**](https://www.math.uni-bielefeld.de/~gaehler/gap/packages.php): 2.3.3 -> 2.3.4 - [**CddInterface**](https://homalg-project.github.io/CddInterface): 2020.06.24 -> 2022.08.11 - [**Circle**](https://gap-packages.github.io/circle): 1.6.3 -> 1.6.5 - [**cohomolo**](https://gap-packages.github.io/cohomolo): 1.6.8 -> 1.6.10 - [**Congruence**](https://gap-packages.github.io/congruence): 1.2.3 -> 1.2.4 - [**CoReLG**](https://gap-packages.github.io/corelg/): 1.54 -> 1.56 - [**CRIME**](https://gap-packages.github.io/crime/): 1.5 -> 1.6 - [**Cryst**](https://www.math.uni-bielefeld.de/~gaehler/gap/packages.php): 4.1.23 -> 4.1.25 - [**CrystCat**](https://www.math.uni-bielefeld.de/~gaehler/gap/packages.php): 1.1.9 -> 1.1.10 - [**CTblLib**](https://www.math.rwth-aachen.de/~Thomas.Breuer/ctbllib): 1.3.1 -> 1.3.4 - [**Cubefree**](https://gap-packages.github.io/cubefree/): 1.18 -> 1.19 - [**curlInterface**](https://gap-packages.github.io/curlInterface/): 2.2.1 -> 2.2.3 - [**cvec**](https://gap-packages.github.io/cvec): 2.7.4 -> 2.7.6 - [**datastructures**](https://gap-packages.github.io/datastructures): 0.2.5 -> 0.2.7 - [**DeepThought**](https://gap-packages.github.io/DeepThought/): 1.0.2 -> 1.0.5 - [**Digraphs**](https://digraphs.github.io/Digraphs): 1.3.1 -> 1.5.3 - [**Example**](https://gap-packages.github.io/example): 4.2.1 -> 4.3.2 - [**ExamplesForHomalg**](https://homalg-project.github.io/pkg/ExamplesForHomalg): 2020.10-02 -> 2022.08-02 - [**ferret**](https://gap-packages.github.io/ferret/): 1.0.3 -> 1.0.8 - [**FinInG**](https://gap-packages.github.io/FinInG): 1.4.1 -> 1.5 - [**float**](https://gap-packages.github.io/float/): 0.9.1 -> 1.0.3 - [**Forms**](https://gap-packages.github.io/forms): 1.2.5 -> 1.2.8 - [**FPLSA**](https://gap-packages.github.io/FPLSA): 1.2.4 -> 1.2.5 - [**FR**](https://gap-packages.github.io/fr): 2.4.6 -> 2.4.10 - [**GAPDoc**](http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc): 1.6.4 -> 1.6.6 - [**Gauss**](https://homalg-project.github.io/pkg/Gauss): 2020.10-02 -> 2022.08-04 - [**GaussForHomalg**](https://homalg-project.github.io/pkg/GaussForHomalg): 2020.10-02 -> 2022.08-02 - [**GBNP**](https://gap-packages.github.io/gbnp/): 1.0.3 -> 1.0.5 - [**GeneralizedMorphismsForCAP**](https://homalg-project.github.io/pkg/GeneralizedMorphismsForCAP): 2020.10-01 -> 2022.05-01 - [**genss**](https://gap-packages.github.io/genss): 1.6.6 -> 1.6.7 - [**GradedModules**](https://homalg-project.github.io/pkg/GradedModules): 2020.10-02 -> 2022.08-02 - [**GradedRingForHomalg**](https://homalg-project.github.io/pkg/GradedRingForHomalg): 2020.10-02 -> 2022.08-02 - [**GRAPE**](https://gap-packages.github.io/grape): 4.8.3 -> 4.8.5 - [**groupoids**](https://gap-packages.github.io/groupoids/): 1.68 -> 1.71 - [**Guarana**](https://gap-packages.github.io/guarana/): 0.96.2 -> 0.96.3 - [**GUAVA**](https://gap-packages.github.io/guava): 3.15 -> 3.16 - [**HAP**](https://gap-packages.github.io/hap): 1.29 -> 1.47 - [**HAPcryst**](https://gap-packages.github.io/hapcryst/): 0.1.13 -> 0.1.15 - [**homalg**](https://homalg-project.github.io/pkg/homalg): 2020.10-02 -> 2022.08-03 - [**HomalgToCAS**](https://homalg-project.github.io/pkg/HomalgToCAS): 2020.10-02 -> 2022.08-02 - [**idrel**](https://gap-packages.github.io/idrel/): 2.43 -> 2.44 - [**images**](https://gap-packages.github.io/images/): 1.3.0 -> 1.3.1 - [**IntPic**](https://gap-packages.github.io/intpic): 0.2.4 -> 0.3.0 - [**IO**](https://gap-packages.github.io/io): 4.7.0 -> 4.7.2 - [**IO_ForHomalg**](https://homalg-project.github.io/pkg/IO_ForHomalg): 2020.10-02 -> 2022.08-03 - [**IRREDSOL**](http://www.icm.tu-bs.de/~bhoeflin/irredsol/index.html): 1.4.1 -> 1.4.3 - [**ITC**](https://gap-packages.github.io/itc/): 1.5 -> 1.5.1 - [**json**](https://gap-packages.github.io/json/): 2.0.2 -> 2.1.0 - [**JupyterKernel**](https://gap-packages.github.io/JupyterKernel/): 1.3 -> 1.4.1 - [**JupyterViz**](https://nathancarter.github.io/jupyterviz): 1.5.1 -> 1.5.6 - [**kan**](https://gap-packages.github.io/kan/): 1.32 -> 1.34 - [**LAGUNA**](https://gap-packages.github.io/laguna): 3.9.3 -> 3.9.5 - [**LiePRing**](https://gap-packages.github.io/liepring/): 1.9.2 -> 2.7 - [**LieRing**](https://gap-packages.github.io/liering/): 2.4.1 -> 2.4.2 - [**LinearAlgebraForCAP**](https://homalg-project.github.io/pkg/LinearAlgebraForCAP): 2020.10-01 -> 2022.08-03 - [**LocalizeRingForHomalg**](https://homalg-project.github.io/pkg/LocalizeRingForHomalg): 2020.10-02 -> 2022.08-02 - [**loops**](https://gap-packages.github.io/loops/): 3.4.1 -> 3.4.2 - [**lpres**](https://gap-packages.github.io/lpres): 1.0.1 -> 1.0.3 - [**MapClass**](https://gap-packages.github.io/MapClass): 1.4.4 -> 1.4.5 - [**matgrp**](http://www.math.colostate.edu/~hulpke/matgrp): 0.64 -> 0.70 - [**MatricesForHomalg**](https://homalg-project.github.io/pkg/MatricesForHomalg): 2020.10-04 -> 2022.08-02 - [**ModIsom**](https://gap-packages.github.io/modisom/): 2.5.1 -> 2.5.3 - [**ModulePresentationsForCAP**](https://homalg-project.github.io/pkg/ModulePresentationsForCAP): 2020.10-01 -> 2022.08-02 - [**Modules**](https://homalg-project.github.io/pkg/Modules): 2020.10-02 -> 2022.08-03 - [**MonoidalCategories**](https://homalg-project.github.io/pkg/MonoidalCategories): 2020.10-01 -> 2022.08-03 - [**Nilmat**](https://gap-packages.github.io/nilmat): 1.4 -> 1.4.2 - [**NoCK**](https://gap-packages.github.io/NoCK): 1.4 -> 1.5 - [**NormalizInterface**](https://gap-packages.github.io/NormalizInterface): 1.1.0 -> 1.3.4 - [**nq**](https://gap-packages.github.io/nq/): 2.5.4 -> 2.5.8 - [**NumericalSgps**](https://gap-packages.github.io/numericalsgps): 1.2.2 -> 1.3.1 - [**OpenMath**](https://gap-packages.github.io/openmath): 11.5.0 -> 11.5.1 - [**orb**](https://gap-packages.github.io/orb): 4.8.3 -> 4.8.5 - [**PackageManager**](https://gap-packages.github.io/PackageManager/): 1.1 -> 1.3 - [**permut**](https://gap-packages.github.io/permut/): 2.0.3 -> 2.0.4 - [**Polenta**](https://gap-packages.github.io/polenta/): 1.3.9 -> 1.3.10 - [**polymaking**](https://gap-packages.github.io/polymaking/): 0.8.2 -> 0.8.6 - [**PrimGrp**](https://gap-packages.github.io/primgrp/): 3.4.1 -> 3.4.2 - [**profiling**](https://gap-packages.github.io/profiling/): 2.3 -> 2.5.0 - [**QPA**](https://folk.ntnu.no/oyvinso/QPA/): 1.31 -> 1.34 - [**QuaGroup**](https://gap-packages.github.io/quagroup/): 1.8.2 -> 1.8.3 - [**RadiRoot**](https://gap-packages.github.io/radiroot/): 2.8 -> 2.9 - [**RCWA**](https://gap-packages.github.io/rcwa/): 4.6.4 -> 4.7.0 - [**RDS**](https://gap-packages.github.io/rds/): 1.7 -> 1.8 - [**RepnDecomp**](https://gap-packages.github.io/RepnDecomp): 1.1.0 -> 1.2.1 - [**ResClasses**](https://gap-packages.github.io/resclasses/): 4.7.2 -> 4.7.3 - [**RingsForHomalg**](https://homalg-project.github.io/pkg/RingsForHomalg): 2020.11-01 -> 2022.08-03 - [**SCO**](https://homalg-project.github.io/pkg/SCO): 2020.10-02 -> 2022.08-02 - [**Semigroups**](https://semigroups.github.io/Semigroups): 3.4.0 -> 5.0.2 - [**SglPPow**](https://gap-packages.github.io/sglppow/): 2.1 -> 2.2 - [**SgpViz**](https://gap-packages.github.io/sgpviz): 0.999.4 -> 0.999.5 - [**simpcomp**](https://simpcomp-team.github.io/simpcomp): 2.1.10 -> 2.1.14 - [**SmallGrp**](https://gap-packages.github.io/smallgrp/): 1.4.2 -> 1.5 - [**Smallsemi**](https://gap-packages.github.io/smallsemi/): 0.6.12 -> 0.6.13 - [**SONATA**](https://gap-packages.github.io/sonata/): 2.9.1 -> 2.9.4 - [**Sophus**](https://gap-packages.github.io/sophus/): 1.24 -> 1.27 - [**SymbCompCC**](https://gap-packages.github.io/SymbCompCC/): 1.3.1 -> 1.3.2 - [**Thelma**](https://gap-packages.github.io/Thelma): 1.02 -> 1.3 - [**ToolsForHomalg**](https://homalg-project.github.io/pkg/ToolsForHomalg): 2020.10-03 -> 2022.08-02 - [**ToricVarieties**](https://homalg-project.github.io/ToricVarieties_project/ToricVarieties): 2021.01.12 -> 2022.07.13 - [**TransGrp**](https://www.math.colostate.edu/~hulpke/transgrp): 3.0 -> 3.6.3 - [**Unipot**](https://gap-packages.github.io/unipot/): 1.4 -> 1.5 - [**UnitLib**](https://gap-packages.github.io/unitlib): 4.0.0 -> 4.1.0 - [**utils**](https://gap-packages.github.io/utils): 0.69 -> 0.76 - [**uuid**](https://gap-packages.github.io/uuid/): 0.6 -> 0.7 - [**walrus**](https://gap-packages.github.io/walrus): 0.999 -> 0.9991 - [**Wedderga**](https://gap-packages.github.io/wedderga): 4.10.0 -> 4.10.2 - [**XGAP**](https://gap-packages.github.io/xgap): 4.30 -> 4.31 - [**XMod**](https://gap-packages.github.io/xmod/): 2.82 -> 2.88 - [**XModAlg**](https://gap-packages.github.io/xmodalg/): 1.18 -> 1.22 - [**YangBaxter**](https://gap-packages.github.io/YangBaxter): 0.9.0 -> 0.10.1 - [**ZeroMQInterface**](https://gap-packages.github.io/ZeroMQInterface/): 0.12 -> 0.14 ## GAP 4.11.1 (March 2021) ### Fixed bugs that could lead to incorrect results - [#4178](https://github.com/gap-system/gap/pull/4178) Fixed bugs in `RestrictedPerm` with second argument a range ### Fixed bugs that could lead to crashes - [#3965](https://github.com/gap-system/gap/pull/3965) Fix potential garbage collector crashes on 64bit ARM systems - [#4076](https://github.com/gap-system/gap/pull/4076) Fix an infinite loop in `BoundedRefinementEANormalSeries` if large factors could not be refined, fix protected option of `IsomorphismSimplifiedFpGroup`, improve documentation of `IsAutomorphismGroup` ### Fixed bugs that could lead to error messages - [#3980](https://github.com/gap-system/gap/pull/3980) Fixed `Gcd` for rational polynomials ### Other fixed bugs - [#3963](https://github.com/gap-system/gap/pull/3963) Provide automatic decompression of filenames ending `.gz` (as is in the documentation of `InputTextFile`) - [#3944](https://github.com/gap-system/gap/pull/3944) The error checking in `PartialPerm` has been corrected such that invalid inputs (numbers < 1) are detected - [#4006](https://github.com/gap-system/gap/pull/4006) Fix `gac` to ensure that binaries it creates on Linux can load and run, even if a GAP package with a compiled kernel extension (such as `IO`) is present ### Improved and extended functionality - [#3790](https://github.com/gap-system/gap/pull/3790) Add further information to the library of simple groups - [#3840](https://github.com/gap-system/gap/pull/3840) Speed up garbage collection ### Packages - [#4016](https://github.com/gap-system/gap/pull/4016) Improved `etc/Makefile.gappkg` (used by GAP packages that want to build a simple GAP kernel extension) ### Fixes/improvements in the experimental way to allow 3rd party code to link GAP as a library (libgap) - [#4081](https://github.com/gap-system/gap/pull/4081) Enhance `GAP_ValueGlobalVariable` to supported automatic variables (see `DeclareAutoreadableVariables`) - [#4258](https://github.com/gap-system/gap/pull/4258) Fixed `GAP_Enter` macro so that GAP's recursion depth counter is saved/restored. Without this, if too many GAP errors occurred during runtime a segmentation fault could occur in the program using libgap ### Fixes and improvements for the **Julia** integration - [#4042](https://github.com/gap-system/gap/pull/4042) Avoid access to JuliaTLS members by using `jl_threadid()` and `jl_get_current_task()` helpers, fix compiler constness warnings in weakptr.c - [#4053](https://github.com/gap-system/gap/pull/4053) Fix the logic for scanning tasks in the Julia GC - [#4058](https://github.com/gap-system/gap/pull/4058) Refine the logic for scanning Julia stacks - [#4071](https://github.com/gap-system/gap/pull/4071) Make the Julia GC threadsafe when used from GAP.jl ### Other changes - [#3922](https://github.com/gap-system/gap/pull/3922) Build system: New feature to execute `BuildPackages.sh` in parallel mode by adding `--parallel` - [#4041](https://github.com/gap-system/gap/pull/4041) Build system: Fix `make check` in out-of-tree builds ### Packages no longer redistributed with GAP **PolymakeInterface**: Following the withdrawal of the package **Convex** in GAP 4.11.0 because of being superseded by **NConvex**, the **PolymakeInterface** has also been withdrawn. These two packages are now replaced by **NormalizInterface** and **NConvex**. ### Updated packages redistributed with GAP The GAP 4.11.1 distribution contains 151 packages, of which 49 have been updated since GAP 4.11.0. The changes include extending the Transitive Groups Library with representatives for all transitive permutation groups of degree at most 47 (due to Derek Holt), and fixing the ordering of groups of orders 3^7, 5^7, 7^7, 11^7 in the Small Groups Library. For other changes, we refer to the documentation of the packages. The full list of updated packages in the GAP 4.11.1 distribution is given below: - [**4ti2Interface**](https://homalg-project.github.io/homalg_project/4ti2Interface/): 2019.09.02 -> 2020.10-02 - [**AGT**](https://github.com/rhysje00/agt): 0.1 -> 0.2 - [**AutoDoc**](https://gap-packages.github.io/AutoDoc): 2019.09.04 -> 2020.08.11 - [**Browse**](http://www.math.rwth-aachen.de/~Browse): 1.8.8 -> 1.8.11 - [**CAP**](http://homalg-project.github.io/CAP_project/CAP/): 2019.06.07 -> 2020.10-01 - [**CddInterface**](https://homalg-project.github.io/CddInterface): 2020.01.01 -> 2020.06.24 - [**CTblLib**](http://www.math.rwth-aachen.de/~Thomas.Breuer/ctbllib): 1.2.2 -> 1.3.1 - [**curlInterface**](https://gap-packages.github.io/curlInterface/): 2.1.1 -> 2.2.1 - [**Digraphs**](https://gap-packages.github.io/Digraphs): 1.1.1 -> 1.3.1 - [**ExamplesForHomalg**](https://homalg-project.github.io/homalg_project/ExamplesForHomalg/): 2019.09.02 -> 2020.10-02 - [**ferret**](https://gap-packages.github.io/ferret/): 1.0.2 -> 1.0.3 - [**GAPDoc**](http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc): 1.6.3 -> 1.6.4 - [**Gauss**](https://homalg-project.github.io/homalg_project/Gauss/): 2019.09.02 -> 2020.10-02 - [**GaussForHomalg**](https://homalg-project.github.io/homalg_project/GaussForHomalg/): 2019.09.02 -> 2020.10-02 - [**GeneralizedMorphismsForCAP**](http://homalg-project.github.io/CAP_project/GeneralizedMorphismsForCAP/): 2019.01.16 -> 2020.10-01 - [**GradedModules**](https://homalg-project.github.io/homalg_project/GradedModules/): 2020.01.02 -> 2020.10-02 - [**GradedRingForHomalg**](https://homalg-project.github.io/homalg_project/GradedRingForHomalg/): 2020.01.02 -> 2020.10-02 - [**HAP**](https://gap-packages.github.io/hap): 1.25 -> 1.29 - [**homalg**](https://homalg-project.github.io/homalg_project/homalg/): 2019.09.01 -> 2020.10-02 - [**HomalgToCAS**](https://homalg-project.github.io/homalg_project/HomalgToCAS/): 2019.12.08 -> 2020.10-02 - [**IO_ForHomalg**](https://homalg-project.github.io/homalg_project/IO_ForHomalg/): 2019.09.02 -> 2020.10-02 - [**IRREDSOL**](http://www.icm.tu-bs.de/~bhoeflin/irredsol/index.html): 1.4 -> 1.4.1 - [**json**](https://gap-packages.github.io/json/): 2.0.1 -> 2.0.2 - [**kan**](https://gap-packages.github.io/kan/): 1.29 -> 1.32 - [**LinearAlgebraForCAP**](http://homalg-project.github.io/CAP_project/LinearAlgebraForCAP/): 2019.01.16 -> 2020.10-01 - [**LocalizeRingForHomalg**](https://homalg-project.github.io/homalg_project/LocalizeRingForHomalg/): 2019.09.02 -> 2020.10-02 - [**matgrp**](http://www.math.colostate.edu/~hulpke/matgrp): 0.63 -> 0.64 - [**MatricesForHomalg**](https://homalg-project.github.io/homalg_project/MatricesForHomalg/): 2020.01.02 -> 2020.10-04 - [**ModulePresentationsForCAP**](http://homalg-project.github.io/CAP_project/ModulePresentationsForCAP/): 2019.01.16 -> 2020.10-01 - [**Modules**](https://homalg-project.github.io/homalg_project/Modules/): 2019.09.02 -> 2020.10-02 - [**MonoidalCategories**](http://homalg-project.github.io/CAP_project/MonoidalCategories/): 2019.06.07 -> 2020.10-01 - [**NConvex**](https://homalg-project.github.io/NConvex): 2019.12.10 -> 2020.11-04 - [**NumericalSgps**](https://gap-packages.github.io/numericalsgps): 1.2.1 -> 1.2.2 - [**PackageManager**](https://gap-packages.github.io/PackageManager/): 1.0 -> 1.1 - [**Polycyclic**](https://gap-packages.github.io/polycyclic/): 2.15.1 -> 2.16 - [**PrimGrp**](https://gap-packages.github.io/primgrp/): 3.4.0 -> 3.4.1 - [**profiling**](https://gap-packages.github.io/profiling/): 2.2.1 -> 2.3 - [**QPA**](https://folk.ntnu.no/oyvinso/QPA/): 1.30 -> 1.31 - [**RingsForHomalg**](https://homalg-project.github.io/homalg_project/RingsForHomalg/): 2019.12.08 -> 2020.11-01 - [**SCO**](https://homalg-project.github.io/homalg_project/SCO/): 2019.09.02 -> 2020.10-02 - [**Semigroups**](https://gap-packages.github.io/Semigroups): 3.2.3 -> 3.4.0 - [**singular**](https://gap-packages.github.io/singular/): 2019.10.01 -> 2020.12.18 - [**SmallGrp**](https://gap-packages.github.io/smallgrp/): 1.4.1 -> 1.4.2 - [**ToolsForHomalg**](https://homalg-project.github.io/homalg_project/ToolsForHomalg/): 2019.09.02 -> 2020.10-03 - [**ToricVarieties**](https://homalg-project.github.io/ToricVarieties_project/ToricVarieties/): 2019.12.05 -> 2021.01.12 - [**TransGrp**](https://www.math.colostate.edu/~hulpke/transgrp): 2.0.5 -> 3.0 - [**Wedderga**](https://gap-packages.github.io/wedderga): 4.9.5 -> 4.10.0 - [**XMod**](https://gap-packages.github.io/xmod/): 2.77 -> 2.82 - [**XModAlg**](https://gap-packages.github.io/xmodalg/): 1.17 -> 1.18 ## GAP 4.11.0 (February 2020) ### New features and major changes - **Removed ability to return objects from many error break loops** Many error break loops in GAP used to allow replacing an object in a computation by another one. This ability was very tricky to use, and leads to computation results that are difficult to reproduce. At the same time, supporting this adds complexity to the GAP kernel. We therefore decided to remove this feature. Right now, this is not yet fully done, but we removed about 3/4 of these, and will remove the rest in a future GAP release. (See e.g. PR [#2966](https://github.com/gap-system/gap/pull/2966)). - **GAP now contains some C++ code** Therefore, in order to compile it, you need a C++ compiler. See [#2667](https://github.com/gap-system/gap/pull/2667) for the rationale. - **HPC-GAP** The `ward` tool has been decommissioned in PR [#2870](https://github.com/gap-system/gap/pull/2870). In the future, guard checks will be performed in a different way; however, this code is not yet complete (see PR [#2845](https://github.com/gap-system/gap/pull/2845)). In the meantime, guard checking is broken. If you are interested in using HPC-GAP, please consider helping us to fix this and other issues with it. - **Syntax trees** Functions were added which allow converting a GAP function object into an abstract syntax tree which can be parsed and modified from within GAP code (see PR [#2628](https://github.com/gap-system/gap/pull/2628)). Moreover, it is possible to convert such a syntax tree (possibly after modifying it) back into a GAP function object (see PR [#3371](https://github.com/gap-system/gap/pull/3371)). ### Improved and extended functionality - [#1633](https://github.com/gap-system/gap/pull/1633) Allow local variables in test files via `#@local `, and conditional execution of tests via `#@if`, `#@else`, `#@endif` - [#2520](https://github.com/gap-system/gap/pull/2520) Overhaul tracking of current statement, fixing several bugs where the break loop error message referenced the wrong statement - [#2772](https://github.com/gap-system/gap/pull/2772) Add support for profiling interpreted code - [#2773](https://github.com/gap-system/gap/pull/2773) Reorder methods after new implications are added - [#2830](https://github.com/gap-system/gap/pull/2830) Undocumented functionality has now been extended and documented that allows one to construct the Green's classes of a semigroup that are contained in another Green's class (e.g. constructing the H-classes contained in an R-class) - [#2856](https://github.com/gap-system/gap/pull/2856) Make `AtExit` a stack and make `DirectoryTemporary` more robust - [#2869](https://github.com/gap-system/gap/pull/2869) Fix `+` and `*` methods for a `DirectProductElement` and a non-list collection - [#2873](https://github.com/gap-system/gap/pull/2873) The GAP kernel version is now available in the configure script - [#2876](https://github.com/gap-system/gap/pull/2876) `IsomorphismTransformationSemigroup` now returns an `IdentityMapping` for a transformation semigroup - [#2923](https://github.com/gap-system/gap/pull/2923) Extend obsolete to support multiple levels - [#2936](https://github.com/gap-system/gap/pull/2936) Add back `ViewObj` method for generic fields - [#2952](https://github.com/gap-system/gap/pull/2952) Add command line option `--bare` to start GAP without even needed packages (developer tool) - [#2960](https://github.com/gap-system/gap/pull/2960) Add `List` method accepting an iterator and a function - [#2946](https://github.com/gap-system/gap/pull/2946), [#2955](https://github.com/gap-system/gap/pull/2955), [#2974](https://github.com/gap-system/gap/pull/2974), [#3372](https://github.com/gap-system/gap/pull/3372) Improve many error messages - [#2985](https://github.com/gap-system/gap/pull/2985) Improve support for custom list object implementations - [#2998](https://github.com/gap-system/gap/pull/2998), [#2999](https://github.com/gap-system/gap/pull/2999), [#3007](https://github.com/gap-system/gap/pull/3007) Expose additional functionality related to chars, floats and integers via the libgap API - [#2900](https://github.com/gap-system/gap/pull/2900) Teach `Test` to abort test if ctrl-C is pressed - [#2910](https://github.com/gap-system/gap/pull/2910) Add custom `SetDimension` implementation, and call `SetDimension(A,0)` in places creating trivial modules or algebras - [#2924](https://github.com/gap-system/gap/pull/2924) Improve performance of `NormalizerViaRadical` - [#3031](https://github.com/gap-system/gap/pull/3031) Improve performance of `ConjugacyClasses` for solvable groups - [#3053](https://github.com/gap-system/gap/pull/3053) More properties can now be preserved when constructing direct products of semigroups - [#3075](https://github.com/gap-system/gap/pull/3075) Special redispatch for `Nat.Hom.ByNS` if group is found out to be finite - [#3076](https://github.com/gap-system/gap/pull/3076) Add `IsAutoGlobal` for testing whether a variable was declared using `DeclareAutoreadableVariables` - [#3077](https://github.com/gap-system/gap/pull/3077) Allow appending to the command line history - [#3078](https://github.com/gap-system/gap/pull/3078) Avoid memory issues in solvable conjugacy classes routine - [#3080](https://github.com/gap-system/gap/pull/3080) Method to compute Hall subgroups of arbitrary finite groups. - [#3093](https://github.com/gap-system/gap/pull/3093) Methods transforming small matrix groups into permutation groups now work for objects of type `IsMatrixObj` - [#3099](https://github.com/gap-system/gap/pull/3099) Show a warning when `GroupWithGenerators` called on a domain - [#3104](https://github.com/gap-system/gap/pull/3104) Extend `IntegratedStraightLineProgram` to the situation that some of the input programs return lists of elements - [#3118](https://github.com/gap-system/gap/pull/3118) Make `Refinements` an `AtomicRecord` so it can be added to by users - [#3129](https://github.com/gap-system/gap/pull/3129) `BrauerTableOp` now works for cyclic defect such that all Brauer characters lift to characteristic zero - [#3168](https://github.com/gap-system/gap/pull/3168) Allow input and output to be mixed in `Test` - [#3207](https://github.com/gap-system/gap/pull/3207) Display for functions with large literals is improved - [#3626](https://github.com/gap-system/gap/pull/3626) Customisable names of classes and characters in `Display` of character tables - [#3621](https://github.com/gap-system/gap/pull/3621) Add `Display` method for PC group - [#3209](https://github.com/gap-system/gap/pull/3209) Enable backtraces with `--enable-debug` - [#3226](https://github.com/gap-system/gap/pull/3226) Make `last`, `last2`, `last3`,`time` and `memory_allocated` read-only - [#3231](https://github.com/gap-system/gap/pull/3231) Speed up `IsConjugate` for `IsNaturalSymmetricGroup` - [#3247](https://github.com/gap-system/gap/pull/3247) `CloseMutableBasis` now returns `true` if the basis was extended and `false` otherwise - [#3252](https://github.com/gap-system/gap/pull/3252) Improve gac to preserve argument names of compiled functions - [#3253](https://github.com/gap-system/gap/pull/3253) `CharacterTableIsoclinic` now works for groups of type p.G.p - [#3267](https://github.com/gap-system/gap/pull/3267) Change `StructureDescription` of an infinite cyclic group from `C0` to `Z` - [#3278](https://github.com/gap-system/gap/pull/3278) Improve method for `IsSolvableGroup` - [#3335](https://github.com/gap-system/gap/pull/3335) Reduce memory usage on windows when running external programs - [#3365](https://github.com/gap-system/gap/pull/3365) Add `First(list)`, `Last(list)` and `Last(list,func)` - [#3370](https://github.com/gap-system/gap/pull/3370) Pragmas are now available - [#3376](https://github.com/gap-system/gap/pull/3376) `SortedList` now accepts a function as the second argument - [#3383](https://github.com/gap-system/gap/pull/3383) Implement 2-cohomology and module computations for arbitrary finite groups, not just solvable ones, via `TwoCohomologyGeneric` - [#3384](https://github.com/gap-system/gap/pull/3384) Improve performance of subgroup calculations (e.g. via `ConjugacyClassesSubgroups`) in some cases - [#3385](https://github.com/gap-system/gap/pull/3385) Add `FlipBlist`, `ClearAllBlist`, `SetAllBlist` - [#3387](https://github.com/gap-system/gap/pull/3387) Add `ShowUsedInfoClasses` - [#3394](https://github.com/gap-system/gap/pull/3394) Make the descriptions for TNUMs (which we print in some error messages) more user friendly - [#3399](https://github.com/gap-system/gap/pull/3399) Support floating point numbers when specifying how much memory GAP should use, for example "-o 2.5G" - [#3420](https://github.com/gap-system/gap/pull/3420) Give more library methods human-readable names. These are used when profiling - [#3423](https://github.com/gap-system/gap/pull/3423) Improve gac to support calls to custom function objects - [#3430](https://github.com/gap-system/gap/pull/3430) `NameFunction` now is an attribute so that custom function objects can implement support for it - [#3454](https://github.com/gap-system/gap/pull/3454) Improve error handling for `Image`, `Images`, `PreImage` and `PreImages` - [#3455](https://github.com/gap-system/gap/pull/3455) New function `DirectProductFamily` - [#3459](https://github.com/gap-system/gap/pull/3459) Add `ShowDeclarationsOfOperation` helper - [#3473](https://github.com/gap-system/gap/pull/3473) Improve an `AsList` method for domains with stored `GeneratorsOfDomain` - [#3483](https://github.com/gap-system/gap/pull/3483) Change the pre-set memory limit default from 2GB to 3/4 of physical memory. Use the `-o` option if you want to change this limit. - [#3501](https://github.com/gap-system/gap/pull/3501) `MaximalSubgroups` now works even if `tomlib` is not available - [#3504](https://github.com/gap-system/gap/pull/3504) `make bootstrap` now uses `curl` if `wget` is unavailable under macOS - [#3516](https://github.com/gap-system/gap/pull/3516) Improve performance of the Julia GC integration - [#3520](https://github.com/gap-system/gap/pull/3520) Clarify when *nonabelian* simple groups are meant in the documentation - [#3522](https://github.com/gap-system/gap/pull/3522) Add `IsNonabelianSimpleGroup` - [#3542](https://github.com/gap-system/gap/pull/3542) Add `--add-package-config-=""` option to `BuildPackages.sh` where `` are passed through to the configure script of package `` - [#3543](https://github.com/gap-system/gap/pull/3543) Add `PositionSortedBy` - [#3551](https://github.com/gap-system/gap/pull/3551) Add new kernel operations `ELM_MAT`, `ASS_MAT` - [#3513](https://github.com/gap-system/gap/pull/3513) Use `posix_spawn` in `iostreams` if available - [#3554](https://github.com/gap-system/gap/pull/3554) Add basic libgap APIs for working with matrices - [#3564](https://github.com/gap-system/gap/pull/3564) Add `WhereWithVars`, an extended version of `Where` which prints the values of all arguments and locals - [#3566](https://github.com/gap-system/gap/pull/3566) Optimise operations involving identity permutations, improve printing of permutations - [#3630](https://github.com/gap-system/gap/pull/3630) Speed up `MaximalAbelianQuotient` for subgroups of fp groups - [#3579](https://github.com/gap-system/gap/pull/3579) Speed up writing to global variables - [#3592](https://github.com/gap-system/gap/pull/3592) The values of computed attributes will no longer be stored automatically in mutable attribute-storing objects - [#3604](https://github.com/gap-system/gap/pull/3604) Add `EuclideanDegree` and `QuotientRemainder` for Z/nZ - [#3619](https://github.com/gap-system/gap/pull/3619) `Randomize` is now documented, and its definition changed: **note** that it is now `Randomize(random_source, obj)` - [#3620](https://github.com/gap-system/gap/pull/3620) `make html` can be used to compile only HTML versions of the GAP manuals, without a PDF. - [#3683](https://github.com/gap-system/gap/pull/3683) Add `etc/Makefile.gappkg`, for use in the build system of GAP package with kernel extensions - [#3690](https://github.com/gap-system/gap/pull/3690) Improve `NullspaceModQ` to support arbitrary moduli, and renamed it to `NullspaceModN` (the old name is still available as a synonym) - [#3711](https://github.com/gap-system/gap/pull/3711) Adjust `TestPackage` to return information about the test result - [#3715](https://github.com/gap-system/gap/pull/3715) Allow HPC-GAP to run as a forkable server process - [#3745](https://github.com/gap-system/gap/pull/3745) Add a new kernel header `gap_all.h` for use by package authors instead of `compiled.h` - [#3746](https://github.com/gap-system/gap/pull/3746) Allow package build systems to detect GAP version by inserting `GAP_VERSION` into `sysinfo.gap` - [#3606](https://github.com/gap-system/gap/pull/3606) Add BindingsOfClosure helper (_Work in progress_) ### Changed documentation - [#3886](https://github.com/gap-system/gap/pull/3886) Convert `Changes` manuals book into markdown - [#2798](https://github.com/gap-system/gap/pull/2798) Clarify `MemoizePosIntFunction` documentation - [#2946](https://github.com/gap-system/gap/pull/2946) Document what a "small integer" resp. "immediate integer" is - [#2953](https://github.com/gap-system/gap/pull/2953) Document that `PermutationGModule` works not just for finite fields - [#3101](https://github.com/gap-system/gap/pull/3101) Remove Section 87.2-5 on "Avoiding multiplication of permutations" in the reference manual (the described functionality does not actually work) - [#3348](https://github.com/gap-system/gap/pull/3348) Add explanation for a workaround regarding the ^-key on OSX to `INSTALL.md` - [#3358](https://github.com/gap-system/gap/pull/3358) Document the two-argument version of `Set` - [#3360](https://github.com/gap-system/gap/pull/3360) Improve discoverability of `rewriteToFile` option in `Test` - [#3363](https://github.com/gap-system/gap/pull/3363) Add some information in the documentation of `IsPrimitive`. - [#3374](https://github.com/gap-system/gap/pull/3374) Document that InputTextFile should not be used for binary files - [#3449](https://github.com/gap-system/gap/pull/3449) Clarify and corrects documentation of `CompositionMapping` - [#3453](https://github.com/gap-system/gap/pull/3453) Improve documentation of `GeneratorsOfDomain` - [#3468](https://github.com/gap-system/gap/pull/3468) New `PrintObj` method for general domains which know their `GeneratorsOfDomain` - [#3469](https://github.com/gap-system/gap/pull/3469) `DeclareCategoryCollections`, `constructors` are now documented and parts of the reference manual are refactored - [#3472](https://github.com/gap-system/gap/pull/3472) Document `IsRangeRep` and improve the documentation of `ConvertToRangeRep`, `IsRange`, and the section `Ranges` - [#3529](https://github.com/gap-system/gap/pull/3529) Document `CharacteristicSubgroups` - [#3591](https://github.com/gap-system/gap/pull/3591) Improve parts of the documentation in Chapter 41. - [#3615](https://github.com/gap-system/gap/pull/3615) Document basic representations of objects (`IsInternalRep`, `IsDataObjectRep`, `IsComponentObjectRep`, `IsPositionalObjectRep`, `IsAttributeStoringRep`, `IsPlistRep`) - [#3612](https://github.com/gap-system/gap/pull/3612) Improves the documentation of `Quotient` to make it sensible for non-commutative rings, and rings with zero divisors ### Fixed bugs that could lead to crashes - [#3151](https://github.com/gap-system/gap/pull/3151) Fix crash when `ApplicableMethod` is called incorrectly - [#3221](https://github.com/gap-system/gap/pull/3221) Handle infinite recursion in attribute methods - [#3491](https://github.com/gap-system/gap/pull/3491) Fix crashes when passing invalid arguments to functions for records: `\.`, `IsBound\.`, `Unbind\.` and `\.\:\=` - [#3738](https://github.com/gap-system/gap/pull/3738) Fix bug in `CycleStructurePerm` for a single cycle of length 2^16 that caused wrong answers and memory corruption ### Fixed bugs that could lead to incorrect results - [#2938](https://github.com/gap-system/gap/pull/2938) Fix bug related to `ImaginaryPart` for quaternion algebras - [#3103](https://github.com/gap-system/gap/pull/3103) This fixes [#3097](https://github.com/gap-system/gap/issues/3097), a problem with `Order` of automorphism and [#3100](https://github.com/gap-system/gap/issues/3100), a problem with `GroupHomomorphismByImages` - [#3392](https://github.com/gap-system/gap/pull/3392) Prevent blist functions that modify an argument in-place (such as `UniteBlist`) from modifying immutable blists - [#3522](https://github.com/gap-system/gap/pull/3522) `IsSimpleGroup` does not imply `IsAlmostSimpleGroup` anymore - [#3575](https://github.com/gap-system/gap/pull/3575) Fix bug in calculating x/p for an integer x and permutation p, if p has been 'trimmed'. - [#3603](https://github.com/gap-system/gap/pull/3603) Fix bug where the result of `StandardAssociateUnit` could be not a unit. - [#3611](https://github.com/gap-system/gap/pull/3611) Fix `StandardAssociateUnit` for polynomial rings to return a polynomial, not an element of the coefficient ring - [#3646](https://github.com/gap-system/gap/pull/3646) Fix bug in `MinimalFaithfulPermutationDegree` that reported a too large degree for certain groups representable as subdirect product - [#3662](https://github.com/gap-system/gap/pull/3662) Fix bug in `MaximalSubgroupClassReps` that could lead to a wrong result - [#3689](https://github.com/gap-system/gap/pull/3689) Fix bug in `BlistList` for two ranges that could lead to wrong results - [#3690](https://github.com/gap-system/gap/pull/3690) Fix bug `NullspaceModQ` that could lead to wrong results - [#3733](https://github.com/gap-system/gap/pull/3733) Fix `ConstituentsOfCharacter` for Brauer character: its result, when called with a Brauer character as its only argument, was not reliable. (This bug has been reported by Gabriel Navarro.) Also, calling it with a Brauer character table and a virtual Brauer character caused error messages ### Fixed bugs that could lead to break loops - [#3038](https://github.com/gap-system/gap/pull/3038) Fix `RankOfPartialPermSemigroup` for partial perm groups with empty `GeneratorsOfGroup` - [#3052](https://github.com/gap-system/gap/pull/3052) Fix the viewing of empty transformation semigroups - [#3110](https://github.com/gap-system/gap/pull/3110) Workaround for Issue [#3055](https://github.com/gap-system/gap/issues/3055) and fix for `GQuotient` - [#3142](https://github.com/gap-system/gap/pull/3142) Fix `Int` and `Rat` for float values `nan`, `inf`, `-inf` - [#3192](https://github.com/gap-system/gap/pull/3192) Catch some corner cases for trivial group - [#3331](https://github.com/gap-system/gap/pull/3331) Fix an issue with `IsomorphismGroups` if one group is finite and the other is infinite. - [#3375](https://github.com/gap-system/gap/pull/3375) Improve warnings when using tabs in continuations - [#3401](https://github.com/gap-system/gap/pull/3401) `SSortedLists` is not required to be homogeneous anymore - [#3437](https://github.com/gap-system/gap/pull/3437) Fix a bug with in calculating `SubdirectProducts` which could sometimes fail on valid input. - [#3559](https://github.com/gap-system/gap/pull/3559) Fix `IsUpperTriangularMat` for non-square matrices - [#3571](https://github.com/gap-system/gap/pull/3571) Fix `NrCols` and `NumberColumns` for empty matrices in `IsMatrix` - [#3763](https://github.com/gap-system/gap/pull/3763) Fix bug in `IrrConlon` leading to unexpected errors - [#3865](https://github.com/gap-system/gap/pull/3865) Fix the code setting up a subgroup data structure by the solvable radical method, which could lead to unexpected errors ### Other fixed bugs - [#2595](https://github.com/gap-system/gap/pull/2595) Fix missing syntax warning for using undefined global variable - [#2756](https://github.com/gap-system/gap/pull/2756) Reject invalid AND-filters such as `Center and IsAssociative` - [#2903](https://github.com/gap-system/gap/pull/2903) Kernel: make `OnLeftInverse` use `LQUO` - [#2908](https://github.com/gap-system/gap/pull/2908) Fix profiling when `IO_Fork` from the `IO package` is used - [#2977](https://github.com/gap-system/gap/pull/2977) This fixes an infinite recursion if the rank of `IsGroup` and `IsFinite` becomes very large - [#3189](https://github.com/gap-system/gap/pull/3189) Ensure `IsHomogeneousList("")` return `true` - [#3229](https://github.com/gap-system/gap/pull/3229) Fix the fact that the `^^^^` markers on unbound globals would point to the wrong place. - [#3320](https://github.com/gap-system/gap/pull/3320) Fix the problem whereby if GAP on windows sees a `\r`, it will remove the next `\n`, no matter how far away it is. - [#3325](https://github.com/gap-system/gap/pull/3325) Fix libgap's `GAP_ENTER_DEBUG` macro (using it previously lead to a linker error) - [#3390](https://github.com/gap-system/gap/pull/3390) Corrects input limit on 64Bit `SetCyclotomicsLimit` - [#3395](https://github.com/gap-system/gap/pull/3395) `PrintObj(1.)` now correctly prints `1.` - [#3400](https://github.com/gap-system/gap/pull/3440) Fix the line breaking hints in the `ViewString` method for finite lists. - [#3428](https://github.com/gap-system/gap/pull/3428) Fix GNU readline detection on OpenBSD, and make the configure test for it more robust - [#3444](https://github.com/gap-system/gap/pull/3444) Remove obsolete `-a` command line option - [#3481](https://github.com/gap-system/gap/pull/3481) Fix bug which caused code which calls `PrintCSV` many times with a filename to fail eventually - [#3580](https://github.com/gap-system/gap/pull/3580) Fix potential infinite loop or recursion when computing the size of infinite cyclic groups - [#3847](https://github.com/gap-system/gap/pull/3847) Fix printing of certain words in free groups (if subexpressions occur as powers iteratedly then nonsense could be displayed, but the data internally was correct) - [#3610](https://github.com/gap-system/gap/pull/3610) Invalid use of `/` on ZmodZ (e.g. dividing a unit by a zero divisor) will produce an `Error` - [#3612](https://github.com/gap-system/gap/pull/3612) fixes some methods for `Quotient`, in particular `Quotient(R, x, Zero(R))` now returns `fail` ### Removed or obsolete functionality - [#2237](https://github.com/gap-system/gap/pull/2237) The undocumented (!) functions `InfoRead1` and `InfoRead2` are obsolete - [#2237](https://github.com/gap-system/gap/pull/2237), [#2961](https://github.com/gap-system/gap/pull/2961) Remove the obsolete synonyms `MutableIdentityMat` (for `IdentityMat`), `MutableNullMat` (for `NullMat`) and `SHALLOW_SIZE` (for `SIZE_OBJ`), `DEBUG_LOADING` (for `GAPInfo.CommandLineOptions.D`) - [#2919](https://github.com/gap-system/gap/pull/2919) The undocumented (!) function `SetFeatureObj` is obsolete; use `SetFilterObj` resp. `ResetFilterObj` instead. - [#3185](https://github.com/gap-system/gap/pull/3185) `(Un)HideGlobalVariables` is obsolete - [#3269](https://github.com/gap-system/gap/pull/3269) `TemporaryGlobalVarName` is obsolete - [#3409](https://github.com/gap-system/gap/pull/3409) Remove `BANNER`, `QUIET` ### Packages - [#3215](https://github.com/gap-system/gap/pull/3215) Issue tracker, maintainers and contributors are printed in package banners - [#3286](https://github.com/gap-system/gap/pull/3286) Teach `ValidatePackageInfo` about the optional `License` field ### Other changes - [#2709](https://github.com/gap-system/gap/pull/2709) Rename `MultRowVector` to `MultVector` (the old name is still supported, but marked as obsolete) - [#2729](https://github.com/gap-system/gap/pull/2729) Rename `QuaternionGroup` to `DicyclicGroup`, document `IsDihedralGroup` and `IsQuaternionGroup` - [#3010](https://github.com/gap-system/gap/pull/3010) Read `lib/transatl.g` before any `gap.ini` file, when GAP is loaded - [#3406](https://github.com/gap-system/gap/pull/3406) Remove RXVT-shell support for Windows - [#3480](https://github.com/gap-system/gap/pull/3480) `BuildPackages.sh` now executes `make clean` before full build ### New packages redistributed with GAP - [AGT](https://gap-packages.github.io/agt/) A library of strongly regular graphs on at most 40 vertices, and functionality to inspect combinatorial and algebraic properties of graphs in GRAPE format, by Rhys J. Evans - [CddInterface](https://homalg-project.github.io/CddInterface/) GAP interface to cdd, by Kamal Saleh - [DifSets](https://dylanpeifer.github.io/difsets/) Enumeration of the difference sets (up to equivalence) in groups, by Dylan Peifer - [ferret](https://gap-packages.github.io/ferret/) C++ reimplementation of Jeffery Leon’s Partition Backtrack framework for solving problems in permutation groups, by Christopher Jefferson - [images](https://gap-packages.github.io/images/) Finding minimal and canonical images in permutation groups, by Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker, Eliza Jonauskyte - [NCOnvex](https://homalg-project.github.io/NConvex/) Polyhedral constructions and computations for cones, polyhedrons, polytopes and fans, by Kamal Saleh, Sebastian Gutsche - [NoCK](https://pjastr.github.io/NoCK/) Computation of Tolzanos’s obstruction for compact Clifford-Klein forms, by Maciej Bocheński, Piotr Jastrzębski, Anna Szczepkowska, Aleksy Tralle, Artur Woike - [RepnDecomp](https://gap-packages.github.io/RepnDecomp/) Algorithms for decomposing linear representations of finite groups, by Kaashif Hymabaccus ## GAP 4.10.2 (June 2019) ### Improvements in the experimental way to allow 3rd party code to link GAP as a library: - Add `GAP_AssignGlobalVariable` and `GAP_IsNameOfWritableGlobalVariable` to the **libGAP** API ([#3438](https://github.com/gap-system/gap/pull/3438)). ### Fixes in the experimental support for using the **Julia** garbage collector: - Fix of a problem where the Julia GC during a partial sweep frees some, but not all objects of an unreachable data structure, and also may erroneously try to mark the deallocated objects ([#3412](https://github.com/gap-system/gap/pull/3412)). - Fix stack scanning for the Julia GC when GAP is used as a library ([#3432](https://github.com/gap-system/gap/pull/3432)). ### Fixed bugs that could lead to crashes: - Fix a bug in `TransformationListList` which could cause a crash ([#3463](https://github.com/gap-system/gap/pull/3463)). ### Fixed bugs that could lead to incorrect results: - Fix a bug in `ClassPositionsOfLowerCentralSeries`. (Reported by Frieder Ladisch) ([#3321](https://github.com/gap-system/gap/pull/3321)). - Fix a dangerous bug in the comparison of large negative integers, introduced in GAP 4.10.1: if `x` and `y` were equal, but not identical, large negative numbers then `x < y` returned `true` instead of `false`. ([#3478](https://github.com/gap-system/gap/pull/3478)). ### Fixed bugs that could lead to break loops: - If the group has been obtained as subgroup from a Fitting free/solvable radical computation, the data is inherited and might not guarantee that the factor group really is Fitting free. Added a check and an assertion to catch this situation ([#3154](https://github.com/gap-system/gap/pull/3154)). - Fix declaration of sparse action homomorphisms ([#3281](https://github.com/gap-system/gap/pull/3281)). - `LatticeViaRadical` called `ClosureSubgroupNC` assuming that the parent contained all generators. It now calls `ClosureSubgroup` instead, since this cannot always be guaranteed (this could happen, for example, in perfect subgroup computation). Also added an assertion to `ClosureSubgroupNC` to catch this situation in other cases. (Reported by Serge Bouc) ([#3397](https://github.com/gap-system/gap/pull/3397)). - Fix a "method not found" error in `SubdirectProduct` ([#3485](https://github.com/gap-system/gap/pull/3485)). ### Other fixed bugs: - Fix corner case in modified Todd-Coxeter algorithm when relator is trivial ([#3311](https://github.com/gap-system/gap/pull/3311)). ### New and updated packages since GAP 4.10.1 GAP 4.10.2 distribution contains 145 packages, including updated versions of 55 packages from GAP 4.10.1 distribution, A new package **MonoidalCategories** by Mohamed Barakat, Sebastian Gutsche and Sebastian Posur have been added to the distribution. It is based on the **CAP** package and implements monoidal structures for **CAP**. Unfortunately we had to withdraw the **QaoS** package from distribution of GAP, as the servers it crucially relies on for its functionality have been permanently retired some time ago and are not coming back ([details](https://github.com/gap-packages/qaos/issues/13)). ## GAP 4.10.1 (February 2019) ### Fixes in the experimental way to allow 3rd party code to link GAP as a library: - Do not start a session when loading workspace if `--nointeract` command line option is used ([#2840](https://github.com/gap-system/gap/pull/2840)). - Add prototype for `GAP_Enter` and `GAP_Leave` macros ([#3096](https://github.com/gap-system/gap/pull/3096)). - Prevent infinite recursions in `echoandcheck` and `SyWriteandcheck` ([#3102](https://github.com/gap-system/gap/pull/3102)). - Remove `environ` arguments and `sysenviron` ([#3111](https://github.com/gap-system/gap/pull/3111)). ### Fixes in the experimental support for using the Julia garbage collector: - Fix task scanning for the Julia GC ([#2969](https://github.com/gap-system/gap/pull/2969)). - Fix stack marking for the Julia GC ([#3199](https://github.com/gap-system/gap/pull/3199)). - Specify the Julia binary instead of the Julia prefix ([#3243](https://github.com/gap-system/gap/pull/3243)). - Export Julia `CFLAGS`, `LDFLAGS`, and `LIBS` to `sysinfo.gap` ([#3248](https://github.com/gap-system/gap/pull/3248)). - Change `MPtr` Julia type of GAP objects to be a subtype of the abstract Julia `GapObj` type provided by the Julia package `GAPTypes.jl` ([#3497](https://github.com/gap-system/gap/pull/3497)). ### Improved and extended functionality: - Always generate `sysinfo.gap` (previously, it was only generated if the "compatibility mode" of the build system was enabled) ([#3042](https://github.com/gap-system/gap/pull/3042)). - Add support for writing to `ERROR_OUTPUT` from kernel code ([#3043](https://github.com/gap-system/gap/pull/3043)). - Add `make check` ([#3285](https://github.com/gap-system/gap/pull/3285)). ### Changed documentation: - Fix documentation of `NumberFFVector` and add an example ([#3079](https://github.com/gap-system/gap/pull/3079)). ### Fixed bugs that could lead to crashes: - Fix readline crash when using autocomplete with `colored-completion-prefix` turned on in Bash ([#2991](https://github.com/gap-system/gap/pull/2991)). - Fix overlapping `memcpy` in `APPEND_LIST` ([#3216](https://github.com/gap-system/gap/pull/3216)). ### Fixed bugs that could lead to incorrect results: - Fix bugs in the code for partial permutations ([#3220](https://github.com/gap-system/gap/pull/3220)). - Fix a bug in `Gcd` for polynomials not returning standard associates, introduced in GAP 4.10.0 ([#3227](https://github.com/gap-system/gap/pull/3227)). ### Fixed bugs that could lead to break loops: - Change `GroupWithGenerators` to accept collections again (to avoid regressions in code that relied on this undocumented behavior) ([#3095](https://github.com/gap-system/gap/pull/3095)). - Fix `ShallowCopy` for for a Knuth-Bendix rewriting system ([#3128](https://github.com/gap-system/gap/pull/3128)). (Reported by Ignat Soroko) - Fix `IsMonomialMatrix` to work with compressed matrices ([#3149](https://github.com/gap-system/gap/pull/3149)). (Reported by Dominik Bernhardt) ### Removed or obsolete functionality: - Disable `make install` (previously it displayed a warning which often got ignored) ([#3005](https://github.com/gap-system/gap/pull/3005)). ### Other fixed bugs: - Fix some errors which stopped triggering a break loop ([#3013](https://github.com/gap-system/gap/pull/3013)). - Fix compiler error with GCC 4.4.7 ([#3026](https://github.com/gap-system/gap/pull/3026)). - Fix string copying logic ([#3071](https://github.com/gap-system/gap/pull/3071)). ### New and updated packages since GAP 4.10.0 GAP 4.10.1 distribution contains 145 packages, including updated versions of 35 packages from GAP 4.10.0 distribution, and also the following five new packages: - **MajoranaAlgebras** by Markus Pfeiffer and Madeleine Whybrow, which constructs Majorana representations of finite groups. - **PackageManager** by Michael Torpey, providing a collection of functions for installing and removing GAP packages, with the eventual aim of becoming a full pip-style package manager for the GAP system. - **Thelma** by Victor Bovdi and Vasyl Laver, implementing algorithms to deal with threshold elements. - **walrus** by Markus Pfeiffer, providing methods for proving hyperbolicity of finitely presented groups in polynomial time. - **YangBaxter** by Leandro Vendramin and Alexander Konovalov, which provides functionality to construct classical and skew braces, and also includes a database of classical and skew braces of small orders. ## GAP 4.10.0 (November 2018) ### New features and major changes - **Reduce impact of immediate methods** GAP allows declaring so-called "immediate methods". The idea is that these are very simple and fast methods which are immediately called if information about an object becomes known, in order to perform some quick deduction. For example, if the order of a group is set, there might be immediate methods which update the filters `IsFinite` and `IsTrivial` of the group suitably. While this can be very elegant and useful in interactive GAP sessions, the overhead for running these immediate methods and applying their results can become a major factor in the runtime of complex computations that create thousands or millions of objects. To address this, various steps were taken: - some immediate methods were turned into regular methods; - a special handlers for `SetSize` was created that deduces properties which previously were taken care of by immediate methods; - some immediate methods were replaced by implications (set via `InstallTrueMethod`), a mechanism that essentially adds zero overhead, unlike immediate methods; - various group constructors were modified to precompute and preset properties of freshly created group objects, to avoid triggering immediate methods for these. As a result of these and other changes, consider the following example; with GAP 4.9, it takes about 130 seconds on one test system, while with GAP 4.10 it runs in about 22 seconds, i.e., more than six times faster. G:=PcGroupCode( 741231213963541373679312045151639276850536621925972119311,11664);; IsomorphismGroups(G,PcGroupCode(CodePcGroup(G),Size(G)))<>fail; Relevant pull requests and issues: [#2386](https://github.com/gap-system/gap/pull/2386), [#2387](https://github.com/gap-system/gap/pull/2387), [#2522](https://github.com/gap-system/gap/pull/2522). - **Change definition of `IsPGroup` to *not* require finiteness** This is a small change in terms of amount of code changed, but we list it here as it has a potential (albeit rather unlikely) impact on the code written by GAP users: In the past, the GAP manual entry for `IsPGroup` defined p-groups as being finite groups, which differs from the most commonly used definition for p-groups. Note however that there was not actual implication installed from `IsPGroup` to `IsFinite`, so it always was possible to actually created infinite groups in the filter `IsPGroup`. In GAP 4.10, we adjusted (in [#1545](https://github.com/gap-system/gap/pull/1545)) the documentation for `IsPGroup` to the commonly accepted definition for p-groups. In addition, code in the GAP library and in packages using `IsPGroup` was audited and (in a very few cases) adjusted to explicitly check `IsFinite` (see e.g. [#2866](https://github.com/gap-system/gap/pull/2866)). - **Experimental support for using the **Julia** garbage collector** It is now possible to use the garbage collector of the [Julia language](https://julialang.org) instead of GAP's traditional **GASMAN** garbage collector. This is partly motivated by a desire to allow tight integration with GAP and **Julia** in the future. Warning: right now, this is *slower*, and also requires a patched version of **Julia**. Relevant pull requests: [#2092](https://github.com/gap-system/gap/pull/2092), [#2408](https://github.com/gap-system/gap/pull/2408), [#2461](https://github.com/gap-system/gap/pull/2461), [#2485](https://github.com/gap-system/gap/pull/2485), [#2495](https://github.com/gap-system/gap/pull/2495), [#2672](https://github.com/gap-system/gap/pull/2672), [#2688](https://github.com/gap-system/gap/pull/2688), [#2793](https://github.com/gap-system/gap/pull/2793), [#2904](https://github.com/gap-system/gap/pull/2904), [#2905](https://github.com/gap-system/gap/pull/2905), [#2931](https://github.com/gap-system/gap/pull/2931). - ****libGAP** (work in progress)** We now provide a experimental way to allow 3rd party code to link GAP as a library; this is based on the **libGAP** code by [SageMath](https://www.sagemath.org), but different: while we aim to provide the same functionality, we do not rename any symbols, and we do not provide the same API. We hope that a future version of **SageMath** can drop its custom modifications for GAP and use this interface instead. Work is underway to achieve this goal. If you are interested in this kind of interface, please get in touch with us to help us improve it. See also [this email](https://mail.gap-system.org/pipermail/gap/2018-August/001123.html). To get an idea how **libGAP** works, you can configure GAP as normal, and then execute `make testlibgap` which will build a small program that uses some of the existing API and links GAP. Relevant pull requests: - [#1690](https://github.com/gap-system/gap/pull/1690) Add a callback to `FuncJUMP_TO_CATCH` - [#2528](https://github.com/gap-system/gap/pull/2528) Add `IsLIBGAP` constant - [#2702](https://github.com/gap-system/gap/pull/2702) Add GAP kernel API - [#2723](https://github.com/gap-system/gap/pull/2723) Introduce command line options `--norepl` and `--nointeract` ### Improved and extended functionality - [#2041](https://github.com/gap-system/gap/pull/2041) Teach `FrattiniSubgroup` methods to check for solvability - [#2053](https://github.com/gap-system/gap/pull/2053) Faster computation of modular inverses of integers - [#2057](https://github.com/gap-system/gap/pull/2057) Various changes, including: - Improve computation of automorphism groups for fp groups (we still recommend to instead first convert the group to a computationally nice representation, such as a perm or pc group) - Add `MinimalFaithfulPermutationDegree` attribute for finite groups - Improve performance of `GQuotients(F,G)` when `F` is an fp group - Some other performance and documentation tweaks - [#2061](https://github.com/gap-system/gap/pull/2061), [#2086](https://github.com/gap-system/gap/pull/2086), [#2159](https://github.com/gap-system/gap/pull/2159), [#2306](https://github.com/gap-system/gap/pull/2306) Speed up `GcdInt`, `LcmInt`, `PValuation`, `RootInt`, `SmallestRootInt`, `IsPrimePowerInt` - [#2063](https://github.com/gap-system/gap/pull/2063) Teach GAP that BPSW pseudo primes less than 2^64 are all known to be prime (the previous limit was 10^13) - [#2091](https://github.com/gap-system/gap/pull/2091) Refactor `DeclareAttribute` and `NewAttribute` (arguments are now verified stricter) - [#2115](https://github.com/gap-system/gap/pull/2115), [#2204](https://github.com/gap-system/gap/pull/2204), [#2272](https://github.com/gap-system/gap/pull/2272) Allow (optionally) passing a random source to many more `Random` methods than before, and also to `RandomList` - [#2136](https://github.com/gap-system/gap/pull/2136) Add `shortname` entry to record returned by `IsomorphismTypeInfoFiniteSimpleGroup` - [#2181](https://github.com/gap-system/gap/pull/2181) Implement `Union(X,Y)`, where `X` and `Y` are in `PositiveIntegers`, `NonnegativeIntegers`, `Integers`, `GaussianIntegers`, `Rationals`, `GaussianRationals`, `Cyclotomics`, at least where a suitable output object exists (we already provided `Intersection(X,Y)` for a long time) - [#2185](https://github.com/gap-system/gap/pull/2185) Implement `IsCentral(M,x)`, where `M` is a magma, monoid, group, ring, algebra, etc. and `x` an element of `M` (the documentation already claimed that these exist for a long time) - [#2199](https://github.com/gap-system/gap/pull/2199) Optimize true/false conditions when coding if-statements - [#2200](https://github.com/gap-system/gap/pull/2200) Add `StringFormatted`, `PrintFormatted`, `PrintToFormatted` - [#2222](https://github.com/gap-system/gap/pull/2222) Turn hidden implications into actual implications - [#2223](https://github.com/gap-system/gap/pull/2223) Add operation `PositionsBound` which returns the set of all bound positions in a given list - [#2224](https://github.com/gap-system/gap/pull/2224), [#2243](https://github.com/gap-system/gap/pull/2243), [#2340](https://github.com/gap-system/gap/pull/2340) Improve `ShowImpliedFilters` output - [#2225](https://github.com/gap-system/gap/pull/2225) Improve `LocationFunc` for kernel function - [#2232](https://github.com/gap-system/gap/pull/2232) Make `ValueGlobal` faster - [#2242](https://github.com/gap-system/gap/pull/2242) Add global function `CycleFromList` - [#2244](https://github.com/gap-system/gap/pull/2244) Make `rank` argument to `InstallImmediateMethod` optional, similar to `InstallMethod` - [#2274](https://github.com/gap-system/gap/pull/2274) Ensure uniform printing of machine floats `nan`, `inf`, `-inf` across different operating systems - [#2287](https://github.com/gap-system/gap/pull/2287) Turn `IsInfiniteAbelianizationGroup` into a property and add some implications involving it - [#2293](https://github.com/gap-system/gap/pull/2293), [#2602](https://github.com/gap-system/gap/pull/2602), [#2718](https://github.com/gap-system/gap/pull/2718) Improved and documented various kernel and memory debugging facilities (requires recompiling GAP with `--enable-debug`, `--enable-valgrind` resp. `--enable-memory-checking`) - [#2308](https://github.com/gap-system/gap/pull/2308) Method selection code was rewritten from GAP to C - [#2326](https://github.com/gap-system/gap/pull/2326) Change `SimpleGroup` to perform better input validation and improve or correct error message for type 2E - [#2375](https://github.com/gap-system/gap/pull/2375) Make `last2` and `last3` available in break loops - [#2383](https://github.com/gap-system/gap/pull/2383) Speed improvements for automorphism groups - [#2393](https://github.com/gap-system/gap/pull/2393) Track location of `InstallMethod` and `InstallImmediateMethod` - [#2422](https://github.com/gap-system/gap/pull/2422) Improve tracking of `InstallMethod` and `DeclareOperation` - [#2426](https://github.com/gap-system/gap/pull/2426) Speed up `InverseMatMod` with integer modulus - [#2427](https://github.com/gap-system/gap/pull/2427) Fix and complete support for custom functions (i.e., objects which can be called like a function using `obj(arg)` syntax) - [#2456](https://github.com/gap-system/gap/pull/2456) Add `PrintString` and `ViewString` methods for character tables - [#2474](https://github.com/gap-system/gap/pull/2474) Change `IsConstantRationalFunction` and `IsUnivariateRationalFunction` to return `false` if input isn't a rational function (instead of an error) - [#2474](https://github.com/gap-system/gap/pull/2474) Add methods for multiplying rational functions over arbitrary rings by rationals - [#2496](https://github.com/gap-system/gap/pull/2496) Finite groups whose order is known and not divisible by 4 are immediately marked as solvable - [#2509](https://github.com/gap-system/gap/pull/2509) Rewrite support for `.gz` compressed files to use **zlib**, now works on Windows - [#2519](https://github.com/gap-system/gap/pull/2519), [#2524](https://github.com/gap-system/gap/pull/2524), [#2531](https://github.com/gap-system/gap/pull/2531) `Test` now rejects empty inputs and warns if the input contains no test - [#2574](https://github.com/gap-system/gap/pull/2574) When reporting syntax errors, GAP now "underlines" the complete last token, not just the position where it stopped parsing - [#2577](https://github.com/gap-system/gap/pull/2577), [#2613](https://github.com/gap-system/gap/pull/2613) Add quadratic and bilinear add forms for `Omega(e,d,q)` - [#2598](https://github.com/gap-system/gap/pull/2598) Add `BannerFunction` to `PackageInfo.g` - [#2606](https://github.com/gap-system/gap/pull/2606) Improve `PageSource` to work on functions that were read from a file given by a relative path - [#2616](https://github.com/gap-system/gap/pull/2616) Speed up computation of quotients of associative words by using existing (but previously unused) kernel functions for that - [#2640](https://github.com/gap-system/gap/pull/2640) Work on `MatrixObj` and `VectorObj` - [#2654](https://github.com/gap-system/gap/pull/2654) Make `Sortex` stable - [#2666](https://github.com/gap-system/gap/pull/2666), [#2686](https://github.com/gap-system/gap/pull/2686) Add `IsBiCoset` attribute for right cosets, which is true if the right coset is also a left coset - [#2684](https://github.com/gap-system/gap/pull/2684) Add `NormalSubgroups` methods for symmetric and alternating permutation groups - [#2726](https://github.com/gap-system/gap/pull/2726) Validate `PackageInfo.g` when loading packages - [#2733](https://github.com/gap-system/gap/pull/2733) Minor performance improvements, code cleanup and very local fixes - [#2750](https://github.com/gap-system/gap/pull/2750) Reject some invalid uses of `~` - [#2812](https://github.com/gap-system/gap/pull/2812) Reduce memory usage and improve performance the MTC (modified Todd-Coxeter) code that was rewritten in GAP 4.9, but which was much slower than the old (but buggy) code it replaced; the difference is now small, but the old code still is faster in some case. - [#2855](https://github.com/gap-system/gap/pull/2855), [#2877](https://github.com/gap-system/gap/pull/2877) Add `IsPackageLoaded` - [#2878](https://github.com/gap-system/gap/pull/2878) Speed up conjugacy tests for permutation by using random permutation of points when selecting base in centraliser - [#2899](https://github.com/gap-system/gap/pull/2899) `TestDirectory` reports number of failures and failed files ### Changed documentation - [#2192](https://github.com/gap-system/gap/pull/2192) Add an example for `PRump` - [#2219](https://github.com/gap-system/gap/pull/2219) Add examples to the relations chapter. - [#2360](https://github.com/gap-system/gap/pull/2360) Document `IdealDecompositionsOfPolynomial` (also accessible via its synonym `DecomPoly`) and `NormalizerViaRadical` - [#2366](https://github.com/gap-system/gap/pull/2366) Do not recommend avoiding `X` which is a synonym for `Indeterminate` - [#2432](https://github.com/gap-system/gap/pull/2432) Correct a claim about the index of `Omega(e,p,q)` in `SO(e,p,q)` (see `SO`) - [#2549](https://github.com/gap-system/gap/pull/2549) Update documentation of the `-T` command line option - [#2551](https://github.com/gap-system/gap/pull/2551) Add new command line option `--alwaystrace` which ensures error backtraces are printed even if break loops are disabled - [#2681](https://github.com/gap-system/gap/pull/2681) Documented `ClassPositionsOfSolvableRadical` and `CharacterTableOfNormalSubgroup` - [#2834](https://github.com/gap-system/gap/pull/2834) Improve manual section about `Info` classes ### Fixed bugs that could lead to crashes - [#2154](https://github.com/gap-system/gap/pull/2154), [#2242](https://github.com/gap-system/gap/pull/2242), [#2294](https://github.com/gap-system/gap/pull/2294), [#2344](https://github.com/gap-system/gap/pull/2344), [#2353](https://github.com/gap-system/gap/pull/2353), [#2736](https://github.com/gap-system/gap/pull/2736) Fix several potential (albeit rare) crashes related to garbage collection - [#2196](https://github.com/gap-system/gap/pull/2196) Fix crash in `HasKeyBag` on SPARC Solaris 11 - [#2305](https://github.com/gap-system/gap/pull/2305) Fix crash in `PartialPerm([1,2,8],[3,4,1,2]);` - [#2477](https://github.com/gap-system/gap/pull/2477) Fix crash if `~` is used to modify list - [#2499](https://github.com/gap-system/gap/pull/2499) Fix crash in the kernel functions `{8,16,32}Bits_ExponentSums3` - [#2601](https://github.com/gap-system/gap/pull/2601) Fix crash in `MakeImmutable(rec(x:=~));` - [#2665](https://github.com/gap-system/gap/pull/2665) Fix crash when an empty filename is passed - [#2711](https://github.com/gap-system/gap/pull/2711) Fix crash when tracing buggy attribute/property methods that fail to return a value - [#2766](https://github.com/gap-system/gap/pull/2766) Fix obscure crashes by using `a!{l}` syntax inside a function (this syntax never was fully implemented and was unusable, and now has been removed) ### Fixed bugs that could lead to incorrect results - [#2085](https://github.com/gap-system/gap/pull/2085) Fix bugs in `JenningsLieAlgebra` and `PCentralLieAlgebra` that could e.g. lead to incorrect `LieLowerCentralSeries` results - [#2113](https://github.com/gap-system/gap/pull/2113) Fix `IsMonomial` for reducible characters and some related improvements - [#2183](https://github.com/gap-system/gap/pull/2183) Fix bug in `ValueMolienSeries` that could lead to `ValueMolienSeries(m,0)` not being 1 - [#2198](https://github.com/gap-system/gap/pull/2198) Make multiplication of larger integers by tiny floats commutative (e.g. now 10.^-300 \* 10^400 and 10^400 \* 10.^-300 both give infinity, while before 10^400 \* 10.^-300 gave 1.e+100); also ensure various strange inputs, like `rec()^1;`, produce an error (instead of setting `a^1 = a` and `1*a = a` for almost any kind of object) - [#2273](https://github.com/gap-system/gap/pull/2273) Fix `TypeOfOperation` for setters of and-filters - [#2275](https://github.com/gap-system/gap/pull/2275), [#2280](https://github.com/gap-system/gap/pull/2280) Fix `IsFinitelyGeneratedGroup` and `IsFinitelyGeneratedMonoid` to not (incorrectly) assume that a given infinite generating set implies that there is no finite generating set - [#2311](https://github.com/gap-system/gap/pull/2311) Do not set `IsFinitelyGeneratedGroup` for finitely generated magmas which are not groups - [#2452](https://github.com/gap-system/gap/pull/2452) Fix bug that allowed creating empty magmas in the filters `IsTrivial` and `IsMagmaWithInverses` - [#2689](https://github.com/gap-system/gap/pull/2689) Fix `LogFFE` to not return negative results on 32 bit systems - [#2766](https://github.com/gap-system/gap/pull/2766) Fix a bug that allowed creating corrupt permutations ### Fixed bugs that could lead to break loops - [#2040](https://github.com/gap-system/gap/pull/2040) Raise error if eager float literal conversion fails (fixes [#1105](https://github.com/gap-system/gap/pull/1105)) - [#2582](https://github.com/gap-system/gap/pull/2582) Fix `ExtendedVectors` for trivial vector spaces - [#2617](https://github.com/gap-system/gap/pull/2617) Fix `HighestWeightModule` for Lie algebras in certain cases - [#2829](https://github.com/gap-system/gap/pull/2829) Fix `ShallowCopy` for `IteratorOfCartesianProduct` ### Other fixed bugs - [#2220](https://github.com/gap-system/gap/pull/2220) Do not set `IsSubsetLocallyFiniteGroup` filter for finite fields - [#2268](https://github.com/gap-system/gap/pull/2268) Handle spaces in filenames of gzipped filenames - [#2269](https://github.com/gap-system/gap/pull/2269), [#2660](https://github.com/gap-system/gap/pull/2660) Fix some issues with the interface between GAP and **XGAP** (or other similar frontends for GAP) - [#2315](https://github.com/gap-system/gap/pull/2315) Prevent creation of groups of floats, just like we prevent creation of groups of cyclotomics - [#2350](https://github.com/gap-system/gap/pull/2350) Fix prompt after line continuation - [#2365](https://github.com/gap-system/gap/pull/2365) Fix tracing of mutable variants of `One`/`Zero`/`Inv`/`AInv` - [#2398](https://github.com/gap-system/gap/pull/2398) Fix `PositionStream` to report correct position - [#2467](https://github.com/gap-system/gap/pull/2467) Fix support for identifiers of length 1023 and more - [#2470](https://github.com/gap-system/gap/pull/2470) Do not display garbage after certain syntax error messages - [#2533](https://github.com/gap-system/gap/pull/2533) Fix composing a map with an identity map to not produce a range that is too big - [#2638](https://github.com/gap-system/gap/pull/2638) Fix result of `Random` on 64 bit big endian system to match those on little endian, and on 32 bit big endian - [#2672](https://github.com/gap-system/gap/pull/2672) Fix `MakeImmutable` for weak pointer objects, which previously failed to make subobjects immutable - [#2674](https://github.com/gap-system/gap/pull/2674) Fix `SaveWorkspace` to return `false` in case of an error, and `true` only if successful - [#2681](https://github.com/gap-system/gap/pull/2681) Fix `Display` for the character table of a trivial group - [#2716](https://github.com/gap-system/gap/pull/2716) When seeding a Mersenne twister from a string, the last few characters would not be used if the string length was not a multiple of 4. Fixing this may lead to different series of random numbers being generated. - [#2720](https://github.com/gap-system/gap/pull/2720) Reject workspaces made in a GAP with readline support in a GAP without, and vice versa, instead of crashing - [#2657](https://github.com/gap-system/gap/pull/2657) The subobjects of the mutable values of the attributes `ComputedClassFusions`, `ComputedIndicators`, `ComputedPowerMaps`, `ComputedPrimeBlockss` are now immutable. This makes sure that the values are not accidentally changed. This change may have side-effects in users' code, for example the object returned by `0 * ComputedPowerMaps( CharacterTable( "A5" ) )[2]` had been a mutable list before the change, and is an immutable list from now on. ### Removed or obsolete functionality - Remove multiple undocumented internal functions. Nobody should have been using them, but if you were, you may extract it from a previous GAP release that still contained it. ([#2670](https://github.com/gap-system/gap/pull/2670), [#2781](https://github.com/gap-system/gap/pull/2781) and more) - [#2335](https://github.com/gap-system/gap/pull/2335) Remove several functions and variables that were deprecated for a long time: `DiagonalizeIntMatNormDriven`, `DeclarePackageDocumentation`, `KERNEL_VERSION`, `GAP_ROOT_PATHS`, `LOADED_PACKAGES`, `PACKAGES_VERSIONS`, `IsTuple`, `StateRandom`, `RestoreStateRandom`, `StatusRandom`, `FactorCosetOperation`, `ShrinkCoeffs`, `ExcludeFromAutoload`, `CharacterTableDisplayPrintLegendDefault`, `ConnectGroupAndCharacterTable`, `IsSemilatticeAsSemigroup`, `CreateCompletionFiles`, `PositionFirstComponent`, `ViewLength` - [#2502](https://github.com/gap-system/gap/pull/2502) Various kernel functions now validate their inputs more carefully (making it harder to produce bad effects by accidentally passing bad data to them) - [#2700](https://github.com/gap-system/gap/pull/2700) Forbid constructors with 0 arguments (they were never meaningful) ### Packages GAP 4.10.0 distribution includes 140 packages. Added to the distribution: - The **francy** package by Manuel Martins, which provides an interface to draw graphics using objects. This interface allows creation of directed and undirected graphs, trees, line charts, bar charts and scatter charts. These graphical objects are drawn inside a canvas that includes a space for menus and to display informative messages. Within the canvas it is possible to interact with the graphical objects by clicking, selecting, dragging and zooming. - The **JupyterVis** package by Nathan Carter, which is intended for use in Jupyter Notebooks running GAP kernels and adds visualization tools for use in such notebooks, such as charts and graphs. No longer redistributed with GAP: - The **linboxing** package has been unusable (it does not compile) for several years now, and is unmaintained. It was therefore dropped from the GAP package distribution. If anybody is willing to take over and fix the package, the latest sources are available at . - The **recogbase** package has been merged into the `recog` package, and therefore is no longer distributed with GAP. ## GAP 4.9.3 (September 2018) ### Fixed bugs that could lead to break loops: - Fixed a regression in `HighestWeightModule` caused by changes in sort functions introduced in GAP 4.9 release ([#2617](https://github.com/gap-system/gap/pull/2617)). ### Other fixed bugs and further improvements: - Fixed a compile time assertion that caused compiler error on some systems ([#2691](https://github.com/gap-system/gap/pull/2691)). ### New and updated packages since GAP 4.9.2 This release contains updated versions of 18 packages from GAP 4.9.2 distribution. Additionally, it has three new packages: - The **curlInterface** package by Christopher Jefferson and Michael Torpey, which provides a simple wrapper around [**libcurl**](https://curl.haxx.se/) to allow downloading files over http, ftp and https protocols. - The **datastructures** package by Markus Pfeiffer, Max Horn, Christopher Jefferson and Steve Linton, which aims at providing standard datastructures, consolidating existing code and improving on it, in particular in view of **HPC-GAP**. - The **DeepThought** package by Nina Wagner and Max Horn, which provides functionality for computations in finitely generated nilpotent groups given by a suitable presentation using Deep Thought polynomials. ## GAP 4.9.2 (July 2018) ### Fixed bugs that could lead to break loops: - Fixed a bug in iterating over an empty cartesian product ([#2421](https://github.com/gap-system/gap/pull/2421)). (Reported by @isadofschi) ### Fixed bugs that could lead to crashes: - Fixed a crash after entering `return;` in a "method not found" break loop ([#2449](https://github.com/gap-system/gap/pull/2449)). - Fixed a crash when an error occurs and `OutputLogTo` points to a stream which internally uses another stream ([#2596](https://github.com/gap-system/gap/pull/2596)). ### Fixed bugs that could lead to incorrect results: - Fixed a bug in computing maximal subgroups, which broke some other calculations, in particular, computing intermediate subgroups. ([#2488](https://github.com/gap-system/gap/pull/2488)). (Reported by Seyed Hassan Alavi) ### Other fixed bugs and further improvements: - Profiling now correctly handles calls to `longjmp` and allows to generate profiles using version 2.0.1 of the **Profiling** package ([#2444](https://github.com/gap-system/gap/pull/2444)). - The `bin/gap.sh` script now respects the `GAP_DIR` environment variable ([#2465](https://github.com/gap-system/gap/pull/2465)). (Contributed by RussWoodroofe) - The `bin/BuildPackages.sh` script now properly builds binaries for the **simpcomp** package ([#2475](https://github.com/gap-system/gap/pull/2475)). - Fixed a bug in restoring a workspace, which prevented GAP from saving the history if a workspace was loaded during startup ([#2578](https://github.com/gap-system/gap/pull/2578)). ### New and updated packages since GAP 4.9.1 This release contains updated versions of 22 packages from GAP 4.9.1 distribution. Additionally, it has three new packages. The new **JupyterKernel** package by Markus Pfeiffer provides a so-called *kernel* for the [Jupyter](https://jupyter.org/) interactive document system. This package requires Jupyter to be installed on your system ([instructions](https://jupyter.org/install)). It also requires GAP packages **IO**, **ZeroMQInterface**, **json**, and also two new packages by Markus Pfeiffer called **crypting** and **uuid**, all included into GAP 4.9.2 distribution. The **JupyterKernel** package is not yet usable on Windows. ## GAP 4.9.1 (May 2018) This is the first public release of GAP 4.9. ### Major changes: - Merged **HPC-GAP** into GAP. For details, please refer to the end of these release notes. - GAP has a new build system, which resolves many quirks and issues with the old system, and will be easier to maintain. For regular users, the usual `./configure && make` should work fine as before. If you are interested in technical details on the new build system, take a look at `README.buildsys.md`. - The guidelines for developing GAP packages were revised and moved from the Example package to the reference manual. ([#484](https://github.com/gap-system/gap/pull/484)). - In addition to supporting single argument lambda functions like `a -> a+1`, GAP now supports lambdas with fewer or more than one argument, or even a variable number. E.g. `{a,b} -> a+b` is a shorthand for `function(a,b) return a+b; end`. For details on how to use this, please refer to the reference manual. For technical details, e.g. why we did not choose the syntax `(a,b) -> a+b`, see [#490](https://github.com/gap-system/gap/pull/490). - Function calls, list accesses and records accesses now can be nested. For example, you can now write `y := f().x;` (essentially equivalent to `y := f();; y := y.x;`), which previously would have resulted in an error; see [#457](https://github.com/gap-system/gap/issues/457) and [#462](https://github.com/gap-system/gap/pull/462)). - The libraries of small, primitive and transitive groups which previously were an integral part of GAP were split into three separate packages [PrimgGrp](http://gap-packages.github.io/primgrp/), [SmallGrp](https://gap-packages.github.io/smallgrp/) and [TransGrp](http://www.math.colostate.edu/~hulpke/transgrp/). For backwards compatibility, these are required packages in GAP 4.9 (i.e., GAP will not start without them). We plan to change this for GAP 4.10 (see [#2434](https://github.com/gap-system/gap/pull/2434)), once all packages which currently implicitly rely on these new packages had time to add explicit dependencies on them ([#1650](https://github.com/gap-system/gap/pull/1650), [#1714](https://github.com/gap-system/gap/pull/1714)). - The performance of GAP's sorting functions (such as `Sort`, `SortParallel`, etc.) has been substantially improved, in some examples by more than a factor of four: as a trivial example, compare the timing for `Sort([1..100000000] * 0)`. As a side effect, the result of sorting lists with equal entries may produce different answers compared to previous GAP versions. If you would like to make your code independent of the exact employed sorting algorithm, you can use the newly added `StableSort`, `StableSortBy` and `StableSortParallel`. (For some technical details, see [#609](https://github.com/gap-system/gap/pull/609)). - We removed our old home-grown big integer code, and instead always use the GMP based big integer code. This means that the GMP library now is a required dependency, not just an optional one. Note that GAP has been using GMP big integer arithmetic for a long time by default, and we also have been bundling GMP with GAP. So this change mostly removed code that was never in use for most users. - A number of improvements have been made to `Random`. These may lead to different sequences of numbers being created. On the up side, many more methods for `Random` (and other `RandomXYZ` operations) now optionally take an explicit `RandomSource` as first argument (but not yet all: help with issue [#1098](https://github.com/gap-system/gap/pull/1098) is welcome). Some relevant pull requests: - Allow creating random permutations using a random source ([#1165](https://github.com/gap-system/gap/pull/1165)) - Let more `Random` methods use an alternative source ([#1168](https://github.com/gap-system/gap/pull/1168)) - Help `Random` methods to use `RandomSource` ([#810](https://github.com/gap-system/gap/pull/810)) - Remove uses of old random generator ([#808](https://github.com/gap-system/gap/pull/808)) - Fix `Random` on long (\>2^28) lists ([#781](https://github.com/gap-system/gap/pull/781)) - Fix `RandomUnimodularMat` ([#1511](https://github.com/gap-system/gap/pull/1511)) - Use `RandomSource` in a few more places ([#1599](https://github.com/gap-system/gap/pull/1599)) - The output and behaviour of the profiling system has been substantially improved: - Make profiling correctly handle the same file being opened multiple times ([#1069](https://github.com/gap-system/gap/pull/1069)) - Do not profile the `return` statements inserted into the end of functions ([#1073](https://github.com/gap-system/gap/pull/1073)) - Ensure we reset `OutputtedFilenameList` in profiling when a workspace is restored ([#1164](https://github.com/gap-system/gap/pull/1164)) - Better tracking of amounts of memory allocated and time spent in the garbage collector ([#1806](https://github.com/gap-system/gap/pull/1806)) - Allow profiling of memory usage ([#1808](https://github.com/gap-system/gap/pull/1808)) - Remove profiling limit on files with \<= 2^16 lines ([#1913](https://github.com/gap-system/gap/pull/1913)) - In many cases GAP now outputs the filename and location of functions in helpful places, e.g. in error messages or when displaying compiled functions. We also try to always use the format `FILENAME:LINE`, which various utilities already know how to parse (e.g. in **iTerm2**, cmd-clicking on such a string can be configured to open an editor for the file at the indicated line). For some technical details, see [#469](https://github.com/gap-system/gap/pull/469), [#755](https://github.com/gap-system/gap/pull/755\)), [#1058](https://github.com/gap-system/gap/pull/1058). - GAP now supports constant variables, whose value cannot change anymore during runtime; code using such constants can then be slightly optimized by GAP. E.g. if `foo` is turned into a constant variable bound to the value `false`, then GAP can optimize `if foo then ... fi;` blocks completely away. For details, see the documentation for `MakeConstantGlobal`. ([#1682](https://github.com/gap-system/gap/pull/1682), [#1770](https://github.com/gap-system/gap/pull/1770)) ### Other changes: - Enhance `StructureDescription` with a major rewrite, enhancing `DirectFactorsOfGroup"` and adding `SemidirectDecompositions`; the core algorithm now also works for infinite abelian groups. Further, it became faster by quickly finding abelian direct factors and recognizing several cases where the group is direct indecomposable. ([#379](https://github.com/gap-system/gap/pull/379), [#763](https://github.com/gap-system/gap/pull/763), [#985](https://github.com/gap-system/gap/pull/985)) - Mark `FittingSubgroup` and `FrattiniSubgroup` as nilpotent ([#400](https://github.com/gap-system/gap/pull/400)) - Add method for `Socle` for finite nilpotent groups ([#402](https://github.com/gap-system/gap/pull/402)) - Change `ViewString` and `String` methods for various inverse semigroups and monoids ([#438](https://github.com/gap-system/gap/pull/438), [#880](https://github.com/gap-system/gap/pull/880), [#882](https://github.com/gap-system/gap/pull/882)) - Enhance some nilpotent and p-group attributes ([#442](https://github.com/gap-system/gap/pull/442)) - Improve `Union` for a list with many ranges ([#444](https://github.com/gap-system/gap/pull/444)) - Add `UserHomeExpand`, a function to expand `~` in filenames. ([#447](https://github.com/gap-system/gap/pull/447)) - Extra hint in "No Method Found" error message if one of the arguments is `fail` ([#460](https://github.com/gap-system/gap/pull/460)) - Tell Sylow subgroups of natural A_n or S_n their size when we make them ([#529](https://github.com/gap-system/gap/pull/529)) - Some small enhancements on Sylow and Hall subgroup computations, mostly for nilpotent groups. ([#535](https://github.com/gap-system/gap/pull/535)) - Remove `.zoo` archive related tools ([#540](https://github.com/gap-system/gap/pull/540)) - Add new `FrattiniSubgroup`, `MaximalNormalSubgroups`, `MinimalNormalSubgroups` and `Socle` methods for abelian and/or solvable groups, even infinite ones. The new methods are only triggered if the group already knows that it is abelian and/or solvable. ([#552](https://github.com/gap-system/gap/pull/552), [#583](https://github.com/gap-system/gap/pull/583), [#606](https://github.com/gap-system/gap/pull/606)) - New attribute `NormalHallSubgroups`, returning a list of all normal Hall subgroups of a group. ([#561](https://github.com/gap-system/gap/pull/561)) - Add `ComplementClassesRepresentatives` fallback method for arbitrary groups ([#563](https://github.com/gap-system/gap/pull/563)) - ([#612](https://github.com/gap-system/gap/pull/612)) Add parsing of hex literals in strings, e.g. `"\0x61"` is turned into `"a"` ([#612](https://github.com/gap-system/gap/pull/612)) - Collection of enhancements ([#683](https://github.com/gap-system/gap/pull/683)) - Various speed improvements to polynomial factorisation and the GAP MeatAxe ([#720](https://github.com/gap-system/gap/pull/720), [#1027](https://github.com/gap-system/gap/pull/1027)) - The code and documentation for transformations is improved and corrected in many instances ([#727](https://github.com/gap-system/gap/pull/727), [#732](https://github.com/gap-system/gap/pull/732)) - Change `RootFFE` to optionally takes a field or field size as first argument, from which the roots will be taken ([#761](https://github.com/gap-system/gap/pull/761)) - Change `Permanent` from a global function to an attribute ([#777](https://github.com/gap-system/gap/pull/777)) - Add `CallFuncListWrap` to wrap return value to allow distinguishing between functions which return and functions which don't ([#824](https://github.com/gap-system/gap/pull/824)) - Allow repeated use of same `DeclareSynonym` call ([#835](https://github.com/gap-system/gap/pull/835)) - New implementation of modified Todd-Coxeter (the old one had bugs, see [#302](https://github.com/gap-system/gap/issues/302)), [#843](https://github.com/gap-system/gap/pull/843)) - New functionality: Cannon/Holt automorphisms and others ([#878](https://github.com/gap-system/gap/pull/878)) - Add `IsPowerfulPGroup` property, and a `FrattiniSubgroup` method for powerful p-groups ([#894](https://github.com/gap-system/gap/pull/894)) - Improve performance for group isomorphism/automorphisms ([#896](https://github.com/gap-system/gap/pull/896), [#968](https://github.com/gap-system/gap/pull/968)) - Make `ListX`, `SetX`, `SumX` and `ProductX` support lists which are not collections ([#903](https://github.com/gap-system/gap/pull/903)) - Some improvements for `LatticeByCyclicExtension` ([#905](https://github.com/gap-system/gap/pull/905)) - Add helpers to retrieve information about operations and filters: `CategoryByName`, `TypeOfOperation`, `FilterByName`, `FiltersObj`, `FiltersType`, `IdOfFilter`, `IdOfFilterByName`, `IsAttribute`, `IsCategory`, `IsProperty`, `IsRepresentation` ([#925](https://github.com/gap-system/gap/pull/925), [#1593](https://github.com/gap-system/gap/pull/1593)) - Add case-insensitive autocomplete ([#928](https://github.com/gap-system/gap/pull/928)) - Give better error message if a help file is missing ([#939](https://github.com/gap-system/gap/pull/939)) - Add `LowercaseChar` and `UppercaseChar` ([#952](https://github.com/gap-system/gap/pull/952)) - Add `PositionMaximum` and `PositionMinimum` ([#956](https://github.com/gap-system/gap/pull/956)) - Switching default command history length from infinity to 1000 ([#960](https://github.com/gap-system/gap/pull/960)) - Allow conversion of `-infinity` to float via `NewFloat` and `MakeFloat` ([#961](https://github.com/gap-system/gap/pull/961)) - Add option `NoPrecomputedData` to avoid use of data libraries in certain computations (useful if one wants to verify the content of these data libraries) ([#986](https://github.com/gap-system/gap/pull/986)) - Remove one-argument version of `AsPartialPerm` for a transformation ([#1036](https://github.com/gap-system/gap/pull/1036)) - Partial perms now have a `MultiplicativeZero` rather than a `Zero`, since they are multiplicative rather than additive elements ([#1040](https://github.com/gap-system/gap/pull/1040)) - Various enhancements: ([#1046](https://github.com/gap-system/gap/pull/1046)) - A bugfix in `NaturalHomomorphismByIdeal` for polynomial rings - Improvements in handling solvable permutation groups - The trivial group now is a member of the perfect groups library - Improvements in using tabulated data for maximal subgroups - New tests for group constructors and some fixes (e.g. `GO(1,4,5)` used to trigger an error) ([#1053](https://github.com/gap-system/gap/pull/1053)) - Make `HasSolvableFactorGroup` slightly more efficient ([#1062](https://github.com/gap-system/gap/pull/1062)) - Enhance `HasXXFactorGroup` ([#1066](https://github.com/gap-system/gap/pull/1066)) - Remove GAP4stones from tests ([#1072](https://github.com/gap-system/gap/pull/1072)) - `AsMonoid` and `AsSemigroup` are now operations, and various bugs were resolved related to isomorphisms of semigroups and monoids ([#1112](https://github.com/gap-system/gap/pull/1112)) - Mark isomorphisms between trivial groups as bijective ([#1116](https://github.com/gap-system/gap/pull/1116)) - Speed up `RootMod` and `RootsMod` for moduli with large prime factors; also add `IS_PROBAB_PRIME_INT` kernel function ([#1141](https://github.com/gap-system/gap/pull/1141)) - The search for the documentation of system setters and testers now returns corresponding attributes and properties ([#1144](https://github.com/gap-system/gap/pull/1144)) - Remove command line options `-c`, `-U`, `-i` and `-X`, add `--quitonbreak` ([#1192](https://github.com/gap-system/gap/pull/1192), [#1265](https://github.com/gap-system/gap/pull/1265), [#1421](https://github.com/gap-system/gap/pull/1421), [#1448](https://github.com/gap-system/gap/pull/1448)) - Remove Itanium support ([#1163](https://github.com/gap-system/gap/pull/1163)) - Adding two strings now shows a more helpful error message ([#1314](https://github.com/gap-system/gap/pull/1314)) - Suppress `Unbound global variable` warning in `IsBound` ([#1334](https://github.com/gap-system/gap/pull/1334)) - Increase warning level for Conway polynomial ([#1363](https://github.com/gap-system/gap/pull/1363)) - Performance improvements to maximal and intermediate subgroups, fix of `RepresentativeAction` ([#1390](https://github.com/gap-system/gap/pull/1390)) - Revise Chapter 52 of the reference manual (fp semigroups and monoids) ([#1441](https://github.com/gap-system/gap/pull/1441)) - Improve the performance of the `Info` statement ([#1464](https://github.com/gap-system/gap/pull/1464), [#1770](https://github.com/gap-system/gap/pull/1770)) - When printing function bodies, avoid some redundant spaces ([#1498](https://github.com/gap-system/gap/pull/1498)) - Add kernel functions for directly accessing entries of GF2/8bit compressed matrices ([#1585](https://github.com/gap-system/gap/pull/1585)) - Add `String` method for functions ([#1591](https://github.com/gap-system/gap/pull/1591)) - Check modules were compiled with the same version of GAP when loading them ([#1600](https://github.com/gap-system/gap/pull/1600)) - When printing function, reproduce `TryNextMethod()` correctly ([#1613](https://github.com/gap-system/gap/pull/1613)) - New "Bitfields" feature providing efficient support for packing multiple data items into a single word for cache and memory efficiency ([#1616](https://github.com/gap-system/gap/pull/1616)) - Improved `bin/BuildPackages.sh`, in particular added option to abort upon failure ([#2022](https://github.com/gap-system/gap/pull/2022)) - Rewrote integer code (GMP) for better performance of certain large integer operations, and added kernel implementations of various functions, including these: - Add kernel implementations of `AbsInt`, `SignInt`; add new kernel functions `ABS_RAT`, `SIGN_RAT`; and speed up `mod`, `RemInt`, `QuoInt` for divisors which are small powers of 2 ([#1045](https://github.com/gap-system/gap/pull/1045)) - Add kernel implementations of `Jacobi`, `PowerModInt`, `Valuation` (for integers), `PValuation` (for integers) ([#1075](https://github.com/gap-system/gap/pull/1045)) - Add kernel implementation of `Factorial` ([#1969](https://github.com/gap-system/gap/pull/1969)) - Add kernel implementation of `Binomial` ([#1921](https://github.com/gap-system/gap/pull/1921)) - Add kernel implementation of `LcmInt` ([#2019](https://github.com/gap-system/gap/pull/2019)) - Check version of kernel for package versions ([#1600](https://github.com/gap-system/gap/pull/1600)) - Add new `AlgebraicExtensionNC` operation ([#1665](https://github.com/gap-system/gap/pull/1665)) - Add `NumberColumns` and `NumberRows` to `MatrixObj` interface ([#1657](https://github.com/gap-system/gap/pull/1657)) - `MinimalGeneratingSet` returns an answer for non-cyclic groups that already have a generating set of size 2 (which hence is minimal) ([#1755](https://github.com/gap-system/gap/pull/1755)) - Add `GetWithDefault` which returns the n-th element of the list if it is bound, and the default value otherwise ([#1762](https://github.com/gap-system/gap/pull/1762)) - Fast method for `ElmsBlist` when positions are a range with increment 1 ([#1773](https://github.com/gap-system/gap/pull/1773)) - Make permutations remember their inverses ([#1831](https://github.com/gap-system/gap/pull/1831)) - Add invariant forms for `GU(1,q)` and `SU(1,q)` ([#1874](https://github.com/gap-system/gap/pull/1874)) - Implement `StandardAssociate` and `StandardAssociateUnit` for `ZmodnZ`, clarify documentation for `IsEuclideanRing` ([#1990](https://github.com/gap-system/gap/pull/1990)) - Improve documentation and interface for floats ([#2016](https://github.com/gap-system/gap/pull/2016)) - Add `PositionsProperty` method for non-dense lists ([#2021](https://github.com/gap-system/gap/pull/2021)) - Add `TrivialGroup(IsFpGroup)` ([#2037](https://github.com/gap-system/gap/pull/2037)) - Change `ObjectifyWithAttributes` to return the new objects ([#2098](https://github.com/gap-system/gap/pull/2098)) - Removed a never released undocumented **HPC-GAP** syntax extension which allowed to use a backtick/backquote as alias for `MakeImmutable`. ([#2202](https://github.com/gap-system/gap/pull/2202)). - Various changes ([#2253](https://github.com/gap-system/gap/pull/2253)): - Improve performance and memory usage of `ImageKernelBlocksHomomorphism"` - Document `LowIndexSubgroups` - Correct `ClassesSolvableGroup` documentation to clarify that it requires, but does not test membership - fix `IsNaturalGL` for trivial matrix groups with empty generating set - Make it possible to interrupt `repeat continue; until false;` and similar tight loops with "Ctrl-C" ([#2259](https://github.com/gap-system/gap/pull/2259)). - Improved GAP testing infrastructure, extended GAP test suite, and increased code coverage - Countless other tweaks, improvements, fixes were applied to the GAP library, kernel and manual ### Fixed bugs: - Fix bugs in `NormalSubgroups` and `PrintCSV` ([#433](https://github.com/gap-system/gap/pull/433)) - Fix nice monomorphism dispatch for `HallSubgroup` (e.g. fixes `HallSubgroup(GL(3,4), [2,3])`) ([#559](https://github.com/gap-system/gap/pull/559)) - Check for permutations whose degree would exceed the internal limit, and document that limit ([#581](https://github.com/gap-system/gap/pull/581)) - Fix segfault after quitting from the break loop in certain cases ([#709](https://github.com/gap-system/gap/pull/709) which fixes [#397](https://github.com/gap-system/gap/issues/397)) - Fix rankings for `Socle` and `MinimalNormalSubgroups` ([#711](https://github.com/gap-system/gap/pull/711)) - Make key and attribute values immutable ([#714](https://github.com/gap-system/gap/pull/714)) - Make `OnTuples([-1], (1,2))` return an error ([#718](https://github.com/gap-system/gap/pull/718)) - Fix bug in `NewmanInfinityCriterion` which could corrupt the `PCentralSeries` attribute ([#719](https://github.com/gap-system/gap/pull/719)) - The length of the list returned by `OnSetsPerm` is now properly set ([#731](https://github.com/gap-system/gap/pull/731)) - Fix `Remove` misbehaving when last member of list with gaps in it is removed ([#766](https://github.com/gap-system/gap/pull/766)) - Fix bugs in various methods for Rees (0-)matrix semigroups: `IsFinite`, `IsOne`, `Enumerator`, `IsReesMatrixSemigroup` and `IsReesZeroMatrixSemigroup` ([#768](https://github.com/gap-system/gap/pull/768), [#1676](https://github.com/gap-system/gap/pull/1676)) - Fix `IsFullTransformationSemigroup` to work correctly for the full transformation semigroup of degree 0 ([#769](https://github.com/gap-system/gap/pull/769)) - Fix printing very large (\> 2^28 points) permutations ([#782](https://github.com/gap-system/gap/pull/782)) - Fix `Intersection([])` ([#854](https://github.com/gap-system/gap/pull/854)) - Fix crash in `IsKernelFunction` for some inputs ([#876](https://github.com/gap-system/gap/pull/876)) - Fix bug in `ShortestVectors` which could cause `OrthogonalEmbeddings` to enter a break loop ([#941](https://github.com/gap-system/gap/pull/941)) - Fix crash in some methods involving partial perms ([#948](https://github.com/gap-system/gap/pull/948)) - `FreeMonoid(0)` no longer satisfies `IsGroup` ([#950](https://github.com/gap-system/gap/pull/950)) - Fix crash when invoking weak pointer functions on invalid arguments ([#1009](https://github.com/gap-system/gap/pull/1009)) - Fix a bug parsing character constants ([#1015](https://github.com/gap-system/gap/pull/1015)) - Fix several bugs and crashes in `Z(p,d)` for invalid arguments, e.g. `Z(4,5)`, `Z(6,3)` ([#1029](https://github.com/gap-system/gap/pull/1029), [#1059](https://github.com/gap-system/gap/pull/1059), [#1383](https://github.com/gap-system/gap/pull/1383), [#1573](https://github.com/gap-system/gap/pull/1573)) - Fix starting GAP on systems with large inodes ([#1033](https://github.com/gap-system/gap/pull/1033)) - Fix `NrFixedPoints` and `FixedPointsOfPartialPerm` for a partial perm and a partial perm semigroup (they used to return the moved points rather than the fixed points) ([#1034](https://github.com/gap-system/gap/pull/1034)) - Fix `MeetOfPartialPerms` when given a collection of 1 or 0 partial perms ([#1035](https://github.com/gap-system/gap/pull/1035)) - The behaviour of `AsPartialPerm` for a transformation and a list is corrected ([#1036](https://github.com/gap-system/gap/pull/1036)) - `IsomorphismReesZeroMatrixSemigroup` for a 0-simple semigroup is now defined on the zero of the source and range semigroups ([#1038](https://github.com/gap-system/gap/pull/1038)) - Fix isomorphisms from finitely-presented monoids to finitely-presented semigroups, and allow isomorphisms from semigroups to fp-monoids ([#1039](https://github.com/gap-system/gap/pull/1039)) - Fix `One` for a partial permutation semigroup without generators ([#1040](https://github.com/gap-system/gap/pull/1040)) - Fix `MemoryUsage` for positional and component objects ([#1044](https://github.com/gap-system/gap/pull/1044)) - Fix `PlainString` causing immutable strings to become mutable ([#1096](https://github.com/gap-system/gap/pull/1096)) - Restore support for sparc64 ([#1124](https://github.com/gap-system/gap/pull/1124)) - Fix a problem with \`\<\` for transformations, which could give incorrect results ([#1130](https://github.com/gap-system/gap/pull/1130)) - Fix crash when comparing recursive data structures such as `[~] = [~]` ([#1151](https://github.com/gap-system/gap/pull/1151)) - Ensure output of `TrivialGroup(IsPermGroup)` has zero generators ([#1247](https://github.com/gap-system/gap/pull/1247)) - Fix for applying the `InverseGeneralMapping` of an `IsomorphismFpSemigroup` ([#1259](https://github.com/gap-system/gap/pull/1259)) - Collection of improvements and fixes: ([#1294](https://github.com/gap-system/gap/pull/1294)) - A fix for quotient rings of rings by structure constants - Generic routine for transformation matrix to rational canonical form - Speed improvements to block homomorphisms - New routines for conjugates or subgroups with desired containment - Performance improvement for conjugacy classes in groups with a huge number of classes, giving significant improvements to `IntermediateSubgroups` (e.g. 7-Sylow subgroup in PSL(7,2)), ascending chain and thus in turn double coset calculations and further routines that rely on it - Fix `EqFloat` to return correct results, instead of always returning `false` ([#1370](https://github.com/gap-system/gap/pull/1370)) - Various changes, including fixes for `CallFuncList` ([#1417](https://github.com/gap-system/gap/pull/1417)) - Better define the result of `MappingPermListList` ([#1432](https://github.com/gap-system/gap/pull/1432)) - Check the arguments to `IsInjectiveListTrans` to prevent crashes ([#1435](https://github.com/gap-system/gap/pull/1435)) - Change `BlownUpMat` to return fail for certain invalid inputs ([#1488](https://github.com/gap-system/gap/pull/1488)) - Fixes for creating Green's classes of semigroups ([#1492](https://github.com/gap-system/gap/pull/1492), [#1771](https://github.com/gap-system/gap/pull/1771)) - Fix `DoImmutableMatrix` for finite fields ([#1504](https://github.com/gap-system/gap/pull/1504)) - Make structural copy handle boolean lists properly ([#1514](https://github.com/gap-system/gap/pull/1514)) - Minimal fix for algebraic extensions over finite fields of order \> 256 ([#1569](https://github.com/gap-system/gap/pull/1569)) - Fix for computing quotients of certain algebra modules ([#1669](https://github.com/gap-system/gap/pull/1669)) - Fix an error in the default method for `PositionNot` ([#1672](https://github.com/gap-system/gap/pull/1672)) - Improvements to Rees matrix semigroups code and new tests ([#1676](https://github.com/gap-system/gap/pull/1676)) - Fix `CodePcGroup` for the trivial polycyclic group ([#1679](https://github.com/gap-system/gap/pull/1679)) - Fix `FroidurePinExtendedAlg` for partial permutation monoids ([#1697](https://github.com/gap-system/gap/pull/1697)) - Fix computing the radical of a zero dimensional associative algebra ([#1701](https://github.com/gap-system/gap/pull/1701)) - Fix a bug in `RadicalOfAlgebra` which could cause a break loop for some associative algebras ([#1716](https://github.com/gap-system/gap/pull/1716)) - Fix a recursion depth trap error when repeatedly calling `Test` ([#1753](https://github.com/gap-system/gap/pull/1753)) - Fix bugs in `PrimePGroup` for direct products of p-groups ([#1754](https://github.com/gap-system/gap/pull/1754)) - Fix `UpEnv` (available in break loops) when at the bottom of the backtrace ([#1780](https://github.com/gap-system/gap/pull/1780)) - Fix `IsomorphismPartialPermSemigroup` and `IsomorphismPartialPermMonoid` for permutation groups with 0 generators ([#1784](https://github.com/gap-system/gap/pull/1784)) - Fix `DisplaySemigroup` for transformation semigroups ([#1785](https://github.com/gap-system/gap/pull/1785)) - Fix "no method found" errors in `MagmaWithOne` and `MagmaWithInverses` ([#1798](https://github.com/gap-system/gap/pull/1798)) - Fix an error computing kernel of group homomorphism from fp group into permutation group ([#1809](https://github.com/gap-system/gap/pull/1809)) - Fix an error in MTC losing components when copying a new augmented coset table ([#1809](https://github.com/gap-system/gap/pull/1809)) - Fix output of `Where` in a break loop, which pointed at the wrong code line in some cases ([#1814](https://github.com/gap-system/gap/pull/1814)) - Fix the interaction of signals in GAP and the **IO** package ([#1851](https://github.com/gap-system/gap/pull/1851)) - Make line editing resilient to `LineEditKeyHandler` failure (in particular, don't crash) ([#1856](https://github.com/gap-system/gap/pull/1856)) - Omit non-characters from `PermChars` results ([#1867](https://github.com/gap-system/gap/pull/1867)) - Fix `ExteriorPower` when exterior power is 0-dimensional (used to return a 1-dimensional result) ([#1872](https://github.com/gap-system/gap/pull/1872)) - Fix recursion depth trap and other improvements for quotients of fp groups ([#1884](https://github.com/gap-system/gap/pull/1884)) - Fix a bug in the computation of a permutation group isomorphic to a group of automorphisms ([#1907](https://github.com/gap-system/gap/pull/1907)) - Fix bug in `InstallFlushableValueFromFunction` ([#1920](https://github.com/gap-system/gap/pull/1920)) - Fix `ONanScottType` and introduce `RestrictedInverseGeneralMapping` ([#1937](https://github.com/gap-system/gap/pull/1937)) - Fix `QuotientMod` documentation, and the integer implementation. This partially reverts changes made in version 4.7.8 in 2013. The documentation is now correct (resp. consistent again), and several corner cases, e.g. `QuotientMod(0,0,m)` now work correctly ([#1991](https://github.com/gap-system/gap/pull/1991)) - Fix `PositionProperty` with from \< 1 ([#2056](https://github.com/gap-system/gap/pull/2056)) - Fix inefficiency when dealing with certain algebra modules ([#2058](https://github.com/gap-system/gap/pull/2058)) - Restrict capacity of plain lists to 2^28 in 32-bit and 2^60 in 64-bit builds ([#2064](https://github.com/gap-system/gap/pull/2064)) - Fix crashes with very large heaps (\> 2 GB) on 32 bit systems, and work around a bug in `memmove` in 32-bit glibc versions which could corrupt memory (affects most current Linux distributions) ([#2166](https://github.com/gap-system/gap/pull/2166)). - Fix name of the `reversed` option in documentation of `LoadAllPackages` ([#2167](https://github.com/gap-system/gap/pull/2167)). - Fix `TriangulizedMat([])` (see `TriangulizedMat` to return an empty list instead of producing an error ([#2260](https://github.com/gap-system/gap/pull/2260)). - Fix several potential (albeit rare) crashes related to garbage collection ([#2321](https://github.com/gap-system/gap/pull/2321), [#2313](https://github.com/gap-system/gap/pull/2313), [#2320](https://github.com/gap-system/gap/pull/2320)). ### Removed or obsolete functionality: - Make `SetUserPreferences` obsolete (use `SetUserPreference` instead) ([#512](https://github.com/gap-system/gap/pull/512)) - Remove undocumented `NameIsomorphismClass` ([#597](https://github.com/gap-system/gap/pull/597)) - Remove unused code for rational classes of permutation groups ([#886](https://github.com/gap-system/gap/pull/886)) - Remove unused and undocumented `Randomizer` and `CheapRandomizer` ([#1113](https://github.com/gap-system/gap/pull/1113)) - Remove `install-tools.sh` script and documentation mentioning it ([#1305](https://github.com/gap-system/gap/pull/1305)) - Withdraw `CallWithTimeout` and `CallWithTimeoutList` ([#1324](https://github.com/gap-system/gap/pull/1324)) - Make `RecFields` obsolete (use `RecNames` instead) ([#1331](https://github.com/gap-system/gap/pull/1331)) - Remove undocumented `SuPeRfail` and `READ_COMMAND` ([#1374](https://github.com/gap-system/gap/pull/1374)) - Remove unused `oldmatint.gi` (old methods for functions that compute Hermite and Smith normal forms of integer matrices) ([#1765](https://github.com/gap-system/gap/pull/1765)) - Make `TRANSDEGREES` obsolete ([#1852](https://github.com/gap-system/gap/pull/1852)) ### **HPC-GAP** GAP includes experimental code to support multithreaded programming in GAP, dubbed **HPC-GAP** (where HPC stands for "high performance computing"). GAP and **HPC-GAP** codebases diverged during the project, and we are currently working on unifying the codebases and incorporating the **HPC-GAP** code back into the mainstream GAP versions. This is work in progress, and **HPC-GAP** as it is included with GAP right now still suffers from various limitations and problems, which we are actively working on to resolve. However, including it with GAP (disabled by default) considerably simplifies development of **HPC-GAP**. It also means that you can very easily get a (rough\!) sneak peak of **HPC-GAP**. It comes together with the new manual book called "**HPC-GAP** Reference Manual" and located in the \`doc/hpc\` directory. Users interested in experimenting with shared memory parallel programming in GAP can build **HPC-GAP** by following the [instructions](https://github.com/gap-system/gap/wiki/Building-HPC-GAP). While it is possible to build **HPC-GAP** from a release version of GAP you downloaded from the GAP website, due to the ongoing development of **HPC-GAP**, we recommend that you instead build **HPC-GAP** from the latest development version available in the GAP [repository at GitHub](https://github.com/gap-system/gap). ### New and updated packages since GAP 4.8.10 There were 132 packages redistributed together with GAP 4.8.10. The GAP 4.9.1 distribution includes 134 packages, including numerous updates of previously redistributed packages, and some major changes outlined below. The libraries of small, primitive and transitive groups which previously were an integral part of GAP were split into three separate packages [PrimgGrp](http://gap-packages.github.io/primgrp/), [SmallGrp](https://gap-packages.github.io/smallgrp/) and [TransGrp](http://www.math.colostate.edu/~hulpke/transgrp/): - The **PrimGrp** package by Alexander Hulpke, Colva M. Roney-Dougal and Christopher Russell provides the library of primitive permutation groups which includes, up to permutation isomorphism (i.e., up to conjugacy in the corresponding symmetric group), all primitive permutation groups of degree \< 4096. - The **SmallGrp** package by Bettina Eick, Hans Ulrich Besche and Eamonn O’Brien provides the library of groups of certain "small" orders. The groups are sorted by their orders and they are listed up to isomorphism; that is, for each of the available orders a complete and irredundant list of isomorphism type representatives of groups is given. - The **TransGrp** package by Alexander Hulpke provides the library of transitive groups, with an optional download of the library of transitive groups of degree 32. For backwards compatibility, these are required packages in GAP 4.9 (i.e., GAP will not start without them). We plan to change this for GAP 4.10 (see [#2434](https://github.com/gap-system/gap/pull/2434)), once all packages which currently implicitly rely on these new packages had time to add explicit dependencies on them ([#1650](https://github.com/gap-system/gap/pull/1650), [#1714](https://github.com/gap-system/gap/pull/1714)). The new **ZeroMQInterface** package by Markus Pfeiffer and Reimer Behrends has been added for the redistribution. It provides both low-level bindings as well as some higher level interfaces for the [ZeroMQ](http://zeromq.org/) message passing library for GAP and **HPC-GAP** enabling lightweight distributed computation. The **HAPprime** package by Paul Smith is no longer redistributed with GAP. Part of the code has been incorporated into the **HAP** package. Its source code repository, containing the code of the last distributed version, can still be found at . Also, the **ParGAP** package by Gene Cooperman is no longer redistributed with GAP because it no longer can be compiled with GAP 4.9 (see [this announcement](https://mail.gap-system.org/pipermail/gap/2018-March/001082.html)). Its source code repository, containing the code of the last distributed version, plus some first fixes needed for compatibility for GAP 4.9, can still be found at . If somebody is interested in repairing this package and taking over its maintenance, so that it can be distributed again, please contact the GAP team. ## GAP 4.8.8 (August 2017) ### Fixed bugs that could lead to incorrect results: - Fixed a bug in `RepresentativeAction` producing incorrect answers for both symmetric and alternating groups, with both `OnTuples` and `OnSets`, by producing elements outside the group. (Reported by Mun See Chang) ### Fixed bugs that could lead to break loops: - Fixed a bug in `RepresentativeAction` for S_n and A_n acting on non-standard domains. ### Other fixed bugs: - Fixed a problem with checking the path to a file when using the default browser as a help viewer on Windows. (Reported by Jack Saunders) ### New and updated packages since GAP 4.8.7 This release contains updated versions of 29 packages from GAP 4.8.7 distribution. Additionally, the **Gpd** package (author: Chris Wensley) has been renamed to **Groupoids**. ## GAP 4.8.7 (March 2017) ### Fixed bugs that could lead to incorrect results: - Fixed a regression from GAP 4.7.6 when reading compressed files after a workspace is loaded. Before the fix, if GAP is started with the `-L` option (load workspace), using `ReadLine` on the input stream for a compressed file returned by `InputTextFile` only returned the first character. (Reported by Bill Allombert) ### Other fixed bugs: - Fixed compiler warning occurring when GAP is compiled with gcc 6.2.0. (Reported by Bill Allombert) ### New and updated packages since GAP 4.8.6 This release contains updated versions of 19 packages from GAP 4.8.6 distribution. Additionally, the following package has been added for the redistribution with GAP: - **lpres** package (author: René Hartung, maintainer: Laurent Bartholdi) to work with L-presented groups, namely groups given by a finite generating set and a possibly infinite set of relations given as iterates of finitely many seed relations by a finite set of endomorphisms. The package implements nilpotent quotient, Todd-Coxeter and Reidemeister-Schreier algorithms for such groups. ## GAP 4.8.6 (November 2016) ### Fixed bugs that could lead to break loops: - Fixed regression in the GAP kernel code introduced in GAP 4.8.5 and breaking `StringFile` ability to work with compressed files. (Reported by Bill Allombert) ## GAP 4.8.5 (September 2016) ### Improved and extended functionality: - The error messages produced when an unexpected `fail` is returned were made more clear by explicitly telling that the result should not be boolean or `fail` (before it only said "not a boolean"). - For consistency, both `NrTransitiveGroups` and `TransitiveGroup` now disallow the transitive group of degree 1. ### Fixed bugs that could lead to incorrect results: - A bug in the code for algebraic field extensions over non-prime fields that may cause, for example, a list of all elements of the extension not being a duplicate-free. (Reported by Huta Gana) - So far, `FileString` only wrote files of sizes less than 2G and did not indicate an error in case of larger strings. Now strings of any length can be written, and in the case of a failure the corresponding system error is shown. ### Fixed bugs that could lead to break loops: - `NaturalHomomorphismByIdeal` was not reducing monomials before forming a quotient ring, causing a break loop on some inputs. (Reported by Dmytro Savchuk) - A bug in `DefaultInfoHandler` caused a break loop on startup with the setting `SetUserPreference( "InfoPackageLoadingLevel", 4 )`\`. (Reported by Mathieu Dutour) - The `Iterator` for permutation groups was broken when the `StabChainMutable` of the group was not reduced, which can reasonably happen as the result of various algorithms. ## GAP 4.8.4 (June 2016) ### New features: - The GAP distribution now includes `bin/BuildPackages.sh`, a script which can be started from the `pkg` directory via `../bin/BuildPackages.sh` and will attempt to build as many packages as possible. It replaces the `InstPackages.sh` script which was not a part of the GAP distribution and had to be downloaded separately from the GAP website. The new script is more robust and simplifies adding new packages with binaries, as it requires no adjustments if the new package supports the standard `./configure; make` build procedure. ### Improved and extended functionality: - `SimpleGroup` now produces more informative error message in the case when `AtlasGroup` could not load the requested group. - An info message with the suggestion to use `InfoPackageLoading` will now be displayed when `LoadPackage` returns `fail` (unless GAP is started with `-b` option). - The build system will now enable C++ support in GMP only if a working C++ compiler is detected. - More checks were added when embedding coefficient rings or rational numbers into polynomial rings in order to forbid adding polynomials in different characteristic. ### Fixed bugs that could lead to crashes: - Fixed the crash in `--cover` mode when reading files with more than 65,536 lines. ### Fixed bugs that could lead to incorrect results: - Fixed an error in the code for partial permutations that occurred on big-endian systems. (Reported by Bill Allombert) - Fixed the kernel method for `Remove` with one argument, which failed to reduce the length of a list to the position of the last bound entry. (Reported by Peter Schauenburg) Fixed bugs that could lead to break loops: ### - Fixed the break loop while using `Factorization` on permutation groups by removing some old code that relied on further caching in `Factorization`. (Reported by Grahame Erskine) - Fixed a problem with computation of maximal subgroups in an almost simple group. (Reported by Ramon Esteban Romero) - Added missing methods for `Intersection2` when one of the arguments is an empty list. (Reported by Wilf Wilson) ### Other fixed bugs: - Fixed several bugs in `RandomPrimitivePolynomial`. (Reported by Nusa Zidaric) - Fixed several problems with `Random` on long lists in 64-bit GAP installations. ## GAP 4.8.3 (March 2016) ### New features: - New function `TestPackage` to run standard tests (if available) for a single package in the current GAP session (also callable via `make testpackage PKGNAME=pkgname` to run package tests in the same settings that are used for testing GAP releases). ### Improved and extended functionality: - `TestDirectory` now prints a special status message to indicate the outcome of the test (this is convenient for automated testing). If necessary, this message may be suppressed by using the option `suppressStatusMessage` - Improved output of tracing methods (which may be invoked, for example, with `TraceAllMethods`) by displaying filename and line number in some more cases. ### Changed functionality: - Fixed some inconsistencies in the usage of `IsGeneratorsOfSemigroup`. ### Fixed bugs that could lead to incorrect results: - Fallback methods for conjugacy classes, that were never intended for infinite groups, now use `IsFinite` filter to prevent them being called for infinite groups. (Reported by Gabor Horvath) ### Fixed bugs that could lead to break loops: - Calculating stabiliser for the alternating group caused a break loop in the case when it defers to the corresponding symmetric group. - It was not possible to use `DotFileLatticeSubgroups` for a trivial group. (Reported by Sergio Siccha) - A break loop while computing `AutomorphismGroup` for `TransitiveGroup(12,269)`. (Reported by Ignat Soroko) - A break loop while computing conjugacy classes of `PSL(6,4)`. (Reported by Martin Macaj) ### Other fixed bugs: - Fix for using Firefox as a default help viewer with `SetHelpViewer`. (Reported by Tom McDonough) ## GAP 4.8.2 (February 2016) This is the first public release of GAP 4.8. The GAP development repository is now [hosted on GitHub](https://github.com/gap-system/gap), and GAP 4.8 is the first major GAP release made from this repository. The public issue tracker for the core GAP system is located [here](https://github.com/gap-system/gap/issues), and you may use appropriate [milestones](https://github.com/gap-system/gap/milestones) to see all changes that were introduced in corresponding GAP releases. An overview of the most significant ones is provided below. ### New features: - Added support for profiling which tracks how much time in spent on each line of GAP code. This can be used to show where code is spending a long time and also check which lines of code are even executed. See the documentation for `ProfileLineByLine` and `CoverageLineByLine` for details on generating profiles, and the **Profiling** package for transforming these profiles into a human-readable form. - Added ability to install (in the library or packages) methods for accessing lists using multiple indices and indexing into lists using indices other than positive small integers. Such methods could allow, for example, to support expressions like m[1,2]; m[1,2,3] := x; IsBound(m["a","b",Z(7)]); Unbind(m[1][2,3]) - Added support for partially variadic functions to allow function expressions like function( a, b, c, x... ) ... end; which would require at least three arguments and assign the first three to a, b and c and then a list containing any remaining ones to x. The former special meaning of the argument arg is still supported and is now equivalent to `function( arg... )`, so no changes in the existing code are required. - Introduced `CallWithTimeout` and `CallWithTimeoutList` to call a function with a limit on the CPU time it can consume. This functionality may not be available on all systems and you should check `GAPInfo.TimeoutsSupported` before using this functionality. (These functions were withdrawn in GAP 4.9.) - GAP now displays the filename and line numbers of statements in backtraces when entering the break loop. - Introduced `TestDirectory` function to find (recursively) all `.tst` files from a given directory or a list of directories and run them using `Test`. ### Improved and extended functionality: - Method tracing shows the filename and line of function during tracing. - `TraceAllMethods` and `UntraceAllMethods` to turn on and off tracing all methods in GAP. Also, for the uniform approach `UntraceImmediateMethods` has been added as an equivalent of `TraceImmediateMethods(false)`. - The most common cases of `AddDictionary` on three arguments now bypass method selection, avoiding the cost of determining homogeneity for plain lists of mutable objects. - Improved methods for symmetric and alternating groups in the "natural" representations and removed some duplicated code. - Package authors may optionally specify the source code repository, issue tracker and support email address for their package using new components in the `PackageInfo.g` file, which will be used to create hyperlinks from the package overview page (see `PackageInfo.g` from the Example package which you may use as a template). ### Changed functionality: - As a preparation for the future developments to support multithreading, some language extensions from the **HPC-GAP** project were backported to the GAP library to help to unify the codebase of both GAP 4 and **HPC-GAP**. The only change which is not backwards compatible is that `atomic`, `readonly` and `readwrite` are now keywords, and thus are no longer valid identifiers. So if you have any variables or functions using that name, you will have to change it in GAP 4.8. - There was inconsistent use of the following properties of semigroups: `IsGroupAsSemigroup`, `IsMonoidAsSemigroup`, and `IsSemilatticeAsSemigroup`. `IsGroupAsSemigroup` was true for semigroups that mathematically defined a group, and for semigroups in the category `IsGroup`; `IsMonoidAsSemigroup` was only true for semigroups that mathematically defined monoids, but did not belong to the category `IsMonoid`; and `IsSemilatticeAsSemigroup` was simply a property of semigroups, as there is no category `IsSemilattice`. From version 4.8 onwards, `IsSemilatticeAsSemigroup` is renamed to `IsSemilattice`, and `IsMonoidAsSemigroup` returns true for semigroups in the category `IsMonoid`. This way all of the properties of the type `IsXAsSemigroup` are consistent. It should be noted that the only methods installed for `IsMonoidAsSemigroup` belong to the **Semigroups** and **Smallsemi** packages. - `ReadTest` became obsolete and for backwards compatibility is replaced by `Test` with the option to compare the output up to whitespaces. - The function `ErrorMayQuit`, which differs from `Error` by not allowing execution to continue, has been renamed to `ErrorNoReturn`. ### Fixed bugs: - A combination of two bugs could lead to a segfault. First off, `NullMat` (and various other GAP functions), when asked to produce matrix over a small field, called `ConvertToMatrixRep`. After this, if the user tried to change one of the entries to a value from a larger extension field, this resulted in an error. (This is now fixed). Unfortunately, the C code catching this error had a bug and allowed users to type "return" to continue while ignoring the conversion error. This was a bad idea, as the C code would be in an inconsistent state at this point, subsequently leading to a crash. This, too, has been fixed, by not allowing the user to ignore the error by entering "return". - The Fitting-free code and code inheriting PCGS is now using `IndicesEANormalSteps` instead of `IndicesNormalSteps`, as these indices are neither guaranteed, nor required to be maximally refined when restricting to subgroups. - A bug that caused a break loop in the computation of the Hall subgroup for groups having a trivial Fitting subgroup. - Including a `break` or `continue` statement in a function body but not in a loop now gives a syntax error instead of failing at run time. - `GroupGeneralMappingByImages` now verifies that that image of a mapping is contained in its range. - Fixed a bug in caching the degree of transformation that could lead to a non-identity transformation accidentally changing its value to the identity transformation. - Fixed the problem with using Windows default browser as a help viewer using `SetHelpViewer("browser");`. ### New and updated packages since GAP 4.7.8 At the time of the release of GAP 4.7.8 there were 119 packages redistributed with GAP. New packages that have been added to the redistribution since the release of GAP 4.7.8 are: - **CAP** (Categories, Algorithms, Programming) package by Sebastian Gutsche, Sebastian Posur and Øystein Skartsæterhagen, together with three associated packages **GeneralizedMorphismsForCAP**, **LinearAlgebraForCAP** and **ModulePresentationsForCAP** (all three - by Sebastian Gutsche and Sebastian Posur). - **Digraphs** package by Jan De Beule, Julius Jonušas, James Mitchell, Michael Torpey and Wilf Wilson, which provides functionality to work with graphs, digraphs, and multidigraphs. - **FinInG** package by John Bamberg, Anton Betten, Philippe Cara, Jan De Beule, Michel Lavrauw and Max Neunhöffer for computation in Finite Incidence Geometry. - **HeLP** package by Andreas Bächle and Leo Margolis, which computes constraints on partial augmentations of torsion units in integral group rings using a method developed by Luthar, Passi and Hertweck. The package can be employed to verify the Zassenhaus Conjecture and the Prime Graph Question for finite groups, once their characters are known. It uses an interface to the software package **4ti2** to solve integral linear inequalities. - **matgrp** package by Alexander Hulpke, which provides an interface to the solvable radical functionality for matrix groups, building on constructive recognition. - **NormalizInterface** package by Sebastian Gutsche, Max Horn and Christof Söger, which provides a GAP interface to **Normaliz**, enabling direct access to the complete functionality of **Normaliz**, such as computations in affine monoids, vector configurations, lattice polytopes, and rational cones. - **profiling** package by Christopher Jefferson for transforming profiles produced by `ProfileLineByLine` and `CoverageLineByLine` into a human-readable form. - **Utils** package by Sebastian Gutsche, Stefan Kohl and Christopher Wensley, which provides a collection of utility functions gleaned from many packages. - **XModAlg** package by Zekeriya Arvasi and Alper Odabas, which provides a collection of functions for computing with crossed modules and Cat1-algebras and morphisms of these structures. ## GAP 4.7.8 (June 2015) ### Fixed bugs which could lead to incorrect results: - Added two groups of degree 1575 which were missing in the library of first primitive groups. (Reported by Gordon Royle) - Fixed the error in the code for algebra module elements in packed representation caused by the use of `Objectify` with the type of the given object instead of `ObjByExtRep` as recommended in the reference manual. The problem was that after calculating `u+v` where one of the summands was known to be zero, this knowledge was wrongly passed to the sum via the type. (Reported by Istvan Szollosi) - Fixed a bug in `PowerMod` causing wrong results for univariate Laurent polynomials when the two polynomial arguments are stored with the same non-zero shift. (Reported by Max Horn) ### New Packages - **PatternClass** by Michael Albert, Ruth Hoffmann and Steve Linton, allowing to explore the permutation pattern classes build by token passing networks. Amongst other things, it can compute the basis of a permutation pattern class, create automata from token passing networks and check if the deterministic automaton is a possible representative of a token passing network. - **QPA** by Edward Green and Øyvind Solberg, providing data structures and algorithms for computations with finite dimensional quotients of path algebras, and with finitely generated modules over such algebras. It implements data structures for quivers, quotients of path algebras, and modules, homomorphisms and complexes of modules over quotients of path algebras. ## GAP 4.7.7 (February 2015) ### New features: - Introduced some arithmetic operations for infinity and negative infinity - Introduced new property `IsGeneratorsOfSemigroup` which reflects whether the list or collection generates a semigroup. ### Fixed bugs which could lead to incorrect results: - Fixed a bug in `Union` (actually, in the internal library function `JoinRanges`) caused by downward running ranges. (Reported by Matt Fayers) - Fixed a bug where recursive records might be printed with the wrong component name, coming from component names being ordered differently in two different pieces of code. (Reported by Thomas Breuer) - The usage of `abs` in `src/gmpints.c` was replaced by `AbsInt`. The former is defined to operate on 32-bit integers even if GAP is compiled in 64-bit mode. That lead to truncating GAP integers and caused a crash in `RemInt`, reported by Willem De Graaf and Heiko Dietrich. Using `AbsInt` fixes the crash, and ensures the correct behaviour on 32-bit and 64-bit builds. ### Fixed bugs that could lead to break loops: - A problem with `ProbabilityShapes` not setting frequencies list for small degrees. (Reported by Daniel Błażewicz and independently by Mathieu Gagne) - An error when generating a free monoid of rank infinity. (Reported by Nick Loughlin) - Several bugs with the code for Rees matrix semigroups not handling trivial cases properly. - A bug in `IsomorphismTypeInfoFiniteSimpleGroup` affecting one particular group due to a misformatting in a routine that translates between the Chevalley type and the name used in the table (in this case, `"T"` was used instead of `["T"]`). (Reported by Petr Savicky) ### Other fixed bugs: - The `Basis` method for full homomorphism spaces of linear mappings did not set basis vectors which could be obtained by `GeneratorsOfLeftModule`. - A problem with `GaloisType` entering an infinite loop in the routine for approximating a root. (Reported by Daniel Błażewicz) - Fixed the crash when GAP is called when the environment variables `HOME` or `PATH` are unset. (Reported by Bill Allombert) ### New packages - **json** package by Christopher Jefferson, providing a mapping between the **JSON** markup language and GAP - **SglPPow** package by Bettina Eick and Michael Vaughan-Lee, providing the database of p-groups of order p^7 for p \> 11, and of order 3^8. ## GAP 4.7.6 (November 2014) ### Fixed bugs which could lead to incorrect results: - A bug that may cause `ShortestVectors` to return an incomplete list. (Reported by Florian Beye) - A bug that may lead to incorrect results and infinite loops when GAP is compiled without GMP support using gcc 4.9. - A bug that may cause `OrthogonalEmbeddings` to return an incomplete result. (Reported by Benjamin Sambale) ### Fixed bugs that could lead to break loops: - `ClosureGroup` should be used instead of `ClosureSubgroup` in case there is no parent group, otherwise some calculations such as e.g. `NormalSubgroups` may fail. (Reported by Dmitrii Pasechnik) - Fixed a line in the code that used a hard-coded identity permutation, not a generic identity element of a group. (Reported by Toshio Sumi) - Fixed a problem in the new code for calculating maximal subgroups that caused a break loop for some groups from the transitive groups library. (Reported by Petr Savicky) - Fixed a problem in `ClosureSubgroup` not accepting some groups without `Parent`. (Reported by Inneke van Gelder) ### Other fixed bugs: - Eliminated a number of compiler warnings detected with some newer versions of **C** compilers. - Some minor bugs in the transformation and partial permutation code and documentation were resolved. ## GAP 4.7.5 (May 2014) ### Fixed bugs which could lead to incorrect results: - `InstallValue` cannot handle immediate values, characters or booleans for technical reasons. A check for such values was introduced to trigger an error message and prevent incorrect results caused by this. (Reported by Sebastian Gutsche) - `KnowsDictionary` and `LookupDictionary` methods for `IsListLookupDictionary` were using `PositionFirstComponent`; the latter is only valid on sorted lists, but in `IsListLookupDictionary` the underlying list is NOT sorted in general, leading to bogus results. ### Other fixed bugs: - A bug in `DirectProductElementsFamily` which used `CanEasilyCompareElements` instead of `CanEasilySortElements`. - Fixed wrong `Infolevel` message that caused a break loop for some automorphism group computations. - Fixed an error that sometimes caused a break loop in `HallSubgroup`. (Reported by Benjamin Sambale) - Fixed a rare error in computation of conjugacy classes of a finite group by homomorphic images, providing fallback to a default algorithm. - Fixed an error in the calculation of Frattini subgroup in the case of the trivial radical. - Several minor bugs were fixed in the documentation, kernel, and library code for transformations. - Fixed errors in `NumberPerfectGroups` and `NumberPerfectLibraryGroups` not being aware that there are no perfect groups of odd order. - Restored the ability to build GAP on OS X 10.4 and 10.5 which was accidentally broken in the previous GAP release by using the build option not supported by these versions. - Fixed some problems for ia64 and sparc architectures. (Reported by Bill Allombert and Volker Braun) ### New packages - **permut** package by A.Ballester-Bolinches, E.Cosme-Llópez, and R.Esteban-Romero to deal with permutability in finite groups. ## GAP 4.7.4 (February 2014) This release was prepared immediately after GAP 4.7.3 to revert the fix of the error handling for the single quote at the end of an input line, contained in GAP 4.7.3. It happened that (only on Windows) the fix caused error messages in one of the packages. ## GAP 4.7.3 (February 2014) ### Fixed bugs which could lead to incorrect results: - Incorrect result returned by `AutomorphismGroup(PSp(4,2^n))`. (Reported by Anvita) - The `Order` method for group homomorphisms newly introduced in GAP 4.7 had a bug that caused it to sometimes return incorrect results. (Reported by Benjamin Sambale) ### Fixed bugs that could lead to break loops: - Several bugs were fixed and missing methods were introduced in the new code for transformations, partial permutations and semigroups that was first included in GAP 4.7. Some minor corrections were made in the documentation for transformations. - Break loop in `IsomorphismFpMonoid` when prefixes in generators names were longer than one letter. (Reported by Dmytro Savchuk and Yevgen Muntyan) - Break loop while displaying the result of `MagmaWithInversesByMultiplicationTable`. (Reported by Grahame Erskine) ### Improved functionality: - Better detection of UTF-8 terminal encoding on some systems. (Suggested by Andries Brouwer) ## GAP 4.7.2 (December 2013) This is the first public release of GAP 4.7. ### Improved and extended functionality: - The methods for computing conjugacy classes of permutation groups have been rewritten from scratch to enable potential use for groups in different representations. As a byproduct the resulting code is (sometimes notably) faster. It also now is possible to calculate canonical conjugacy class representatives in permutation groups, which can be beneficial when calculating character tables. - The methods for determining (conjugacy classes of) subgroups in non-solvable groups have been substantially improved in speed and scope for groups with multiple nonabelian composition factors. - There is a new method for calculating the maximal subgroups of a permutation group (with chief factors of width less or equal 5) without calculating the whole subgroup lattice. - If available, information from the table of marks library is used to speed up subgroup calculations in almost simple factor groups. - The broader availability of maximal subgroups is used to improve the calculation of double cosets. - To illustrate the improvements listed above, one could try, for example g:=WreathProduct(MathieuGroup(11),Group((1,2))); Length(ConjugacyClassesSubgroups(g)); and g:=SemidirectProduct(GL(3,5),GF(5)^3); g:=Image(IsomorphismPermGroup(g)); MaximalSubgroupClassReps(g); - Computing the exponent of a finite group G could be extremely slow. This was due to a slow default method being used, which computed all conjugacy classes of elements in order to compute the exponent. We now instead compute Sylow subgroups P_1, ..., P_k of G and use the easily verified equality exp(G) = exp(P_1) x ... x exp(P_k). This is usually at least as fast and in many cases orders of magnitude faster. gap> G:=SmallGroup(2^7*9,33);; gap> H:=DirectProduct(G, ElementaryAbelianGroup(2^10));; gap> Exponent(H); # should take at most a few milliseconds 72 gap> K := PerfectGroup(2688,3);; gap> Exponent(K); # should take at most a few seconds 168 - The functionality in GAP for transformations and transformation semigroups has been rewritten and extended. Partial permutations and inverse semigroups have been newly implemented. The documentation for transformations and transformation semigroups has been improved. Transformations and partial permutations are implemented in the GAP kernel. Methods for calculating attributes of transformations and partial permutations, and taking products, and so are also implemented in the kernel. The new implementations are largely backwards compatible; some exceptions are given below. The degree of a transformation `f` is usually defined as the largest positive integer where `f` is defined. In previous versions of GAP, transformations were only defined on positive integers less than their degree, it was only possible to multiply transformations of equal degree, and a transformation did not act on any point exceeding its degree. Starting with GAP 4.7, transformations behave more like permutations, in that they fix unspecified points and it is possible to multiply arbitrary transformations. - in the display of a transformation, the trailing fixed points are no longer printed. More precisely, in the display of a transformation `f` if `n` is the largest value such that `n^f<>n` or `i^f=n` for some `i<>n`, then the values exceeding `n` are not printed. - the display for semigroups of transformations now includes more information, for example `` and ``. - transformations which define a permutation can be inverted, and groups of transformations can be created. Further information regarding transformations and partial permutations, can be found in the relevant chapters of the reference manual. The code for Rees matrix semigroups has been completely rewritten to fix the numerous bugs in the previous versions. The display of a Rees matrix semigroup has also been improved to include the numbers of rows and columns, and the underlying semigroup. Again the new implementations should be backwards compatible with the exception that the display is different. The code for magmas with a zero adjoined has been improved so that it is possible to access more information about the original magma. The display has also been changed to indicate that the created magma is a magma with zero adjoined (incorporating the display of the underlying magma). Elements of a magma with zero are also printed so that it is clear that they belong to a magma with zero. If a semigroup is created by generators in the category IsMultiplicativeElementWithOneCollection and CanEasilyCompareElements, then it is now checked if the One of the generators is given as a generator. In this case, the semigroup is created as a monoid. - Added a new operation `GrowthFunctionOfGroup` that gives sizes of distance spheres in the Cayley graph of a group. - A new group constructor `FreeAbelianGroup` for free abelian groups has been added. By default, it creates suitable fp groups. Though free abelian groups groups do not offer much functionality right now, in the future other implementations may be provided, e.g. by the **Polycyclic** package. - The message about halving the pool size at startup is only shown when `-D` command line option is used. (Suggested by Volker Braun) - An info class called `InfoObsolete` with the default level 0 is introduced. Setting it to 1 will trigger warnings at runtime if an obsolete variable declared with `DeclareObsoleteSynonym` is used. This is recommended for testing GAP distribution and packages. - The GAP help system now recognises some common different spelling patterns (for example, -ise/-ize, -isation/-ization, solvable/soluble) and searches for all possible spelling options even when the synonyms are not declared. - Added new function `Cite` which produces citation samples for GAP and packages. - It is now possible to compile GAP with user-supplied `CFLAGS` which now will not be overwritten by GAP default settings. (Suggested by Jeroen Demeyer) ### Fixed bugs: - `Union` had O(n^3) behaviour when given many ranges (e.g. it could take 10 seconds to find a union of 1000 1-element sets). The new implementation reduces that to O(n log n) (and 4ms for the 10 second example), at the cost of not merging ranges as well as before in some rare cases. - `IsLatticeOrderBinaryRelation` only checked the existence of upper bounds but not the uniqueness of the least upper bound (and dually for lower bounds), so in some cases it could return the wrong answer. (Reported by Attila Egri-Nagy) - `LowIndexSubgroupsFpGroup` triggered a break loop if the list of generators of the 2nd argument contained the identity element of the group. (Reported by Ignat Soroko) - Fixed regression in heuristics used by `NaturalHomomorphismByNormalSubgroup` that could produce a permutation representation of an unreasonably large degree. (Reported by Izumi Miyamoto) - Fixed inconsistent behaviour of `QuotientMod( Integers, r, s, m )` in the case where s and m are not coprime. This fix also corrects the division behaviour of `ZmodnZ` objects, see `QuotientMod` and `ZmodnZ`. (Reported by Mark Dickinson) - Fixed an oversight in the loading process causing `OnQuit` not resetting the options stack after exiting the break loop. - Empty strings were treated slightly differently than other strings in the GAP kernel, for historical reasons. This resulted in various inconsistencies. For example, `IsStringRep("")` returned true, but a method installed for arguments of type `IsStringRep` would NOT be invoked when called with an empty string. We remove this special case in the GAP kernel (which dates back the very early days of GAP 4 in 1996). This uncovered one issue in the kernel function `POSITION_SUBSTRING` (when calling it with an empty string as second argument), which was also fixed. - The parser for floating point numbers contained a bug that could cause GAP to crash or to get into a state where the only action left to the user was to exit GAP via Ctrl-D. For example, entering four dots with spaces between them on the GAP prompt and then pressing the return key caused GAP to exit. The reason was (ironically) an error check in the innards of the float parser code which invoked the GAP `Error()` function at a point where it should not have. - Removing the last character in a string was supposed to overwrite the old removed character in memory with a zero byte, but failed to do so due to an off-by-one error. For most GAP operations, this has no visible effect, except for those which directly operate on the underlying memory representation of strings. For example, when trying to use such a string to reference a record entry, a (strange) error could be triggered. - `ViewString` and `DisplayString` are now handling strings, characters and immediate FFEs in a consistent manner. - Multiple fixes to the build process for less common Debian platforms (arm, ia64, mips, sparc, GNU/Hurd). (Suggested by Bill Allombert) - Fixes for several regressions in the `gac` script. (Suggested by Bill Allombert) ### Changed functionality: - It is not possible now to call `WreathProduct` with 2nd argument H not being a permutation group, without using the 3rd argument specifying the permutation representation. This is an incompatible change but it will produce an error instead of a wrong result. The former behaviour of `WreathProduct` may now be achieved by using `StandardWreathProduct` which returns the wreath product for the (right regular) permutation action of H on its elements. - The function `ViewLength` to specify the maximal number of lines that are printed in `ViewObj` became obsolete, since there was already a user preference `ViewLength` to specify this. The value of this preference is also accessible in `GAPInfo.ViewLength`. ### New and updated packages since GAP 4.6.5 At the time of the release of GAP 4.6.5 there were 107 packages redistributed with GAP. The first public release of GAP 4.7 contains 114 packages. One of essential changes is that the **Citrus** package by J.Mitchell has been renamed to **Semigroups**. The package has been completely overhauled, the performance has been improved, and the code has been generalized so that in the future the same code can be used to compute with other types of semigroups. Furthermore, new packages that have been added to the redistribution since the release of GAP 4.6.5 are: - **4ti2interface** package by Sebastian Gutsche, providing an interface to [**4ti2**](http://www.4ti2.de), a software package for algebraic, geometric and combinatorial problems on linear spaces. - **CoReLG** by Heiko Dietrich, Paolo Faccin and Willem de Graaf for calculations in real semisimple Lie algebras. - **IntPic** package by Manuel Delgado, aimed at providing a simple way of getting a pictorial view of sets of integers. The main goal of the package is producing **Tikz** code for arrays of integers. The code produced is to be included in a LaTeX file, which can then be processed. Some of the integers are emphasized by using different colors for the cells containing them. - **LieRing** by Serena Cicalo and Willem de Graaf for constructing finitely-presented Lie rings and calculating the Lazard correspondence. The package also provides a database of small n-Engel Lie rings. - **LiePRing** package by Michael Vaughan-Lee and Bettina Eick, introducing a new datastructure for nilpotent Lie rings of prime-power order. This allows to define such Lie rings for specific primes as well as for symbolic primes and other symbolic parameters. The package also includes a database of nilpotent Lie rings of order at most p^7 for all primes p \> 3. - **ModIsom** by Bettina Eick, which contains various methods for computing with nilpotent associative algebras. In particular, it contains a method to determine the automorphism group and to test isomorphisms of such algebras over finite fields and of modular group algebras of finite p-groups. Further, it contains a nilpotent quotient algorithm for finitely presented associative algebras and a method to determine Kurosh algebras. - **SLA** by Willem de Graaf for computations with simple Lie algebras. The main topics of the package are nilpotent orbits, theta-groups and semisimple subalgebras. Furthermore, some packages have been upgraded substantially since the GAP 4.6.5 release: - **ANUPQ** package by Greg Gamble, Werner Nickel and Eamonn O'Brien has been updated after Max Horn joined it as a maintainer. As a result, it is now much easier to install and use it with the current GAP release. - **Wedderga** package by Osnel Broche Cristo, Allen Herman, Alexander Konovalov, Aurora Olivieri, Gabriela Olteanu, Ángel del Río and Inneke Van Gelder has been extended to include functions for calculating local and global Schur indices of ordinary irreducible characters of finite groups, cyclotomic algebras over abelian number fields, and rational quaternion algebras (contribution by Allen Herman). ## GAP 4.6.5 (July 2013) ### Improved functionality: - `TraceMethods` and `UntraceMethods` now better check their arguments and provide a sensible error message if being called without arguments. Also, both variants of calling them are now documented. - Library methods for `Sortex` are now replaced by faster ones using the kernel `SortParallel` functionality instead of making expensive zipped lists. ### Fixed bugs which could lead to incorrect results: - `IntHexString` wrongly produced a large integer when there were too many leading zeros. (Reported by Joe Bohanon) ### Fixed bugs that could lead to break loops: - A bug that may occur in some cases while calling `TransitiveIdentification`. (Reported by Izumi Miyamoto) - The new code for semidirect products of permutation groups, introduced in GAP 4.6, had a bug which was causing problems for `Projection`. (Reported by Graham Ellis) ## GAP 4.6.4 (April 2013) ### New functionality: - New command line option `-O` was introduced to disable loading obsolete variables. This option may be used, for example, to check that they are not used in a GAP package or one's own GAP code. ### Fixed bugs which could lead to incorrect results: - Fixed the bug in `NewmanInfinityCriterion` which may cause returning `true` instead of `false`. (Reported by Lev Glebsky) ### Fixed bugs which could lead to crashes: - Fixed the kernel method for `Remove` which did not raise an error in case of empty lists, but corrupted the object. The error message in a library method is also improved. (Reported by Roberto Ràdina) ### Fixed bugs that could lead to break loops: - Fixed requirements in a method to multiply a list and an algebraic element. (Reported by Sebastian Gutsche) - Fixed a bug in `NaturalCharacter` entering a break loop when being called on a homomorphism whose image is not a permutation group. (Reported by Sebastian Gutsche) - Fixed a bug in `ExponentsConjugateLayer` which occurred, for example, in some calls of `SubgroupsSolvableGroup` (Reported by Ramon Esteban-Romero) - Fixed a problem with displaying function fields, e.g. `Field(Indeterminate(Rationals,"x"))`. (Reported by Jan Willem Knopper) - Fixed two bugs in the code for `NaturalHomomorphismByIdeal` for polynomial rings. (Reported by Martin Leuner) - Added missing method for `String` for `-infinity`. - Fixed the bug with `ONanScottType` not recognising product action properly in some cases. - The method for `SlotUsagePattern` for straight line programs had a bug which triggered an error, if the straight line program contained unnecessary steps. ## GAP 4.6.3 (March 2013) ### Improved functionality: - Several changes were made to `IdentityMat` and `NullMat`. First off, the documentation was changed to properly state that these functions support arbitrary rings, and not just fields. Also, more usage examples were added to the manual. For `NullMat`, it is now also always possible to specify a ring element instead of a ring, and this is documented. This matches existing `IdentityMat` behavior, and partially worked before (undocumented), but in some cases could run into error or infinite recursion. In the other direction, if a finite field element, `IdentityMat` now really creates a matrix over the smallest field containing that element. Previously, a matrix over the prime field was created instead, contrary to the documentation. Furthermore, `IdentityMat` over small finite fields is now substantially faster when creating matrices of large dimension (say a thousand or so). Finally, `MutableIdentityMat` and `MutableNullMat` were explicitly declared obsolete (and may be removed in GAP 4.7). They actually were deprecated since GAP 4.1, and their use discouraged by the manual. Code using them should switch to `IdentityMat` respectively `NullMat`. - Two new `PerfectResiduum` methods were added for solvable and perfect groups, handling these cases optimally. Moreover, the existing generic method was improved by changing it to use `DerivedSeriesOfGroup`. Previously, it would always compute the derived series from scratch and then throw away the result. - A new `MinimalGeneratingSet` method for groups handled by a nice monomorphisms was added, similar to the existing `SmallGeneratingSet` method. This is useful if the nice monomorphism is already mapping into a pc or pcp group. - Added a special method for `DerivedSubgroup` if the group is known to be abelian. ### Fixed bugs: - Fixed a bug in `PowerModInt` computing r^e mod m in a special case when e=0 and m=0. (Reported by Ignat Soroko) - `CoefficientsQadic` now better checks its arguments to avoid an infinite loop when being asked for a q-adic representation for q=1. (Reported by Ignat Soroko) - Methods for `SylowSubgroupOp` (see `SylowSubgroup`) for symmetric and alternating group did not always set `IsPGroup` and `PrimePGroup` for the returned Sylow subgroup. - Display of matrices consisting of Conway field elements (which are displayed as polynomials) did not print constant 1 terms. - Added an extra check and a better error message in the method to access *natural* generators of domains using the `.` operator (see `GeneratorsOfDomain`). - Trying to solve the word problem in an fp group where one or more generators has a name of more than one alphabetic character led to a break loop. - Provided the default method for `AbsoluteIrreducibleModules` as a temporary workaround for the problem which may cause returning wrong results or producing an error when being called for a non-prime field. - A bug in the GAP kernel caused `RNamObj` to error out when called with a string that had the `IsSSortedList` property set (regardless of whether it was set to `true` or `false`). This in turn would lead to strange (and inappropriate) errors when using such a string to access entries of a record. - GAP can store vectors over small finite fields (size at most 256) in a special internal data representation where each entry of the vector uses exactly one byte. Due to an off-by-one bug, the case of a field with exactly 256 elements was not handled properly. As a result, GAP failed to convert a vector to the special data representation, which in some situations could lead to a crash. The off-by-one error was fixed and now vectors over GF(256) work as expected. - A bug in the code for accessing sublist via the `list{poss}` syntax could lead to GAP crashing. Specifically, if the list was a compressed vector over a finite field, and the sublist syntax was nested, as in `vec{poss1}{poss2}`. This now correctly triggers an error instead of crashing. ### New packages - **SpinSym** package by L. Maas, which contains Brauer tables of Schur covers of symmetric and alternating groups and provides some related functionalities. ## GAP 4.6.2 (February 2013) This is the first public release of GAP 4.6. ### Improved and extended functionality: - It is now possible to declare a name as an operation with two or more arguments (possibly several times) and *THEN* declare it as an attribute. Previously this was only possible in the other order. This should make the system more independent of the order in which packages are loaded. - Words in fp groups are now printed in factorised form if possible and not too time-consuming, i.e. `a*b*a*b*a*b` will be printed as `(a*b)^3`. - Added methods to calculate Hall subgroups in nonsolvable groups. - Added a generic method for `IsPSolvable` and a better generic method for `IsPNilpotent` for groups. - Improvements to action homomorphisms: image of an element can use existing stabiliser chain of the image group (to reduce the number of images to compute), preimages under linear/projective action homomorphisms use linear algebra to avoid factorisation. - To improve efficiency, additional code was added to make sure that the `HomePcgs` of a permutation group is in `IsPcgsPermGroupRep` representation in more cases. - Added an operation `SortBy` with arguments being a function f of one argument and a list l to be sorted in such a way that `l(f[i]) <= l(f[i+1])`. - Added a kernel function `MEET_BLIST` which returns `true` if the two boolean lists have `true` in any common position and `false` otherwise. This is useful for representing subsets of a fixed set by boolean lists. - When assigning to a position in a compressed FFE vector GAP now checks to see if the value being assigned can be converted into an internal FFE element if it isn't one already. This uses new attribute `AsInternalFFE`, for which methods are installed for internal FFEs, Conway FFEs and ZmodpZ objects. - Replaced `ViewObj` method for fields by `ViewString` method to improve the way how polynomial rings over algebraic extensions of fields are displayed. - Made the info string (optional 2nd argument to `InstallImmediateMethod`) behave similarly to the info string in `InstallMethod`. In particular, `TraceImmediateMethods` now always prints the name of the operation. - Syntax errors such as `Unbind(x,1)` had the unhelpful property that `x` got unbound before the syntax error was reported. A specific check was added to catch this and similar cases a little earlier. - Allow a `GAPARGS` parameter to the top-level GAP `Makefile` to pass extra arguments to the GAP used for manual building. - Added an attribute `UnderlyingRingElement` for Lie objects. - The function `PrimeDivisors` now became an attribute. (suggested by Mohamed Barakat) - Added an operation `DistancePerms` with a kernel method for internal permutations and a generic method. - Added a method for `Subfields` to support large finite fields. (reported by Inneke van Gelder) ### Fixed bugs which could lead to crashes: - The extremely old `DEBUG_DEADSONS_BAGS` compile-time option has not worked correctly for many years and indeed crashes GAP. The type of bug it is there to detect has not arisen in many years and we have certainly not used this option, so it has been removed. (Reported by Volker Braun) ### Other fixed bugs: - Scanning of floating point literals collided with iterated use of integers as record field elements in expressions like `r.1.2`. - Fixed two potential problems in `NorSerPermPcgs`, one corrupting some internal data and one possibly mixing up different pcgs. - Fixed a performance problem with `NiceMonomorphism`. (reported by John Bamberg) - Fixed a bug in `ReadCSV` that caused some `.csv` files being parsed incorrectly. ### No longer supported: - The file `lib/consistency.g`, which contained three undocumented auxiliary functions, has been removed from the library. In addition, the global record `Revision` is now deprecated, so there is no need to bind its components in GAP packages. ### New and updated packages since GAP 4.5.4 At the time of the release of GAP 4.5 there were 99 packages redistributed with GAP. The first public release of GAP 4.6 contains 106 packages. The new packages that have been added to the redistribution since the release of GAP 4.5.4 are: - **AutoDoc** package by S. Gutsche, providing tools for automated generation of **GAPDoc** manuals. - **Congruence** package by A. Konovalov, which provides functions to construct various canonical congruence subgroups in SL_2(ℤ), and also intersections of a finite number of such subgroups, implements the algorithm for generating Farey symbols for congruence subgroups and uses it to produce a system of independent generators for these subgroups. - **Convex** package by S. Gutsche, which provides structures and algorithms for convex geometry. - **Float** package by L. Bartholdi, which extends GAP floating-point capabilities by providing new floating-point handlers for high-precision real, interval and complex arithmetic using MPFR, MPFI, MPC or CXSC external libraries. It also contains a very high-performance implementation of the LLL (Lenstra-Lenstra-Lovász) lattice reduction algorithm via the external library FPLLL. - **PolymakeInterface** package by T. Baechler and S. Gutsche, providing a link to the callable library of the [**polymake**](http://www.polymake.org) system. - **ToolsForHomalg** package by M. Barakat, S. Gutsche and M. Lange-Hegermann, which provides some auxiliary functionality for the [**homalg**](http://homalg.math.rwth-aachen.de/) project. - **ToricVarieties** package by S. Gutsche, which provides data structures to handle toric varieties by their commutative algebra structure and by their combinatorics. Furthermore, some packages have been upgraded substantially since the GAP 4.5.4 release: - Starting from 2.x.x, the functionality for iterated monodromy groups has been moved from the **FR** package by L. Bartholdi to a separate package IMG (currently undeposited, available at ). This completely removes the dependency of **FR** on external library modules, and should make its installation much easier. ## GAP 4.5.7 (December 2012) ### Fixed bugs which could lead to crashes: - Closing with `LogInputTo` (or `LogOutputTo`) a logfile opened with `LogTo` left the data structures corrupted, resulting in a crash. - On 32-bit systems we can have long integers `n` such that `Log2Int(n)` is not an immediate integer. In such cases `Log2Int` gave wrong or corrupted results which in turn could crash GAP, e.g., in `ViewObj(n)`. - Some patterns of use of `UpEnv` and `DownEnv` were leading to a segfault. ### Other fixed bugs: - Viewing of long negative integers was broken, because it went into a break loop. - Division by zero in `ZmodnZ` (n not prime) produced invalid objects. (Reported by Mark Dickinson) - Fixed a bug in determining multiplicative inverse for a zero polynomial. - Fixed a bug causing infinite recursion in `NaturalHomomorphismByNormalSubgroup`. - A workaround was added to deal with a package method creating pcgs for permutation groups for which the entry `permpcgsNormalSteps` is missing. - For a semigroup of associative words that is not the full semigroup of all associative words, the methods for `Size` and `IsTrivial` called one another causing infinite recursion. - The 64-bit version of the `gac` script produced wrong (\>= 2^31) CRC values because of an integer conversion problem. - It was not possible to compile GAP on some systems where `HAVE_SELECT` detects as false. - Numbers in memory options on the command line exceeding 2^32 could not be parsed correctly, even on 64-bit systems. (Reported by Volker Braun) ### New packages added for the redistribution with GAP: - **Float** package by L. Bartholdi, which extends GAP floating-point capabilities by providing new floating-point handlers for high-precision real, interval and complex arithmetic using MPFR, MPFI, MPC or CXSC external libraries. It also contains a very high-performance implementation of the LLL (Lenstra-Lenstra-Lovász) lattice reduction algorithm via the external library FPLLL. - **ToricVarieties** package by S. Gutsche, which provides data structures to handle toric varieties by their commutative algebra structure and by their combinatorics. ## GAP 4.5.6 (September 2012) ### Improved functionality: - The argument of `SaveWorkspace` can now start with `~/` which is expanded to the users home directory. - Added the method for `Iterator` for `PositiveIntegers`. (Suggested by Attila Egri-Nagy). - Changed kernel tables such that list access functionality for `T_SINGULAR` objects can be installed by methods at the GAP level. - In case of saved history, "UP" arrow after starting GAP yields last stored line. The user preference `HistoryMaxLines` is now used when storing and saving history (see `SetUserPreference`). ### Fixed bugs which could lead to crashes: - A crash occurring during garbage collection following a call to `AClosVec` for a `GF(2)` code. (Reported by Volker Braun) - A crash when parsing certain syntactically invalid code. (Reported by multiple users) - Fixed and improved command line editing without readline support. Fixed a segfault which could be triggered by a combination of "UP" and "DOWN" arrows. (Reported by James Mitchell) - Fixed a bug in the kernel code for floats that caused a crash on SPARC Solaris in 32-bit mode. (Reported by Volker Braun) ### Other fixed bugs: - Very large (more than 1024 digit) integers were not being coded correctly in function bodies unless the integer limb size was 16 bits. (Reported by Stefan Kohl) - An old variable was used in assertion, causing errors in a debugging compilation. (Reported by Volker Braun) - The environment variable `PAGER` is now correctly interpreted when it contains the full path to the pager program. Furthermore, if the external pager `less` is found from the environment it is made sure that the option `-r` is used (same for `more -f`). (Reported by Benjamin Lorenz) - Fixed a bug in `PermliftSeries`. (Reported by Aiichi Yamasaki) - Fixed discarder function in lattice computation to distinguish general and zuppo discarder. (Reported by Leonard Soicher) - The `GL` and `SL` constructors did not correctly handle `GL(filter,dim,ring)`. - The names of two primitive groups of degree 64 were incorrect. - The `\in` method for groups handled by a nice monomorphism sometimes could produce an error in situations where it should return false. This only happened when using `SeedFaithfulAction` to influence how `NiceMonomorphism` builds the nice monomorphims for a matrix groups. - Wrong `PrintObj` method was removed to fix delegations accordingly to the reference manual. - Fixed a method for `Coefficients` which, after Gaussian elimination, did not check that the coefficients actually lie in the left-acting-domain of the vector space. This could lead to a wrong answer in a vector space membership test. (Reported by Kevin Watkins) ### Improved documentation: - Removed outdated statements from the documentation of `StructureDescription` which now non-ambiguosly states that `StructureDescription` is not an isomorphism invariant: non-isomorphic groups can have the same string value, and two isomorphic groups in different representations can produce different strings. - GAP now allows overloading of a loaded help book by another one. In this case, only a warning is printed and no error is raised. This makes sense if a book of a not loaded package is loaded in a workspace and then GAP is started with a root path that contains a newer version. (Reported by Sebastian Gutsche) - Provided a better description of user preferences mechanism and a hint to familiarise with them using `WriteGapIniFile` function to create a file which contains descriptions of all known user preferences and also sets those user preferences which currently do not have their default value. One can then edit that file to customize (further) the user preferences for future GAP sessions. ### New packages - **AutoDoc** package by S. Gutsche, providing tools for automated generation of **GAPDoc** manuals. - **Convex** package by S. Gutsche, which provides structures and algorithms for convex geometry. - **PolymakeInterface** package by T. Baechler and S. Gutsche, providing a link to the callable library of the [**polymake**](http://www.polymake.org) system. - **ToolsForHomalg** package by M. Barakat, S. Gutsche and M. Lange-Hegermann, which provides some auxiliary functionality for the [**homalg**](http://homalg.math.rwth-aachen.de/) project. ## GAP 4.5.5 (July 2012) ### Fixed bugs which could lead to crashes: - For small primes (compact fields) `ZmodnZObj(r,p)` now returns the corresponding FFE to avoid crashes when compacting matrices. (Reported by Ignat Soroko) ### Other fixed bugs: - Fixed a bug in `CommutatorSubgroup` for fp groups causing infinite recursion, which could, for example, be triggered by computing automorphism groups. - Previously, the list of factors of a polynomial was mutable, and hence could be accidentally corrupted by callers. Now the list of irreducible factors is stored immutable. To deal with implicit reliance on old code, always a shallow copy is returned. (reported by Jakob Kroeker) - Computing high powers of matrices ran into an error for matrices in the format of the **cvec** package. Now the library function also works with these matrices. (reported by Klaus Lux) - The pseudo tty code which is responsible for spawning subprocesses has been partially rewritten to allow more than 128 subprocesses on certain systems. This mechanism is for example used by **ANUPQ** and **nq** packages to compute group quotients via an external program. Previously, on Mac OS X this could be done precisely 128 times, and then an error would occur. That is, one could e.g. compute 128 nilpotent quotients, and then had to restart GAP to compute more. This also affected other systems, such as OpenBSD, where it now also works correctly. - On Mac OS X, using GAP compiled against GNU readline 6.2, pasting text into the terminal session would result in this text appearing very slowly, with a 0.1 sec delay between each "keystroke". This is not the case with versions 6.1 and older, and has been reported to the GNU readline team. In the meantime, we work around this issue in most situations by setting `rl_event_hook` only if `OnCharReadHookActive` is set. - `ShowUserPreferences` ran into a break loop in case of several undeclared user preferences. (Reported by James Mitchell) - GAP did not start correctly if the user preference `"InfoPackageLoadingLevel"` was set to a number \>= 3. The reason is that `PrintFormattedString` was called before it was installed. The current fix is a temporary solution. - The `"hints"` member of `TypOutputFile` used to contain 3\*100 entries, yet `addLineBreakHint` would write entries with index up to and including 3\*99+3=300, leading to a buffer overflow. This would end up overwriting the `"stream"` member with -1. Fixed by incrementing the size of `"hints"` to 301. (Reported by Jakob Kroeker) - The function `IsDocumentedWord` tested the given word against strings obtained by splitting help matches at non-letter characters. This way, variable names containing underscores or digits were erroneously not regarded as documented, and certain substrings of these names were erroneously regarded as documented. - On Windows, an error occurred if one tried to use the default Windows browser as a help viewer (see `SetHelpViewer`). Now the browser opens the top of the corresponding manual chapter. The current fix is a temporary solution since the problem remains with the positioning at the required manual section. ### Improved functionality: - `WriteGapIniFile` on Windows now produces the `gap.ini` file with Windows style line breaks. Also, an info message is now printed if an existing `gap.ini` file was moved to a backup file `gap.ini.bak`. - The **CTblLib** and **TomLib** packages are removed from the list of suggested packages of the core part of GAP. Instead they are added to the default list of the user preference `"PackagesToLoad"`. This way it is possible to configure GAP to not load these packages via changing the default value of `"PackagesToLoad"`. - The conjugacy test in S_n for intransitive subgroups was improved. This deals with inefficiency issue in the case reported by Stefan Kohl. - Added `InstallAndCallPostRestore` to `lib/system.g` and call it in `lib/init.g` instead of `CallAndInstallPostRestore` for the function that reads the files listed in GAP command line. This fixes the problem reported by Yevgen Muntyan when `SaveWorkspace` was used in a file listed in GAP command line (before, according to the documentation, `SaveWorkspace` was only allowed at the main GAP prompt). - There is now a new user preference `PackagesToIgnore`, see `SetUserPreference`. It contains a list of names of packages that shall be regarded as not available at all in the current session, both for autoloading and for later calls of `LoadPackage`. This preference is useful for testing purposes if one wants to run some code without loading certain packages. ## GAP 4.5.4 (June 2012) This is the first public release of GAP 4.5. This chapter lists most important changes between GAP 4.4.12 and the first public release of GAP 4.5. It also contains information about subsequent update releases for GAP 4.5. It is not meant to serve as a complete account on all improvements; instead, it should be viewed as an introduction to GAP 4.5, accompanying its release announcement. ### Performance improvements: - The GAP kernel now uses [**GMP**](http://gmplib.org/) (GNU multiple precision arithmetic library) for faster large integer arithmetic. - Improved performance for records with large number of components. - Speedup of hash tables implementation at the GAP library level. - `MemoryUsage` is now much more efficient, in particular for large objects. - Speedups in the computation of low index subgroups, Tietze transformations, calculating high powers of matrices over finite fields, `Factorial`, etc. ### New and improved kernel functionality: - By default, the GAP kernel compiles with the **GMP** and **readline** libraries. The **GMP** library is supplied with GAP and we recommend that you use the version we supply. There are some problems with some other versions. It is also possible to compile the GAP kernel with the system **GMP** if your system has it. The **readline** library must be installed on your system in advance to be used with GAP. - Floating point literals are now supported in the GAP language, so that, floating point numbers can be entered in GAP expressions in a natural way. Support for floats is now properly documented. GAP has an interface using which packages may add new floating point implementations and integrate them with the parser. In particular, we expect that there will soon be a package that implements arbitrary precision floating point arithmetic. - The Mersenne twister random number generator has been made independent of endianness, so that random seeds can now be transferred between architectures. - Defaults for `-m` and `-o` options have been increased. Changes have been made to the way that GAP obtains memory from the Operating System, to make GAP more compatible with C libraries. A new `-s` option has been introduced to control or turn off the new behaviour. - The filename and lines from which a function was read can now be recovered using `FilenameFunc`, `StartlineFunc` and `EndlineFunc`. This allows you, for example, to implement a function such as `PageSource` to show the file containing the source code of a function or a method in a pager, see `Pager`. - `CallFuncList` was made into an operation so that it can be used to define behaviour of a non-function when called as a function. - Improvements to the cyclotomic number arithmetic for fields with large conductors. - Better and more flexible viewing of some large objects. - Opportunity to interrupt some long kernel computations, e.g. multiplication of compressed matrices, intercepting `Ctrl-C` in designated places in the kernel code by means of a special kernel function for that purpose. - `ELM_LIST` now allows you to install methods where the second argument is NOT a positive integer. - Kernel function `DirectoryContents` to get the list of names of files and subdirectories in a directory. - Kernel functions for Kronecker product of compressed matrices, see `KroneckerProduct`. ### New and improved library functionality: - Extensions of data libraries: - Functions and iterators are now available to create and enumerate simple groups by their order up to isomorphism: `SimpleGroup`, `SmallSimpleGroup`, `SimpleGroupsIterator` and `AllSmallNonabelianSimpleGroups`. - See also packages **CTblLib**, **IRREDSOL** and **Smallsemi**. - Many more methods are now available for the built-in floating point numbers. - The bound for the proper primality test in `IsPrimeInt` increased up to 10^18. - Improved code for determining transversal and double coset representatives in large groups. - Improvements in `Normalizer` for S_n. - Smith normal form of a matrix may be computed over arbitrary euclidean rings, see `NormalFormIntMat`. - Improved algorithms to determine the subgroup lattice of a group, as well as the function `DotFileLatticeSubgroups` to save the lattice structure in `.dot` file to view it e.g. with **GraphViz**. - Special teaching mode which simplifies some output and provides more basic functionality. - Functionality specific for use in undergraduate abstract algebra courses, e.g. checksums; string/integer list conversion; rings of small orders; the function `SetNameObject` to set display names for objects for more informative examples, e.g. constructing groups from "named" objects, such as, for example, `R90` for a 90-degree rotation). - Functions `DirectoryDesktop` and `DirectoryHome` which provide uniform access to default directories under Windows, Mac OS X and Unix. - Improved methods for hashing when computing orbits. - Functionality to call external binaries under Windows. - Symplectic groups over residue class rings, see `SymplecticGroup`. - Basic version of the simplex algorithm for matrices. - New functions, operations and attributes: `PrimeDivisors`, `Shuffle` for lists, `IteratorOfPartitions`, `IteratorOfCombinations`, `EnumeratorOfCombinations` and others. - The behaviour of `Info` statements can now be configured per info class, this applies to the way the arguments are printed and to the output stream. - New function `Test` which is a more flexible and informative substitute of `ReadTest` operation. - `ConnectGroupAndCharacterTable` is replaced by more robust function `CharacterTableWithStoredGroup`. ### Many problems in GAP have have been fixed, among them the following: - Polynomial factorisation over rationals could miss factors of degree greater than deg(f)/2 if they have very small coefficients, while the cofactor has large coefficients. - `IntermediateSubgroups` called on a group and a normal subgroup did not properly calculate maximal inclusion relationships. - `CentreOfCharacter` and `ClassPositionsOfCentre` called for a group character could return a perhaps too large result. - `Trace` called for an element of a finite field that was created with `AlgebraicExtension` ran into an error. - `IrreducibleRepresentationsDixon` did not accept a list with one character as a second argument. - Composing a homomorphism from a permutation group to a finitely presented group with another homomorphism could give wrong results. - For certain arguments, the function `EU` returned wrong results. - In the table of marks of cyclic groups, `NormalizersTom` value was wrong. - The function `PermChars` returned a perhaps wrong result when the second argument was a positive integer (not a record) and the trivial character of the character table given as the first argument was not the first in the list of irreducibles. - GAP crashed when the intersection of ranges became empty. - `IsPSL`, and in turn `StructureDescription`, erroneously recognised non-PSL groups of the right order as PSL. - The semidirect product method for pcgs computable groups sometimes tried to use finite presentations which were not polycyclic. This usually happened when the groups were not pc groups, and there was a very low risk of getting a wrong result. - The membership test for a group of finite field elements ran into an error if the zero element of the field was given as the first argument. - Constant polynomials were not recognised as univariate in any variable. - The kernel recursion depth counter was not reset properly when running into many break loops. - GAP did not behave well when printing of a (large) object was interrupted with `Ctrl-C`. Now the object is no longer corrupted and the indentation level is reset. ### Potentially incompatible changes: - The zero polynomial now has degree `-infinity`, see `DegreeOfLaurentPolynomial`. - Multiple unary `+` or `-` signs are no longer allowed (to avoid confusion with increment/decrement operators from other programming languages). - Due to changes to improve the performance of records with large number of components, the ordering of record components in `View`'ed records has changed. - Due to improvements for vectors over finite fields, certain objects have more limitations on changing their base field. For example, one cannot create a compressed matrix over GF(2) and then assign an element of GF(4) to one of its entries. ### No longer supported: - Completion files mechanism. - GAP 3 compatibility mode. In addition, we no longer recommend using the GAP compiler `gac` to compile GAP code to **C**, and may withdraw it in future releases. Compiling GAP code only ever gave a substantial speedup for rather specific types of calculation, and much more benefit can usually be achieved quite easily by writing a small number of key functions in **C** and loading them into the kernel as described in `LoadDynamicModule`. The `gac` script will remain available as a convenient way of compiling such kernel modules from **C**. Also, the following functions and operations were made obsolete: `AffineOperation`, `AffineOperationLayer`, `FactorCosetOperation`, `DisplayRevision`, `ProductPol`, `TeXObj`, `LaTeXObj`. ### Changes in distribution formats The GAP 4.5 source distribution has the form of a single archive containing the core system and the most recent "stable" versions of all currently redistributed packages. There are no optional archives to download: the **TomLib** package now contains all its tables of marks in one archive; we do not provide separate versions of manuals for Internet Explorer, and the former `tools` archive is now included as an archive in the `etc` directory. To unpack and install the archive, user the script `etc/install-tools.sh`. We no longer distribute separate bugfix archives when the core GAP system changes, or updated packages archives when a redistributed package is updated. Instead, the single GAP source distribution archive will be labelled by the version of the core GAP system and also by a timestamp. This archive contains the core system and the stable versions of the relevant packages on that date. To upgrade, you simply replace the whole directory containing the GAP installation, and rebuild binaries for the GAP kernel and packages. For new versions of packages, we will also continue to redistribute individual package archives so it will be possible to update a single package without changing the rest of the GAP installation. Furthermore, by default GAP will now automatically read a user-specific GAP root directory (unless GAP is called with the `-r` option). All user settings can be made in that directory, so there will be no risk of them being lost during an update. Private packages can also be installed in this directory for the same reason. There are some changes in archive formats used for the distribution: we continue to provide `.tar.gz`, `.tar.bz2` and `-win.zip` archives. We have added `.zip`, and stopped providing `.zoo` archives. We no longer provide GAP binaries for Mac OS 9 (Classic) any more. For installations from source on Mac OS X one may follow the instructions for UNIX. With the release of GAP 4.5, we also encourage more users to take advantage of the increasingly mature binary distributions which are now available. These include: - The binary [`rsync` distribution](http://www.math.rwth-aachen.de/~Frank.Luebeck/gap/rsync) for GAP on Linux PCs with i686 or x86_64 compatible processors provided by Frank Lübeck. - [**BOB**](http://www-groups.mcs.st-and.ac.uk/~neunhoef/Computer/Software/Gap/bob.html), a tool for Linux and Mac OS X to download and build GAP and its packages from source provided by M. Neunhöffer. - The [GAP installer for Windows](https://www.gap-system.org/ukrgap/wininst/), provided by Alexander Konovalov. In the near future, we also hope to have a binary distribution for Mac OS X. Internally, we now have infrastructure to support more robust and frequent releases, and an improved system to fetch and test new versions of the increasingly large number of packages. The **Example** package documents technical requirements for packages, many of which are checked automatically by our systems. This will allow us to check the compatibility of packages with the system and with other packages more thoroughly before publishing them on the GAP website. ### Improvements to the user interface By default, GAP now uses the **readline** library for command line editing. It provides such advantages as working with unicode terminals, nicer handling of long input lines, improved TAB-completion and flexible configuration. For further details, see Reference: Editing using the readline library. We have extended facilities for user interface customisation. By default GAP automatically scans a user specific GAP root directory (unless GAP is called with the `-r` option). The name of this user specific directory depends on the operating system and is contained in `GAPInfo.UserGapRoot`. This directory can be used to tell GAP about personal preferences, to load some additional code, to install additional packages, or to overwrite some GAP files, see Reference: GAP Root Directories. Instead of a single `.gaprc` file we now use more flexible setup based on two files: `gap.ini` which is read early in the startup process, and `gaprc` which is read after the startup process, but before the first input file given on the command line. These files may be located in the user specific GAP root directory `GAPInfo.UserGapRoot` which by default is the first GAP root directory, see Reference: The gap.ini and gaprc files. For compatibility, the `.gaprc` file is still read if the directory `GAPInfo.UserGapRoot` does not exist. See Reference: The former .gaprc file for the instructions how to migrate your old setup. Furthermore, there are functions to deal with user preferences, for example, to specify how GAP's online help is shown or whether the coloured prompt should be used. Calls to set user preferences may appear in the user's `gap.ini` file, as explained in Reference: Configuring User preferences. In the Windows version, we include a new shell which uses the **mintty** terminal in addition to the two previously used shells (Windows command line and **RXVT**). The **mintty** shell is now recommended. It supports Unicode encoding and has flexible configurations options. Also, GAP under Windows now starts in the `%HOMEDRIVE%%HOMEPATH%` directory, which is the user's home directory. Besides this, a larger workspace is now permitted without a need to modify the Windows registry. Other changes in the user interface include: - the command line history is now implemented at the GAP level, it can be stored on quitting a GAP session and reread when starting a new session, see Reference: The command line history. - `SetPrintFormattingStatus("stdout",false);` may be used to switch off the automatic line breaking in terminal output, see `SetPrintFormattingStatus`. - GAP supports terminals with up to 4096 columns (extendable at compile time). - Directories in `-l` command-line option can now be specified starting with `~/`. - Large integers are now displayed by a short string showing the first and last few digits, and the threshold to trigger this behaviour is user configurable (call `UserPreference("MaxBitsIntView")` to see the default value). - The GAP banner has been made more compact and informative. - `SetHelpViewer` now supports the Google Chrome browser. - Multiple matches in the GAP online help are displayed via a function from the **Browse** package, which is loaded in the default configuration. This feature can be replaced by the known pager using the command ``` normal SetUserPreference( "browse", "SelectHelpMatches", false ); ``` ### Better documentation The main GAP manuals have been converted to the **GAPDoc** format provided by the [**GAPDoc**](http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc) package by Frank Lübeck and Max Neunhöffer. This documentation format is already used by many packages and is now recommended for all GAP documentation. Besides improvements to the documentation layout in all formats (text, PDF and HTML), the new GAP manuals incorporate a large number of corrections, clarifications, additions and updated examples. We now provide two HTML versions of the manual, one of them with [**MathJax**](http://www.mathjax.org) support for better display of mathematical symbols. Also, there are two PDF versions of the manual - a coloured and a monochrome one. Several separate manuals now became parts of the GAP Reference manual. Thus, now there are three main GAP manual books: - *GAP Tutorial* - *GAP Reference manual* - *GAP - Changes from Earlier Versions* Note that there is no index file combining these three manuals. Instead of that, please use the GAP help system which will search all of these and about 100 package manuals. ### Packages in GAP 4.5 Here we list most important changes affecting packages and present new or essentially changed packages. ### Interface between the core system and packages The package loading mechanism has been improved. The most important new feature is that all dependencies are evaluated in advance and then used to determine the order in which package files are read. This allows GAP to handle cyclic dependencies as well as situations where package A requires package B to be loaded completely before any file of package A is read. To avoid distortions of the order in which packages will be loaded, package authors are strongly discouraged from calling `LoadPackage` and `TestPackageAvailability` in a package code in order to determine whether some other package will be loaded before or together with the current package - instead, one should use `IsPackageMarkedForLoading`. In addition, there is now a better error management if package loading fails for packages that use the new functionality to log package loading messages (see `DisplayPackageLoadingLog` and the rest of the Chapter "Using and Developing GAP Packages" in the reference manual which documents how to *use* GAP packages), and package authors are very much encouraged to use these logging facilities. In GAP 4.4 certain packages were marked as *autoloaded* and would be loaded, if present, when GAP started up. In GAP 4.5, this notion is divided into three. Certain packages are recorded as *needed* by the GAP system and others as *suggested*, in the same way that packages may *need* or *suggest* other packages. If a needed package is not loadable, GAP will not start. Currently only **GAPDoc** is needed. If a suggested package is loadable, it will be loaded. Typically these are packages which install better methods for Operations and Objects already present in GAP. Finally, the user preferences mechanism can be used to specify additional packages that should be loaded if possible. By default this includes most packages that were autoloaded in GAP 4.4.12, see `ShowUserPreferences`. GAP packages may now use local *namespaces* to avoid name clashes for global variables introduced in other packages or in the GAP library, see Reference: Namespaces for GAP packages. All guidance on how to *develop* a GAP package has been consolidated in the **Example** package which also contains a checklist for upgrading a GAP package to GAP 4.5 (the guidance has been transferred to Reference: Using and Developing GAP Packages in GAP 4.9). ### New and updated packages since GAP 4.4.12 At the time of the release of GAP 4.4.12 there were 75 packages redistributed with GAP (including the **TomLib** which was distributed in the core GAP archive). The first public release of GAP 4.5 contains precisely 99 packages. The new packages that have been added to the redistribution since the release of GAP 4.4.12 are: - **Citrus** package by J.D. Mitchell for computations with transformation semigroups and monoids (this package is a replacement of the **Monoid** package). - **cvec** package by M. Neunhöffer, providing an implementation of compact vectors over finite fields. - **fwtree** package by B. Eick and T. Rossmann for computing trees related to some pro-p-groups of finite width. - **GBNP** package by A.M. Cohen and J.W. Knopper, providing algorithms for computing Grobner bases of noncommutative polynomials over fields with respect to the "total degree first then lexicographical" ordering. - **genss** package by M. Neunhöffer and F. Noeske, implementing the randomised Schreier-Sims algorithm to compute a stabiliser chain and a base and a strong generating set for arbitrary finite groups. - **HAPprime** package by P. Smith, extending the **HAP** package with an implementation of memory-efficient algorithms for the calculation of resolutions of small prime-power groups. - **hecke** package by D. Traytel, providing functions for calculating decomposition matrices of Hecke algebras of the symmetric groups and q-Schur algebras (this package is a port of the GAP 3 package **Specht 2.4** to GAP 4). - [**Homalg**](http://homalg.math.rwth-aachen.de/) project by M. Barakat, S. Gutsche, M. Lange-Hegermann et al., containing the following packages for the homological algebra: **homalg**, **ExamplesForHomalg**, **Gauss**, **GaussForHomalg**, **GradedModules**, **GradedRingForHomalg**, **HomalgToCAS**, **IO_ForHomalg**, **LocalizeRingForHomalg**, **MatricesForHomalg**, **Modules**, **RingsForHomalg** and **SCO**. - **MapClass** package by A. James, K. Magaard and S. Shpectorov to calculate the mapping class group orbits for a given finite group. - **recogbase** package by M. Neunhöffer and A. Seress, providing a framework to implement group recognition methods in a generic way (suitable, in particular, for permutation groups, matrix groups, projective groups and black box groups). - **recog** package by M. Neunhöffer, A. Seress, N. Ankaralioglu, P. Brooksbank, F. Celler, S. Howe, M. Law, S. Linton, G. Malle, A. Niemeyer, E. O'Brien and C.M. Roney-Dougal, extending the **recogbase** package and provides a collection of methods for the constructive recognition of groups (mostly intended for permutation groups, matrix groups and projective groups). - **SCSCP** package by A. Konovalov and S. Linton, implementing the Symbolic Computation Software Composability Protocol [**SCSCP**](http://www.symbolic-computation.org/scscp) for GAP, which provides interfaces to link a GAP instance with another copy of GAP or other **SCSCP**-compliant system running locally or remotely. - **simpcomp** package by F. Effenberger and J. Spreer for working with simplicial complexes. - **Smallsemi** package by A. Distler and J.D. Mitchell, containing the data library of all semigroups with at most 8 elements as well as various information about them. - **SymbCompCC** package by D. Feichtenschlager for computations with parametrised presentations for finite p-groups of fixed coclass. Furthermore, some packages have been upgraded substantially since the GAP 4.4.12 release: - **Alnuth** package by B. Assmann, A. Distler and B. Eick uses an interface to PARI/GP system instead of the interface to KANT (thanks to B. Allombert for the GP code for the new interface and help with the transition) and now also works under Windows. - **CTblLib** package (the GAP Character Table Library) by T. Breuer has been extended by many new character tables, a few bugs have been fixed, and new features have been added, for example concerning the relation to GAP's group libraries, better search facilities, and interactive overviews. For details, see the package manual. - **DESIGN** package by L.H. Soicher: - The functions `PointBlockIncidenceMatrix`, `ConcurrenceMatrix`, and `InformationMatrix` compute matrices associated with block designs. - The function `BlockDesignEfficiency` computes certain statistical efficiency measures of a 1-(v,k,r) design, using exact algebraic computation. - **Example** package by W. Nickel, G. Gamble and A. Konovalov has a more detailed and up-to-date guidance on developing a GAP package. - **FR** package by L. Bartholdi now uses floating-point numbers to compute approximations of rational maps given by their group-theoretical description. - The **GAPDoc** package by F. Lübeck and M. Neunhöffer provides various improvements, for example: - The layout of the text version of the manuals can be configured quite freely, several standard "themes" are provided. The display is now adjusted to the current screen width. - Some details of the layout of the HTML version of the manuals can now be configured by the user. All manuals are available with and without MathJax support for display of mathematical formulae. - The text and HTML versions of manuals make more use of unicode characters (but the text version is also still reasonably good on terminals with latin1 or ASCII encoding). - The PDF version of the manuals uses better fonts. - Of course, there are various improvements for authors of manuals as well, for example new functions `ExtractExamples` and `RunExamples` for automatic testing and correcting of manual examples. - **Gpd** package by E.J. Moore and C.D. Wensley has been substantially rewritten. The main extensions provide functions for: - Subgroupoids of a direct product with complete graph groupoid, specified by a root group and choice of rays. - Automorphisms of finite groupoids - by object permutations; by root group automorphisms; and by ray images. - The automorphism group of a finite groupoid together with an isomorphism to a quotient of permutation groups. - Homogeneous groupoids (unions of isomorphic groupoids) and their morphisms, in particular homogeneous discrete groupoids: the latter are used in constructing crossed modules of groupoids in the **XMod** package. - **GRAPE** package by L.H. Soicher: - With much help from A. Hulpke, the interface between **GRAPE** and `dreadnaut` is now done entirely in GAP code. - A 32-bit `nauty/dreadnaut` binary for Windows (XP and later) is included with **GRAPE**, so now **GRAPE** provides full functionality under Windows, with no installation necessary. - Graphs with ordered partitions of their vertices into "colour-classes" are now handled by the graph automorphism group and isomorphism testing functions. An automorphism of a graph with colour-classes is an automorphism of the graph which additionally preserves the list of colour-classes (classwise), and an isomorphism from one graph with colour-classes to a second is a graph isomorphism from the first graph to the second which additionally maps the first list of colour-classes to the second (classwise). - The GAP code and old standalone programs for the undocumented functions `Enum` and `EnumColadj` have been removed as their functionality can now largely be handled by current documented GAP and **GRAPE** functions. - **IO** package by M. Neunhöffer: - New build system to allow for more flexibility regarding the use of compiler options and adjusting to GAP 4.5. - New functions to access time like `IO_gettimeofday`, `IO_gmtime` and `IO_localtime`. - Some parallel skeletons built on `fork` like: `ParListByFork`, `ParMapReduceByFork`, `ParTakeFirstResultByFork` and `ParWorkerFarmByFork`. - `IOHub` objects for automatic I/O multiplexing. - New functions `IO_gethostbyname` and `IO_getsockname`. - **IRREDSOL** package by B. Höfling now covers all irreducible soluble subgroups of GL(n,q) for q^n \< 1000000 and primitive soluble permutation groups of degree \< 1000000 (previously, the bound was 65536). It also has faster group recognition and adds a few omissions for GL(3,8) and GL(6,5). - **ParGAP** package by G. Cooperman is now compiled using a system-wide MPI implementation by default to facilitate running it on proper clusters. There is also an option to build it with the **MPINU** library which is still supplied with the package (thanks to P. Smith for upgrading **ParGAP** build process). - **OpenMath** package by M. Costantini, A. Konovalov, M. Nicosia and A. Solomon now supports much more OpenMath symbols to facilitate communication by the remote procedure call protocol implemented in the **SCSCP** package. Also, a third-party external library to support binary OpenMath encoding has been replaced by a proper implementation made entirely in GAP. - **Orb** package by J. Müller, M. Neunhöffer and F. Noeske: There have been numerous improvements to this package: - A new fast implementation of AVL trees (balanced binary trees) in C. - New interface to hash table functionality and implementation in C for speedup. - Some new hash functions for various object types like transformations. - New function `ORB_EstimateOrbitSize` using the birthday paradox. - Improved functionality for product replacer objects. - New "tree hash tables". - New functionality to compute weak and strong orbits for semigroups and monoids. - `OrbitGraph` for Orb orbits. - Fast C kernel methods for the following functions: `PermLeftQuoTransformationNC`, `MappingPermSetSet`, `MappingPermListList`, `ImageSetOfTransformation`, and `KernelOfTransformation`. - New build system to allow for more flexibility regarding the use of compiler options and to adjust to GAP 4.5. - **RCWA** package by S. Kohl among the new features and other improvements has the following: - A database of all 52394 groups generated by 3 class transpositions of ℤ which interchange residue classes with modulus less than or equal to 6. This database contains the orders and the moduli of all of these groups. Also it provides information on what is known about which of these groups are equal and how their finite and infinite orbits on ℤ look like. - More routines for investigating the action of an rcwa group on ℤ. Examples are a routine which attempts to find out whether a given rcwa group acts transitively on the set of nonnegative integers in its support and a routine which looks for finite orbits on the set of all residue classes of ℤ. - Ability to deal with rcwa permutations of ℤ^2. - Important methods have been made more efficient in terms of runtime and memory consumption. - The output has been improved. For example, rcwa permutations are now `Display`'ed in ASCII text resembling LaTeX output. - The **XGAP** package by F. Celler and M. Neunhöffer can now be used on 64-bit architectures (thanks to N. Eldredge and M. Horn for sending patches). Furthermore, there is now an export to XFig option (thanks to Russ Woodroofe for this patch). The help system in **XGAP** has been adjusted to GAP 4.5. - Additionally, some packages with kernel modules or external binaries are now available in Windows. The `-win.zip` archive and the GAP installer for Windows include working versions of the following packages: **Browse**, **cvec**, **EDIM**, **GRAPE**, **IO** and **orb**, which were previously unavailable for Windows users. Finally, the following packages are withdrawn: - **IF** package by M. Costantini is unmaintained and no longer usable. More advanced functionality for interfaces to other computer algebra systems is now available in the **SCSCP** package by A. Konovalov and S. Linton. - **Monoid** package by J. Mitchell is superseded by the **Citrus** package by the same author. - **NQL** package by R. Hartung has been withdrawn by the author. ## GAP 4.4 Update 12 (December 2008) ### Fixed bugs which could lead to crashes: - A bug whereby leaving an incomplete statement on a line (for instance typing while and then return) when prompt colouring was in use could lead to GAP crashing. ### Other fixed bugs: - A bug which made the command-line editor unusable in a 64-bit version of GAP on Mac OS X. ## GAP 4.4 Update 11 (December 2008) ### Fixed bugs which could produce wrong results: - `MemoryUsage` on objects with no subobjects left them in the cache and thus reported 0 in subsequent calls to MemoryUsage for the same object. (Reported by Stefan Kohl) - `Irr` might be missing characters. (Reported by Angel del Rio) - Up to now, it was allowed to call the function `FullMatrixAlgebraCentralizer` with a field and a list of matrices such that the entries of the matrices were not contained in the field; in this situation, the result did not fit to the documentation. Now the entries of the matrices are required to lie in the field, if not then an error is signaled. - For those finite fields that are regarded as field extensions over non-prime fields (one can construct such fields with `AsField`), the function `DefiningPolynomial` erroneously returned a polynomial w.r.t. the extension of the prime field. (Reported by Stefan Kohl) - Since the release of GAP 4.4.10, the return values of the function `QuaternionAlgebra` were not consistent w.r.t. the attribute `GeneratorsOfAlgebra`; the returned list could have length four or five. Now always the list of elements of the canonical basis is returned. - `MonomialGrevlexOrdering` calculated a wrong ordering in certain cases. (Reported by Paul Smith) - The (GAP kernel) method for the operation `IntersectSet` for ranges had two bugs, which could yield a result range with either too few or too many elements. As a consequence, for example the `Intersection` results for ranges could be wrong. (Reported by Matthew Fayers) - Fixed a bug in the short-form display of elements of larger finite fields, a bug in some cross-field conversions and some inefficiencies and a missing method in the `LogFFE` code. (Reported by Jia Huang) - In rare cases `SmithNormalFormIntegerMatTransforms` returned a wrong normal form (the version without transforming matrices did not have this problem). This is fixed. (Reported by Alexander Hulpke) - The variant of the function `StraightLineProgram` that takes a string as its first argument returned wrong results if the last character of this string was a closing bracket. - The code for central series in a permutation group used too tight a bound and thus falsely return a nilpotent permutation group as non-nilpotent. ### Fixed bugs which could lead to crashes: - Under certain circumstances the kernel code for position in blists would access a memory location just after the end of the blist. If this location was not accessible, a crash could result. This was corrected and the code was cleaned up. (Reported by Alexander Hulpke) ### Other fixed bugs: - The function `IsomorphismTypeInfoFiniteSimpleGroup` can be called with a positive integer instead of a group, and then returns information about the simple group(s) of this order. (This feature is currently undocumented.) For the argument 1, however, it ran into an infinite loop. - A lookup in an empty dictionary entered a break loop. Now returns `fail`. (Reported by Laurent Bartholdi) - The c++ keyword `and` can no longer be used as a macro parameter in the kernel. (Reported by Paul Smith) - The operation `KernelOfMultiplicativeGeneralMapping` has methods designed to handle maps between permutation groups in a two-step approach, but did not reliably trigger the second step. This has now been fixed, preventing a slow infinite loop repeating the first step. This was normally only seen as part of a larger calculation. - There were two methods for the operation `Intersection2` which have implicitly assumed that finiteness of a collection can always be decided. Now, these methods check for `IsFinite` and `CanComputeSize` prior to calling `IsFinite`. - Made error message in case of corrupted help book information (manual.six file) shorter and more informative. (Reported by Alexander Hulpke) - GAP cannot call methods with more than six arguments. Now the functions `NewOperation`, `DeclareOperation`, and `InstallMethod` signal an error if one attempts to declare an operation or to install a method with more than six arguments. - Up to now, `IsOne` had a special method for general mappings, which was much worse than the generic method; this special method has now been removed. - When printing elements of an algebraic extension parentheses around coefficients were missing. (Reported by Maxim Hendriks) ### New or improved functionality: - Make dynamic loading of modules possible on CYGWIN using a DLL based approach. Also move to using autoconf version 2.61. - One can now call `Basis`, `Iterator` etc. with the return value of the function `AlgebraicExtension`. - The function `FrobeniusCharacterValue` returned `fail` for results that require a finite field with more than 65536 elements. Meanwhile GAP can handle larger finite fields, so this restriction was removed. (It is still possible that `FrobeniusCharacterValue` returns `fail`.) - Methods for testing membership in general linear groups and special linear groups over the integers have been added. - Methods for `String` and `ViewString` for full row modules have been added. Further, a default method for `IsRowModule` has been added, which returns `false` for objects which are not free left modules. - A `ViewString` method for objects with name has been added. - The method for `View` for polynomial rings has been improved, and methods for `String` and `ViewString` for polynomial rings have been added. - `Binomial` now works with huge `n`. - The function `InducedClassFunctionsByFusionMap` is now documented. - The return values of the function `QuaternionAlgebra` now store that they are division rings (if optional parameters are given then of course ths depends on these parameters). ## GAP 4.4 Update 10 (October 2007) ### New or improved functionality: - Files in the `cnf` directory of the GAP distribution are now archived as binary files. Now GAP can be installed with UNIX or with WINDOWS style line breaks on any system and should work without problems. - Since large finite fields are available, some restrictions in the code for computing irreducible modules over finite fields are no longer necessary. (They had been introduced in order to give better error messages.) - Made PositionSublist faster in case the search string does not contain repetitive patterns. - The function `MakeImmutable` now returns its argument. - Dynamically loaded modules now work on Mac OS X. As a consequence, this allows to work with the Browse, EDIM and IO packages on Mac OS X. - Introduced `ViewObj` and `PrintObj` methods for algebraic number fields. Made them applicable to `AlgebraicExtension` by adding the property `IsNumberField` in the infinite field case. - The function `CharacterTableRegular` is documented now. - The function `ScalarProduct` now accepts also Brauer characters as arguments. - The function `QuaternionAlgebra` now accepts also a list of field elements instead of a field. Also, now the comparison of return values (w.r.t. equality, containment) yields `true` if the parameters coincide and the ground fields fit. - The function `RemoveCharacters` is now documented. - Lists in GAP sometimes occupy memory for possible additional entries. Now plain lists and strings read by GAP and the lists returned by `List` only occupy the memory they really need. For more details see the documentation of the new function `EmptyPlist`. - There are some new Conway polynomials in characteristic 2 and 3 provided by Kate Minola. - A new operation `MemoryUsage` determines the memory usage in bytes of an object and all its subobjects. It does not consider families and types but handles arbitrary self-referential structures of objects. ### Fixed bugs which could produce wrong results: - When forming the semidirect product of a matrix group with a vector space over a non-prime field the embedding of the vector space gave a wrong result. (Reported by anvita21) - DefaultRing failed for constant polynomials over nonprime fields. (Reported by Stefan Kohl) - The method in ffeconway.gi that gets coefficients WRT to the canonical basis of the field from the representation is only correct if the basis is over the prime field. Added a TryNextMethod if this is not the case. (Reported by Alla Detinko) - Creating a large (\>2^16) field over a non-prime subfield went completely wrong. (Reported by Jack Schmidt, from Alla Detinko) - A method for Coefficients for Conway polynomial FFEs didn't check that the basis provided was the canonical basis of the RIGHT field. (Reported by Bettina Eick) - An elementary abelian series was calculated wrongly. (Reported by N. Sieben) - Orbits on sets of transformations failed. - Wrong methods for `GeneratorsOfRing` and `GeneratorsOfRingWithOne` have been removed. These methods were based on the assumption that one can obtain a set of ring generators by taking the union of a known set of field generators, the set of the inverses of these field generators and {1}. - The name of a group of order 117600 and degree 50 was incorrect in the Primitive Permutation Groups library. In particular, a group was wrongly labelled as PGL(2, 49). - There was a possible error in `SubgroupsSolvableGroup` when computing subgroups within a subgroup. - An error in 2-Cohomology computation for pc groups was fixed. - `IsConjugate` used normality in a wrong supergroup ### Fixed bugs which could lead to crashes: - GAP crashed when the `PATH` environment variable was not set. (Reported by Robert F. Morse) - GAP could crash when started with option `-x 1`. Now the number of columns is initialized with at least 2. (Reported by Robert F. Morse) - After loading a saved workspace GAP crashed when one tried to slice a compressed vector over a field with 2 \< q \<= 256 elements, which had already existed in the saved workspace. (Reported by Laurent Bartholdi) - `FFECONWAY.WriteOverSmallestCommonField` tripped up when the common field is smaller than the field over which some of the vector elements are written, because it did a test based on the degree of the element, not the field it is written over. (Reported by Thomas Breuer) - Fixed the following error: When an FFE in the Conway polynomial representation actually lied in a field that is handled in the internal representation (eg GF(3)) and you tried to write it over a bigger field that is ALSO handled internally (eg GF(9)) you got an element written over the larger field, but in the Conway polynomial representation, which is forbidden. (Reported by Jack Schmidt) - Attempting to compress a vector containing elements of a small finite field represented as elements of a bigger (external) field caused a segfault. (Reported by Edmund Robertson) - GAP crashed when `BlistList` was called with a range and a list containing large integers or non-integers. (Reported by Laurent Bartholdi) - GAP no longer crashes when `OnTuples` is called with a list that contains holes. (Reported by Thomas Breuer) ### Other fixed bugs: - `Socle` for the trivial group could produce an error message. - `DirectoryContents` ran into an error for immutable strings without trailing slash as argument. (Reported by Thomas Breuer) - The functions `IsInjective` and `IsSingleValued` did not work for general linear mappings with trivial (pre)image. (Reported by Alper Odabas) - Creating an enumerator for a prime field with more than 65536 elements ran into an infinite recursion. (Reported by Akos Seress) - The performance of `List`, `Filtered`, `Number`, `ForAll` and `ForAny` if applied to non-internally represented lists was improved. Also the performance of iterators for lists was slightly improved. - Finite field elements now know that they can be sorted easily which improves performance in certain lookups. - A method for `IsSubset` was missing for the case that exactly one argument is an inhomogeneous list. (Reported by Laurent Bartholdi) - Long integers in expressions are now printed (was not yet implemented). (Reported by Thomas Breuer) - Fixed kernel function for printing records. - New C library interfaces (e.g., to ncurses in the **Browse** package) need some more memory to be allocated with `malloc`. The default value of GAP `-a` option is now `2m>`. - Avoid warnings about pointer types by newer gcc compilers. - `IsBound(l[pos])` was failing for a large integer pos only when coded (e.g. in a loop or function body). - `ZmodpZObj` is now a synonym for `ZmodnZObj` such that from now on such objects print in a way that can be read back into GAP. - The outdated note that binary streams are not yet implemented has been removed. ## GAP 4.4 Update 9 (November 2006) ### Fixed bugs which could produce wrong results: - The methods of `ReadByte` for reading from files or terminals returned wrong results for characters in the range `[128..255]`. (Reported by Yevgen Muntyan) ### Other fixed bugs: - A method for the operation `PseudoRandom` did not succeed. - A fix for `Orbits` with a set of points as a seed. - Added a generic method such that `Positions` works with all types of lists. - Fixed a problem in choosing the prime in the Dixon-Schneider algorithm. (Reported by Toshio Sumi) ### New or improved functionality: - `ReducedOrdinary` was used in the manual, but was not documented, being a synonym for the documented `ReducedCharacters`. Changed manual examples to use the latter form. (Reported by Vahid Dabbaghian) ## GAP 4.4 Update 8 (September 2006) ### New or improved functionality: - A function `Positions` with underlying operation `PositionsOp`, which returns the list of all positions at which a given object appears in a given list. - `LogFFE` now returns `fail` when the element is not a power of the base. - It is now allowed to continue long integers, strings or identifiers by ending a line with a backslash or with a backslash and carriage return character. So, files with GAP code and DOS/Windows-style line breaks are now valid input on all architectures. - The command line for starting the session and the system environment are now available in `GAPInfo.SystemCommandLine` and `GAPInfo.SystemEnvironment`. - Names of all bound global variables and all component names are available on GAP level. - Added a few new Conway polynomials computed by Kate Minola and John Bray. - There is a new concept of *random sources*, see `IsRandomSource`, which provides random number generators which are independent of each other. There is kernel code for the Mersenne twister random number generator (based on the code by Makoto Matsumoto available [here](http://www.math.sci.hiroshima-u.ac.jp/~m-mat/MT/emt.html)). It provides fast 32-bit pseudorandom integers with a period of length 2^19937-1 and a 623-dimensional equidistribution. The library methods for random elements of lists and for random (long) integers are using the Mersenne twister now. - In line editing mode (usual input mode without -n option) in lines starting with `gap> `, `> ` or `brk> ` this beginning part is immediately removed. This is a convenient feature that allows one to cut and paste input lines from other sessions or from manual examples into the current session. ### Fixed bugs which could produce wrong results: - The function `Decomposition` returned coefficient vectors also in certain situations where in fact no decomposition exists. This happened only if the matrix entered as the first argument contained irrational values and a row in the matrix entered as the second argument did not respect the algebraic conjugacy relations between the columns of the first argument. So there was no problem for the usual cases that the two matrices are integral or that they are lists of Brauer characters. (Reported by Jürgen Müller) - PC group homomorphisms can claim a wrong kernel after composition. (Reported by Serge Bouc) - The return value of `OctaveAlgebra` had an inconsistent defining structure constants table for the case of coefficients fields not containing the integer zero. (Reported by Gábor Nagy) - The manual guarantees that a conjugator automorphism has a conjugating element in the group if possible. This was not guaranteed. - `StabChain` for symmetric groups gave a wrong result if fixed points were prescribed for base. - Contrary to what is documented the function `POW_OBJ_INT` returned an immutable result for `POW_OBJ_INT(m,1)` for a mutable object `m`. This is triggered by the code `m^1`. - `PseudoRandom` for a group had a problem if the group had lots of equal generators. The produced elements were extremely poorly distributed in that case. This is now fixed for the case that elements of the group can easily be sorted. - Fixed the bug that the type of a boolean list was computed wrongly: The type previously had `IS_PLIST_REP` instead of `IS_BLIST_REP` in its filter list. - `Orbits` did not respect a special `PositionCanonical` method for right transversals. (Reported by Steve Costenoble) - Wrong results for `GcdInt` for some arguments on 64 bit systems only. (Reported by Robert Morse) - When prescribing a subgroup to be included, the low index algorithm for fp groups sometimes returned subgroups which are in fact conjugate. (No subgroups are missing.) (Reported by Ignaz Soroko) ### Fixed bugs which could lead to crashes: - The command line option `-x` allowed arguments \> 256 which can then result in internal buffers overflowing. Now bigger numbers in the argument are equivalent to `-x 256`. (Reported by Michael Hartley) ### Other fixed bugs: - Two special methods for the operation `CompositionMapping2` were not correct, such that composing (and multiplying) certain group homomorphisms did not work. (Reported by Peter Mayr) - In the definition of `FrobeniusCharacterValue`, it had been stated erroneously that the value must lie in the field of p^n-th roots of unity; the correct condition is that the value must lie in the field of (p^n-1)-th roots of unity. (Reported by Jack Schmidt) - The function `DirectProduct` failed when one of the factors was known to be infinite. - For a linear action homomorphism `PreImageElm` was very slow because there was no good method to check for injectivity, which is needed for nearly all good methods for `PreImageElm`. This change adds such a new method for `IsInjective`. (Reported by Akos Seress) - Rare errors in the complement routine for permutation groups. - Blocks code now uses jellyfish-style random elements to avoid bad Schreier trees. - A method for `IsPolycyclicGroup` has been added. Such a method was missing so far. - Corrected `EpimorphismSchurCover` to handle the trivial group correctly. Added new methods that follow immediately from computing the Schur Cover of a group. The attribute `Epicentre`, the operations `NonabelianExteriorSquare` and `EpimorphismNonabelianExteriorSquare`, and the property `IsCentralFactor` are added to the library with documentation and references. - Display the correct expression in a call stack trace if an operation was called somewhere up due to the evaluation of a unary or binary operation. - Made `StripMemory` an operation rather than a global function. Added `ForgetMemory` operation. - Adjust things slightly to make later conversion to new vectors/matrices easier. Nothing of this should be visible. - Corrected some details in the documentation of the GAP language. (Reported by Alexander Konovalov) - Now `PositionSorted` is much faster on long mutable plain lists. (The former operation is substituted by a function and a new operation `PositionSortedOp`.) (Reported by Silviu Radu) - Now it is possible to switch repeated warnings off when working with iterative polynomial rings. ## GAP 4.4 Update 7 (March 2006) ### New or improved functionality: - The `Display` functionality for character tables has been extended by addition of an option to show power maps and centralizer orders in a format similar to that used in the ATLAS. Furthermore the options handling is now hierarchical, in order to admit more flexible overloading. - For the function `LowIndexSubgroupsFpGroup`, there is now an iterator variant `LowIndexSubgroupsFpGroupIterator`. (Suggested (and based on code contributed) by Michael Hartley) - Semigroup functionality in GAP has been improved and extended. Green's relations are now stored differently, making the system more amenable to new methods for computing these relations in special cases. It is now possible to calculate Green's classes etc. without computing the entire semigroup or necessarily loading the package **MONOID**. Furthermore, the Froidure-Pin algorithm has now been implemented in GAP. - Functionality for creating free products of any list of groups for which a finite presentation can be determined had been added. This function returns a finitely presented group. This functionality includes the `Embedding` operation. As an application of this new code a specialized direct product operation has been added for finitely presented groups which returns a finitely presented group. This application includes `Embedding` and `Projection` functionality. - Some new Straight Line Program (SLP) functionality has been added. The new functions take given SLPs and create new ones by restricting to a subset of the results, or to an intermediate result or by calculating the product of the results of two SLPs. - New code has been added to allow group elements with memory; that is, they store automatically how they were derived from some given set of generators. Note that there is not yet documentation for this functionality, but some packages already use it. - New code has been added to handle matrices and vectors in such a way that they do not change their representation in a generic manner. - The `Irr` method for p-solvable p-modular Brauer tables now keeps the order of the irreducibles in the ordinary table. - GAP can now handle any finite field for which the Conway polynomial is known or can be computed. - New Conway polynomials provided by John Bray and Kate Minola have been added. - The `ReadTest` methods for strings (filenames) and streams now automatically set the screen width (see `SizeScreen`) to 80 before the tests, and reset it afterwards. - Now a few more checks are done during the `configure` phase of compiling for future use of some I/O functions of the C-library in a package. Also the path to the GAP binaries for the GAP compiler is now handled via autoconf. Finally, now `autoconf` version 2.59 is used. ### Fixed bugs which could produce wrong results: - Some technical errors in the functions for compressed vectors and matrices which could lead to corruption of internal data structures and so to crashes or conceivably to wrong results. (Reported by Roman Schmied) - A potential problem in the generic method for the undocumented operation `DirectFactorsOfGroup`: It was silently assumed that `NormalSubgroups` delivers the trivial subgroup as first and the whole group as last entry of the resulting list. - The code for sublists of compressed vectors created by `vec{range}` may write one byte beyond the space allocated for the new vector, overwriting part of the next object in the workspace. Thanks to Jack Schmidt for narrowing down the problem. - Given a class function object of value zero, an `Arithmetic Operations for Class Functions` method for a class function erroneously did not return `fail`. (Reported by Jack Schmidt) - The `Arithmetic Operations for Class Functions` method for a class function erroneously returned a finite number if one of the values was nonreal, not a cyclotomic integer, and had norm 1. - Two missing perfect groups were added, and the permutation degree lowered on the perfect groups with the largest degrees. (Reported by Jack Schmidt) - When a character table was displayed with `Display`, the centralizer order displayed for the first class shown was not correct if it did not involve all prime divisors of the group. (Reported by Jack Schmidt) - The first argument of the function `VectorSpace` must be a field. This is checked from now on. (Reported by Laurent Bartholdi) - Up to now, it was possible to create a group object from a semigroup of cyclotomics using `AsGroup`, although groups of cyclotomics are not admissible. (Reported by Alexander Konovalov) - The documentation of `CharacteristicPolynomial(F,mat)` was ambiguous if `FieldOfMatrix(mat) <= F < DefaultFieldOfMatrix(mat)`. In particular, the result was representation dependent. This was fixed by introducing a second field which specifies the vector space which mat acts upon. (Reported by Jack Schmidt) - `AssociatedReesMatrixSemigroupOfDClass` produced an incorrect sandwich matrix for the semigroup created. This matrix is an attribute set when creating the Rees matrix semigroup but is not used for creating the semigroup. The incorrect result was returned when `SandwichMatrix` was called. (Reported by Nelson Silva and Joao Araujo) - The literal `"compiled"` was given an incorrect length. The kernel was then unable to find compiled library code as the search path was incorrect. Also the documentation example had an error in the path used to invoke the `gac` compiler. - The twisting group in a generic wreath product might have had intransitive action. (Reported by Laurent Bartholdi) - There was an arithmetic bug in the polynomial reduction code. ### Fixed bugs which could lead to crashes: - Bug 1 in the list of fixed bugs which could lead to wrong results could also potentially lead to crashes. ### Other fixed bugs: - The matrices of invariant forms stored as values of the attributes `InvariantBilinearForm`, `InvariantQuadraticForm`, and `InvariantSesquilinearForm`, for matrix groups over finite fields, are now in the (compressed) format returned by `ImmutableMatrix`. - `String` now returns an immutable string, by making a copy before changing the argument. - `permutation^0` and `permutation^1` were not handled with special code in the kernel, hence were very slow for big permutations. (Reported by Max Neunhöffer) - Added code to cache the induced pcgs for an arbitrary parent pcgs. (This code was formerly part of the **CRISP** package.) - This fix consists of numerous changes to improve support for direct products, including: - new methods for `PcgsElementaryAbelianSeries`, `PcgsChiefSeries`, `ExponentsOfPcElement`, `DepthOfPcElement` for direct products - fixed `EnumeratorOfPcgs` to test for membership first - new methods for membership test in groups which have an induced pcgs - added `GroupOfPcgs` attribute to pcgs in various methods - fixed declarations of `PcgsElementaryAbelianSeries`, `PcgsChiefSeries` (the declared argument was a pcgs, not a group) (Reported by Roman Schmied) - Corrected a term ordering problem encountered by the basis construction code for finite dimensional vector spaces of multivariate rational functions. (Reported by Jan Draisma) - When the factor of a finite dimensional group ring by an ideal was formed, a method intended for free algebras modulo relations was used, and the returned factor algebra could be used for (almost) nothing. (Reported by Heiko Dietrich) - Up to now, `PowerMap` ran into an error when one asked for the n-th power map where n was not a small integer. This happened in some GAP library functions if the exponent of the character table in question was not a small integer. - Up to now, the test whether a finite field element was contained in a group of finite field elements ran into an error if the element was not in the field generated by the group elements. (Reported by Heiko Dietrich) - Conjugacy classes of natural (special) linear groups are now always returned with trivial class first. - Up to now, it could happen that `CheckFixedPoints` reduced an entry in its second argument to a list containing only one integer but did not replace the list by that integer; according to the conventions, this replacement should be done. - The functions `PrintTo` and `AppendTo` did not work correctly for streams. (Reported by Marco Costantini) - The function `Basis` did not return a value when it was called with the argument `Rationals`. (Reported by Klaus Lux) - For certain matrix groups, the function `StructureDescription` raised an error message. The reason for this was that a trivial method for `IsGeneralLinearGroup` for matrix groups in `lib/grpmat.gi` which is ranked higher than the nontrivial method for generic groups in `lib/grpnames.gi` called the operation `IsNaturalGL`, for which there was no nontrivial method available. (Reported by Nilo de Roock) - Action on sets of length 1 was not correctly handled. (Reported by Mathieu Dutour) - Now `WriteByte` admits writing zero characters to all streams. (Reported by Marco Costantini) - The conjugacy test for subgroups tests for elementary abelian regular normal subgroup (EARNS) conjugacy. The fix will catch this in the case that the second group has no EARNS. (Reported by Andrew Johnson) - So far, the UNIX installation didn't result in a correct gap.sh if the installation path contained space characters. Now it should handle this case correctly, as well as other unusual characters in path names (except for double quotes). ## GAP 4.4 Update 6 (September 2005) Attribution of bugfixes and improved functionalities to those who reported or provided these, respectively, is still fairly incomplete and inconsistent with this update. We apologise for this fact and will discuss until the next update how to improve this feature. ### Fixed bugs which could produce wrong results: - The perfect group library does not contain any information on the trivial group, so the trivial group must be handled specially. `PerfectGroup` and `NrPerfectLibraryGroups` were changed to indicate that the trivial group is not part of the library. - The descriptions of `PerfectGroup(734832,3)` and `PerfectGroup(864000,3)` were corrected in the library of perfect groups. - The functions `EpimorphismSchurCover` and `AbelianInvariantsMultiplier` may have produced wrong results without warning (Reported by Colin Ingalls). These problems are fixed. However, the methods currently used can be expected to be slower than the ones used before; we hope to fix this in the next version of GAP. - `DerivedSubgroup` and `CommutatorSubgroup` for permutation groups sometimes returned groups with an incorrect stabilizer chain due to a missing verification step after a random Schreier Sims. - `NaturalHomomorphismByNormalSubgroup` for FpGroups did unnecessary rewrites. - The alternating group A_3 incorrectly claimed to be not simple. - `ExponentSyllable` for straight line program elements gave a wrong result. - `PrimePGroup` is defined to return `fail` for trivial groups, but if the group was constructed as a factor or subgroup of a known p-group, the value of p was retained. - The functions `TestPackageAvailability` and `LoadPackage` did not work correctly when one asked for a particular version of the package, via a version number starting with the character `=`, in the sense that a version with a larger version number was loaded if it was available. (Reported by Burkhard Höfling) - The generator names constructed by `AlgebraByStructureConstants` were nonsense. - The undocumented function (but recently advertised on gap-dev) `COPY_LIST_ENTRIES` did not handle overlapping source and destination areas correctly in some cases. - The elements in a free magma ring have the filter `IsAssociativeElement` set whenever the elements in the underlying magma and in the coefficients ring have this filter set. (Reported by Randy Cone) - The function `InstallValue` must not be used for objects in the filter `IsFamily` because these objects are compared via `IsIdenticalObj`. (Reported by Max Neunhöffer) ### Fixed bugs which could lead to crashes: - Problem in composition series for permutation groups for non-Frobenius groups with regular point stabilizer. - After lots of computations with compressed GF(2) vectors GAP occasionally crashed. The reason were three missing `CHANGED_BAG`s in `SemiEchelonPListGF2Vecs`. They were missing, because a garbage collection could be triggered during the computation such that newly created bags could become "old". It is not possible to provide test code because the error condition cannot easily be reproduced. (Reported by Klaus Lux) - Minor bug that crashed GAP: The type of `IMPLICATIONS` could not be determined in a fresh session. (Reported by Marco Costantini) - `Assert` caused an infinite loop if called as the first line of a function called from another function. ### Other fixed bugs: - Wrong choice of prime in Dixon-Schneider if prime is bigger than group order (if group has large exponent). - Groebner basis code ran into problems when comparing monomial orderings. - When testing for conjugacy of a primitive group to an imprimitive group,GAP runs into an error in EARNS calculation. (Reported by John Jones) - The centre of a magma is commonly defined to be the set of elements that commute and associate with all elements. The previous definition left out "associate" and caused problems with extending the functionality to nonassociative loops. (Reported by Petr Vojtechovsky) - New kernel methods for taking the intersection and difference between sets of substantially different sizes give a big performance increase. - The commands `IsNaturalSymmetricGroup` and `IsNaturalAlternatingGroup` are faster and should run much less often into inefficient tests. - The perfect group library, see `Finite Perfect Groups`, is split into several files which are loaded and unloaded to keep memory usage down. The global variable `PERFSELECT` is a blist which indicates which orders are currently loaded. An off-by-one error wrongly added the last order of the previous file into the list of valid orders when a new file was loaded. A subsequent access to this order raises an error. - Up to now, the method installed for testing the membership of rationals in the field of rationals via `IsRat` was not called; instead a more general method was used that called `Conductor` and thus was much slower. Now the special method has been ranked up by changing the requirements in the method installation. - Fixed a bug in `APPEND_VEC8BIT`, which was triggered in the following situation: Let `e` be the number of field elements stored in one byte. If a compressed 8bit-vector `v` had length not divisible by `e` and another compressed 8-bit vector `w` was appended, such that the sum of the lengths became divisible by `e`, then one 0 byte too much was written, which destroyed the `TNUM` of the next GAP object in memory. (Reported by Klaus Lux) - `PermutationCycle` returned `fail` if the cycle was not a contiguous subset of the specified domain. (Reported by Luc Teirlinck) - Now `Inverse` correctly returns `fail` for zeros in finite fields (and does no longer enter a break loop). - Up to now, `CharacterDegrees` ignored the attribute `Irr` if the argument was a group that knew that it was solvable. - The function `Debug` now prints a meaningful message if the user tries to debug an operation. Also, the help file for `vi` is now available in the case of several GAP root directories. - It is no longer possible to create corrupt objects via ranges of length \>2^28, resp. \>2^60 (depending on the architecture). The limitation concerning the arguments of ranges is documented. (Reported by Stefan Kohl) - Now `IsElementaryAbelian` and `ClassPositionsOfMinimalNormalSubgroups` are available for ordinary character tables. Now the operation `CharacterTableIsoclinic` is an attribute, and there is another new attribute `SourceOfIsoclinicTable` that points back to the original table; this is used for computing the Brauer tables of those tables in the character table library that are computed using `CharacterTableIsoclinic`. Now `ClassPositionsOfDerivedSubgroup` avoids calling `Irr`, since `LinearCharacters` is sufficient. Now `ClassPositionsOfElementaryAbelianSeries` works also for the table of the trivial group. Restrictions of character objects know that they are characters. A few formulations in the documentation concerning character tables have been improved slightly. - Up to now, `IsPGroup` has rarely been set. Now many basic operations such as `SylowSubgroup` set this attribute on the returned result. - Computing an enumerator for a semigroup required too much time because it used all elements instead of the given generators. (Reported by Manuel Delgado) - Avoid potential error message when working with automorphism groups. - Fixed wrong page references in manual indices. - Make `MutableCopyMat` an operation and install the former function which does call `List` with `ShallowCopy` the default method for lists. Also use this in a few appropriate places. - An old DEC compiler doesn't like C preprocessor directives that are preceded by whitespace. Removed such whitespace. (Reported by Chris Wensley) ### New or improved functionality: - The primitive groups library has been extended to degree 2499. - New operation `Remove` and extended functionality of `Add` with an optional argument giving the position of the insertion. They are based on an efficient kernel function `COPY_LIST_ENTRIES`. - Added fast kernel implementation of Tarjan's algorithm for strongly connected components of a directed graph. - Now `IsProbablyPrimeInt` can be used with larger numbers. (Made internal function `TraceModQF` non-recursive.) - A new operation `PadicValuation` and a corresponding method for rationals. - A new operation `PartialFactorization` has been added, and a corresponding method for integers has been installed. This method allows one to specify the amount of work to be spent on looking for factors. - The generators of full s. c. algebras can now be accessed with the dot operator. (Reported by Marcus Bishop) - New Conway polynomials computed by Kate Minola, John Bray, Richard Parker. - A new attribute `EpimorphismFromFreeGroup`. The code has been written by Alexander Hulpke. - The functions `Lambda`, `Phi`, `Sigma`, and `Tau` have been turned into operations, to admit the installation of methods for arguments other than integers. - Up to now, one could assign only lists with `InstallFlushableValue`. Now also records are admitted. - `InstallMethod` now admits entering a list of strings instead of a list of required filters. Each such string must evaluate to a filter when used as the argument of `EvalString`. The advantage of this variant is that these strings are used to compose an info string (which is shown by `ApplicableMethod`) that reflects exactly the required filters. - In test files that are read with `ReadTest`, the assertion level is set to 2 between `START_TEST` and `STOP_TEST`. This may result in runtimes for the tests that are substantially longer than the usual runtimes with default assertion level 0. In particular this is the reason why some of the standard test files require more time in GAP 4.4.6 than in GAP 4.4.5. - Some very basic functionality for floats. ## GAP 4.4 Update 5 (May 2005) ### Fixed bugs which could produce wrong results: - `GroupWithGenerators` returned a meaningless group object instead of signaling an error when it was called with an empty list of generators. - When computing preimages under an embedding into a direct product of permutation groups, if the element was not in the image of the embedding then a permutation had been returned instead of `fail`. - Two problems with `PowerMod` for polynomials. (Reported by Jack Schmidt) - Some methods for computing the sum of ideals returned the first summand instead of the sum. (Reported by Alexander Konovalov) - Wrong result in `Intersection` for pc groups. - The function `CompareVersionNumbers` erroneously ignored leading non-digit characters. A new feature in the corrected version is an optional third argument `"equal"`, which causes the function to return `true` only if the first two arguments describe equal version numbers; documentation is available in the ext-manual. This new feature is used in `LoadPackage`, now one can require a specific version of a package. The library code still contained parts of the handling of completion files for packages, which does not work and therefore had already been removed from the documentation. This code has now been removed. Now a new component `PreloadFile` is supported in `PackageInfo.g` files; if it is bound then the file in question is read immediately before the package or its documentation is loaded. - The result of `String` for strings not in `IsStringRep` that occur as list entries or record components was erroneously missing the double quotes around the strings. - A bug which caused `InducedPcgs` to return a pcgs which is not induced wrt. the parent pcgs of `pcgs`. This may cause unpredictable behaviour, e. g. when `SiftedPcElement` is used subsequently. (Reported by Alexander Konovalov) - Fixed a bug in `SmallGroupsInformation(512)`. - `PowerModCoeffs` with exponent 1 for compressed vectors did not reduce (a copy of) the input vector before returning it. (Reported by Frank Lübeck) - Sorting a mutable non-plain list (e.g., a compressed matrix over fields of order \< 257) could potentially destroy that object. (Reported by Alexander Hulpke) - Under rare circumstances computing the closure of a permutation group by a normalizing element could produce a corrupted stabilizer chain. (The underlying algorithm uses random elements, probability of failure was below 1 percent). (Reported by Thomas Breuer) ### Fixed bugs which could lead to crashes: - Some code and comments in the GAP kernel assumed that there is no garbage collection during the core printing function `Pr`, which is not correct. This could cause GAP in rare cases to crash during printing permutations, cyclotomics or strings with zero bytes. (Reported by Warwick Harvey) ### Other fixed bugs: - A rare problem with the choice of prime in the Dixon-Schneider algorithm for computing the character table of a group. (Reported by Jack Schmidt) - `DirectProduct` for trivial permutation groups returned a strange object. - A problem with `PolynomialReduction` running into an infinite loop. - Adding linear mappings with different image domains was not possible. (Reported by Pasha Zusmanovich) - Multiplying group ring elements with rationals was not possible. (Reported by Laurent Bartholdi) - `Random` now works for finite fields of size larger than 2^28. (Reported by Jack Schmidt) - Univariate polynomial creators did modify the coefficient list passed. (Reported by Jürgen Müller) - Fixed `IntHexString` to accept arguments not in `IsStringRep`; the argument is now first converted if necessary. (Reported by Kenn Heinrich) - The library code for stabilizer chains contained quite some explicit references to the identity `()`. This is unfortunate if one works with permutation groups, the elements of which are not plain permutations but objects which carry additional information like a memory, how they were obtained from the group generators. For such cases it is much cleaner to use the `One(...)` operation instead of `()`, such that the library code can be used for a richer class of group objects. This fix contains only rather trivial changes `()` to `One(...)` which were carefully checked by me. The tests for permutation groups all run without a problem. However, it is relatively difficult to provide test code for this particular change, since the "improvement" only shows up when one generates new group objects. This is for example done in the package **recog** which is in preparation. (Reported by Akos Seress and Max Neunhöffer) - Using `{}` to select elements of a known inhomogeneous dense list produced a list that might falsely claim to be known inhomogeneous, which could lead to a segfault if the list typing code tried to mark it homogeneous, since the code intended to catch such errors also had a bug. (Reported by Steve Linton) - The record for the generic iterator construction of subspaces domains of non-row spaces was not complete. - When a workspace has been created without packages(`-A` option) and is loaded into a GAP session without packages (same option) then an error message is printed. - So far the functions `IsPrimeInt` and `IsProbablyPrimeInt` are essentially the same except that `IsPrimeInt` issues an additional warning when (non-proven) probable primes are considered as primes. These warnings now print the probable primes in question as well; if a probable prime is used several times then the warning is also printed several times; there is no longer a warning for some known large primes; the warnings can be switched off. See `IsPrimeInt` for more details. If we get a reasonable primality test in GAP we will change the definition of `IsPrimeInt` to do a proper test. - Corrected some names of primitive groups in degree 26. (Reported by Robert F. Bailey) ### New or improved functionality: - Several changes for `ConwayPolynomial`: - many new pre-computed polynomials - put data in several separate files (only read when needed) - added info on origins of pre-computed polynomials - improved performance of `ConwayPolynomial` and `IsPrimitivePolynomial` for p < 256 - improved documentation of `ConwayPolynomial` - added and documented new functions `IsCheapConwayPolynomial` and `RandomPrimitivePolynomial` - Added method for `NormalBase` for extensions of finite fields. - Added more help viewers for the HTML version of the documentation (firefox, mozilla, konqueror, w3m, safari). - New function `ColorPrompt`. (Users of former versions of a `colorprompt.g` file: Now you just need a `ColorPrompt(true);` in your `.gaprc` file.) - Specialised kernel functions to support **GUAVA** 2.0. GAP will only load **GUAVA** in version at least 2.002 after this update. - Now there is a kernel function `CYC_LIST` for converting a list of rationals into a cyclotomic, without arithmetics overhead. - New functions `ContinuedFractionExpansionOfRoot` and `ContinuedFractionApproximationOfRoot` for computing continued fraction expansions and continued fraction approximations of real roots of polynomials with integer coefficients. - A method for computing structure descriptions for finite groups, available via `StructureDescription`. - This change contains the new, extended version of the **SmallGroups** package. For example, the groups of orders p^4, p^5, p^6 for arbitrary primes p, the groups of square-free order and the groups of cube-free order at most 50000 are included now. For more detailed information see the announcement of the extended package. - The function `ShowPackageVariables` gives an overview of the global variables in a package. It is thought as a utility for package authors and referees. (It uses the new function `IsDocumentedVariable`.) - The mechanisms for testing GAP has been improved: - The information whether a test file belongs to the list in `tst/testall.g` is now stored in the test file itself. - Some targets for testing have been added to the `Makefile` in the GAP root directory, the output of the tests goes to the new directory `dev/log`. - Utility functions for testing are in the new file `tst/testutil.g`. Now the loops over (some or all) files `tst/*.tst` can be performed with a function call, and the file `tst/testall.g` can be created automatically; the file `tst/testfull.g` is now obsolete. The remormalization of the scaling factors can now be done using a GAP function, so the file `tst/renorm.g` is obsolete. - Now the functions `START_TEST` and `STOP_TEST` use components in `GAPInfo` instead of own globals, and the random number generator is always reset in `START_TEST`. - `GAPInfo.SystemInformation` now takes two arguments, now one can use it easier in the tests. - `MultiplicationTable` is now an attribute, and the construction of a magma, monoid, etc. from multiplication tables has been unified. ## GAP 4.4 Bugfix 4 (December 2004) ### Fixed bugs which could produce wrong results: - An error in the `Order` method for matrices over cyclotomic fields which caused this method to return `infinity` for matrices of finite order in certain cases. - Representations computed by `IrreducibleRepresentations` in characteristic 0 erroneously claimed to be faithful. - A primitive representation of degree 574 for PSL(2,41) has been missing in the classification on which the GAP library was built. - A bug in `Append` for compressed vectors over GF(2): if the length of the result is 1 mod 32 (or 64) the last entry was forgotten to copy. - A problem with the Ree group Ree(3) of size 1512 claiming to be simple. - An error in the membership test for groups GU(n,q) and SU(n,q) for non-prime q. - An error in the kernel code for ranges which caused e.g. `-1 in [1..2]` to return `true`. - An error recording boolean lists in saved workspaces. - A problem in the selection function for primitive and transitive groups if no degree is given. - `ReducedConfluentRewritingSystem` returning a cached result that might not conform to the ordering specified. ### Other fixed bugs: - A problem with the function `SuggestUpdates` to check for the most recent version of packages available. - A problem that caused `MatrixOfAction` to produce an error when the algebra module was constructed as a direct sum. - Problems with computing n-th power maps of character tables, where n is negative and the table does not yet store its irreducible characters. - Element conjugacy in large-base permutation groups sometimes was unnecessarily inefficient. - A missing method for getting the letter representation of an associate word in straight line program representation. - A problem with the construction of vector space bases where the given list of basis vectors is itself an object that was returned by `Basis`. - A problem of `AbelianInvariantsMultiplier` insisting that a result of `IsomorphismFpGroup` is known to be surjective. - An error in the routine for `Resultant` if one of the polynomials has degree zero. ## GAP 4.4 Bugfix 3 (May 2004) ### Fixed bugs which could produce wrong results: - Incorrect setting of system variables (e.g., home directory and command line options) after loading a workspace. - Wrong handling of integer literals within functions or loops on 64-bit architectures (only integers in the range from 2^28 to 2^60). ### Fixed bugs which could lead to crashes: - A problem in the installation of the multiplication routine for matrices that claimed to be applicable for more general list multiplications. - A problem when computing weight distributions of codes with weights > 2^28. ### Other fixed bugs: - Problems with the online help with some manual sections. - Problems of the online help on Windows systems. - A problem in `GQuotients` when mapping from a finitely presented group which has a free direct factor. - A bug in the function `DisplayRevision`. - The trivial finitely presented group on no generators was not recognized as finitely presented. - A problem with `Process`. - A problem when intersecting subgroups of finitely presented groups that are represented in "quotient representation" with the quotient not apermutation group. - A bug in the generic `Intersection2` method for vector spaces, in the case that both spaces are trivial. - Enable ReeGroup(q) for q = 3. ## GAP 4.4 Bugfix 2 (April 2004) ### Fixed bugs which could lead to crashes: - A crash when incorrect types of arguments are passed to `FileString`. ### Other fixed bugs: - A bug in `DerivedSubgroupTom` and `DerivedSubgroupsTom`. - An error in the inversion of certain `ZmodnZObj` elements. - A wrong display string of the numerator in rational functions returned by `MolienSeriesWithGivenDenominator` (in the case that the constant term of this numerator is zero). ## Changes between GAP 4.3 and GAP 4.4 This chapter contains an overview of most important changes introduced in GAP 4.4. It also contains information about subsequent update releases of GAP 4.4. ### Potentially Incompatible Changes - The mechanism for the loading of Packages has changed to allow easier updates independent of main GAP releases. Packages require a file `PackageInfo.g` now. The new `PackageInfo.g` files are available for all packages with the new version of GAP. - `IsSimpleGroup` returns false now for the trivial group. - `PrimeBlocks`: The output format has changed. - Division rings (see `IsDivisionRing`) are now implemented as `IsRingWithOne`. - `DirectSumOfAlgebras`: p-th power maps are compatible with the input now. - The print order for polynomials has been changed. These changes are, in some respects, departures from our policy of maintaining upward compatibility of documented functions between releases. In the first case, we felt that the old behavior was sufficiently inconsistent, illogical, and impossible to document that we had no alternative but to change it. In the case of the package interface, the change was necessary to introduce new functionality. The planned and phased removal of a few unnecessary functions or synonyms is needed to avoid becoming buried in "legacy" interfaces, but we remain committed to our policy of maintaining upward compatibility whenever sensibly possible. - Groebner Bases: Buchberger's algorithm to compute Groebner Bases has been implemented in GAP. (A. Hulpke) - For large scale Groebner Basis computations there also is an interface to the Singular system available in the [**Singular**](https://www.gap-system.org/Packages/singular.html) package. (M. Costantini and W. de Graaf) - New methods for factorizing polynomials over algebraic extensions of the rationals have been implemented in GAP. (A. Hulpke) - For more functionality to compute with algebraic number fields there is an interface to the Kant system available in the [**Alnuth**](https://www.gap-system.org/Packages/alnuth.html) package. (B. Assmann and B. Eick) - A new functionality to compute the minimal normal subgroups of a finite group, as well as its socle, has been installed. (B. Höfling) - A fast method for recognizing whether a permutation group is symmetric or alternating is available now (A. Seress) - A method for computing the Galois group of a rational polynomial is available again. (A. Hulpke) - The algorithm for `BrauerCharacterValue` has been extended to the case where the splitting field is not supported in GAP. (T. Breuer) - Brauer tables of direct products can now be constructed from the known Brauer tables of the direct factors. (T. Breuer) - Basic support for vector spaces of rational functions and of uea elements is available now in GAP. (T. Breuer and W. de Graaf) - Various new functions for computations with integer matrices are available, such as methods for computing normal forms of integer matrices as well as nullspaces or solutions systems of equations. (W. Nickel and F. Gähler) ### New Packages The following new Packages have been accepted. - [**Alnuth**: Algebraic Number Theory and an interface to the Kant system.](https://www.gap-system.org/Packages/alnuth.html) By B. Assmann and B. Eick. - [**LAGUNA**: Computing with Lie Algebras and Units of Group Algebras.](https://www.gap-system.org/Packages/laguna.html) By V. Bovdi, A. Konovalov, R. Rossmanith, C. Schneider. - [**NQ**: The ANU Nilpotent Quotient Algorithm.](https://www.gap-system.org/Packages/nq.html) By W. Nickel. - [**KBMAG**: Knuth-Bendix for Monoids and Groups.](https://www.gap-system.org/Packages/kbmag.html) By D. Holt. - [**Polycyclic**: Computation with polycyclic groups.](https://www.gap-system.org/Packages/polycyclic.html) By B. Eick and W. Nickel. - [**QuaGroup**: Computing with Quantized Enveloping Algebras.](https://www.gap-system.org/Packages/quagroup.html) By W. de Graaf. ### Performance Enhancements - The computation of irreducible representations and irreducible characters using the Baum-Clausen algorithm and the implementation of the Dixon-Schneider algorithm have been speeded up. - The algorithm for `PossibleClassFusions` has been changed: the efficiency is improved and a new criterion is used. The algorithm for `PossibleFusionsCharTableTom` has been speeded up. The method for `PrimeBlocks` has been improved following a suggestion of H. Pahlings. - New improved methods for normalizer and subgroup conjugation in S_n have been installed and new improved methods for `IsNaturalSymmetricGroup` and `IsNaturalAlternatingGroup` have been implemented. These improve the available methods when groups of large degrees are given. - The partition split method used in the permutation backtrack is now in the kernel. Transversal computations in large permutation groups are improved. Homomorphisms from free groups into permutation groups now give substantially shorter words for preimages. - The membership test in `SP` and `SU` groups has been improved using the invariant forms underlying these groups. - An improvement for the cyclic extension method for the computation of subgroup lattices has been implemented. - A better method for `MinimalPolynomial` for finite field matrices has been implemented. - The display has changed and the arithmetic of multivariate polynomials has been improved. - The `LogMod` function now uses Pollard's rho method combined with the Pohlig/Hellmann approach. - Various functions for sets and lists have been improved following suggestions of L. Teirlinck. These include: `Sort`, `Sortex`, `SortParallel`, `SortingPerm`, `NrArrangements`. - The methods for `StructureConstantsTable` and `GapInputSCTable` have been improved in the case of a known (anti-) symmetry following a suggestion of M. Costantini. The improvements listed in this Section have been implemented by T. Breuer and A. Hulpke. ### New Programming and User Features - The 2GB limit for workspace size has been removed and version numbers for saved workspaces have been introduced. (S. Linton and B. Höfling) - The limit on the total number of types created in a session has been removed. (S. Linton) - There is a new mechanism for loading packages available. Packages need a file `PackageInfo.g` now. (T. Breuer and F. Lübeck). Finally, as always, a number of bugs have been fixed. This release thus incorporates the contents of all the bug fixes which were released for GAP 4.3. It also fixes a number of bugs discovered since the last bug fix. Below we list changes in the main system (excluding packages) that have been corrected or added in bugfixes and updates for GAP 4.4. ## GAP 4.3 Bugfix 5 ### Fixed bugs which could lead to wrong results: - A wrong return format for `IsomorphicSubgroups` applied to cyclic groups. - A wrong `true` result of `IsSubset` for certain algebras. - A bug in the subgroup conjugation test for permutation groups that are not subgroups. - A strange behaviour of `Intersection` for the case that a strictly sorted list is the unique entry of the list that is given as the argument; in this situation, this entry itself was returned instead of a shallow copy. - Possibly wrong result of `Centre` for pc groups. - Possibly wrong result of `DirectSumDecomposition` for matrix Lie algebras. ### Fixed bugs which could lead to crashes: - Segmentation faults and other strange behaviour when assigning finite field elements of different characteristics into compressed vectors. ### Other fixed bugs: - A missing method for `BaseOrthogonalSpaceMat`. - A missing `Set` call in the construction of the global variable `AUTOLOAD_PACKAGES`. - A wrong display string of the numerator in rational functions returned by `MolienSeries` (in the case that the constant term of this numerator is zero). - An error in the basis of a product space of algebras. - An error in `LieNormalizer`, `LieCentralizer` for zero subspaces. - An error in the computation of matrices of adjoint modules. - A strange error message when constructing the simple Lie algebra of type B1. - An error in `ModuleByRestriction`. - An error in `IrrBaumClausen` for the trivial group. - An error with vector space bases of row spaces over fields which neither are prime fields nor contain all entries of the vectors. - An error with `IsMonomial`, when it uses the function `TestMonomialFromLattice` (i.e., in hard cases, likely for characters of nonsolvable groups). ## GAP 4.3 Bugfix 4 ### Fixed bugs which could lead to wrong results: - A problem with composing a homomorphism from an fp group with another homomorphism (images may be wrong). - An error in the comparison routine for univariate rational functions. - A problem when calculating representations of a group in which class arrangement in group and character table are not identical. - Three missing primitive groups of degree 441 were added. ### Other fixed bugs: - A problem with a homomorphism from a free group in the trivial permutation group. - A problem with the multiplication of rationals and elements in large prime fields. - A problem with attempting to create univariate polynomials of very high degree. - A problem with output going to errout incorrectly after a syntax error. - An error in the function ReducedSCTable. - An error in computing the Rees Matrix semigroup. - A compatibility problem with earlier versions of gap in semigroup and monoid rewriting systems. - The behaviour of `PQuotient` when an attempt is made to compute a p-quotient with more generators than the underlying data structure was initialised with. - A problem with computing `BasisVectors` for a basis of an algebraic field extension. - A problem with the definition of `IsRowVector` (which previously returned `true` also for matrices). - A problem with `BaumClausenInfo`. - A problem with `IsRowModule` for infinite dimensional vector spaces (which are not row spaces). - A problem with `Difference` with first argument a list that is not a set and second argument an empty list. - The failure of Elements() to compute the elements of a pc group with non-prime relative orders. - A wrong computation of single character values of Weyl groups of type B and character tables of Weyl groups of type D. Furthermore, a much more efficient function for computing all character values is provided. - Packages accidentally overwriting the setting of `InfoWarning`. - A missing method for `IsPolynomial` for univariate rational functions. - A problem in the on-line help which sometimes returned a blank entry for a topic even though the topic was documented. - A problem in the help system where a tilde in a filename was replaced by a blank. - A problem that prevented the documentation of some packages from autoloading. ## GAP 4.3 Bugfix 3 ### Fixed bugs which could lead to wrong results: - An error in `IdGroup` that mistakenly was not corrected in Bugfix 2. - An inconsistent setting of `IndicesNormalSteps`. - A problem with the inversion routine for quaternions. ## GAP 4.3 Bugfix 2 ### Fixed bugs which could lead to wrong results: - The result of `ProjectiveSymplecticGroup(n,q);`. ### Fixed bugs which could lead to crashes: - A segmentation fault when appending to a length 0 compressed vector over GF2. ### Other fixed bugs: - An error in the computation of inverses in quaternion algebras with non-standard parameters. - `GeneratorOfCyclicGroup` for a trivial pc group. - A problem in backtrack routines using `Suborbits` if the group has fixed points in the range `[1..max(Omega)]`. - A problem with `CharacterTableDirectProduct` if exactly one argument is a Brauer table. - Problems with `IntScalarProduct` and `NonnegIntScalarProducts` if the third argument is not a plain list (this situation does not occur in GAP library functions). - A problem with `GQuotient`. - A problem with the linear algebra methods for Lie algebra cohomology. - A Problem with requesting transitive groups of degree including 1. - A Problem with inverting lists of compressed vectors over fields of order greater than 2. - An error in computing whether an element is in a Green's D equivalence class or not. - A missing method for `MovedPoints(perm)`. - The method `IsGreensLessThanOrEqual` should work for Green's D classes for finite groups. - The method `GroupHClassOfGreensDClass` was not implemented and is required for the Rees Matrix methods. - The methods `AssociatedReesMatrixSemigroupOfDClass`, `IsZeroSimpleSemigroup`, `IsomorphismReesMatrixSemigroup`, and `SandwichMatrixOfReesZeroMatrixSemigroup` all create Greens classes using obsolete methods which for some semigroups leads to infinite recursion or causes GAP to stop with an error message. - A problem with `CentralizerModulo` for permutation groups. - A wrong name for PGL(2,49) in the primitive groups library of degree 50. - Missing `Representative` methods for certain trivial groups and trivial spaces. - A missing setting of `IndicesNormalSteps`. ## GAP 4.3 Bugfix 1 ### Fixed bugs which could lead to crashes: - A segmentation fault when converting length 0 compressed vectors to larger fields. ### Other fixed bugs: - A bug in the handling of Processes with empty input or output streams. - An error in the function for computing quotients of algebra modules. - An error in computing the strongly connected components of a binary relation in which incorrect results can be returned. - A "no method found" error in OrbitStabilizerAlgorithm for infinite groups. - Calculation of iterated automorphism groups might stop with an error message. - The output of the internal pager (see `Pager`) is no longer copied to log files. - Some memory is not freed up as soon as it could be, resulting in over-use of memory and over-large saved workspaces. - Saving and loading a workspace using a kernel containing a statically loaded user module (most likely a compiled GAP file) did not work. - Problems with `EulerianFunction` for certain types of groups. ## Changes from Earlier Versions The most important changes between GAP 4.2 and GAP 4.3 were: - The performance of several routines has been substantially improved. - The functionality in the areas of finitely presented groups, Schur covers and the calculation of representations has been extended. - The data libraries of transitive groups, finite integral matrix groups, character tables and tables of marks have been extended. - The Windows installation has been simplified for the case where you are installing GAP in its standard location. - Many bugs have been fixed. The most important changes between GAP 4.1 and GAP 4.2 were: - A much extended and improved library of small groups as well as associated `IdGroup` routines. - The primitive groups library has been made more independent of the rest of GAP, some errors were corrected. - New (and often much faster) infrastructure for orbit computation, based on a general "dictionary" abstraction. - New functionality for dealing with representations of algebras, and in particular for semisimple Lie algebras. - New functionality for binary relations on arbitrary sets, magmas and semigroups. - Bidirectional streams, allowing an external process to be started and then controlled "interactively" by GAP - A prototype implementation of algorithms using general subgroup chains. - Changes in the behavior of vectors over small finite fields. - A fifth book "New features for Developers" has been added to the GAP manual. - Numerous bug fixes and performance improvements The changes between the final release of GAP 3 (version 3.4.4) and GAP 4 are wide-ranging. The general philosophy of the changes is two-fold. Firstly, many assumptions in the design of GAP 3 revealed its authors' primary interest in group theory, and indeed in finite group theory. Although much of the GAP 4 library is concerned with groups, the basic design now allows extension to other algebraic structures, as witnessed by the inclusion of substantial bodies of algorithms for computation with semigroups and Lie algebras. Secondly, as the scale of the system, and the number of people using and contributing to it has grown, some aspects of the underlying system have proved to be restricting, and these have been improved as part of comprehensive re-engineering of the system. This has included the new method selection system, which underpins the library, and a new, much more flexible, GAP package interface. Details of these changes can be found in the document "Migrating to GAP 4" available at the GAP website, see [here](https://www.gap-system.org/Gap3/migratedoc.pdf). It is perhaps worth mentioning a few points here. Firstly, much remains unchanged, from the perspective of the mathematical user: - The syntax of that part of the GAP language that most users need for investigating mathematical problems. - The great majority of function names. - Data libraries and the access to them. A number of visible aspects have changed: - Some function names that need finer specifications now that there are more structures available in GAP. - The access to information already obtained about a mathematical structure. In GAP 3 such information about a group could be looked up by directly inspecting the group record, whereas in GAP 4 functions must be used to access such information. Behind the scenes, much has changed: - A new kernel, with improvements in memory management and in the language interpreter, as well as new features such as saving of workspaces and the possibility of compilation of GAP code into C. - A new structure to the library, based upon a new type and method selection system, which is able to support a broader range of algebraic computation and to make the structure of the library simpler and more modular. - New and faster algorithms in many mathematical areas. - Data structures and algorithms for new mathematical objects, such as algebras and semigroups. - A new and more flexible structure for the GAP installation and documentation, which means, for example, that a GAP package and its documentation can be installed and be fully usable without any changes to the GAP system. Very few features of GAP 3 are not yet available in GAP 4. - Not all of the GAP 3 packages have yet been converted for use with GAP 4. - The library of crystallographic groups which was present in GAP 3 is now part of a GAP 4 package [**CrystCat**](https://www.gap-system.org/Packages/crystcat.html) by V. Felsch and F. Gähler.