(Version 2.1.8)
+(Version 2.1.9)
Robert A. Wilson @@ -77,38 +77,40 @@
(Version 2.1.8)
+(Version 2.1.9)
Robert A. Wilson @@ -80,38 +80,40 @@
Now prescribing a ring in AllAtlasGeneratingSetInfos
(3.5-7) and related functions automatically prescribes its characteristic. Up to now, one had to specify also the characteristic, otherwise characteristic zero was erroneously assumed.
Up to now, AllAtlasGeneratingSetInfos
(3.5-7) and related functions, when called only with a prescribed ring in positive characteristic, could erroneously return also entries about representations in characteristic zero.
The default for the user preference "AtlasRepDataDirectory"
(see Section 4.2-2) has been improved in the situation where the package directory is not writable and the GAP session runs inside a Julia session; if this is the case then a Julia scratchspace is used as the default.
The star *
that may appear in some lines of the output of DisplayAtlasInfo
(3.5-1) is now documented. Thanks to Will Chen for reporting that an explanation for it was missing.
An example in Section 2.1-2 of the Tutorial had to be adjusted because the results of the function SmallerDegreePermutationRepresentation
(Reference: SmallerDegreePermutationRepresentation) depend on random computations, in particular the implementation in GAP 4.13 may yield a nicer representation than had been shown before.
A typo in the documentation of AGR.MXS
(see Section 7.8) was fixed. Thanks to Max Horn for spotting this.
GAP 4.13 will provide the new "package extension" feature, which allows a package to execute GAP code after the package and some other required packages have been loaded. In AtlasRep, this feature is now used for example in order to achieve that those functions which depend on the Browse package can be used also if this package gets (installed and) loaded after AtlasRep has been loaded.
+GAP 4.13 will provide the new package extension
feature, which allows a package to execute GAP code after the package and some other required packages have been loaded. In AtlasRep, this feature is now used for example in order to achieve that those functions which depend on the Browse package can be used also if this package gets (installed and) loaded after AtlasRep has been loaded.
The code for building the documentation of the package has been adjusted to a change in GAP 4.13. This does not affect most users of the package because the package archive contains a ready documentation.
@@ -177,27 +198,27 @@The package now requires the utils package [BGH+22], and uses its Download
(Utils: Download) function for downloading remote files. The former user preference FileTransferTool
of the AtlasRep package is no longer supported; it had been used in older versions to distinguish between different download tools.
The package now requires the utils package [BGH+22], and uses its Download
(Utils: Download) function for downloading remote files. The former user preference FileTransferTool
of the AtlasRep package is no longer supported; it had been used in older versions to distinguish between different download tools.
A method for ConjugacyClasses
(Reference: ConjugacyClasses attribute) has been added that uses a straight line program for computing class representatives of a group that has been created with AtlasGroup
(3.5-8), provided such a program is available. Thanks to Frank Lübeck for suggesting this.
Two bugs concerning local file permissions and the handling of download failures were fixed. Thanks to Frank Lübeck and Fabian Zickgraf for reporting these problems.
-A few changes in the code for downloading files were needed in order to make some CI tests happy.
-The server address for the core part of the database has changed.
@@ -207,7 +228,7 @@ -Not much.
@@ -215,14 +236,14 @@ -The new function EvaluatePresentation
(3.5-11) computes the images of the relators of a presentation (see Section 6.1-7).
The new function StandardGeneratorsData
(3.5-12) allows one to compute standard generators from given generators, provided a recipe for that task (a "find" straight line program) for the group in question is available.
The new function StandardGeneratorsData
(3.5-12) allows one to compute standard generators from given generators, provided a recipe for that task (a find
straight line program) for the group in question is available.
The function AtlasGroup
(3.5-8) sets known information about the group and the representation, such as IsPrimitive
(Reference: IsPrimitive).
The main differences to earlier versions concern extensions of the available data. Up to now, such extensions were possible only in the sense that one could notify certain locally available files to the package's functions. With this version, it becomes possible to notify also remote data files, i. e., data files which have to be downloaded before they can be read into GAP, in the same way as the data from the ATLAS of Group Representations. Two extensions of this kind become automatically available with this package version, see Section 5.1 for details.
-Thus the focus of the package has changed. In earlier versions, it provided a GAP interface to the data in the ATLAS of Group Representations, whereas now this database is regarded as one collection (the "core part") among others. Where applicable, the package manual tries to distinguish between general data available to the AtlasRep functions and the data from the ATLAS of Group Representations.
+Thus the focus of the package has changed. In earlier versions, it provided a GAP interface to the data in the ATLAS of Group Representations, whereas now this database is regarded as one collection (the core part
) among others. Where applicable, the package manual tries to distinguish between general data available to the AtlasRep functions and the data from the ATLAS of Group Representations.
In order to provide this new functionality, the following changes have been implemented. Note that some are incompatible changes, compared with earlier versions of the package.
@@ -321,7 +342,7 @@ -In addition to the group orders that were added in version 1.3 (see Section 1.3-14), also many orders of maximal subgroups are now available. These values occur in the records returned by AtlasProgram
(3.5-4) (for the case of "maxes"
type programs) and of the three argument version of AtlasGenerators
(3.5-3); now a size
component may be bound. In these cases, the groups returned by AtlasSubgroup
(3.5-9) have the Size
(Reference: Size) attribute set.
In addition to the group orders that were added in version 1.3 (see Section 1.3-15), also many orders of maximal subgroups are now available. These values occur in the records returned by AtlasProgram
(3.5-4) (for the case of "maxes"
type programs) and of the three argument version of AtlasGenerators
(3.5-3); now a size
component may be bound. In these cases, the groups returned by AtlasSubgroup
(3.5-9) have the Size
(Reference: Size) attribute set.
The information about the number of maximal subgroups, if available, is now used in DisplayAtlasInfo
(3.5-1).
This version was mainly released in order to fix a few problems. Now one does not get warnings about unbound variables when the package is loaded and the GAP package IO [Neu14] is not available, and pathological situations in FFMatOrPermCMtxBinary
(7.3-5) (concerning extremely short corrupted data files and different byte orderings in binary files) are handled more carefully.
The main consequence of this change is that information about updates of the table of contents is now provided at the package's homepage. This means that on the one hand, now package users cannot compute the table of contents directly from the server data, but on the other hand the update information can be downloaded without the necessity to install perl
.
Another consequence is that the system program ls
is no longer needed, see Section 1.3-16.
Another consequence is that the system program ls
is no longer needed, see Section 1.3-17.
The package manual has been restructured, extended and improved. It is now based on the package GAPDoc (see [LN18]).
@@ -473,7 +494,7 @@Not much.
@@ -503,9 +524,9 @@ -The biggest change w. r. t. Version 1.1 is the addition of private extensions (see Chapter 5). It includes a new "free format" for straight line programs (see Section 5.2). Unfortunately, this feature requires the system program ls
, so it may be not available for example under MS Windows operating systems. [But see Section 1.3-14.]
The biggest change w. r. t. Version 1.1 is the addition of private extensions (see Chapter 5). It includes a new free format
for straight line programs (see Section 5.2). Unfortunately, this feature requires the system program ls
, so it may be not available for example under MS Windows operating systems. [But see Section 1.3-15.]
In order to admit the addition of other types of data, the implementation of several functions has been changed. Data types are described in Section 7.5. An example of a new data type are quaternionic representations (see Section 7.6). The user interface itself (see Chapter 3) remained the same.
@@ -531,7 +552,7 @@Frank Lübeck and Max Neunhöffer kindly provided the perl script that had been used for fetching remote data until version 1.2. Thanks also to Greg Gamble and Alexander Hulpke for technical hints concerning "standard" perl.
+Frank Lübeck and Max Neunhöffer kindly provided the perl script that had been used for fetching remote data until version 1.2. Thanks also to Greg Gamble and Alexander Hulpke for technical hints concerning standard
perl.
Ulrich Kaiser helped with preparing the package for MS Windows.
@@ -558,7 +579,7 @@Andries Brouwer suggested to add a tutorial (see Chapter 2), Klaus Lux suggested several improvements of this chapter.
The development of this GAP package has been supported by the SFB-TRR 195 "Symbolic Tools in Mathematics and their Applications" (from 2017 until 2022).
+The development of this GAP package has been supported by the SFB-TRR 195 Symbolic Tools in Mathematics and their Applications
(from 2017 until 2022).
Now prescribing a ring in AllAtlasGeneratingSetInfos
(3.5-7) and related functions automatically prescribes its characteristic. Up to now, one had to specify also the characteristic, otherwise characteristic zero was erroneously assumed.
Up to now, AllAtlasGeneratingSetInfos
(3.5-7) and related functions, when called only with a prescribed ring in positive characteristic, could erroneously return also entries about representations in characteristic zero.
The default for the user preference "AtlasRepDataDirectory"
(see Section 4.2-2) has been improved in the situation where the package directory is not writable and the GAP session runs inside a Julia session; if this is the case then a Julia scratchspace is used as the default.
The star *
that may appear in some lines of the output of DisplayAtlasInfo
(3.5-1) is now documented. Thanks to Will Chen for reporting that an explanation for it was missing.
An example in Section 2.1-2 of the Tutorial had to be adjusted because the results of the function SmallerDegreePermutationRepresentation
(Reference: SmallerDegreePermutationRepresentation) depend on random computations, in particular the implementation in GAP 4.13 may yield a nicer representation than had been shown before.
A typo in the documentation of AGR.MXS
(see Section 7.8) was fixed. Thanks to Max Horn for spotting this.
GAP 4.13 will provide the new "package extension" feature, which allows a package to execute GAP code after the package and some other required packages have been loaded. In AtlasRep, this feature is now used for example in order to achieve that those functions which depend on the Browse package can be used also if this package gets (installed and) loaded after AtlasRep has been loaded.
+GAP 4.13 will provide the new package extension
feature, which allows a package to execute GAP code after the package and some other required packages have been loaded. In AtlasRep, this feature is now used for example in order to achieve that those functions which depend on the Browse package can be used also if this package gets (installed and) loaded after AtlasRep has been loaded.
The code for building the documentation of the package has been adjusted to a change in GAP 4.13. This does not affect most users of the package because the package archive contains a ready documentation.
@@ -180,27 +201,27 @@The package now requires the utils package [BGH+22], and uses its Download
(Utils: Download) function for downloading remote files. The former user preference FileTransferTool
of the AtlasRep package is no longer supported; it had been used in older versions to distinguish between different download tools.
The package now requires the utils package [BGH+22], and uses its Download
(Utils: Download) function for downloading remote files. The former user preference FileTransferTool
of the AtlasRep package is no longer supported; it had been used in older versions to distinguish between different download tools.
A method for ConjugacyClasses
(Reference: ConjugacyClasses attribute) has been added that uses a straight line program for computing class representatives of a group that has been created with AtlasGroup
(3.5-8), provided such a program is available. Thanks to Frank Lübeck for suggesting this.
Two bugs concerning local file permissions and the handling of download failures were fixed. Thanks to Frank Lübeck and Fabian Zickgraf for reporting these problems.
-A few changes in the code for downloading files were needed in order to make some CI tests happy.
-The server address for the core part of the database has changed.
@@ -210,7 +231,7 @@ -Not much.
@@ -218,14 +239,14 @@ -The new function EvaluatePresentation
(3.5-11) computes the images of the relators of a presentation (see Section 6.1-7).
The new function StandardGeneratorsData
(3.5-12) allows one to compute standard generators from given generators, provided a recipe for that task (a "find" straight line program) for the group in question is available.
The new function StandardGeneratorsData
(3.5-12) allows one to compute standard generators from given generators, provided a recipe for that task (a find
straight line program) for the group in question is available.
The function AtlasGroup
(3.5-8) sets known information about the group and the representation, such as IsPrimitive
(Reference: IsPrimitive).
The main differences to earlier versions concern extensions of the available data. Up to now, such extensions were possible only in the sense that one could notify certain locally available files to the package's functions. With this version, it becomes possible to notify also remote data files, i. e., data files which have to be downloaded before they can be read into GAP, in the same way as the data from the ATLAS of Group Representations. Two extensions of this kind become automatically available with this package version, see Section 5.1 for details.
-Thus the focus of the package has changed. In earlier versions, it provided a GAP interface to the data in the ATLAS of Group Representations, whereas now this database is regarded as one collection (the "core part") among others. Where applicable, the package manual tries to distinguish between general data available to the AtlasRep functions and the data from the ATLAS of Group Representations.
+Thus the focus of the package has changed. In earlier versions, it provided a GAP interface to the data in the ATLAS of Group Representations, whereas now this database is regarded as one collection (the core part
) among others. Where applicable, the package manual tries to distinguish between general data available to the AtlasRep functions and the data from the ATLAS of Group Representations.
In order to provide this new functionality, the following changes have been implemented. Note that some are incompatible changes, compared with earlier versions of the package.
@@ -324,7 +345,7 @@ -In addition to the group orders that were added in version 1.3 (see Section 1.3-14), also many orders of maximal subgroups are now available. These values occur in the records returned by AtlasProgram
(3.5-4) (for the case of "maxes"
type programs) and of the three argument version of AtlasGenerators
(3.5-3); now a size
component may be bound. In these cases, the groups returned by AtlasSubgroup
(3.5-9) have the Size
(Reference: Size) attribute set.
In addition to the group orders that were added in version 1.3 (see Section 1.3-15), also many orders of maximal subgroups are now available. These values occur in the records returned by AtlasProgram
(3.5-4) (for the case of "maxes"
type programs) and of the three argument version of AtlasGenerators
(3.5-3); now a size
component may be bound. In these cases, the groups returned by AtlasSubgroup
(3.5-9) have the Size
(Reference: Size) attribute set.
The information about the number of maximal subgroups, if available, is now used in DisplayAtlasInfo
(3.5-1).
This version was mainly released in order to fix a few problems. Now one does not get warnings about unbound variables when the package is loaded and the GAP package IO [Neu14] is not available, and pathological situations in FFMatOrPermCMtxBinary
(7.3-5) (concerning extremely short corrupted data files and different byte orderings in binary files) are handled more carefully.
The main consequence of this change is that information about updates of the table of contents is now provided at the package's homepage. This means that on the one hand, now package users cannot compute the table of contents directly from the server data, but on the other hand the update information can be downloaded without the necessity to install perl
.
Another consequence is that the system program ls
is no longer needed, see Section 1.3-16.
Another consequence is that the system program ls
is no longer needed, see Section 1.3-17.
The package manual has been restructured, extended and improved. It is now based on the package GAPDoc (see [LN18]).
@@ -476,7 +497,7 @@Not much.
@@ -506,9 +527,9 @@ -The biggest change w. r. t. Version 1.1 is the addition of private extensions (see Chapter 5). It includes a new "free format" for straight line programs (see Section 5.2). Unfortunately, this feature requires the system program ls
, so it may be not available for example under MS Windows operating systems. [But see Section 1.3-14.]
The biggest change w. r. t. Version 1.1 is the addition of private extensions (see Chapter 5). It includes a new free format
for straight line programs (see Section 5.2). Unfortunately, this feature requires the system program ls
, so it may be not available for example under MS Windows operating systems. [But see Section 1.3-15.]
In order to admit the addition of other types of data, the implementation of several functions has been changed. Data types are described in Section 7.5. An example of a new data type are quaternionic representations (see Section 7.6). The user interface itself (see Chapter 3) remained the same.
@@ -534,7 +555,7 @@Frank Lübeck and Max Neunhöffer kindly provided the perl script that had been used for fetching remote data until version 1.2. Thanks also to Greg Gamble and Alexander Hulpke for technical hints concerning "standard" perl.
+Frank Lübeck and Max Neunhöffer kindly provided the perl script that had been used for fetching remote data until version 1.2. Thanks also to Greg Gamble and Alexander Hulpke for technical hints concerning standard
perl.
Ulrich Kaiser helped with preparing the package for MS Windows.
@@ -561,7 +582,7 @@Andries Brouwer suggested to add a tutorial (see Chapter 2), Klaus Lux suggested several improvements of this chapter.
The development of this GAP package has been supported by the SFB-TRR 195 "Symbolic Tools in Mathematics and their Applications" (from 2017 until 2022).
+The development of this GAP package has been supported by the SFB-TRR 195 Symbolic Tools in Mathematics and their Applications
(from 2017 until 2022).
Each group that occurs in this database is specified by a name, which is a string similar to the name used in the ATLAS of Finite Groups [CCN+85]. For those groups whose character tables are contained in the GAP Character Table Library [Bre22], the names are equal to the Identifier
(Reference: Identifier for character tables) values of these character tables. Examples of such names are "M24"
for the Mathieu group M_24, "2.A6"
for the double cover of the alternating group A_6, and "2.A6.2_1"
for the double cover of the symmetric group S_6. The names that actually occur are listed in the first column of the overview table that is printed by the function DisplayAtlasInfo
(3.5-1), called without arguments, see below. The other columns of the table describe the data that are available in the database.
For example, DisplayAtlasInfo
(3.5-1) may print the following lines. Omissions are indicated with "...
".
For example, DisplayAtlasInfo
(3.5-1) may print the following lines. Omissions are indicated with
....
@@ -190,7 +190,7 @@ failThe classes of maximal subgroups are ordered w. r. t. decreasing subgroup order. So the first class contains maximal subgroups of smallest index.
-Note that groups obtained by
+AtlasSubgroup
(3.5-9) may be not very suitable for computations in the sense that much nicer representations exist. For example, the sporadic simple O'Nan group O'N contains a maximal subgroup S isomorphic with the Janko group J_1; the smallest permutation representation of O'N has degree 122760, and restricting this representation to S yields a representation of J_1 of that degree. However, J_1 has a faithful permutation representation of degree 266, which admits much more efficient computations. If you are just interested in J_1 and not in its embedding into O'N then one possibility to get a "nicer" faithful representation is to callSmallerDegreePermutationRepresentation
(Reference: SmallerDegreePermutationRepresentation). In the abovementioned example, this works quite well; note that in general, we cannot expect that we get a representation of smallest degree in this way.Note that groups obtained by
AtlasSubgroup
(3.5-9) may be not very suitable for computations in the sense that much nicer representations exist. For example, the sporadic simple O'Nan group O'N contains a maximal subgroup S isomorphic with the Janko group J_1; the smallest permutation representation of O'N has degree 122760, and restricting this representation to S yields a representation of J_1 of that degree. However, J_1 has a faithful permutation representation of degree 266, which admits much more efficient computations. If you are just interested in J_1 and not in its embedding into O'N then one possibility to get anicerfaithful representation is to callSmallerDegreePermutationRepresentation
(Reference: SmallerDegreePermutationRepresentation). In the abovementioned example, this works quite well; note that in general, we cannot expect that we get a representation of smallest degree in this way.-@@ -316,7 +316,7 @@ Group([ (2,4)(3,5)(6,8)(7,10), (1,4)(3,8Up to now, we have talked only about groups and subgroups. The AtlasRep package provides access to group generators, and in fact these generators have the property that mapping one set of generators to another set of generators for the same group defines an isomorphism. These generators are called standard generators, see Section 3.3.
-So instead of thinking about several generating sets of a group G, say, we can think about one abstract group G, with one fixed set of generators, and mapping these generators to any set of generators provided by AtlasRep defines a representation of G. This viewpoint had motivated the name "ATLAS of Group Representations" for the core part of the database.
+So instead of thinking about several generating sets of a group G, say, we can think about one abstract group G, with one fixed set of generators, and mapping these generators to any set of generators provided by AtlasRep defines a representation of G. This viewpoint had motivated the name
ATLAS of Group Representationsfor the core part of the database.If you are interested in the generators provided by the database rather than in the groups they generate, you can use the function
@@ -685,7 +685,7 @@ Programs for G = M11: (all refer to s (pres)OneAtlasGeneratingSetInfo
(3.5-6) instead ofAtlasGroup
(3.5-8), with the same arguments. This will yield a record that describes the representation in question. Calling the functionAtlasGenerators
(3.5-3) with this record will then yield a record with the additional componentgenerators
, which holds the list of generators.The entry "std.1" in the line about the maximal subgroup of type L_2(11) means that a straight line program for computing standard generators (in standardization 1) of the subgroup. This program can be fetched as follows.
+The entry
std.1in the line about the maximal subgroup of type L_2(11) means that a straight line program for computing standard generators (in standardization 1) of the subgroup. This program can be fetched as follows.-diff -pruN 2.1.8-1/doc/chap2_mj.html 2.1.9-1/doc/chap2_mj.html --- 2.1.8-1/doc/chap2_mj.html 2024-01-04 10:04:20.000000000 +0000 +++ 2.1.9-1/doc/chap2_mj.html 2024-08-22 13:25:48.000000000 +0000 @@ -128,7 +128,7 @@ trueEach group that occurs in this database is specified by a name, which is a string similar to the name used in the ATLAS of Finite Groups [CCN+85]. For those groups whose character tables are contained in the GAP Character Table Library [Bre22], the names are equal to the
-Identifier
(Reference: Identifier for character tables) values of these character tables. Examples of such names are"M24"
for the Mathieu group \(M_{24}\),"2.A6"
for the double cover of the alternating group \(A_6\), and"2.A6.2_1"
for the double cover of the symmetric group \(S_6\). The names that actually occur are listed in the first column of the overview table that is printed by the functionDisplayAtlasInfo
(3.5-1), called without arguments, see below. The other columns of the table describe the data that are available in the database.For example,
+DisplayAtlasInfo
(3.5-1) may print the following lines. Omissions are indicated with "...
".For example,
DisplayAtlasInfo
(3.5-1) may print the following lines. Omissions are indicated with....
-@@ -193,7 +193,7 @@ failThe classes of maximal subgroups are ordered w. r. t. decreasing subgroup order. So the first class contains maximal subgroups of smallest index.
-Note that groups obtained by
+AtlasSubgroup
(3.5-9) may be not very suitable for computations in the sense that much nicer representations exist. For example, the sporadic simple O'Nan group \(O'N\) contains a maximal subgroup \(S\) isomorphic with the Janko group \(J_1\); the smallest permutation representation of \(O'N\) has degree \(122760\), and restricting this representation to \(S\) yields a representation of \(J_1\) of that degree. However, \(J_1\) has a faithful permutation representation of degree \(266\), which admits much more efficient computations. If you are just interested in \(J_1\) and not in its embedding into \(O'N\) then one possibility to get a "nicer" faithful representation is to callSmallerDegreePermutationRepresentation
(Reference: SmallerDegreePermutationRepresentation). In the abovementioned example, this works quite well; note that in general, we cannot expect that we get a representation of smallest degree in this way.Note that groups obtained by
AtlasSubgroup
(3.5-9) may be not very suitable for computations in the sense that much nicer representations exist. For example, the sporadic simple O'Nan group \(O'N\) contains a maximal subgroup \(S\) isomorphic with the Janko group \(J_1\); the smallest permutation representation of \(O'N\) has degree \(122760\), and restricting this representation to \(S\) yields a representation of \(J_1\) of that degree. However, \(J_1\) has a faithful permutation representation of degree \(266\), which admits much more efficient computations. If you are just interested in \(J_1\) and not in its embedding into \(O'N\) then one possibility to get anicerfaithful representation is to callSmallerDegreePermutationRepresentation
(Reference: SmallerDegreePermutationRepresentation). In the abovementioned example, this works quite well; note that in general, we cannot expect that we get a representation of smallest degree in this way.-@@ -319,7 +319,7 @@ Group([ (2,4)(3,5)(6,8)(7,10), (1,4)(3,8Up to now, we have talked only about groups and subgroups. The AtlasRep package provides access to group generators, and in fact these generators have the property that mapping one set of generators to another set of generators for the same group defines an isomorphism. These generators are called standard generators, see Section 3.3.
-So instead of thinking about several generating sets of a group \(G\), say, we can think about one abstract group \(G\), with one fixed set of generators, and mapping these generators to any set of generators provided by AtlasRep defines a representation of \(G\). This viewpoint had motivated the name "ATLAS of Group Representations" for the core part of the database.
+So instead of thinking about several generating sets of a group \(G\), say, we can think about one abstract group \(G\), with one fixed set of generators, and mapping these generators to any set of generators provided by AtlasRep defines a representation of \(G\). This viewpoint had motivated the name
ATLAS of Group Representationsfor the core part of the database.If you are interested in the generators provided by the database rather than in the groups they generate, you can use the function
@@ -688,7 +688,7 @@ Programs for G = M11: (all refer to s (pres)OneAtlasGeneratingSetInfo
(3.5-6) instead ofAtlasGroup
(3.5-8), with the same arguments. This will yield a record that describes the representation in question. Calling the functionAtlasGenerators
(3.5-3) with this record will then yield a record with the additional componentgenerators
, which holds the list of generators.The entry "std.1" in the line about the maximal subgroup of type \(L_2(11)\) means that a straight line program for computing standard generators (in standardization 1) of the subgroup. This program can be fetched as follows.
+The entry
std.1in the line about the maximal subgroup of type \(L_2(11)\) means that a straight line program for computing standard generators (in standardization 1) of the subgroup. This program can be fetched as follows.-diff -pruN 2.1.8-1/doc/chap3.html 2.1.9-1/doc/chap3.html --- 2.1.8-1/doc/chap3.html 2024-01-04 10:04:19.000000000 +0000 +++ 2.1.9-1/doc/chap3.html 2024-08-22 13:25:46.000000000 +0000 @@ -139,7 +139,7 @@For example, the classes
-21A
and21B
of the group U_3(5).3 fuse in U_3(5).S_3 to the class21AB
, and the class2B
of U_3(5).2 fuses with the involution classes2B'
,2B''
in the groups U_3(5).2^' and U_3(5).2^{''} to the class2B
of U_3(5).S_3.It may happen that some names in the
+outputs
component of a record returned byAtlasProgram
(3.5-4) do not uniquely determine the classes of the corresponding elements. For example, the (algebraically conjugate) classes39A
and39B
of the group Co_1 have not been distinguished yet. In such cases, the names used contain a minus sign-
, and mean "one of the classes in the range described by the name before and the name after the minus sign"; the element order part of the name does not appear after the minus sign. So the name39A-B
for the group Co_1 means39A
or39B
, and the name20A-B'''
for the group Sz(32).5 means one of the classes of element order 20 in this group (these classes lie outside the simple group Sz).It may happen that some names in the
outputs
component of a record returned byAtlasProgram
(3.5-4) do not uniquely determine the classes of the corresponding elements. For example, the (algebraically conjugate) classes39A
and39B
of the group Co_1 have not been distinguished yet. In such cases, the names used contain a minus sign-
, and meanone of the classes in the range described by the name before and the name after the minus sign; the element order part of the name does not appear after the minus sign. So the name39A-B
for the group Co_1 means39A
or39B
, and the name20A-B'''
for the group Sz(32).5 means one of the classes of element order 20 in this group (these classes lie outside the simple group Sz).For a downward extension m.G.A of an almost simple group G.A by a cyclic group of order m, let π denote the natural epimorphism from m.G.A onto G.A. Each class name of m.G.A has the form
@@ -236,7 +236,7 @@nX_0
,nX_1
etc., wherenX
is the class name of the image under π, and the indices0
,1
etc. are chosen according to the position of the class in the lifting order rows for G, see [CCN+85, Chapter 7, Section 7, and the example in Section 8]).-
- -
group
the GAP name of G (see Section 3.2),
+the GAP name of G (see Section 3.2), if applicable followed by a string (by default a star
*
) indicating that at least one column refers to data not belonging to the core part of the database (see Section 4.2-12).- @@ -289,7 +289,9 @@
#
After the representations, the programs available for gapname are listed. The following optional arguments can be used to restrict the overviews.
+Below the representations, the programs available for gapname are listed. In each row of the overview, the entry in the first column is followed by a string (by default a star
+ +*
) if the row refers to data not belonging to the core part of the database (see Section 4.2-12).The following optional arguments can be used to restrict the overviews.
@@ -382,7 +384,7 @@
Note that the above conditions refer only to the information that is available without accessing the representations. For example, if it is not stored in the table of contents whether a permutation representation is primitive then this representation does not match an
-IsPrimitive
condition inDisplayAtlasInfo
.If "minimality" information is requested and no available representation matches this condition then either no minimal representation is available or the information about the minimality is missing. See
+MinimalRepresentationInfo
(6.3-1) for checking whether the minimality information is available for the group in question. Note that in the cases where the string"minimal"
occurs as an argument,MinimalRepresentationInfo
(6.3-1) is called with third argument"lookup"
; this is because the stored information was precomputed just for the groups in the ATLAS of Group Representations, so trying to compute non-stored minimality information (using other available databases) will hardly be successful.If
minimalityinformation is requested and no available representation matches this condition then either no minimal representation is available or the information about the minimality is missing. SeeMinimalRepresentationInfo
(6.3-1) for checking whether the minimality information is available for the group in question. Note that in the cases where the string"minimal"
occurs as an argument,MinimalRepresentationInfo
(6.3-1) is called with third argument"lookup"
; this is because the stored information was precomputed just for the groups in the ATLAS of Group Representations, so trying to compute non-stored minimality information (using other available databases) will hardly be successful.The representations are ordered as follows. Permutation representations come first (ordered according to their degrees), followed by matrix representations over finite fields (ordered first according to the field size and second according to the dimension), matrix representations over the integers, and then matrix representations over algebraic extension fields (both kinds ordered according to the dimension), the last representations are matrix representations over residue class rings (ordered first according to the modulus and second according to the dimension).
@@ -433,7 +435,7 @@ M11 | 42 | 5 | + | + | | + A5* | 18 | 3 | + | | | | + | +The above output means that the database provides 42 representations of the Mathieu group M_11, straight line programs for computing generators of representatives of all five classes of maximal subgroups, for computing representatives of the conjugacy classes of elements and of generators of maximally cyclic subgroups, contains no straight line program for applying outer automorphisms (well, in fact M_11 admits no nontrivial outer automorphism), and contains straight line decisions that check a set of generators or a set of group elements for being a set of standard generators. Analogously, 18 representations of the alternating group A_5 are available, straight line programs for computing generators of representatives of all three classes of maximal subgroups, and no straight line programs for computing representatives of the conjugacy classes of elements, of generators of maximally cyclic subgroups, and no for computing images under outer automorphisms; straight line decisions for checking the standardization of generators or group elements are available.
+The above output means that the database provides 42 representations of the Mathieu group M_11, straight line programs for computing generators of representatives of all five classes of maximal subgroups, for computing representatives of the conjugacy classes of elements and of generators of maximally cyclic subgroups, contains no straight line program for applying outer automorphisms (well, in fact M_11 admits no nontrivial outer automorphism), and contains straight line decisions that check a set of generators or a set of group elements for being a set of standard generators. Analogously, 18 representations of the alternating group A_5 are available, straight line programs for computing generators of representatives of all three classes of maximal subgroups, and no straight line programs for computing representatives of the conjugacy classes of elements, of generators of maximally cyclic subgroups, and no for computing images under outer automorphisms; straight line decisions for checking the standardization of generators or group elements are available. The star
*
in the first column of the row for A_5 means that some of the available data do not belong to the core part of the database (see Section 4.2-12).-@@ -555,7 +557,7 @@ Programs for G = A5: (all refer to st (pres)Straight line programs are available for computing generators of representatives of the three classes of maximal subgroups of A_5, and a straight line decision for checking whether given generators are in fact standard generators is available as well as a presentation in terms of standard generators, see
+AtlasProgram
(3.5-4).Straight line programs are available for computing generators of representatives of the three classes of maximal subgroups of A_5, and a straight line decision for checking whether given generators are in fact standard generators is available as well as a presentation in terms of standard generators, see
@@ -1419,7 +1421,7 @@ trueAtlasProgram
(3.5-4). A straight line program for computing conjugacy class representatives is available, and the star*
says that this program does not belong to the core part of the database (see Section 4.2-12).The browse table does not contain rows for the groups 6.M_22, 12.M_22, 6.Fi_22. Note that in spite of the title of [Jan05], the entries in Table 1 of this paper are in fact the minimal degrees of faithful irreducible representations, and in the above three cases, these degrees are larger than the minimal degrees of faithful representations. The underlying data of the browse table is about the minimal faithful (but not necessarily irreducible) degrees.
-The return value of
+BrowseMinimalDegrees
is the list ofOneAtlasGeneratingSetInfo
(3.5-6) values for those representations that have been "clicked" in visual mode.The return value of
BrowseMinimalDegrees
is the list ofOneAtlasGeneratingSetInfo
(3.5-6) values for those representations that have beenclickedin visual mode.The variant without arguments of this function is also available in the menu shown by
@@ -1434,7 +1436,7 @@ trueBrowseGapData
(Browse: BrowseGapData).The function is based on
-BrowseBibliography
(Browse: BrowseBibliography), see the documentation of this function for details, e.g., about the return value.The returned record encodes the bibliography entries corresponding to those rows of the table that are "clicked" in visual mode, in the same format as the return value of
+ParseBibXMLExtString
(GAPDoc: ParseBibXMLextString), see the manual of the GAP package GAPDoc [LN18] for details.The returned record encodes the bibliography entries corresponding to those rows of the table that are
clickedin visual mode, in the same format as the return value ofParseBibXMLExtString
(GAPDoc: ParseBibXMLextString), see the manual of the GAP package GAPDoc [LN18] for details.diff -pruN 2.1.8-1/doc/chap3.txt 2.1.9-1/doc/chap3.txt --- 2.1.8-1/doc/chap3.txt 2024-01-04 10:04:13.000000000 +0000 +++ 2.1.9-1/doc/chap3.txt 2024-08-22 13:25:40.000000000 +0000 @@ -283,7 +283,10 @@ is shown for [22XG[122X, with the following columns.[133X [8X[10Xgroup[110X[8X[108X - [33X[0;6Ythe [5XGAP[105X name of [22XG[122X (see Section [14X3.2[114X),[133X + [33X[0;6Ythe [5XGAP[105X name of [22XG[122X (see Section [14X3.2[114X), if applicable followed by a + string (by default a star [10X*[110X) indicating that at least one column + refers to data not belonging to the core part of the database (see + Section [14X4.2-12[114X).[133X [8X[10X#[110X[8X[108X [33X[0;6Ythe number of faithful representations stored for [22XG[122X that satisfy the @@ -346,8 +349,12 @@ GL(2a,4)[110X and [10XG <= GL(2b,4)[110X denote two (nonequivalent) representations of dimension [22X2[122X over the field with four elements.[133X - [33X[0;0YAfter the representations, the programs available for [3Xgapname[103X are listed. - The following optional arguments can be used to restrict the overviews.[133X + [33X[0;0YBelow the representations, the programs available for [3Xgapname[103X are listed. In + each row of the overview, the entry in the first column is followed by a + string (by default a star [10X*[110X) if the row refers to data not belonging to the + core part of the database (see Section [14X4.2-12[114X).[133X + + [33X[0;0YThe following optional arguments can be used to restrict the overviews.[133X [8X[3Xstd[103X[8X[108X [33X[0;6Ymust be a positive integer or a list of positive integers; if it is @@ -571,7 +578,9 @@ line programs for computing representatives of the conjugacy classes of elements, of generators of maximally cyclic subgroups, and no for computing images under outer automorphisms; straight line decisions for checking the - standardization of generators or group elements are available.[133X + standardization of generators or group elements are available. The star [10X*[110X in + the first column of the row for [22XA_5[122X means that some of the available data do + not belong to the core part of the database (see Section [14X4.2-12[114X).[133X [4X[32X Example [32X[104X [4X[25Xgap>[125X [27XDisplayAtlasInfo( [ "M11", "A5" ], NrMovedPoints, 11 );[127X[104X @@ -706,7 +715,10 @@ representatives of the three classes of maximal subgroups of [22XA_5[122X, and a straight line decision for checking whether given generators are in fact standard generators is available as well as a presentation in terms of - standard generators, see [2XAtlasProgram[102X ([14X3.5-4[114X).[133X + standard generators, see [2XAtlasProgram[102X ([14X3.5-4[114X). A straight line program for + computing conjugacy class representatives is available, and the star [10X*[110X says + that this program does not belong to the core part of the database (see + Section [14X4.2-12[114X).[133X [1X3.5-3 AtlasGenerators[101X diff -pruN 2.1.8-1/doc/chap3_mj.html 2.1.9-1/doc/chap3_mj.html --- 2.1.8-1/doc/chap3_mj.html 2024-01-04 10:04:20.000000000 +0000 +++ 2.1.9-1/doc/chap3_mj.html 2024-08-22 13:25:48.000000000 +0000 @@ -142,7 +142,7 @@
BrowseBibliographySporadicSimple
can be called also via the menu shown byBrowseGapData
(Browse: BrowseGapData).For example, the classes
-21A
and21B
of the group \(U_3(5).3\) fuse in \(U_3(5).S_3\) to the class21AB
, and the class2B
of \(U_3(5).2\) fuses with the involution classes2B'
,2B''
in the groups \(U_3(5).2^{\prime}\) and \(U_3(5).2^{{\prime\prime}}\) to the class2B
of \(U_3(5).S_3\).It may happen that some names in the
+outputs
component of a record returned byAtlasProgram
(3.5-4) do not uniquely determine the classes of the corresponding elements. For example, the (algebraically conjugate) classes39A
and39B
of the group \(Co_1\) have not been distinguished yet. In such cases, the names used contain a minus sign-
, and mean "one of the classes in the range described by the name before and the name after the minus sign"; the element order part of the name does not appear after the minus sign. So the name39A-B
for the group \(Co_1\) means39A
or39B
, and the name20A-B'''
for the group \(Sz(32).5\) means one of the classes of element order \(20\) in this group (these classes lie outside the simple group \(Sz\)).It may happen that some names in the
outputs
component of a record returned byAtlasProgram
(3.5-4) do not uniquely determine the classes of the corresponding elements. For example, the (algebraically conjugate) classes39A
and39B
of the group \(Co_1\) have not been distinguished yet. In such cases, the names used contain a minus sign-
, and meanone of the classes in the range described by the name before and the name after the minus sign; the element order part of the name does not appear after the minus sign. So the name39A-B
for the group \(Co_1\) means39A
or39B
, and the name20A-B'''
for the group \(Sz(32).5\) means one of the classes of element order \(20\) in this group (these classes lie outside the simple group \(Sz\)).For a downward extension \(m.G.A\) of an almost simple group \(G.A\) by a cyclic group of order \(m\), let \(\pi\) denote the natural epimorphism from \(m.G.A\) onto \(G.A\). Each class name of \(m.G.A\) has the form
@@ -239,7 +239,7 @@nX_0
,nX_1
etc., wherenX
is the class name of the image under \(\pi\), and the indices0
,1
etc. are chosen according to the position of the class in the lifting order rows for \(G\), see [CCN+85, Chapter 7, Section 7, and the example in Section 8]).-
- -
group
the GAP name of \(G\) (see Section 3.2),
+the GAP name of \(G\) (see Section 3.2), if applicable followed by a string (by default a star
*
) indicating that at least one column refers to data not belonging to the core part of the database (see Section 4.2-12).- @@ -292,7 +292,9 @@
#
After the representations, the programs available for gapname are listed. The following optional arguments can be used to restrict the overviews.
+Below the representations, the programs available for gapname are listed. In each row of the overview, the entry in the first column is followed by a string (by default a star
+ +*
) if the row refers to data not belonging to the core part of the database (see Section 4.2-12).The following optional arguments can be used to restrict the overviews.
@@ -385,7 +387,7 @@
Note that the above conditions refer only to the information that is available without accessing the representations. For example, if it is not stored in the table of contents whether a permutation representation is primitive then this representation does not match an
-IsPrimitive
condition inDisplayAtlasInfo
.If "minimality" information is requested and no available representation matches this condition then either no minimal representation is available or the information about the minimality is missing. See
+MinimalRepresentationInfo
(6.3-1) for checking whether the minimality information is available for the group in question. Note that in the cases where the string"minimal"
occurs as an argument,MinimalRepresentationInfo
(6.3-1) is called with third argument"lookup"
; this is because the stored information was precomputed just for the groups in the ATLAS of Group Representations, so trying to compute non-stored minimality information (using other available databases) will hardly be successful.If
minimalityinformation is requested and no available representation matches this condition then either no minimal representation is available or the information about the minimality is missing. SeeMinimalRepresentationInfo
(6.3-1) for checking whether the minimality information is available for the group in question. Note that in the cases where the string"minimal"
occurs as an argument,MinimalRepresentationInfo
(6.3-1) is called with third argument"lookup"
; this is because the stored information was precomputed just for the groups in the ATLAS of Group Representations, so trying to compute non-stored minimality information (using other available databases) will hardly be successful.The representations are ordered as follows. Permutation representations come first (ordered according to their degrees), followed by matrix representations over finite fields (ordered first according to the field size and second according to the dimension), matrix representations over the integers, and then matrix representations over algebraic extension fields (both kinds ordered according to the dimension), the last representations are matrix representations over residue class rings (ordered first according to the modulus and second according to the dimension).
@@ -436,7 +438,7 @@ M11 | 42 | 5 | + | + | | + A5* | 18 | 3 | + | | | | + | +The above output means that the database provides \(42\) representations of the Mathieu group \(M_{11}\), straight line programs for computing generators of representatives of all five classes of maximal subgroups, for computing representatives of the conjugacy classes of elements and of generators of maximally cyclic subgroups, contains no straight line program for applying outer automorphisms (well, in fact \(M_{11}\) admits no nontrivial outer automorphism), and contains straight line decisions that check a set of generators or a set of group elements for being a set of standard generators. Analogously, \(18\) representations of the alternating group \(A_5\) are available, straight line programs for computing generators of representatives of all three classes of maximal subgroups, and no straight line programs for computing representatives of the conjugacy classes of elements, of generators of maximally cyclic subgroups, and no for computing images under outer automorphisms; straight line decisions for checking the standardization of generators or group elements are available.
+The above output means that the database provides \(42\) representations of the Mathieu group \(M_{11}\), straight line programs for computing generators of representatives of all five classes of maximal subgroups, for computing representatives of the conjugacy classes of elements and of generators of maximally cyclic subgroups, contains no straight line program for applying outer automorphisms (well, in fact \(M_{11}\) admits no nontrivial outer automorphism), and contains straight line decisions that check a set of generators or a set of group elements for being a set of standard generators. Analogously, \(18\) representations of the alternating group \(A_5\) are available, straight line programs for computing generators of representatives of all three classes of maximal subgroups, and no straight line programs for computing representatives of the conjugacy classes of elements, of generators of maximally cyclic subgroups, and no for computing images under outer automorphisms; straight line decisions for checking the standardization of generators or group elements are available. The star
*
in the first column of the row for \(A_5\) means that some of the available data do not belong to the core part of the database (see Section 4.2-12).-@@ -558,7 +560,7 @@ Programs for G = A5: (all refer to st (pres)Straight line programs are available for computing generators of representatives of the three classes of maximal subgroups of \(A_5\), and a straight line decision for checking whether given generators are in fact standard generators is available as well as a presentation in terms of standard generators, see
+AtlasProgram
(3.5-4).Straight line programs are available for computing generators of representatives of the three classes of maximal subgroups of \(A_5\), and a straight line decision for checking whether given generators are in fact standard generators is available as well as a presentation in terms of standard generators, see
@@ -1422,7 +1424,7 @@ trueAtlasProgram
(3.5-4). A straight line program for computing conjugacy class representatives is available, and the star*
says that this program does not belong to the core part of the database (see Section 4.2-12).The browse table does not contain rows for the groups \(6.M_{22}\), \(12.M_{22}\), \(6.Fi_{22}\). Note that in spite of the title of [Jan05], the entries in Table 1 of this paper are in fact the minimal degrees of faithful irreducible representations, and in the above three cases, these degrees are larger than the minimal degrees of faithful representations. The underlying data of the browse table is about the minimal faithful (but not necessarily irreducible) degrees.
-The return value of
+BrowseMinimalDegrees
is the list ofOneAtlasGeneratingSetInfo
(3.5-6) values for those representations that have been "clicked" in visual mode.The return value of
BrowseMinimalDegrees
is the list ofOneAtlasGeneratingSetInfo
(3.5-6) values for those representations that have beenclickedin visual mode.The variant without arguments of this function is also available in the menu shown by
@@ -1437,7 +1439,7 @@ trueBrowseGapData
(Browse: BrowseGapData).The function is based on
-BrowseBibliography
(Browse: BrowseBibliography), see the documentation of this function for details, e.g., about the return value.The returned record encodes the bibliography entries corresponding to those rows of the table that are "clicked" in visual mode, in the same format as the return value of
+ParseBibXMLExtString
(GAPDoc: ParseBibXMLextString), see the manual of the GAP package GAPDoc [LN18] for details.The returned record encodes the bibliography entries corresponding to those rows of the table that are
clickedin visual mode, in the same format as the return value ofParseBibXMLExtString
(GAPDoc: ParseBibXMLextString), see the manual of the GAP package GAPDoc [LN18] for details.diff -pruN 2.1.8-1/doc/chap4.html 2.1.9-1/doc/chap4.html --- 2.1.8-1/doc/chap4.html 2024-01-04 10:04:19.000000000 +0000 +++ 2.1.9-1/doc/chap4.html 2024-08-22 13:25:46.000000000 +0000 @@ -73,7 +73,7 @@
BrowseBibliographySporadicSimple
can be called also via the menu shown byBrowseGapData
(Browse: BrowseGapData).To install the package, unpack the archive file in a directory in the
-pkg
directory of your local copy of GAP 4. This might be thepkg
directory of the GAP 4 root directory, see Reference: Installing a GAP Package for details. It is however also possible to keep an additionalpkg
directory somewhere else, see Section Reference: GAP Root Directories. The latter possibility must be chosen if you do not have write access to the GAP root directory.If it is likely that you will work offline, it makes sense to install the "starter archive" that can be downloaded from the package's homepage.
+If it is likely that you will work offline, it makes sense to install the
starter archivethat can be downloaded from the package's homepage.The package consists entirely of GAP code, no external binaries need to be compiled for the package itself.
@@ -175,7 +175,7 @@ drwxrwxrwt 3 you you 102An empty string means that downloaded data are just kept in the GAP session but not saved to local files.
-The default depends on the user's permissions for the subdirectories
+dataext
,datagens
,dataword
of the AtlasRep directory: If these directories are writable for the user then the installation path of the AtlasRep package (including a trailing slash symbol) is taken, otherwise the default is an empty string.The default depends on the user's permissions for the subdirectories
@@ -326,7 +326,7 @@ drwxrwxrwt 3 you you 102dataext
,datagens
,dataword
of the AtlasRep directory: If these directories are writable for the user then the installation path of the AtlasRep package (including a trailing slash symbol) is taken. If this is not the case but the currentl GAP session is running inside a Julia session then a Julia scratchspace is taken, otherwise the default is an empty string.Users who have computed new representations that might be interesting for inclusion into the ATLAS of Group representations can send the data in question to R.A.Wilson@qmul.ac.uk.
-It is also possible to make additional representations and programs accessible for the GAP interface, and to use these "private" data in the same way as the core data. See Chapter 5 for details.
+It is also possible to make additional representations and programs accessible for the GAP interface, and to use these
diff -pruN 2.1.8-1/doc/chap4.txt 2.1.9-1/doc/chap4.txt --- 2.1.8-1/doc/chap4.txt 2024-01-04 10:04:13.000000000 +0000 +++ 2.1.9-1/doc/chap4.txt 2024-08-22 13:25:40.000000000 +0000 @@ -123,8 +123,9 @@ [33X[0;0YThe default depends on the user's permissions for the subdirectories [11Xdataext[111X, [11Xdatagens[111X, [11Xdataword[111X of the [5XAtlasRep[105X directory: If these directories are writable for the user then the installation path of the [5XAtlasRep[105X package - (including a trailing slash symbol) is taken, otherwise the default is an - empty string.[133X + (including a trailing slash symbol) is taken. If this is not the case but + the currentl [5XGAP[105X session is running inside a [5XJulia[105X session then a [5XJulia[105X + scratchspace is taken, otherwise the default is an empty string.[133X [1X4.2-3 [33X[0;0YUser preference [10XAtlasRepTOCData[110X[101X[1X[133X[101X @@ -302,19 +303,15 @@ [30X [33X[0;6Yintroductory package information,[133X [30X [33X[0;6Ythe current [13Xtable of contents[113X of core data in the file [11Xatlasprm.json[111X - ( - https://www.math.rwth-aachen.de/~Thomas.Breuer/atlasrep/atlasprm.json[107X) + ([7Xhttps://www.math.rwth-aachen.de/~Thomas.Breuer/atlasrep/atlasprm.json[107X) of the package, cf. [2XStringOfAtlasTableOfContents[102X ([14X5.1-3[114X),[133X [30X [33X[0;6Ythe list of changes of remote core data files - ( - https://www.math.rwth-aachen.de/~Thomas.Breuer/atlasrep/htm/data/changes.htm - ),[133X + ([7Xhttps://www.math.rwth-aachen.de/~Thomas.Breuer/atlasrep/htm/data/changes.htm[107X),[133X [30X [33X[0;6Ya starter archive - ( - https://www.math.rwth-aachen.de/~Thomas.Breuer/atlasrep/atlasrepdata.tar.gz - ) containing many small representations and programs, and[133X + ([7Xhttps://www.math.rwth-aachen.de/~Thomas.Breuer/atlasrep/atlasrepdata.tar.gz[107X) + containing many small representations and programs, and[133X [30X [33X[0;6Yan overview of the core data ([7Xhttps://www.math.rwth-aachen.de/~Thomas.Breuer/atlasrep/htm/data[107X) in diff -pruN 2.1.8-1/doc/chap4_mj.html 2.1.9-1/doc/chap4_mj.html --- 2.1.8-1/doc/chap4_mj.html 2024-01-04 10:04:20.000000000 +0000 +++ 2.1.9-1/doc/chap4_mj.html 2024-08-22 13:25:48.000000000 +0000 @@ -76,7 +76,7 @@privatedata in the same way as the core data. See Chapter 5 for details.To install the package, unpack the archive file in a directory in the
-pkg
directory of your local copy of GAP 4. This might be thepkg
directory of the GAP 4 root directory, see Reference: Installing a GAP Package for details. It is however also possible to keep an additionalpkg
directory somewhere else, see Section Reference: GAP Root Directories. The latter possibility must be chosen if you do not have write access to the GAP root directory.If it is likely that you will work offline, it makes sense to install the "starter archive" that can be downloaded from the package's homepage.
+If it is likely that you will work offline, it makes sense to install the
starter archivethat can be downloaded from the package's homepage.The package consists entirely of GAP code, no external binaries need to be compiled for the package itself.
@@ -178,7 +178,7 @@ drwxrwxrwt 3 you you 102An empty string means that downloaded data are just kept in the GAP session but not saved to local files.
-The default depends on the user's permissions for the subdirectories
+dataext
,datagens
,dataword
of the AtlasRep directory: If these directories are writable for the user then the installation path of the AtlasRep package (including a trailing slash symbol) is taken, otherwise the default is an empty string.The default depends on the user's permissions for the subdirectories
@@ -329,7 +329,7 @@ drwxrwxrwt 3 you you 102dataext
,datagens
,dataword
of the AtlasRep directory: If these directories are writable for the user then the installation path of the AtlasRep package (including a trailing slash symbol) is taken. If this is not the case but the currentl GAP session is running inside a Julia session then a Julia scratchspace is taken, otherwise the default is an empty string.Users who have computed new representations that might be interesting for inclusion into the ATLAS of Group representations can send the data in question to R.A.Wilson@qmul.ac.uk.
-It is also possible to make additional representations and programs accessible for the GAP interface, and to use these "private" data in the same way as the core data. See Chapter 5 for details.
+It is also possible to make additional representations and programs accessible for the GAP interface, and to use these
diff -pruN 2.1.8-1/doc/chap5.html 2.1.9-1/doc/chap5.html --- 2.1.8-1/doc/chap5.html 2024-01-04 10:04:19.000000000 +0000 +++ 2.1.9-1/doc/chap5.html 2024-08-22 13:25:46.000000000 +0000 @@ -42,10 +42,10 @@privatedata in the same way as the core data. See Chapter 5 for details.It may be interesting to use the functions of the GAP interface also for representations or programs that are not part of the ATLAS of Group Representations. This chapter describes how to achieve this.
-The main idea is that users can notify collections of "private" data files, which may consist of
+The main idea is that users can notify collections of
privatedata files, which may consist of-
new faithful representations and programs for groups that are declared already in the core part of the database that belongs to the "official" ATLAS of Group Representations (see Section 5.1),
+new faithful representations and programs for groups that are declared already in the core part of the database that belongs to the
officialATLAS of Group Representations (see Section 5.1),the declaration of groups that are not declared in the ATLAS of Group Representations, and representations and programs for them (see Section 5.2), and
@@ -180,7 +180,7 @@ gap> SetInfoLevel( InfoAtlasRep, 1 );Let us assume that the local directory
+privdir
contains data for the cyclic group C_4 of order 4 and for the alternating group A_5 on 5 points, respectively. Note that it is obvious what the term "standard generators" means for the group C_4.Let us assume that the local directory
privdir
contains data for the cyclic group C_4 of order 4 and for the alternating group A_5 on 5 points, respectively. Note that it is obvious what the termstandard generatorsmeans for the group C_4.Further let us assume that
@@ -471,7 +471,7 @@ a^4+5a^5"]], }privdir
contains the following files.
Finally, we "uninstall" our extension, and reset the info level that had been set to 1 in the beginning. (Also the group name C4
is removed this way, which is an advantage of using a toc.json
file over calling AGR.GNAN
directly.),
Finally, we uninstall
our extension, and reset the info level that had been set to 1 in the beginning. (Also the group name C4
is removed this way, which is an advantage of using a toc.json
file over calling AGR.GNAN
directly.),
diff -pruN 2.1.8-1/doc/chap5_mj.html 2.1.9-1/doc/chap5_mj.html --- 2.1.8-1/doc/chap5_mj.html 2024-01-04 10:04:20.000000000 +0000 +++ 2.1.9-1/doc/chap5_mj.html 2024-08-22 13:25:48.000000000 +0000 @@ -45,10 +45,10 @@It may be interesting to use the functions of the GAP interface also for representations or programs that are not part of the ATLAS of Group Representations. This chapter describes how to achieve this.
-The main idea is that users can notify collections of "private" data files, which may consist of
+The main idea is that users can notify collections of
privatedata files, which may consist of-
new faithful representations and programs for groups that are declared already in the core part of the database that belongs to the "official" ATLAS of Group Representations (see Section 5.1),
+new faithful representations and programs for groups that are declared already in the core part of the database that belongs to the
officialATLAS of Group Representations (see Section 5.1),the declaration of groups that are not declared in the ATLAS of Group Representations, and representations and programs for them (see Section 5.2), and
@@ -183,7 +183,7 @@ gap> SetInfoLevel( InfoAtlasRep, 1 );
Let us assume that the local directory privdir
contains data for the cyclic group \(C_4\) of order \(4\) and for the alternating group \(A_5\) on \(5\) points, respectively. Note that it is obvious what the term "standard generators" means for the group \(C_4\).
Let us assume that the local directory privdir
contains data for the cyclic group \(C_4\) of order \(4\) and for the alternating group \(A_5\) on \(5\) points, respectively. Note that it is obvious what the term standard generators
means for the group \(C_4\).
Further let us assume that privdir
contains the following files.
Finally, we "uninstall" our extension, and reset the info level that had been set to \(1\) in the beginning. (Also the group name C4
is removed this way, which is an advantage of using a toc.json
file over calling AGR.GNAN
directly.),
Finally, we uninstall
our extension, and reset the info level that had been set to \(1\) in the beginning. (Also the group name C4
is removed this way, which is an advantage of using a toc.json
file over calling AGR.GNAN
directly.),
diff -pruN 2.1.8-1/doc/chap6.html 2.1.9-1/doc/chap6.html --- 2.1.8-1/doc/chap6.html 2024-01-04 10:04:19.000000000 +0000 +++ 2.1.9-1/doc/chap6.html 2024-08-22 13:25:46.000000000 +0000 @@ -82,7 +82,7 @@ AtlasRep PackageStraight line decisions are similar to straight line programs (see Section Reference: Straight Line Programs) but return
-true
orfalse
. A straight line decision checks whether its inputs have some property. An important example is to check whether a given list of group generators is in fact a list of standard generators (cf. Section3.3) for this group.A straight line decision in GAP is represented by an object in the filter
+IsStraightLineDecision
(6.1-1) that stores a list of "lines" each of which has one of the following three forms.A straight line decision in GAP is represented by an object in the filter
IsStraightLineDecision
(6.1-1) that stores a list oflineseach of which has one of the following three forms.
a nonempty dense list l of integers,
@@ -258,7 +258,7 @@ trueSo if dec returns
-true
for the input list [ g_1, g_2, ..., g_n ] then mapping the free generators of F to the inputs defines an epimorphism Φ from F to the group G, say, that is generated by these inputs, such that R is contained in the kernel of Φ.(Note that "satisfying dec" is a stronger property than "satisfying a presentation". For example, ⟨ x ∣ x^2 = x^3 = 1 ⟩ is a presentation for the trivial group, but the straight line decision that checks whether the order of x is both 2 and 3 clearly always returns
+false
.)(Note that
satisfying decis a stronger property thansatisfying a presentation. For example, ⟨ x ∣ x^2 = x^3 = 1 ⟩ is a presentation for the trivial group, but the straight line decision that checks whether the order of x is both 2 and 3 clearly always returnsfalse
.)AtlasRep supports the following two kinds of straight line decisions.
@@ -401,7 +401,7 @@ r[6]:= r[3]^5;In the case of general black box programs, currently GAP provides only the possibility to read an existing program via
-ScanBBoxProgram
(6.2-2), and to run the program usingRunBBoxProgram
(6.2-3). It is not our aim to write such programs in GAP.The special case of the "find" scripts mentioned above is also admissible as an argument of
+ResultOfBBoxProgram
(6.2-4), which returns either the set of found generators orfail
.The special case of the
findscripts mentioned above is also admissible as an argument ofResultOfBBoxProgram
(6.2-4), which returns either the set of found generators orfail
.Contrary to the general situation, more support is provided for straight line programs and straight line decisions in GAP, see Section Reference: Straight Line Programs for functions that manipulate them (compose, restrict etc.).
@@ -587,7 +587,7 @@ false
‣ AsBBoxProgram
( slp )( attribute ) Returns: an equivalent black box program for the given straight line program or straight line decision.
-Let slp be a straight line program (see
+IsStraightLineProgram
(Reference: IsStraightLineProgram)) or a straight line decision (seeIsStraightLineDecision
(6.1-1)). ThenAsBBoxProgram
returns a black box program bbox (seeIsBBoxProgram
(6.2-1)) with the "same" output as slp, in the sense thatResultOfBBoxProgram
(6.2-4) yields the same result for bbox asResultOfStraightLineProgram
(Reference: ResultOfStraightLineProgram) orResultOfStraightLineDecision
(6.1-6), respectively, for slp.Let slp be a straight line program (see
IsStraightLineProgram
(Reference: IsStraightLineProgram)) or a straight line decision (seeIsStraightLineDecision
(6.1-1)). ThenAsBBoxProgram
returns a black box program bbox (seeIsBBoxProgram
(6.2-1)) with thesameoutput as slp, in the sense thatResultOfBBoxProgram
(6.2-4) yields the same result for bbox asResultOfStraightLineProgram
(Reference: ResultOfStraightLineProgram) orResultOfStraightLineDecision
(6.1-6), respectively, for slp.@@ -645,9 +645,9 @@ fail6.3 Representations of Minimal Degree
-This section deals with minimal degrees of permutation and matrix representations. We do not provide an algorithm that computes these degrees for an arbitrary group, we only provide some tools for evaluating known databases, mainly concerning "bicyclic extensions" (see [CCN+85, Section 6.5]) of simple groups, in order to derive the minimal degrees, see Section 6.3-4.
+This section deals with minimal degrees of permutation and matrix representations. We do not provide an algorithm that computes these degrees for an arbitrary group, we only provide some tools for evaluating known databases, mainly concerning
-bicyclic extensions(see [CCN+85, Section 6.5]) of simple groups, in order to derive the minimal degrees, see Section 6.3-4.In the AtlasRep package, this information can be used for prescribing "minimality conditions" in
+DisplayAtlasInfo
(3.5-1),OneAtlasGeneratingSetInfo
(3.5-6), andAllAtlasGeneratingSetInfos
(3.5-7). An overview of the stored minimal degrees can be shown withBrowseMinimalDegrees
(3.6-1).In the AtlasRep package, this information can be used for prescribing
@@ -830,7 +830,7 @@ trueminimality conditionsinDisplayAtlasInfo
(3.5-1),OneAtlasGeneratingSetInfo
(3.5-6), andAllAtlasGeneratingSetInfos
(3.5-7). An overview of the stored minimal degrees can be shown withBrowseMinimalDegrees
(3.6-1).- -
The three GAP values
true
,false
, andfail
correspond to the JSON textstrue
,false
, andnull
, respectively.GAP strings correspond to JSON strings; special characters in a GAP string (control characters ASCII 0 to 31, backslash and double quote) are mapped as defined in JSON's specification, and other ASCII characters are kept as they are; if a GAP string contains non-ASCII characters, it is assumed that it is UTF-8 encoded, and one may choose either to keep non-ASCII characters as they are, or to create an ASCII only JSON string, using JSON's syntax for Unicode code points ("
+\uXXXX
"); in the other direction, JSON strings are assumed to be UTF-8 encoded, and are mapped to UTF-8 encoded GAP strings, by keeping the non-ASCII characters and converting substrings of the form\uXXXX
accordingly.GAP strings correspond to JSON strings; special characters in a GAP string (control characters ASCII 0 to 31, backslash and double quote) are mapped as defined in JSON's specification, and other ASCII characters are kept as they are; if a GAP string contains non-ASCII characters, it is assumed that it is UTF-8 encoded, and one may choose either to keep non-ASCII characters as they are, or to create an ASCII only JSON string, using JSON's syntax for Unicode code points (
); in the other direction, JSON strings are assumed to be UTF-8 encoded, and are mapped to UTF-8 encoded GAP strings, by keeping the non-ASCII characters and converting substrings of the form\uXXXX
\uXXXX
accordingly.GAP integers (in the sense of
@@ -855,7 +855,7 @@ trueIsInt
(Reference: IsInt)) are mapped to JSON numbers that consist of digits and optionally a leading sign character-
; in the other direction, JSON numbers of this form and also JSON numbers that involve no decimal dots and have no negative exponent (for example"2e3"
) are mapped to GAP integers.Note also that the results of
-AGR.JsonText
(6.4-2) do not contain information about dependencies between common subobjects. This is another reason why applying firstAGR.JsonText
(6.4-2) and thenAGR.GapObjectOfJsonText
(6.4-3) may yield a GAP object with different behaviour.Applying
+AGR.JsonText
(6.4-2) to a self-referential object such as[ ~ ]
will raise a "recursion depth trap" error.Applying
diff -pruN 2.1.8-1/doc/chap6_mj.html 2.1.9-1/doc/chap6_mj.html --- 2.1.8-1/doc/chap6_mj.html 2024-01-04 10:04:20.000000000 +0000 +++ 2.1.9-1/doc/chap6_mj.html 2024-08-22 13:25:48.000000000 +0000 @@ -85,7 +85,7 @@ AtlasRep PackageAGR.JsonText
(6.4-2) to a self-referential object such as[ ~ ]
will raise arecursion depth traperror.Straight line decisions are similar to straight line programs (see Section Reference: Straight Line Programs) but return
-true
orfalse
. A straight line decision checks whether its inputs have some property. An important example is to check whether a given list of group generators is in fact a list of standard generators (cf. Section3.3) for this group.A straight line decision in GAP is represented by an object in the filter
+IsStraightLineDecision
(6.1-1) that stores a list of "lines" each of which has one of the following three forms.A straight line decision in GAP is represented by an object in the filter
IsStraightLineDecision
(6.1-1) that stores a list oflineseach of which has one of the following three forms.
a nonempty dense list \(l\) of integers,
@@ -261,7 +261,7 @@ trueSo if dec returns
-true
for the input list \([ g_1, g_2, \ldots, g_n ]\) then mapping the free generators of \(F\) to the inputs defines an epimorphism \(\Phi\) from \(F\) to the group \(G\), say, that is generated by these inputs, such that \(R\) is contained in the kernel of \(\Phi\).(Note that "satisfying dec" is a stronger property than "satisfying a presentation". For example, \(\langle x \mid x^2 = x^3 = 1 \rangle\) is a presentation for the trivial group, but the straight line decision that checks whether the order of \(x\) is both \(2\) and \(3\) clearly always returns
+false
.)(Note that
satisfying decis a stronger property thansatisfying a presentation. For example, \(\langle x \mid x^2 = x^3 = 1 \rangle\) is a presentation for the trivial group, but the straight line decision that checks whether the order of \(x\) is both \(2\) and \(3\) clearly always returnsfalse
.)AtlasRep supports the following two kinds of straight line decisions.
@@ -404,7 +404,7 @@ r[6]:= r[3]^5;In the case of general black box programs, currently GAP provides only the possibility to read an existing program via
-ScanBBoxProgram
(6.2-2), and to run the program usingRunBBoxProgram
(6.2-3). It is not our aim to write such programs in GAP.The special case of the "find" scripts mentioned above is also admissible as an argument of
+ResultOfBBoxProgram
(6.2-4), which returns either the set of found generators orfail
.The special case of the
findscripts mentioned above is also admissible as an argument ofResultOfBBoxProgram
(6.2-4), which returns either the set of found generators orfail
.Contrary to the general situation, more support is provided for straight line programs and straight line decisions in GAP, see Section Reference: Straight Line Programs for functions that manipulate them (compose, restrict etc.).
@@ -590,7 +590,7 @@ false
‣ AsBBoxProgram
( slp )( attribute ) Returns: an equivalent black box program for the given straight line program or straight line decision.
-Let slp be a straight line program (see
+IsStraightLineProgram
(Reference: IsStraightLineProgram)) or a straight line decision (seeIsStraightLineDecision
(6.1-1)). ThenAsBBoxProgram
returns a black box program bbox (seeIsBBoxProgram
(6.2-1)) with the "same" output as slp, in the sense thatResultOfBBoxProgram
(6.2-4) yields the same result for bbox asResultOfStraightLineProgram
(Reference: ResultOfStraightLineProgram) orResultOfStraightLineDecision
(6.1-6), respectively, for slp.Let slp be a straight line program (see
IsStraightLineProgram
(Reference: IsStraightLineProgram)) or a straight line decision (seeIsStraightLineDecision
(6.1-1)). ThenAsBBoxProgram
returns a black box program bbox (seeIsBBoxProgram
(6.2-1)) with thesameoutput as slp, in the sense thatResultOfBBoxProgram
(6.2-4) yields the same result for bbox asResultOfStraightLineProgram
(Reference: ResultOfStraightLineProgram) orResultOfStraightLineDecision
(6.1-6), respectively, for slp.@@ -648,9 +648,9 @@ fail6.3 Representations of Minimal Degree
-This section deals with minimal degrees of permutation and matrix representations. We do not provide an algorithm that computes these degrees for an arbitrary group, we only provide some tools for evaluating known databases, mainly concerning "bicyclic extensions" (see [CCN+85, Section 6.5]) of simple groups, in order to derive the minimal degrees, see Section 6.3-4.
+This section deals with minimal degrees of permutation and matrix representations. We do not provide an algorithm that computes these degrees for an arbitrary group, we only provide some tools for evaluating known databases, mainly concerning
-bicyclic extensions(see [CCN+85, Section 6.5]) of simple groups, in order to derive the minimal degrees, see Section 6.3-4.In the AtlasRep package, this information can be used for prescribing "minimality conditions" in
+DisplayAtlasInfo
(3.5-1),OneAtlasGeneratingSetInfo
(3.5-6), andAllAtlasGeneratingSetInfos
(3.5-7). An overview of the stored minimal degrees can be shown withBrowseMinimalDegrees
(3.6-1).In the AtlasRep package, this information can be used for prescribing
@@ -833,7 +833,7 @@ trueminimality conditionsinDisplayAtlasInfo
(3.5-1),OneAtlasGeneratingSetInfo
(3.5-6), andAllAtlasGeneratingSetInfos
(3.5-7). An overview of the stored minimal degrees can be shown withBrowseMinimalDegrees
(3.6-1).- -
The three GAP values
true
,false
, andfail
correspond to the JSON textstrue
,false
, andnull
, respectively.GAP strings correspond to JSON strings; special characters in a GAP string (control characters ASCII \(0\) to \(31\), backslash and double quote) are mapped as defined in JSON's specification, and other ASCII characters are kept as they are; if a GAP string contains non-ASCII characters, it is assumed that it is UTF-8 encoded, and one may choose either to keep non-ASCII characters as they are, or to create an ASCII only JSON string, using JSON's syntax for Unicode code points ("
+\uXXXX
"); in the other direction, JSON strings are assumed to be UTF-8 encoded, and are mapped to UTF-8 encoded GAP strings, by keeping the non-ASCII characters and converting substrings of the form\uXXXX
accordingly.GAP strings correspond to JSON strings; special characters in a GAP string (control characters ASCII \(0\) to \(31\), backslash and double quote) are mapped as defined in JSON's specification, and other ASCII characters are kept as they are; if a GAP string contains non-ASCII characters, it is assumed that it is UTF-8 encoded, and one may choose either to keep non-ASCII characters as they are, or to create an ASCII only JSON string, using JSON's syntax for Unicode code points (
); in the other direction, JSON strings are assumed to be UTF-8 encoded, and are mapped to UTF-8 encoded GAP strings, by keeping the non-ASCII characters and converting substrings of the form\uXXXX
\uXXXX
accordingly.GAP integers (in the sense of
@@ -858,7 +858,7 @@ trueIsInt
(Reference: IsInt)) are mapped to JSON numbers that consist of digits and optionally a leading sign character-
; in the other direction, JSON numbers of this form and also JSON numbers that involve no decimal dots and have no negative exponent (for example"2e3"
) are mapped to GAP integers.Note also that the results of
-AGR.JsonText
(6.4-2) do not contain information about dependencies between common subobjects. This is another reason why applying firstAGR.JsonText
(6.4-2) and thenAGR.GapObjectOfJsonText
(6.4-3) may yield a GAP object with different behaviour.Applying
+AGR.JsonText
(6.4-2) to a self-referential object such as[ ~ ]
will raise a "recursion depth trap" error.Applying
diff -pruN 2.1.8-1/doc/chap7.html 2.1.9-1/doc/chap7.html --- 2.1.8-1/doc/chap7.html 2024-01-04 10:04:19.000000000 +0000 +++ 2.1.9-1/doc/chap7.html 2024-08-22 13:25:46.000000000 +0000 @@ -538,7 +538,7 @@ echo "outputs are in 4 5"AGR.JsonText
(6.4-2) to a self-referential object such as[ ~ ]
will raise arecursion depth traperror.7.5 Data Types Used in the AtlasRep Package
-Each representation or program that is administrated by the AtlasRep package belongs to a unique data type. Informally, examples of data types are "permutation representation", "matrix representation over the integers", or "straight line program for computing class representatives".
+Each representation or program that is administrated by the AtlasRep package belongs to a unique data type. Informally, examples of data types are
permutation representation,matrix representation over the integers, orstraight line program for computing class representatives.The idea is that for each data type, there can be
@@ -574,7 +574,7 @@ echo "outputs are in 4 5"
- -
FilenameFormat
This defines the format of the filenames containing data of the type in question. The value must be a list that can be used as the second argument of
+AGR.ParseFilenameFormat
(7.6-1), such that only filenames of the type in question match. (It is not checked whether this "detection function" matches exactly one type, so declaring a new type needs care.)This defines the format of the filenames containing data of the type in question. The value must be a list that can be used as the second argument of
AGR.ParseFilenameFormat
(7.6-1), such that only filenames of the type in question match. (It is not checked whether thisdetection functionmatches exactly one type, so declaring a new type needs care.)- @@ -625,7 +625,7 @@ echo "outputs are in 4 5"
AddFileInfo
- -
TOCEntryString
This is used in
+StringOfAtlasTableOfContents
(5.1-3). The value must be a function that takes two or three arguments (the name name of the type, a list as returned byAGR.ParseFilenameFormat
(7.6-1), and optionally a string that indicates the "remote" format) and returns a string that describes the appropriate data format. (The default value isTOCEntryStringDefault
.)This is used in
StringOfAtlasTableOfContents
(5.1-3). The value must be a function that takes two or three arguments (the name name of the type, a list as returned byAGR.ParseFilenameFormat
(7.6-1), and optionally a string that indicates theremoteformat) and returns a string that describes the appropriate data format. (The default value isTOCEntryStringDefault
.)- @@ -813,7 +813,7 @@ fail
PostprocessFileInfo
‣ AtlasRepIdentifier
( oldid )( function ) -
‣ AtlasRepIdentifier
( id, "old" )( function ) This function converts between the "old format" (the one used up to version 1.5.1 of the package) and the "new format" (the one used since version 2.0) of the
+identifier
component of the records returned by AtlasRep functions. Note that the two formats differ only foridentifier
components that describe data from non-core parts of the database.This function converts between the
old format(the one used up to version 1.5.1 of the package) and thenew format(the one used since version 2.0) of theidentifier
component of the records returned by AtlasRep functions. Note that the two formats differ only foridentifier
components that describe data from non-core parts of the database.If the only argument is a list oldid that is an
diff -pruN 2.1.8-1/doc/chap7_mj.html 2.1.9-1/doc/chap7_mj.html --- 2.1.8-1/doc/chap7_mj.html 2024-01-04 10:04:20.000000000 +0000 +++ 2.1.9-1/doc/chap7_mj.html 2024-08-22 13:25:48.000000000 +0000 @@ -541,7 +541,7 @@ echo "outputs are in 4 5"identifier
in old format then the function returns the correspondingidentifier
in new format. If there are two arguments, a list id that is anidentifier
in new format and the string "old", then the function returns the correspondingidentifier
in old format if this is possible, andfail
otherwise.7.5 Data Types Used in the AtlasRep Package
-Each representation or program that is administrated by the AtlasRep package belongs to a unique data type. Informally, examples of data types are "permutation representation", "matrix representation over the integers", or "straight line program for computing class representatives".
+Each representation or program that is administrated by the AtlasRep package belongs to a unique data type. Informally, examples of data types are
permutation representation,matrix representation over the integers, orstraight line program for computing class representatives.The idea is that for each data type, there can be
@@ -577,7 +577,7 @@ echo "outputs are in 4 5"
- -
FilenameFormat
This defines the format of the filenames containing data of the type in question. The value must be a list that can be used as the second argument of
+AGR.ParseFilenameFormat
(7.6-1), such that only filenames of the type in question match. (It is not checked whether this "detection function" matches exactly one type, so declaring a new type needs care.)This defines the format of the filenames containing data of the type in question. The value must be a list that can be used as the second argument of
AGR.ParseFilenameFormat
(7.6-1), such that only filenames of the type in question match. (It is not checked whether thisdetection functionmatches exactly one type, so declaring a new type needs care.)- @@ -628,7 +628,7 @@ echo "outputs are in 4 5"
AddFileInfo
- -
TOCEntryString
This is used in
+StringOfAtlasTableOfContents
(5.1-3). The value must be a function that takes two or three arguments (the name name of the type, a list as returned byAGR.ParseFilenameFormat
(7.6-1), and optionally a string that indicates the "remote" format) and returns a string that describes the appropriate data format. (The default value isTOCEntryStringDefault
.)This is used in
StringOfAtlasTableOfContents
(5.1-3). The value must be a function that takes two or three arguments (the name name of the type, a list as returned byAGR.ParseFilenameFormat
(7.6-1), and optionally a string that indicates theremoteformat) and returns a string that describes the appropriate data format. (The default value isTOCEntryStringDefault
.)- @@ -816,7 +816,7 @@ fail
PostprocessFileInfo
‣ AtlasRepIdentifier
( oldid )( function ) -
‣ AtlasRepIdentifier
( id, "old" )( function ) This function converts between the "old format" (the one used up to version 1.5.1 of the package) and the "new format" (the one used since version 2.0) of the
+identifier
component of the records returned by AtlasRep functions. Note that the two formats differ only foridentifier
components that describe data from non-core parts of the database.This function converts between the
old format(the one used up to version 1.5.1 of the package) and thenew format(the one used since version 2.0) of theidentifier
component of the records returned by AtlasRep functions. Note that the two formats differ only foridentifier
components that describe data from non-core parts of the database.If the only argument is a list oldid that is an
diff -pruN 2.1.8-1/doc/chapInd.html 2.1.9-1/doc/chapInd.html --- 2.1.8-1/doc/chapInd.html 2024-01-04 10:04:19.000000000 +0000 +++ 2.1.9-1/doc/chapInd.html 2024-08-22 13:25:46.000000000 +0000 @@ -87,8 +87,8 @@ cyclic subgroups FFLists 7.3-3identifier
in old format then the function returns the correspondingidentifier
in new format. If there are two arguments, a list id that is anidentifier
in new format and the string "old", then the function returns the correspondingidentifier
in old format if this is possible, andfail
otherwise.
FFMatOrPermCMtxBinary
7.3-5
FileAccessFunctions
4.2-5
-ftp
1.3-14
-gzip
1.3-16 4.2-4
+ftp
1.3-15
+gzip
1.3-17 4.2-4
HowToReadMeatAxeTextFiles
4.2-7
InfoAtlasRep
7.1-1
InfoBBox
7.1-3
@@ -110,7 +110,7 @@ maximally cyclic subgroups MinimalRepresentationInfoData 6.3-2
NrInputsOfStraightLineDecision
6.1-3
OneAtlasGeneratingSetInfo
3.5-6
-perl
1.3-14 1.4
+perl
1.3-15 1.4
permutation, MeatAxe format 7.3
presentation 6.1-7 7.6
remote access 4.2-1
@@ -140,7 +140,7 @@ straight line program StraightLineDecisionNC 6.1-5
StraightLineProgramFromStraightLineDecision
6.1-9
StringOfAtlasTableOfContents
5.1-3
-wget
1.3-14 1.3-16
+wget
1.3-15 1.3-17
WriteHeaderFormatOfMeatAxeFiles
4.2-8
WriteMeatAxeFilesOfMode2
4.2-9
zcv
7.3-1
diff -pruN 2.1.8-1/doc/chapInd.txt 2.1.9-1/doc/chapInd.txt --- 2.1.8-1/doc/chapInd.txt 2024-01-04 10:04:13.000000000 +0000 +++ 2.1.9-1/doc/chapInd.txt 2024-08-22 13:25:40.000000000 +0000 @@ -64,8 +64,8 @@ [2XFFLists[102X 7.3-3 [2XFFMatOrPermCMtxBinary[102X 7.3-5 [10XFileAccessFunctions[110X 4.2-5 - [11Xftp[111X 1.3-14 - [11Xgzip[111X 1.3-16 4.2-4 + [11Xftp[111X 1.3-15 + [11Xgzip[111X 1.3-17 4.2-4 [10XHowToReadMeatAxeTextFiles[110X 4.2-7 [2XInfoAtlasRep[102X 7.1-1 [2XInfoBBox[102X 7.1-3 @@ -87,7 +87,7 @@ [2XMinimalRepresentationInfoData[102X 6.3-2 [2XNrInputsOfStraightLineDecision[102X 6.1-3 [2XOneAtlasGeneratingSetInfo[102X 3.5-6 - [11Xperl[111X 1.3-14 1.4 + [11Xperl[111X 1.3-15 1.4 permutation, MeatAxe format 7.3 presentation 6.1-7 7.6 remote access 4.2-1 @@ -117,7 +117,7 @@ [2XStraightLineDecisionNC[102X 6.1-5 [2XStraightLineProgramFromStraightLineDecision[102X 6.1-9 [2XStringOfAtlasTableOfContents[102X 5.1-3 - [11Xwget[111X 1.3-14 1.3-16 + [11Xwget[111X 1.3-15 1.3-17 [10XWriteHeaderFormatOfMeatAxeFiles[110X 4.2-8 [10XWriteMeatAxeFilesOfMode2[110X 4.2-9 [11Xzcv[111X 7.3-1 diff -pruN 2.1.8-1/doc/chapInd_mj.html 2.1.9-1/doc/chapInd_mj.html --- 2.1.8-1/doc/chapInd_mj.html 2024-01-04 10:04:20.000000000 +0000 +++ 2.1.9-1/doc/chapInd_mj.html 2024-08-22 13:25:48.000000000 +0000 @@ -90,8 +90,8 @@ cyclic subgroups FFLists 7.3-3
FFMatOrPermCMtxBinary
7.3-5
FileAccessFunctions
4.2-5
-ftp
1.3-14
-gzip
1.3-16 4.2-4
+ftp
1.3-15
+gzip
1.3-17 4.2-4
HowToReadMeatAxeTextFiles
4.2-7
InfoAtlasRep
7.1-1
InfoBBox
7.1-3
@@ -113,7 +113,7 @@ maximally cyclic subgroups MinimalRepresentationInfoData 6.3-2
NrInputsOfStraightLineDecision
6.1-3
OneAtlasGeneratingSetInfo
3.5-6
-perl
1.3-14 1.4
+perl
1.3-15 1.4
permutation, MeatAxe format 7.3
presentation 6.1-7 7.6
remote access 4.2-1
@@ -143,7 +143,7 @@ straight line program StraightLineDecisionNC 6.1-5
StraightLineProgramFromStraightLineDecision
6.1-9
StringOfAtlasTableOfContents
5.1-3
-wget
1.3-14 1.3-16
+wget
1.3-15 1.3-17
WriteHeaderFormatOfMeatAxeFiles
4.2-8
WriteMeatAxeFilesOfMode2
4.2-9
zcv
7.3-1
diff -pruN 2.1.8-1/doc/introduc.xml 2.1.9-1/doc/introduc.xml --- 2.1.8-1/doc/introduc.xml 2024-01-04 10:03:15.000000000 +0000 +++ 2.1.9-1/doc/introduc.xml 2024-08-22 13:25:06.000000000 +0000 @@ -184,10 +184,44 @@ can be sent tosam@math.rwth ]]> -+ + + + + What's New in Version &VERSIONNUMBER;? (&RELEASEMONTH; &RELEASEYEAR;) ++
+ +- + Now prescribing a ring in + and related functions automatically prescribes its characteristic. + Up to now, one had to specify also the characteristic, + otherwise characteristic zero was erroneously assumed. +
+- + Up to now, + and related functions, when called only with a prescribed ring + in positive characteristic, could erroneously return also entries about + representations in characteristic zero. +
+- + The default for the user preference
+"AtlasRepDataDirectory" + (see Section ) + has been improved in the situation where the package directory is not + writableand the &GAP; session runs inside a &Julia; session; + if this is the case then a &Julia; scratchspace is used as the default. +- + The star
+* that may appear in some lines of the output of + is now documented. + Thanks to Will Chen for reporting that an explanation for it was missing. ++ What's New in Version 2.1.8? (January 2024) + An example in Section of the Tutorial had to be adjusted because the results of the function diff -pruN 2.1.8-1/doc/main.xml 2.1.9-1/doc/main.xml --- 2.1.8-1/doc/main.xml 2024-01-03 13:53:13.000000000 +0000 +++ 2.1.9-1/doc/main.xml 2024-08-22 09:12:45.000000000 +0000 @@ -5,6 +5,7 @@ ATLAS"> AtlasRep"> + Julia"> @@ -12,8 +13,8 @@ —--- "> - - + + ]> diff -pruN 2.1.8-1/doc/manual.lab 2.1.9-1/doc/manual.lab --- 2.1.8-1/doc/manual.lab 2024-01-04 10:04:20.000000000 +0000 +++ 2.1.9-1/doc/manual.lab 2024-08-22 13:25:48.000000000 +0000 @@ -6,22 +6,23 @@ \makelabel{atlasrep:The ATLAS of Group Representations}{1.1}{X7A76DF957E7AF8AE} \makelabel{atlasrep:The GAP Interface to the ATLAS of Group Representations}{1.2}{X8033B61682EE6A23} \makelabel{atlasrep:What's New in AtlasRep, Compared to Older Versions?}{1.3}{X7B864EDC7CB211FD} -\makelabel{atlasrep:What's New in Version 2.1.8? (January 2024)}{1.3.1}{X85FE8BE580751F58} -\makelabel{atlasrep:What's New in Version 2.1.7? (August 2023)}{1.3.2}{X7B5DB23579AD1066} -\makelabel{atlasrep:What's New in Version 2.1.6? (October 2022)}{1.3.3}{X7D4644167F6C9D4C} -\makelabel{atlasrep:What's New in Version 2.1.5? (August 2022)}{1.3.4}{X823B2D767C11246A} -\makelabel{atlasrep:What's New in Version 2.1.4? (August 2022)}{1.3.5}{X7BEBD3618260FE03} -\makelabel{atlasrep:What's New in Version 2.1.3? (August 2022)}{1.3.6}{X7DB709CD7FECC9B1} -\makelabel{atlasrep:What's New in Version 2.1.2? (March 2022)}{1.3.7}{X7A2A60D7841AF2CE} -\makelabel{atlasrep:What's New in Version 2.1.1? (February 2022)}{1.3.8}{X7B0E14E57E9FC37E} -\makelabel{atlasrep:What's New in Version 2.1.0? (May 2019)}{1.3.9}{X7DA8E7647A422775} -\makelabel{atlasrep:What's New in Version 1.5.1? (March 2016)}{1.3.10}{X7EACAC887E257302} -\makelabel{atlasrep:What's New in Version 1.5? (July 2011)}{1.3.11}{X86002B747AE0741B} -\makelabel{atlasrep:What's New in Version 1.4? (June 2008)}{1.3.12}{X878EBA108716DDF0} -\makelabel{atlasrep:What's New in Version 1.3.1? (October 2007)}{1.3.13}{X87A53CE182C9E086} -\makelabel{atlasrep:What's New in Version 1.3? (June 2007)}{1.3.14}{X79CCC5517897924C} -\makelabel{atlasrep:What's New in Version 1.2? (November 2003)}{1.3.15}{X7BDCA94D83DCFFB8} -\makelabel{atlasrep:What's New in Version 1.1? (October 2002)}{1.3.16}{X831628B47F669B29} +\makelabel{atlasrep:What's New in Version 2.1.9? (August 2024)}{1.3.1}{X7E024E377C2E8C27} +\makelabel{atlasrep:What's New in Version 2.1.8? (January 2024)}{1.3.2}{X85FE8BE580751F58} +\makelabel{atlasrep:What's New in Version 2.1.7? (August 2023)}{1.3.3}{X7B5DB23579AD1066} +\makelabel{atlasrep:What's New in Version 2.1.6? (October 2022)}{1.3.4}{X7D4644167F6C9D4C} +\makelabel{atlasrep:What's New in Version 2.1.5? (August 2022)}{1.3.5}{X823B2D767C11246A} +\makelabel{atlasrep:What's New in Version 2.1.4? (August 2022)}{1.3.6}{X7BEBD3618260FE03} +\makelabel{atlasrep:What's New in Version 2.1.3? (August 2022)}{1.3.7}{X7DB709CD7FECC9B1} +\makelabel{atlasrep:What's New in Version 2.1.2? (March 2022)}{1.3.8}{X7A2A60D7841AF2CE} +\makelabel{atlasrep:What's New in Version 2.1.1? (February 2022)}{1.3.9}{X7B0E14E57E9FC37E} +\makelabel{atlasrep:What's New in Version 2.1.0? (May 2019)}{1.3.10}{X7DA8E7647A422775} +\makelabel{atlasrep:What's New in Version 1.5.1? (March 2016)}{1.3.11}{X7EACAC887E257302} +\makelabel{atlasrep:What's New in Version 1.5? (July 2011)}{1.3.12}{X86002B747AE0741B} +\makelabel{atlasrep:What's New in Version 1.4? (June 2008)}{1.3.13}{X878EBA108716DDF0} +\makelabel{atlasrep:What's New in Version 1.3.1? (October 2007)}{1.3.14}{X87A53CE182C9E086} +\makelabel{atlasrep:What's New in Version 1.3? (June 2007)}{1.3.15}{X79CCC5517897924C} +\makelabel{atlasrep:What's New in Version 1.2? (November 2003)}{1.3.16}{X7BDCA94D83DCFFB8} +\makelabel{atlasrep:What's New in Version 1.1? (October 2002)}{1.3.17}{X831628B47F669B29} \makelabel{atlasrep:Acknowledgements}{1.4}{X82A988D47DFAFCFA} \makelabel{atlasrep:Tutorial for the AtlasRep Package}{2}{X8171B3798425E183} \makelabel{atlasrep:Accessing a Specific Group in AtlasRep}{2.1}{X79CECBFE7A8EE2C2} @@ -106,11 +107,11 @@ \makelabel{atlasrep:MeatAxe}{1.1}{X7A76DF957E7AF8AE} \makelabel{atlasrep:Magma}{1.1}{X7A76DF957E7AF8AE} \makelabel{atlasrep:C-MeatAxe}{1.2}{X8033B61682EE6A23} -\makelabel{atlasrep:wget}{1.3.14}{X79CCC5517897924C} -\makelabel{atlasrep:ftp}{1.3.14}{X79CCC5517897924C} -\makelabel{atlasrep:perl}{1.3.14}{X79CCC5517897924C} -\makelabel{atlasrep:wget}{1.3.16}{X831628B47F669B29} -\makelabel{atlasrep:gzip}{1.3.16}{X831628B47F669B29} +\makelabel{atlasrep:wget}{1.3.15}{X79CCC5517897924C} +\makelabel{atlasrep:ftp}{1.3.15}{X79CCC5517897924C} +\makelabel{atlasrep:perl}{1.3.15}{X79CCC5517897924C} +\makelabel{atlasrep:wget}{1.3.17}{X831628B47F669B29} +\makelabel{atlasrep:gzip}{1.3.17}{X831628B47F669B29} \makelabel{atlasrep:perl}{1.4}{X82A988D47DFAFCFA} \makelabel{atlasrep:AtlasClassNames}{3.4.2}{X78166D1D7D18EFBF} \makelabel{atlasrep:AtlasCharacterNames}{3.4.3}{X7B14A254870BA5A1} Binary files 2.1.8-1/doc/manual.pdf and 2.1.9-1/doc/manual.pdf differ diff -pruN 2.1.8-1/doc/manual.six 2.1.9-1/doc/manual.six --- 2.1.8-1/doc/manual.six 2024-01-04 10:04:17.000000000 +0000 +++ 2.1.9-1/doc/manual.six 2024-08-22 13:25:45.000000000 +0000 @@ -29,373 +29,377 @@ entries := [ 1, 3, 0 ], 101, 6, "whats new in atlasrep compared to older versions?" , "X7B864EDC7CB211FD" ], [ + "\033[1X\033[33X\033[0;-2YWhat's New in Version 2.1.9? (August 2024)\033[13\ +3X\033[101X", "1.3-1", [ 1, 3, 1 ], 104, 6, + "whats new in version 2.1.9? august 2024", "X7E024E377C2E8C27" ], + [ "\033[1X\033[33X\033[0;-2YWhat's New in Version 2.1.8? (January 2024)\033[1\ -33X\033[101X", "1.3-1", [ 1, 3, 1 ], 104, 6, +33X\033[101X", "1.3-2", [ 1, 3, 2 ], 127, 7, "whats new in version 2.1.8? january 2024", "X85FE8BE580751F58" ], [ "\033[1X\033[33X\033[0;-2YWhat's New in Version 2.1.7? (August 2023)\033[13\ -3X\033[101X", "1.3-2", [ 1, 3, 2 ], 113, 6, +3X\033[101X", "1.3-3", [ 1, 3, 3 ], 136, 7, "whats new in version 2.1.7? august 2023", "X7B5DB23579AD1066" ], [ "\033[1X\033[33X\033[0;-2YWhat's New in Version 2.1.6? (October 2022)\033[1\ -33X\033[101X", "1.3-3", [ 1, 3, 3 ], 146, 7, +33X\033[101X", "1.3-4", [ 1, 3, 4 ], 167, 7, "whats new in version 2.1.6? october 2022", "X7D4644167F6C9D4C" ], [ "\033[1X\033[33X\033[0;-2YWhat's New in Version 2.1.5? (August 2022)\033[13\ -3X\033[101X", "1.3-4", [ 1, 3, 4 ], 161, 7, +3X\033[101X", "1.3-5", [ 1, 3, 5 ], 182, 8, "whats new in version 2.1.5? august 2022", "X823B2D767C11246A" ], [ "\033[1X\033[33X\033[0;-2YWhat's New in Version 2.1.4? (August 2022)\033[13\ -3X\033[101X", "1.3-5", [ 1, 3, 5 ], 168, 7, +3X\033[101X", "1.3-6", [ 1, 3, 6 ], 189, 8, "whats new in version 2.1.4? august 2022", "X7BEBD3618260FE03" ], [ "\033[1X\033[33X\033[0;-2YWhat's New in Version 2.1.3? (August 2022)\033[13\ -3X\033[101X", "1.3-6", [ 1, 3, 6 ], 174, 7, +3X\033[101X", "1.3-7", [ 1, 3, 7 ], 195, 8, "whats new in version 2.1.3? august 2022", "X7DB709CD7FECC9B1" ], [ "\033[1X\033[33X\033[0;-2YWhat's New in Version 2.1.2? (March 2022)\033[133\ -X\033[101X", "1.3-7", [ 1, 3, 7 ], 188, 8, +X\033[101X", "1.3-8", [ 1, 3, 8 ], 209, 8, "whats new in version 2.1.2? march 2022", "X7A2A60D7841AF2CE" ], [ "\033[1X\033[33X\033[0;-2YWhat's New in Version 2.1.1? (February 2022)\033[\ -133X\033[101X", "1.3-8", [ 1, 3, 8 ], 198, 8, +133X\033[101X", "1.3-9", [ 1, 3, 9 ], 219, 8, "whats new in version 2.1.1? february 2022", "X7B0E14E57E9FC37E" ], [ "\033[1X\033[33X\033[0;-2YWhat's New in Version 2.1.0? (May 2019)\033[133X\\ -033[101X", "1.3-9", [ 1, 3, 9 ], 235, 8, +033[101X", "1.3-10", [ 1, 3, 10 ], 256, 9, "whats new in version 2.1.0? may 2019", "X7DA8E7647A422775" ], [ "\033[1X\033[33X\033[0;-2YWhat's New in Version 1.5.1? (March 2016)\033[133\ -X\033[101X", "1.3-10", [ 1, 3, 10 ], 382, 11, +X\033[101X", "1.3-11", [ 1, 3, 11 ], 403, 11, "whats new in version 1.5.1? march 2016", "X7EACAC887E257302" ], [ "\033[1X\033[33X\033[0;-2YWhat's New in Version 1.5? (July 2011)\033[133X\\ -033[101X", "1.3-11", [ 1, 3, 11 ], 431, 11, +033[101X", "1.3-12", [ 1, 3, 12 ], 452, 12, "whats new in version 1.5? july 2011", "X86002B747AE0741B" ], [ "\033[1X\033[33X\033[0;-2YWhat's New in Version 1.4? (June 2008)\033[133X\\ -033[101X", "1.3-12", [ 1, 3, 12 ], 500, 12, +033[101X", "1.3-13", [ 1, 3, 13 ], 521, 13, "whats new in version 1.4? june 2008", "X878EBA108716DDF0" ], [ "\033[1X\033[33X\033[0;-2YWhat's New in Version 1.3.1? (October 2007)\033[1\ -33X\033[101X", "1.3-13", [ 1, 3, 13 ], 550, 13, +33X\033[101X", "1.3-14", [ 1, 3, 14 ], 571, 14, "whats new in version 1.3.1? october 2007", "X87A53CE182C9E086" ], [ "\033[1X\033[33X\033[0;-2YWhat's New in Version 1.3? (June 2007)\033[133X\\ -033[101X", "1.3-14", [ 1, 3, 14 ], 567, 13, +033[101X", "1.3-15", [ 1, 3, 15 ], 588, 14, "whats new in version 1.3? june 2007", "X79CCC5517897924C" ], [ "\033[1X\033[33X\033[0;-2YWhat's New in Version 1.2? (November 2003)\033[13\ -3X\033[101X", "1.3-15", [ 1, 3, 15 ], 628, 14, +3X\033[101X", "1.3-16", [ 1, 3, 16 ], 649, 15, "whats new in version 1.2? november 2003", "X7BDCA94D83DCFFB8" ], [ "\033[1X\033[33X\033[0;-2YWhat's New in Version 1.1? (October 2002)\033[133\ -X\033[101X", "1.3-16", [ 1, 3, 16 ], 665, 15, +X\033[101X", "1.3-17", [ 1, 3, 17 ], 686, 15, "whats new in version 1.1? october 2002", "X831628B47F669B29" ], [ "\033[1X\033[33X\033[0;-2YAcknowledgements\033[133X\033[101X", "1.4", - [ 1, 4, 0 ], 708, 16, "acknowledgements", "X82A988D47DFAFCFA" ], + [ 1, 4, 0 ], 729, 16, "acknowledgements", "X82A988D47DFAFCFA" ], [ "\033[1X\033[33X\033[0;-2YTutorial for the \033[5XAtlasRep\033[105X\033[101\ -X\027\033[1X\027 Package\033[133X\033[101X", "2", [ 2, 0, 0 ], 1, 17, +X\027\033[1X\027 Package\033[133X\033[101X", "2", [ 2, 0, 0 ], 1, 18, "tutorial for the atlasrep package", "X8171B3798425E183" ], [ "\033[1X\033[33X\033[0;-2YAccessing a Specific Group in \033[5XAtlasRep\\ 033[105X\033[101X\027\033[1X\027\033[133X\033[101X", "2.1", [ 2, 1, 0 ], 56, - 18, "accessing a specific group in atlasrep", "X79CECBFE7A8EE2C2" ], + 19, "accessing a specific group in atlasrep", "X79CECBFE7A8EE2C2" ], [ "\033[1X\033[33X\033[0;-2YAccessing a Group in \033[5XAtlasRep\033[105X\\ 033[101X\027\033[1X\027 via its Name\033[133X\033[101X", "2.1-1", - [ 2, 1, 1 ], 67, 18, "accessing a group in atlasrep via its name", + [ 2, 1, 1 ], 67, 19, "accessing a group in atlasrep via its name", "X87CD0FFB87D0BDD7" ], [ "\033[1X\033[33X\033[0;-2YAccessing a Maximal Subgroup of a Group in \033[5\ XAtlasRep\033[105X\033[101X\027\033[1X\027\033[133X\033[101X", "2.1-2", - [ 2, 1, 2 ], 129, 19, + [ 2, 1, 2 ], 129, 20, "accessing a maximal subgroup of a group in atlasrep", "X826C681B7EB3B67A" ], [ "\033[1X\033[33X\033[0;-2YAccessing Specific Generators in \033[5XAtlasRep\\ 033[105X\033[101X\027\033[1X\027\033[133X\033[101X", "2.2", [ 2, 2, 0 ], 206, - 20, "accessing specific generators in atlasrep", "X7F616D9685292471" ], + 21, "accessing specific generators in atlasrep", "X7F616D9685292471" ], [ "\033[1X\033[33X\033[0;-2YBasic Concepts used in \033[5XAtlasRep\033[105X\ -\033[101X\027\033[1X\027\033[133X\033[101X", "2.3", [ 2, 3, 0 ], 288, 21, +\033[101X\027\033[1X\027\033[133X\033[101X", "2.3", [ 2, 3, 0 ], 288, 22, "basic concepts used in atlasrep", "X7D3A29F879B140D3" ], [ "\033[1X\033[33X\033[0;-2YGroups, Generators, and Representations\033[133X\\ -033[101X", "2.3-1", [ 2, 3, 1 ], 291, 21, +033[101X", "2.3-1", [ 2, 3, 1 ], 291, 22, "groups generators and representations", "X7E2FB5E5852AD970" ], [ "\033[1X\033[33X\033[0;-2YStraight Line Programs\033[133X\033[101X", - "2.3-2", [ 2, 3, 2 ], 349, 22, "straight line programs", + "2.3-2", [ 2, 3, 2 ], 349, 23, "straight line programs", "X7DC99E4284093FBB" ], [ "\033[1X\033[33X\033[0;-2YExamples of Using the \033[5XAtlasRep\033[105X\\ 033[101X\027\033[1X\027 Package\033[133X\033[101X", "2.4", [ 2, 4, 0 ], 389, - 23, "examples of using the atlasrep package", "X87ACE06E82B68589" ], + 24, "examples of using the atlasrep package", "X87ACE06E82B68589" ], [ "\033[1X\033[33X\033[0;-2YExample: Class Representatives\033[133X\033[101X" - , "2.4-1", [ 2, 4, 1 ], 392, 23, "example: class representatives", + , "2.4-1", [ 2, 4, 1 ], 392, 24, "example: class representatives", "X8563D96878AC685C" ], [ "\033[1X\033[33X\033[0;-2YExample: Permutation and Matrix Representations\\ -033[133X\033[101X", "2.4-2", [ 2, 4, 2 ], 485, 25, +033[133X\033[101X", "2.4-2", [ 2, 4, 2 ], 485, 26, "example: permutation and matrix representations", "X81C9233778A3A817" ] , [ "\033[1X\033[33X\033[0;-2YExample: Outer Automorphisms\033[133X\033[101X", - "2.4-3", [ 2, 4, 3 ], 550, 26, "example: outer automorphisms", + "2.4-3", [ 2, 4, 3 ], 550, 27, "example: outer automorphisms", "X8284D7E87D38889C" ], [ "\033[1X\033[33X\033[0;-2YExample: Using Semi-presentations and Black Box P\ -rograms\033[133X\033[101X", "2.4-4", [ 2, 4, 4 ], 642, 27, +rograms\033[133X\033[101X", "2.4-4", [ 2, 4, 4 ], 642, 28, "example: using semi-presentations and black box programs", "X794D669E7A507310" ], [ "\033[1X\033[33X\033[0;-2YExample: Using the \033[5XGAP\033[105X\033[101X\\ 027\033[1X\027 Library of Tables of Marks\033[133X\033[101X", "2.4-5", - [ 2, 4, 5 ], 779, 30, + [ 2, 4, 5 ], 779, 31, "example: using the gap library of tables of marks", "X7CE7C2068017525C" ], [ "\033[1X\033[33X\033[0;-2YExample: Index \033[22X770\033[122X\033[101X\027\\ 033[1X\027 Subgroups in \033[22XM_22\033[122X\033[101X\027\033[1X\027\033[133X\ -\033[101X", "2.4-6", [ 2, 4, 6 ], 836, 31, +\033[101X", "2.4-6", [ 2, 4, 6 ], 836, 32, "example: index 770 subgroups in m_22", "X82550A9683E0DCA2" ], [ "\033[1X\033[33X\033[0;-2YExample: Index \033[22X462\033[122X\033[101X\027\\ 033[1X\027 Subgroups in \033[22XM_22\033[122X\033[101X\027\033[1X\027\033[133X\ -\033[101X", "2.4-7", [ 2, 4, 7 ], 905, 32, +\033[101X", "2.4-7", [ 2, 4, 7 ], 905, 33, "example: index 462 subgroups in m_22", "X84F9D163795B7DE1" ], [ "\033[1X\033[33X\033[0;-2YThe User Interface of the \033[5XAtlasRep\033[105\ X\033[101X\027\033[1X\027 Package\033[133X\033[101X", "3", [ 3, 0, 0 ], 1, - 35, "the user interface of the atlasrep package", "X87EAF8E578D95793" ], + 36, "the user interface of the atlasrep package", "X87EAF8E578D95793" ], [ "\033[1X\033[33X\033[0;-2YAccessing vs. Constructing Representations\033[1\ -33X\033[101X", "3.1", [ 3, 1, 0 ], 14, 35, +33X\033[101X", "3.1", [ 3, 1, 0 ], 14, 36, "accessing vs. constructing representations", "X87D26B13819A8209" ], [ "\033[1X\033[33X\033[0;-2YGroup Names Used in the \033[5XAtlasRep\033[105X\\ 033[101X\027\033[1X\027 Package\033[133X\033[101X", "3.2", [ 3, 2, 0 ], 27, - 35, "group names used in the atlasrep package", "X81BF52FC7B8C08D4" ], + 36, "group names used in the atlasrep package", "X81BF52FC7B8C08D4" ], [ "\033[1X\033[33X\033[0;-2YStandard Generators Used in the \033[5XAtlasRep\ \033[105X\033[101X\027\033[1X\027 Package\033[133X\033[101X", "3.3", - [ 3, 3, 0 ], 55, 36, "standard generators used in the atlasrep package", + [ 3, 3, 0 ], 55, 37, "standard generators used in the atlasrep package", "X795DB7E486E0817D" ], [ "\033[1X\033[33X\033[0;-2YClass Names Used in the \033[5XAtlasRep\033[105X\\ 033[101X\027\033[1X\027 Package\033[133X\033[101X", "3.4", [ 3, 4, 0 ], 79, - 36, "class names used in the atlasrep package", "X861CD545803B97E8" ], + 37, "class names used in the atlasrep package", "X861CD545803B97E8" ], [ "\033[1X\033[33X\033[0;-2YDefinition of \033[5XATLAS\033[105X\033[101X\027\ -\033[1X\027 Class Names\033[133X\033[101X", "3.4-1", [ 3, 4, 1 ], 93, 36, +\033[1X\027 Class Names\033[133X\033[101X", "3.4-1", [ 3, 4, 1 ], 93, 37, "definition of atlas class names", "X850EEDEE831EE039" ], [ "\033[1X\033[33X\033[0;-2YAccessing Data via \033[5XAtlasRep\033[105X\033[1\ -01X\027\033[1X\027\033[133X\033[101X", "3.5", [ 3, 5, 0 ], 238, 39, +01X\027\033[1X\027\033[133X\033[101X", "3.5", [ 3, 5, 0 ], 238, 40, "accessing data via atlasrep", "X7CC88B2287A72204" ], [ "\033[1X\033[33X\033[0;-2YExamples for DisplayAtlasInfo\033[133X\033[101X" - , "3.5-2", [ 3, 5, 2 ], 507, 43, "examples for displayatlasinfo", + , "3.5-2", [ 3, 5, 2 ], 514, 44, "examples for displayatlasinfo", "X7CE4FF2380DB47F2" ], [ "\033[1X\033[33X\033[0;-2YAtlasGroup\033[133X\033[101X", "3.5-8", - [ 3, 5, 8 ], 1297, 56, "atlasgroup", "X80AABEE783363B70" ], + [ 3, 5, 8 ], 1309, 57, "atlasgroup", "X80AABEE783363B70" ], [ "\033[1X\033[33X\033[0;-2YAtlasSubgroup\033[133X\033[101X", "3.5-9", - [ 3, 5, 9 ], 1339, 57, "atlassubgroup", "X7A3E460C82B3D9A3" ], + [ 3, 5, 9 ], 1351, 58, "atlassubgroup", "X7A3E460C82B3D9A3" ], [ "\033[1X\033[33X\033[0;-2YEvaluatePresentation\033[133X\033[101X", - "3.5-11", [ 3, 5, 11 ], 1457, 59, "evaluatepresentation", + "3.5-11", [ 3, 5, 11 ], 1469, 60, "evaluatepresentation", "X87B012B080D01413" ], [ "\033[1X\033[33X\033[0;-2YStandardGeneratorsData\033[133X\033[101X", - "3.5-12", [ 3, 5, 12 ], 1508, 59, "standardgeneratorsdata", + "3.5-12", [ 3, 5, 12 ], 1520, 61, "standardgeneratorsdata", "X79F63403821C1E24" ], [ "\033[1X\033[33X\033[0;-2Y\033[5XBrowse\033[105X\033[101X\027\033[1X\027 Ap\ plications Provided by \033[5XAtlasRep\033[105X\033[101X\027\033[1X\027\033[13\ -3X\033[101X", "3.6", [ 3, 6, 0 ], 1642, 62, +3X\033[101X", "3.6", [ 3, 6, 0 ], 1654, 63, "browse applications provided by atlasrep", "X790D5F8C7E8E6947" ], [ "\033[1X\033[33X\033[0;-2YCustomizations of the \033[5XAtlasRep\033[105X\\ -033[101X\027\033[1X\027 Package\033[133X\033[101X", "4", [ 4, 0, 0 ], 1, 64, +033[101X\027\033[1X\027 Package\033[133X\033[101X", "4", [ 4, 0, 0 ], 1, 66, "customizations of the atlasrep package", "X797694467B534D0E" ], [ "\033[1X\033[33X\033[0;-2YInstalling the \033[5XAtlasRep\033[105X\033[101X\\ -027\033[1X\027 Package\033[133X\033[101X", "4.1", [ 4, 1, 0 ], 4, 64, +027\033[1X\027 Package\033[133X\033[101X", "4.1", [ 4, 1, 0 ], 4, 66, "installing the atlasrep package", "X7F25ECBA7B675901" ], [ "\033[1X\033[33X\033[0;-2YUser Preferences of the \033[5XAtlasRep\033[105X\\ 033[101X\027\033[1X\027 Package\033[133X\033[101X", "4.2", [ 4, 2, 0 ], 50, - 65, "user preferences of the atlasrep package", "X851A50E6810EF8C5" ], + 67, "user preferences of the atlasrep package", "X851A50E6810EF8C5" ], [ "\033[1X\033[33X\033[0;-2YUser preference \033[10XAtlasRepAccessRemoteFile\ s\033[110X\033[101X\027\033[1X\027\033[133X\033[101X", "4.2-1", [ 4, 2, 1 ], - 99, 65, "user preference atlasrepaccessremotefiles", + 99, 67, "user preference atlasrepaccessremotefiles", "X7C3293A98577EE68" ], [ "\033[1X\033[33X\033[0;-2YUser preference \033[10XAtlasRepDataDirectory\\ 033[110X\033[101X\027\033[1X\027\033[133X\033[101X", "4.2-2", [ 4, 2, 2 ], - 113, 66, "user preference atlasrepdatadirectory", "X7C36E9A78021A71A" ], + 113, 68, "user preference atlasrepdatadirectory", "X7C36E9A78021A71A" ], [ "\033[1X\033[33X\033[0;-2YUser preference \033[10XAtlasRepTOCData\033[110X\ -\033[101X\027\033[1X\027\033[133X\033[101X", "4.2-3", [ 4, 2, 3 ], 129, 66, +\033[101X\027\033[1X\027\033[133X\033[101X", "4.2-3", [ 4, 2, 3 ], 130, 68, "user preference atlasreptocdata", "X7F21FFBE7F8108E4" ], [ "\033[1X\033[33X\033[0;-2YUser preference \033[10XCompressDownloadedMeatAxe\ Files\033[110X\033[101X\027\033[1X\027\033[133X\033[101X", "4.2-4", - [ 4, 2, 4 ], 142, 66, "user preference compressdownloadedmeataxefiles", + [ 4, 2, 4 ], 143, 68, "user preference compressdownloadedmeataxefiles", "X8766BE5D7AD6C526" ], [ "\033[1X\033[33X\033[0;-2YUser preference \033[10XFileAccessFunctions\033[1\ -10X\033[101X\027\033[1X\027\033[133X\033[101X", "4.2-5", [ 4, 2, 5 ], 157, - 66, "user preference fileaccessfunctions", "X81AD105979465162" ], +10X\033[101X\027\033[1X\027\033[133X\033[101X", "4.2-5", [ 4, 2, 5 ], 158, + 68, "user preference fileaccessfunctions", "X81AD105979465162" ], [ "\033[1X\033[33X\033[0;-2YUser preference \033[10XAtlasRepLocalServerPath\\ 033[110X\033[101X\027\033[1X\027\033[133X\033[101X", "4.2-6", [ 4, 2, 6 ], - 179, 67, "user preference atlasreplocalserverpath", "X85C48D6D81095161" + 180, 69, "user preference atlasreplocalserverpath", "X85C48D6D81095161" ], [ "\033[1X\033[33X\033[0;-2YUser preference \033[10XHowToReadMeatAxeTextFiles\ \033[110X\033[101X\027\033[1X\027\033[133X\033[101X", "4.2-7", [ 4, 2, 7 ], - 193, 67, "user preference howtoreadmeataxetextfiles", + 194, 69, "user preference howtoreadmeataxetextfiles", "X79993585808450FA" ], [ "\033[1X\033[33X\033[0;-2YUser preference \033[10XWriteHeaderFormatOfMeatAx\ eFiles\033[110X\033[101X\027\033[1X\027\033[133X\033[101X", "4.2-8", - [ 4, 2, 8 ], 216, 67, "user preference writeheaderformatofmeataxefiles", + [ 4, 2, 8 ], 217, 69, "user preference writeheaderformatofmeataxefiles", "X7B8F757B85F87936" ], [ "\033[1X\033[33X\033[0;-2YUser preference \033[10XWriteMeatAxeFilesOfMode2\\ 033[110X\033[101X\027\033[1X\027\033[133X\033[101X", "4.2-9", [ 4, 2, 9 ], - 237, 67, "user preference writemeataxefilesofmode2", + 238, 69, "user preference writemeataxefilesofmode2", "X7941C4378261E28A" ], [ "\033[1X\033[33X\033[0;-2YUser preference \033[10XBaseOfMeatAxePermutation\\ 033[110X\033[101X\027\033[1X\027\033[133X\033[101X", "4.2-10", [ 4, 2, 10 ], - 247, 68, "user preference baseofmeataxepermutation", + 248, 70, "user preference baseofmeataxepermutation", "X877E40DB7A4E36C9" ], [ "\033[1X\033[33X\033[0;-2YUser preference \033[10XDisplayFunction\033[110X\\ -033[101X\027\033[1X\027\033[133X\033[101X", "4.2-11", [ 4, 2, 11 ], 259, 68, +033[101X\027\033[1X\027\033[133X\033[101X", "4.2-11", [ 4, 2, 11 ], 260, 70, "user preference displayfunction", "X81F055037F9D3068" ], [ "\033[1X\033[33X\033[0;-2YUser preference \033[10XAtlasRepMarkNonCoreData\\ 033[110X\033[101X\027\033[1X\027\033[133X\033[101X", "4.2-12", [ 4, 2, 12 ], - 271, 68, "user preference atlasrepmarknoncoredata", "X862C660878D422FA" + 272, 70, "user preference atlasrepmarknoncoredata", "X862C660878D422FA" ], [ "\033[1X\033[33X\033[0;-2YUser preference \033[10XDebugFileLoading\033[110X\ -\033[101X\027\033[1X\027\033[133X\033[101X", "4.2-13", [ 4, 2, 13 ], 278, 68, +\033[101X\027\033[1X\027\033[133X\033[101X", "4.2-13", [ 4, 2, 13 ], 279, 70, "user preference debugfileloading", "X80958D068147325B" ], [ "\033[1X\033[33X\033[0;-2YUser preference \033[10XAtlasRepJsonFilesAddresse\ s\033[110X\033[101X\027\033[1X\027\033[133X\033[101X", "4.2-14", - [ 4, 2, 14 ], 284, 68, "user preference atlasrepjsonfilesaddresses", + [ 4, 2, 14 ], 285, 70, "user preference atlasrepjsonfilesaddresses", "X850D135E79EFF3F7" ], [ "\033[1X\033[33X\033[0;-2YWeb Contents for the \033[5XAtlasRep\033[105X\\ -033[101X\027\033[1X\027 Package\033[133X\033[101X", "4.3", [ 4, 3, 0 ], 294, - 68, "web contents for the atlasrep package", "X7C50F18587ADC3B5" ], +033[101X\027\033[1X\027 Package\033[133X\033[101X", "4.3", [ 4, 3, 0 ], 295, + 70, "web contents for the atlasrep package", "X7C50F18587ADC3B5" ], [ "\033[1X\033[33X\033[0;-2YExtending the \033[5XATLAS\033[105X\033[101X\027\\ -033[1X\027 Database\033[133X\033[101X", "4.4", [ 4, 4, 0 ], 326, 69, +033[1X\027 Database\033[133X\033[101X", "4.4", [ 4, 4, 0 ], 323, 71, "extending the atlas database", "X7FB64AD37D4620E6" ], [ "\033[1X\033[33X\033[0;-2YExtensions of the \033[5XAtlasRep\033[105X\033[10\ -1X\027\033[1X\027 Package\033[133X\033[101X", "5", [ 5, 0, 0 ], 1, 70, +1X\027\033[1X\027 Package\033[133X\033[101X", "5", [ 5, 0, 0 ], 1, 72, "extensions of the atlasrep package", "X7B0718A178BB10CA" ], [ "\033[1X\033[33X\033[0;-2YNotify Additional Data\033[133X\033[101X", - "5.1", [ 5, 1, 0 ], 37, 70, "notify additional data", + "5.1", [ 5, 1, 0 ], 37, 72, "notify additional data", "X78E7F7347DE8A125" ], [ "\033[1X\033[33X\033[0;-2YAtlasOfGroupRepresentationsNotifyData\033[133X\\ -033[101X", "5.1-1", [ 5, 1, 1 ], 59, 71, +033[101X", "5.1-1", [ 5, 1, 1 ], 59, 73, "atlasofgrouprepresentationsnotifydata", "X81B5FA0578257653" ], [ "\033[1X\033[33X\033[0;-2YThe Effect of Extensions on the User Interface\\ -033[133X\033[101X", "5.2", [ 5, 2, 0 ], 215, 73, +033[133X\033[101X", "5.2", [ 5, 2, 0 ], 215, 75, "the effect of extensions on the user interface", "X7A6024EC87A95E0B" ], [ "\033[1X\033[33X\033[0;-2YAn Example of Extending the \033[5XAtlasRep\033[\ 105X\033[101X\027\033[1X\027 Data\033[133X\033[101X", "5.3", [ 5, 3, 0 ], - 234, 73, "an example of extending the atlasrep data", + 234, 75, "an example of extending the atlasrep data", "X7E7307FC835D09DF" ], [ "\033[1X\033[33X\033[0;-2YNew \033[5XGAP\033[105X\033[101X\027\033[1X\027 O\ bjects and Utility Functions provided by the \033[5XAtlasRep\033[105X\033[101X\ -\027\033[1X\027 Package\033[133X\033[101X", "6", [ 6, 0, 0 ], 1, 80, +\027\033[1X\027 Package\033[133X\033[101X", "6", [ 6, 0, 0 ], 1, 82, "new gap objects and utility functions provided by the atlasrep package" , "X83827EDB7D36C407" ], [ "\033[1X\033[33X\033[0;-2YStraight Line Decisions\033[133X\033[101X", - "6.1", [ 6, 1, 0 ], 13, 80, "straight line decisions", + "6.1", [ 6, 1, 0 ], 13, 82, "straight line decisions", "X8121E9567A7137C9" ], [ "\033[1X\033[33X\033[0;-2YSemi-Presentations and Presentations\033[133X\\ -033[101X", "6.1-7", [ 6, 1, 7 ], 215, 83, +033[101X", "6.1-7", [ 6, 1, 7 ], 215, 85, "semi-presentations and presentations", "X7C94ECAC8583CEAE" ], [ "\033[1X\033[33X\033[0;-2YBlack Box Programs\033[133X\033[101X", "6.2", - [ 6, 2, 0 ], 375, 86, "black box programs", "X7BE856BC785A9E8F" ], + [ 6, 2, 0 ], 375, 88, "black box programs", "X7BE856BC785A9E8F" ], [ "\033[1X\033[33X\033[0;-2YRepresentations of Minimal Degree\033[133X\033[10\ -1X", "6.3", [ 6, 3, 0 ], 688, 91, "representations of minimal degree", +1X", "6.3", [ 6, 3, 0 ], 688, 93, "representations of minimal degree", "X87E1F08D80C9E069" ], [ "\033[1X\033[33X\033[0;-2YCriteria Used to Compute Minimality Information\\ -033[133X\033[101X", "6.3-4", [ 6, 3, 4 ], 872, 94, +033[133X\033[101X", "6.3-4", [ 6, 3, 4 ], 872, 96, "criteria used to compute minimality information", "X7FC33DFF8481F8D1" ] , [ "\033[1X\033[33X\033[0;-2YA JSON Interface\033[133X\033[101X", "6.4", - [ 6, 4, 0 ], 928, 95, "a json interface", "X7E5CB1637F127B2E" ], + [ 6, 4, 0 ], 928, 97, "a json interface", "X7E5CB1637F127B2E" ], [ "\033[1X\033[33X\033[0;-2YWhy JSON?\033[133X\033[101X", "6.4-1", - [ 6, 4, 1 ], 992, 96, "why json?", "X7870BBB184574D18" ], + [ 6, 4, 1 ], 992, 98, "why json?", "X7870BBB184574D18" ], [ "\033[1X\033[33X\033[0;-2YTechnicalities of the \033[5XAtlasRep\033[105X\\ -033[101X\027\033[1X\027 Package\033[133X\033[101X", "7", [ 7, 0, 0 ], 1, 98, +033[101X\027\033[1X\027 Package\033[133X\033[101X", "7", [ 7, 0, 0 ], 1, 100, "technicalities of the atlasrep package", "X7F77634D817156B3" ], [ "\033[1X\033[33X\033[0;-2YGlobal Variables Used by the \033[5XAtlasRep\033[\ 105X\033[101X\027\033[1X\027 Package\033[133X\033[101X", "7.1", [ 7, 1, 0 ], - 21, 98, "global variables used by the atlasrep package", + 21, 100, "global variables used by the atlasrep package", "X7DC2B7917DC30B28" ], [ "\033[1X\033[33X\033[0;-2YHow to Customize the Access to Data files\033[133\ -X\033[101X", "7.2", [ 7, 2, 0 ], 100, 100, +X\033[101X", "7.2", [ 7, 2, 0 ], 100, 102, "how to customize the access to data files", "X81C5B5E78215169D" ], [ "\033[1X\033[33X\033[0;-2YReading and Writing MeatAxe Format Files\033[133X\ -\033[101X", "7.3", [ 7, 3, 0 ], 187, 101, +\033[101X", "7.3", [ 7, 3, 0 ], 187, 103, "reading and writing meataxe format files", "X7D76D4437A9646E7" ], [ "\033[1X\033[33X\033[0;-2YReading and Writing \033[5XATLAS\033[105X\033[101\ X\027\033[1X\027 Straight Line Programs\033[133X\033[101X", "7.4", - [ 7, 4, 0 ], 400, 104, + [ 7, 4, 0 ], 400, 106, "reading and writing atlas straight line programs", "X7FEE162B7F63BEA0" ], [ "\033[1X\033[33X\033[0;-2YData Types Used in the \033[5XAtlasRep\033[105X\\ 033[101X\027\033[1X\027 Package\033[133X\033[101X", "7.5", [ 7, 5, 0 ], 581, - 107, "data types used in the atlasrep package", "X809898027EFDA56E" ], + 109, "data types used in the atlasrep package", "X809898027EFDA56E" ], [ "\033[1X\033[33X\033[0;-2YFilenames Used in the \033[5XAtlasRep\033[105X\ \033[101X\027\033[1X\027 Package\033[133X\033[101X", "7.6", [ 7, 6, 0 ], 763, - 110, "filenames used in the atlasrep package", "X7A86627B80980F61" ], + 112, "filenames used in the atlasrep package", "X7A86627B80980F61" ], [ "\033[1X\033[33X\033[0;-2YThe record component \033[10Xidentifier\033[110X\\ 033[101X\027\033[1X\027 used by the \033[5XAtlasRep\033[105X\033[101X\027\033[\ -1X\027 Package\033[133X\033[101X", "7.7", [ 7, 7, 0 ], 958, 114, +1X\027 Package\033[133X\033[101X", "7.7", [ 7, 7, 0 ], 958, 116, "the record component identifier used by the atlasrep package", "X7CCA3DE97E756F01" ], [ "\033[1X\033[33X\033[0;-2YAtlasRepIdentifier\033[133X\033[101X", "7.7-1", - [ 7, 7, 1 ], 1005, 114, "atlasrepidentifier", "X81685FC979BC3FB8" ], + [ 7, 7, 1 ], 1005, 116, "atlasrepidentifier", "X81685FC979BC3FB8" ], [ "\033[1X\033[33X\033[0;-2YThe Tables of Contents of the \033[5XAtlasRep\\ 033[105X\033[101X\027\033[1X\027 Package\033[133X\033[101X", "7.8", - [ 7, 8, 0 ], 1060, 115, "the tables of contents of the atlasrep package" + [ 7, 8, 0 ], 1060, 117, "the tables of contents of the atlasrep package" , "X7B1DECF080AEB806" ], [ "\033[1X\033[33X\033[0;-2YSanity Checks for the \033[5XAtlasRep\033[105X\\ 033[101X\027\033[1X\027 Package\033[133X\033[101X", "7.9", [ 7, 9, 0 ], 1227, - 118, "sanity checks for the atlasrep package", "X79C5F2267ACCF52A" ], + 120, "sanity checks for the atlasrep package", "X79C5F2267ACCF52A" ], [ "\033[1X\033[33X\033[0;-2YSanity Checks for a Table of Contents\033[133X\\ -033[101X", "7.9-1", [ 7, 9, 1 ], 1255, 118, +033[101X", "7.9-1", [ 7, 9, 1 ], 1255, 120, "sanity checks for a table of contents", "X86FDCF0B85496AE5" ], [ "\033[1X\033[33X\033[0;-2YOther Sanity Checks\033[133X\033[101X", - "7.9-2", [ 7, 9, 2 ], 1402, 121, "other sanity checks", + "7.9-2", [ 7, 9, 2 ], 1402, 123, "other sanity checks", "X7FBFA8D287B807D2" ], - [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 122, "bibliography", + [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 124, "bibliography", "X7A6F98FD85F02BFE" ], - [ "References", "bib", [ "Bib", 0, 0 ], 1, 122, "references", + [ "References", "bib", [ "Bib", 0, 0 ], 1, 124, "references", "X7A6F98FD85F02BFE" ], - [ "Index", "ind", [ "Ind", 0, 0 ], 1, 124, "index", "X83A0356F839C696F" ], + [ "Index", "ind", [ "Ind", 0, 0 ], 1, 126, "index", "X83A0356F839C696F" ], [ "AtlasRep", "0.0", [ 0, 0, 0 ], 1, 1, "atlasrep", "X7D2C85EC87DD46E5" ], [ "black box program", "1.1", [ 1, 1, 0 ], 36, 5, "black box program", "X7A76DF957E7AF8AE" ], @@ -407,302 +411,302 @@ X\027\033[1X\027 Straight Line Programs\ "X7A76DF957E7AF8AE" ], [ "\033[10XC\033[110X-\033[5XMeatAxe\033[105X", "1.2", [ 1, 2, 0 ], 73, 6, "c-meataxe", "X8033B61682EE6A23" ], - [ "\033[11Xwget\033[111X", "1.3-14", [ 1, 3, 14 ], 567, 13, "wget", + [ "\033[11Xwget\033[111X", "1.3-15", [ 1, 3, 15 ], 588, 14, "wget", "X79CCC5517897924C" ], - [ "\033[11Xftp\033[111X", "1.3-14", [ 1, 3, 14 ], 567, 13, "ftp", + [ "\033[11Xftp\033[111X", "1.3-15", [ 1, 3, 15 ], 588, 14, "ftp", "X79CCC5517897924C" ], - [ "\033[11Xperl\033[111X", "1.3-14", [ 1, 3, 14 ], 567, 13, "perl", + [ "\033[11Xperl\033[111X", "1.3-15", [ 1, 3, 15 ], 588, 14, "perl", "X79CCC5517897924C" ], - [ "\033[11Xwget\033[111X", "1.3-16", [ 1, 3, 16 ], 665, 15, "wget", + [ "\033[11Xwget\033[111X", "1.3-17", [ 1, 3, 17 ], 686, 15, "wget", "X831628B47F669B29" ], - [ "\033[11Xgzip\033[111X", "1.3-16", [ 1, 3, 16 ], 665, 15, "gzip", + [ "\033[11Xgzip\033[111X", "1.3-17", [ 1, 3, 17 ], 686, 15, "gzip", "X831628B47F669B29" ], - [ "\033[11Xperl\033[111X", "1.4", [ 1, 4, 0 ], 708, 16, "perl", + [ "\033[11Xperl\033[111X", "1.4", [ 1, 4, 0 ], 729, 16, "perl", "X82A988D47DFAFCFA" ], - [ "\033[2XAtlasClassNames\033[102X", "3.4-2", [ 3, 4, 2 ], 184, 38, + [ "\033[2XAtlasClassNames\033[102X", "3.4-2", [ 3, 4, 2 ], 184, 39, "atlasclassnames", "X78166D1D7D18EFBF" ], - [ "\033[2XAtlasCharacterNames\033[102X", "3.4-3", [ 3, 4, 3 ], 223, 38, + [ "\033[2XAtlasCharacterNames\033[102X", "3.4-3", [ 3, 4, 3 ], 223, 39, "atlascharacternames", "X7B14A254870BA5A1" ], - [ "\033[2XDisplayAtlasInfo\033[102X", "3.5-1", [ 3, 5, 1 ], 246, 39, + [ "\033[2XDisplayAtlasInfo\033[102X", "3.5-1", [ 3, 5, 1 ], 246, 40, "displayatlasinfo", "X79DACFFA7E2D1A99" ], [ "\033[2XDisplayAtlasInfo\033[102X for a group name, and optionally further \ -restrictions", "3.5-1", [ 3, 5, 1 ], 246, 39, +restrictions", "3.5-1", [ 3, 5, 1 ], 246, 40, "displayatlasinfo for a group name and optionally further restrictions", "X79DACFFA7E2D1A99" ], - [ "straight line program", "3.5-1", [ 3, 5, 1 ], 246, 39, + [ "straight line program", "3.5-1", [ 3, 5, 1 ], 246, 40, "straight line program", "X79DACFFA7E2D1A99" ], - [ "\033[2XAtlasGenerators\033[102X", "3.5-3", [ 3, 5, 3 ], 711, 46, + [ "\033[2XAtlasGenerators\033[102X", "3.5-3", [ 3, 5, 3 ], 723, 47, "atlasgenerators", "X7D1CCCF8852DFF39" ], [ "\033[2XAtlasGenerators\033[102X for an identifier", "3.5-3", - [ 3, 5, 3 ], 711, 46, "atlasgenerators for an identifier", + [ 3, 5, 3 ], 723, 47, "atlasgenerators for an identifier", "X7D1CCCF8852DFF39" ], - [ "\033[2XAtlasProgram\033[102X", "3.5-4", [ 3, 5, 4 ], 873, 49, + [ "\033[2XAtlasProgram\033[102X", "3.5-4", [ 3, 5, 4 ], 885, 50, "atlasprogram", "X801F2E657C8A79ED" ], [ "\033[2XAtlasProgram\033[102X for an identifier", "3.5-4", [ 3, 5, 4 ], - 873, 49, "atlasprogram for an identifier", "X801F2E657C8A79ED" ], - [ "straight line program for maximal subgroups", "3.5-4", [ 3, 5, 4 ], 873, - 49, "straight line program for maximal subgroups", "X801F2E657C8A79ED" ] + 885, 50, "atlasprogram for an identifier", "X801F2E657C8A79ED" ], + [ "straight line program for maximal subgroups", "3.5-4", [ 3, 5, 4 ], 885, + 50, "straight line program for maximal subgroups", "X801F2E657C8A79ED" ] , - [ "maximal subgroups", "3.5-4", [ 3, 5, 4 ], 873, 49, "maximal subgroups", + [ "maximal subgroups", "3.5-4", [ 3, 5, 4 ], 885, 50, "maximal subgroups", "X801F2E657C8A79ED" ], - [ "straight line program for normal subgroups", "3.5-4", [ 3, 5, 4 ], 873, - 49, "straight line program for normal subgroups", "X801F2E657C8A79ED" ], + [ "straight line program for normal subgroups", "3.5-4", [ 3, 5, 4 ], 885, + 50, "straight line program for normal subgroups", "X801F2E657C8A79ED" ], [ "straight line program for kernels of epimorphisms", "3.5-4", - [ 3, 5, 4 ], 873, 49, + [ 3, 5, 4 ], 885, 50, "straight line program for kernels of epimorphisms", "X801F2E657C8A79ED" ], [ "straight line program for class representatives", "3.5-4", [ 3, 5, 4 ], - 873, 49, "straight line program for class representatives", + 885, 50, "straight line program for class representatives", "X801F2E657C8A79ED" ], - [ "class representatives", "3.5-4", [ 3, 5, 4 ], 873, 49, + [ "class representatives", "3.5-4", [ 3, 5, 4 ], 885, 50, "class representatives", "X801F2E657C8A79ED" ], [ "straight line program for representatives of cyclic subgroups", "3.5-4", - [ 3, 5, 4 ], 873, 49, + [ 3, 5, 4 ], 885, 50, "straight line program for representatives of cyclic subgroups", "X801F2E657C8A79ED" ], - [ "cyclic subgroups", "3.5-4", [ 3, 5, 4 ], 873, 49, "cyclic subgroups", + [ "cyclic subgroups", "3.5-4", [ 3, 5, 4 ], 885, 50, "cyclic subgroups", "X801F2E657C8A79ED" ], - [ "maximally cyclic subgroups", "3.5-4", [ 3, 5, 4 ], 873, 49, + [ "maximally cyclic subgroups", "3.5-4", [ 3, 5, 4 ], 885, 50, "maximally cyclic subgroups", "X801F2E657C8A79ED" ], [ "straight line program for outer automorphisms", "3.5-4", [ 3, 5, 4 ], - 873, 49, "straight line program for outer automorphisms", + 885, 50, "straight line program for outer automorphisms", "X801F2E657C8A79ED" ], - [ "automorphisms", "3.5-4", [ 3, 5, 4 ], 873, 49, "automorphisms", + [ "automorphisms", "3.5-4", [ 3, 5, 4 ], 885, 50, "automorphisms", "X801F2E657C8A79ED" ], [ "straight line decision for checking standard generators", "3.5-4", - [ 3, 5, 4 ], 873, 49, + [ 3, 5, 4 ], 885, 50, "straight line decision for checking standard generators", "X801F2E657C8A79ED" ], [ "straight line decision encoding a presentation", "3.5-4", [ 3, 5, 4 ], - 873, 49, "straight line decision encoding a presentation", + 885, 50, "straight line decision encoding a presentation", "X801F2E657C8A79ED" ], [ "black box program for finding standard generators", "3.5-4", - [ 3, 5, 4 ], 873, 49, + [ 3, 5, 4 ], 885, 50, "black box program for finding standard generators", "X801F2E657C8A79ED" ], - [ "straight line program for restandardizing", "3.5-4", [ 3, 5, 4 ], 873, - 49, "straight line program for restandardizing", "X801F2E657C8A79ED" ], - [ "straight line program free format", "3.5-4", [ 3, 5, 4 ], 873, 49, + [ "straight line program for restandardizing", "3.5-4", [ 3, 5, 4 ], 885, + 50, "straight line program for restandardizing", "X801F2E657C8A79ED" ], + [ "straight line program free format", "3.5-4", [ 3, 5, 4 ], 885, 50, "straight line program free format", "X801F2E657C8A79ED" ], - [ "\033[2XAtlasProgramInfo\033[102X", "3.5-5", [ 3, 5, 5 ], 1071, 52, + [ "\033[2XAtlasProgramInfo\033[102X", "3.5-5", [ 3, 5, 5 ], 1083, 53, "atlasprograminfo", "X83DFD8967E6BC831" ], - [ "\033[2XOneAtlasGeneratingSetInfo\033[102X", "3.5-6", [ 3, 5, 6 ], 1090, - 52, "oneatlasgeneratingsetinfo", "X841478AB7CD06D44" ], - [ "\033[2XAllAtlasGeneratingSetInfos\033[102X", "3.5-7", [ 3, 5, 7 ], 1255, - 55, "allatlasgeneratingsetinfos", "X84C2D76482E60E42" ], + [ "\033[2XOneAtlasGeneratingSetInfo\033[102X", "3.5-6", [ 3, 5, 6 ], 1102, + 54, "oneatlasgeneratingsetinfo", "X841478AB7CD06D44" ], + [ "\033[2XAllAtlasGeneratingSetInfos\033[102X", "3.5-7", [ 3, 5, 7 ], 1267, + 57, "allatlasgeneratingsetinfos", "X84C2D76482E60E42" ], [ "\033[2XAtlasGroup\033[102X for various arguments", "3.5-8", [ 3, 5, 8 ], - 1297, 56, "atlasgroup for various arguments", "X80AABEE783363B70" ], + 1309, 57, "atlasgroup for various arguments", "X80AABEE783363B70" ], [ "\033[2XAtlasGroup\033[102X for an identifier record", "3.5-8", - [ 3, 5, 8 ], 1297, 56, "atlasgroup for an identifier record", + [ 3, 5, 8 ], 1309, 57, "atlasgroup for an identifier record", "X80AABEE783363B70" ], [ "\033[2XAtlasSubgroup\033[102X for a group name (and various arguments) and\ - a number", "3.5-9", [ 3, 5, 9 ], 1339, 57, + a number", "3.5-9", [ 3, 5, 9 ], 1351, 58, "atlassubgroup for a group name and various arguments and a number", "X7A3E460C82B3D9A3" ], [ "\033[2XAtlasSubgroup\033[102X for an identifier record and a number", - "3.5-9", [ 3, 5, 9 ], 1339, 57, + "3.5-9", [ 3, 5, 9 ], 1351, 58, "atlassubgroup for an identifier record and a number", "X7A3E460C82B3D9A3" ], [ "\033[2XAtlasSubgroup\033[102X for a group and a number", "3.5-9", - [ 3, 5, 9 ], 1339, 57, "atlassubgroup for a group and a number", + [ 3, 5, 9 ], 1351, 58, "atlassubgroup for a group and a number", "X7A3E460C82B3D9A3" ], [ "\033[2XAtlasRepInfoRecord\033[102X for a group", "3.5-10", [ 3, 5, 10 ], - 1392, 58, "atlasrepinforecord for a group", "X87BC7D9C7BA2F27A" ], + 1404, 59, "atlasrepinforecord for a group", "X87BC7D9C7BA2F27A" ], [ "\033[2XAtlasRepInfoRecord\033[102X for a string", "3.5-10", - [ 3, 5, 10 ], 1392, 58, "atlasrepinforecord for a string", + [ 3, 5, 10 ], 1404, 59, "atlasrepinforecord for a string", "X87BC7D9C7BA2F27A" ], [ "\033[2XEvaluatePresentation\033[102X for a group, a group name (and a numb\ -er)", "3.5-11", [ 3, 5, 11 ], 1457, 59, +er)", "3.5-11", [ 3, 5, 11 ], 1469, 60, "evaluatepresentation for a group a group name and a number", "X87B012B080D01413" ], [ "\033[2XEvaluatePresentation\033[102X for a list of generators, a group nam\ -e (and a number)", "3.5-11", [ 3, 5, 11 ], 1457, 59, +e (and a number)", "3.5-11", [ 3, 5, 11 ], 1469, 60, "evaluatepresentation for a list of generators a group name and a number\ ", "X87B012B080D01413" ], [ "\033[2XStandardGeneratorsData\033[102X for a group, a group name (and a nu\ -mber)", "3.5-12", [ 3, 5, 12 ], 1508, 59, +mber)", "3.5-12", [ 3, 5, 12 ], 1520, 61, "standardgeneratorsdata for a group a group name and a number", "X79F63403821C1E24" ], [ "\033[2XStandardGeneratorsData\033[102X for a list of generators, a group n\ -ame (and a number)", "3.5-12", [ 3, 5, 12 ], 1508, 59, +ame (and a number)", "3.5-12", [ 3, 5, 12 ], 1520, 61, "standardgeneratorsdata for a list of generators a group name and a numb\ er", "X79F63403821C1E24" ], - [ "\033[2XBrowseMinimalDegrees\033[102X", "3.6-1", [ 3, 6, 1 ], 1650, 62, + [ "\033[2XBrowseMinimalDegrees\033[102X", "3.6-1", [ 3, 6, 1 ], 1662, 63, "browseminimaldegrees", "X7F31A7CB841FE63F" ], [ "\033[2XBrowseBibliographySporadicSimple\033[102X", "3.6-2", [ 3, 6, 2 ], - 1709, 63, "browsebibliographysporadicsimple", "X84ED4FC182C28198" ], + 1721, 64, "browsebibliographysporadicsimple", "X84ED4FC182C28198" ], [ "\033[10XAtlasRepAccessRemoteFiles\033[110X", "4.2-1", [ 4, 2, 1 ], 99, - 65, "atlasrepaccessremotefiles", "X7C3293A98577EE68" ], - [ "local access", "4.2-1", [ 4, 2, 1 ], 99, 65, "local access", + 67, "atlasrepaccessremotefiles", "X7C3293A98577EE68" ], + [ "local access", "4.2-1", [ 4, 2, 1 ], 99, 67, "local access", "X7C3293A98577EE68" ], - [ "remote access", "4.2-1", [ 4, 2, 1 ], 99, 65, "remote access", + [ "remote access", "4.2-1", [ 4, 2, 1 ], 99, 67, "remote access", "X7C3293A98577EE68" ], - [ "\033[10XAtlasRepDataDirectory\033[110X", "4.2-2", [ 4, 2, 2 ], 113, 66, + [ "\033[10XAtlasRepDataDirectory\033[110X", "4.2-2", [ 4, 2, 2 ], 113, 68, "atlasrepdatadirectory", "X7C36E9A78021A71A" ], - [ "\033[10XAtlasRepTOCData\033[110X", "4.2-3", [ 4, 2, 3 ], 129, 66, + [ "\033[10XAtlasRepTOCData\033[110X", "4.2-3", [ 4, 2, 3 ], 130, 68, "atlasreptocdata", "X7F21FFBE7F8108E4" ], [ "\033[10XCompressDownloadedMeatAxeFiles\033[110X", "4.2-4", [ 4, 2, 4 ], - 142, 66, "compressdownloadedmeataxefiles", "X8766BE5D7AD6C526" ], - [ "\033[10Xcompress\033[110X", "4.2-4", [ 4, 2, 4 ], 142, 66, "compress", + 143, 68, "compressdownloadedmeataxefiles", "X8766BE5D7AD6C526" ], + [ "\033[10Xcompress\033[110X", "4.2-4", [ 4, 2, 4 ], 143, 68, "compress", "X8766BE5D7AD6C526" ], - [ "\033[11Xgzip\033[111X", "4.2-4", [ 4, 2, 4 ], 142, 66, "gzip", + [ "\033[11Xgzip\033[111X", "4.2-4", [ 4, 2, 4 ], 143, 68, "gzip", "X8766BE5D7AD6C526" ], - [ "\033[10XFileAccessFunctions\033[110X", "4.2-5", [ 4, 2, 5 ], 157, 66, + [ "\033[10XFileAccessFunctions\033[110X", "4.2-5", [ 4, 2, 5 ], 158, 68, "fileaccessfunctions", "X81AD105979465162" ], - [ "\033[10XAtlasRepLocalServerPath\033[110X", "4.2-6", [ 4, 2, 6 ], 179, - 67, "atlasreplocalserverpath", "X85C48D6D81095161" ], - [ "\033[10XHowToReadMeatAxeTextFiles\033[110X", "4.2-7", [ 4, 2, 7 ], 193, - 67, "howtoreadmeataxetextfiles", "X79993585808450FA" ], + [ "\033[10XAtlasRepLocalServerPath\033[110X", "4.2-6", [ 4, 2, 6 ], 180, + 69, "atlasreplocalserverpath", "X85C48D6D81095161" ], + [ "\033[10XHowToReadMeatAxeTextFiles\033[110X", "4.2-7", [ 4, 2, 7 ], 194, + 69, "howtoreadmeataxetextfiles", "X79993585808450FA" ], [ "\033[10XWriteHeaderFormatOfMeatAxeFiles\033[110X", "4.2-8", [ 4, 2, 8 ], - 216, 67, "writeheaderformatofmeataxefiles", "X7B8F757B85F87936" ], - [ "\033[10XWriteMeatAxeFilesOfMode2\033[110X", "4.2-9", [ 4, 2, 9 ], 237, - 67, "writemeataxefilesofmode2", "X7941C4378261E28A" ], - [ "\033[10XBaseOfMeatAxePermutation\033[110X", "4.2-10", [ 4, 2, 10 ], 247, - 68, "baseofmeataxepermutation", "X877E40DB7A4E36C9" ], - [ "\033[10XDisplayFunction\033[110X", "4.2-11", [ 4, 2, 11 ], 259, 68, + 217, 69, "writeheaderformatofmeataxefiles", "X7B8F757B85F87936" ], + [ "\033[10XWriteMeatAxeFilesOfMode2\033[110X", "4.2-9", [ 4, 2, 9 ], 238, + 69, "writemeataxefilesofmode2", "X7941C4378261E28A" ], + [ "\033[10XBaseOfMeatAxePermutation\033[110X", "4.2-10", [ 4, 2, 10 ], 248, + 70, "baseofmeataxepermutation", "X877E40DB7A4E36C9" ], + [ "\033[10XDisplayFunction\033[110X", "4.2-11", [ 4, 2, 11 ], 260, 70, "displayfunction", "X81F055037F9D3068" ], - [ "\033[10XAtlasRepMarkNonCoreData\033[110X", "4.2-12", [ 4, 2, 12 ], 271, - 68, "atlasrepmarknoncoredata", "X862C660878D422FA" ], - [ "\033[10XDebugFileLoading\033[110X", "4.2-13", [ 4, 2, 13 ], 278, 68, + [ "\033[10XAtlasRepMarkNonCoreData\033[110X", "4.2-12", [ 4, 2, 12 ], 272, + 70, "atlasrepmarknoncoredata", "X862C660878D422FA" ], + [ "\033[10XDebugFileLoading\033[110X", "4.2-13", [ 4, 2, 13 ], 279, 70, "debugfileloading", "X80958D068147325B" ], [ "\033[10XAtlasRepJsonFilesAddresses\033[110X", "4.2-14", [ 4, 2, 14 ], - 284, 68, "atlasrepjsonfilesaddresses", "X850D135E79EFF3F7" ], + 285, 70, "atlasrepjsonfilesaddresses", "X850D135E79EFF3F7" ], [ "\033[2XAtlasOfGroupRepresentationsNotifyData\033[102X for a local director\ -y of private data", "5.1-1", [ 5, 1, 1 ], 59, 71, +y of private data", "5.1-1", [ 5, 1, 1 ], 59, 73, "atlasofgrouprepresentationsnotifydata for a local directory of private \ data", "X81B5FA0578257653" ], [ "\033[2XAtlasOfGroupRepresentationsNotifyData\033[102X for a local file des\ -cribing private data", "5.1-1", [ 5, 1, 1 ], 59, 71, +cribing private data", "5.1-1", [ 5, 1, 1 ], 59, 73, "atlasofgrouprepresentationsnotifydata for a local file describing priva\ te data", "X81B5FA0578257653" ], [ "\033[2XAtlasOfGroupRepresentationsNotifyData\033[102X for a remote file de\ -scribing private data", "5.1-1", [ 5, 1, 1 ], 59, 71, +scribing private data", "5.1-1", [ 5, 1, 1 ], 59, 73, "atlasofgrouprepresentationsnotifydata for a remote file describing priv\ ate data", "X81B5FA0578257653" ], [ "\033[2XAtlasOfGroupRepresentationsForgetData\033[102X", "5.1-2", - [ 5, 1, 2 ], 176, 72, "atlasofgrouprepresentationsforgetdata", + [ 5, 1, 2 ], 176, 74, "atlasofgrouprepresentationsforgetdata", "X7E0DC24681F17A9D" ], [ "\033[2XStringOfAtlasTableOfContents\033[102X", "5.1-3", [ 5, 1, 3 ], - 186, 73, "stringofatlastableofcontents", "X81C5440983E47DBD" ], - [ "\033[2XIsStraightLineDecision\033[102X", "6.1-1", [ 6, 1, 1 ], 59, 81, + 186, 75, "stringofatlastableofcontents", "X81C5440983E47DBD" ], + [ "\033[2XIsStraightLineDecision\033[102X", "6.1-1", [ 6, 1, 1 ], 59, 83, "isstraightlinedecision", "X8787E2EC7DB85A89" ], [ "\033[2XLinesOfStraightLineDecision\033[102X", "6.1-2", [ 6, 1, 2 ], 66, - 81, "linesofstraightlinedecision", "X82AFAD9F7FA5CE8A" ], + 83, "linesofstraightlinedecision", "X82AFAD9F7FA5CE8A" ], [ "\033[2XNrInputsOfStraightLineDecision\033[102X", "6.1-3", [ 6, 1, 3 ], - 84, 81, "nrinputsofstraightlinedecision", "X7B1A43427BD97FDF" ], - [ "\033[2XScanStraightLineDecision\033[102X", "6.1-4", [ 6, 1, 4 ], 97, 81, + 84, 83, "nrinputsofstraightlinedecision", "X7B1A43427BD97FDF" ], + [ "\033[2XScanStraightLineDecision\033[102X", "6.1-4", [ 6, 1, 4 ], 97, 83, "scanstraightlinedecision", "X82A3632782E45F35" ], - [ "\033[2XStraightLineDecision\033[102X", "6.1-5", [ 6, 1, 5 ], 135, 82, + [ "\033[2XStraightLineDecision\033[102X", "6.1-5", [ 6, 1, 5 ], 135, 84, "straightlinedecision", "X825C4E4180F3D989" ], - [ "\033[2XStraightLineDecisionNC\033[102X", "6.1-5", [ 6, 1, 5 ], 135, 82, + [ "\033[2XStraightLineDecisionNC\033[102X", "6.1-5", [ 6, 1, 5 ], 135, 84, "straightlinedecisionnc", "X825C4E4180F3D989" ], [ "\033[2XResultOfStraightLineDecision\033[102X", "6.1-6", [ 6, 1, 6 ], - 152, 82, "resultofstraightlinedecision", "X7E7B328A84685480" ], - [ "semi-presentation", "6.1-7", [ 6, 1, 7 ], 215, 83, "semi-presentation", + 152, 84, "resultofstraightlinedecision", "X7E7B328A84685480" ], + [ "semi-presentation", "6.1-7", [ 6, 1, 7 ], 215, 85, "semi-presentation", "X7C94ECAC8583CEAE" ], - [ "presentation", "6.1-7", [ 6, 1, 7 ], 215, 83, "presentation", + [ "presentation", "6.1-7", [ 6, 1, 7 ], 215, 85, "presentation", "X7C94ECAC8583CEAE" ], - [ "\033[2XAsStraightLineDecision\033[102X", "6.1-8", [ 6, 1, 8 ], 301, 85, + [ "\033[2XAsStraightLineDecision\033[102X", "6.1-8", [ 6, 1, 8 ], 301, 87, "asstraightlinedecision", "X7C13D08C7D55E20A" ], [ "\033[2XStraightLineProgramFromStraightLineDecision\033[102X", "6.1-9", - [ 6, 1, 9 ], 327, 85, "straightlineprogramfromstraightlinedecision", + [ 6, 1, 9 ], 327, 87, "straightlineprogramfromstraightlinedecision", "X7EA613C57DDC67D5" ], - [ "\033[2XIsBBoxProgram\033[102X", "6.2-1", [ 6, 2, 1 ], 448, 87, + [ "\033[2XIsBBoxProgram\033[102X", "6.2-1", [ 6, 2, 1 ], 448, 89, "isbboxprogram", "X87CAF2DE870D0E3B" ], - [ "\033[2XScanBBoxProgram\033[102X", "6.2-2", [ 6, 2, 2 ], 454, 87, + [ "\033[2XScanBBoxProgram\033[102X", "6.2-2", [ 6, 2, 2 ], 454, 89, "scanbboxprogram", "X7EA20532868F9863" ], - [ "\033[2XRunBBoxProgram\033[102X", "6.2-3", [ 6, 2, 3 ], 517, 88, + [ "\033[2XRunBBoxProgram\033[102X", "6.2-3", [ 6, 2, 3 ], 517, 90, "runbboxprogram", "X7D211A5D8602B330" ], - [ "\033[2XResultOfBBoxProgram\033[102X", "6.2-4", [ 6, 2, 4 ], 589, 89, + [ "\033[2XResultOfBBoxProgram\033[102X", "6.2-4", [ 6, 2, 4 ], 589, 91, "resultofbboxprogram", "X869BACFB80A3CC87" ], - [ "\033[2XAsBBoxProgram\033[102X", "6.2-5", [ 6, 2, 5 ], 622, 90, + [ "\033[2XAsBBoxProgram\033[102X", "6.2-5", [ 6, 2, 5 ], 622, 92, "asbboxprogram", "X826ACFE887E0B6B8" ], - [ "\033[2XAsStraightLineProgram\033[102X", "6.2-6", [ 6, 2, 6 ], 662, 91, + [ "\033[2XAsStraightLineProgram\033[102X", "6.2-6", [ 6, 2, 6 ], 662, 93, "asstraightlineprogram", "X7D36DFA87C8B2C48" ], [ "\033[2XMinimalRepresentationInfo\033[102X", "6.3-1", [ 6, 3, 1 ], 702, - 91, "minimalrepresentationinfo", "X7DC66D8282B2BB7F" ], + 93, "minimalrepresentationinfo", "X7DC66D8282B2BB7F" ], [ "\033[2XMinimalRepresentationInfoData\033[102X", "6.3-2", [ 6, 3, 2 ], - 776, 92, "minimalrepresentationinfodata", "X7E1B76DC86A8C405" ], + 776, 94, "minimalrepresentationinfodata", "X7E1B76DC86A8C405" ], [ "\033[2XSetMinimalRepresentationInfo\033[102X", "6.3-3", [ 6, 3, 3 ], - 810, 93, "setminimalrepresentationinfo", "X79C4C9F683E919C9" ], - [ "\033[2XAGR.JsonText\033[102X", "6.4-2", [ 6, 4, 2 ], 1037, 97, + 810, 95, "setminimalrepresentationinfo", "X79C4C9F683E919C9" ], + [ "\033[2XAGR.JsonText\033[102X", "6.4-2", [ 6, 4, 2 ], 1037, 99, "agr.jsontext", "X87A307D284975AA9" ], [ "\033[2XAGR.GapObjectOfJsonText\033[102X", "6.4-3", [ 6, 4, 3 ], 1068, - 97, "agr.gapobjectofjsontext", "X79DF4DC67DCFE27B" ], - [ "\033[2XInfoAtlasRep\033[102X", "7.1-1", [ 7, 1, 1 ], 33, 98, + 99, "agr.gapobjectofjsontext", "X79DF4DC67DCFE27B" ], + [ "\033[2XInfoAtlasRep\033[102X", "7.1-1", [ 7, 1, 1 ], 33, 100, "infoatlasrep", "X8006BE167EB81E16" ], - [ "\033[2XInfoCMeatAxe\033[102X", "7.1-2", [ 7, 1, 2 ], 42, 98, + [ "\033[2XInfoCMeatAxe\033[102X", "7.1-2", [ 7, 1, 2 ], 42, 100, "infocmeataxe", "X78601C3A87921E08" ], - [ "\033[2XInfoBBox\033[102X", "7.1-3", [ 7, 1, 3 ], 50, 99, "infobbox", + [ "\033[2XInfoBBox\033[102X", "7.1-3", [ 7, 1, 3 ], 50, 101, "infobbox", "X80D5EF9A7FEF124B" ], - [ "\033[2XAGR\033[102X", "7.1-4", [ 7, 1, 4 ], 58, 99, "agr", + [ "\033[2XAGR\033[102X", "7.1-4", [ 7, 1, 4 ], 58, 101, "agr", "X84A157BF7D0CB270" ], [ "\033[2XAtlasOfGroupRepresentationsInfo\033[102X", "7.1-5", [ 7, 1, 5 ], - 66, 99, "atlasofgrouprepresentationsinfo", "X7BEC94A6781E126E" ], - [ "matrix MeatAxe format", "7.3", [ 7, 3, 0 ], 187, 101, + 66, 101, "atlasofgrouprepresentationsinfo", "X7BEC94A6781E126E" ], + [ "matrix MeatAxe format", "7.3", [ 7, 3, 0 ], 187, 103, "matrix meataxe format", "X7D76D4437A9646E7" ], - [ "permutation MeatAxe format", "7.3", [ 7, 3, 0 ], 187, 101, + [ "permutation MeatAxe format", "7.3", [ 7, 3, 0 ], 187, 103, "permutation meataxe format", "X7D76D4437A9646E7" ], - [ "\033[2XScanMeatAxeFile\033[102X", "7.3-1", [ 7, 3, 1 ], 190, 101, + [ "\033[2XScanMeatAxeFile\033[102X", "7.3-1", [ 7, 3, 1 ], 190, 103, "scanmeataxefile", "X83D5103780E1238F" ], - [ "\033[11Xzcv\033[111X", "7.3-1", [ 7, 3, 1 ], 190, 101, "zcv", + [ "\033[11Xzcv\033[111X", "7.3-1", [ 7, 3, 1 ], 190, 103, "zcv", "X83D5103780E1238F" ], - [ "\033[2XMeatAxeString\033[102X", "7.3-2", [ 7, 3, 2 ], 219, 101, + [ "\033[2XMeatAxeString\033[102X", "7.3-2", [ 7, 3, 2 ], 219, 103, "meataxestring", "X7DDD09BE87063052" ], [ "\033[2XMeatAxeString\033[102X for permutations and a degree", "7.3-2", - [ 7, 3, 2 ], 219, 101, "meataxestring for permutations and a degree", + [ 7, 3, 2 ], 219, 103, "meataxestring for permutations and a degree", "X7DDD09BE87063052" ], [ "\033[2XMeatAxeString\033[102X for a permutation, q, and dims", "7.3-2", - [ 7, 3, 2 ], 219, 101, "meataxestring for a permutation q and dims", + [ 7, 3, 2 ], 219, 103, "meataxestring for a permutation q and dims", "X7DDD09BE87063052" ], [ "\033[2XMeatAxeString\033[102X for a matrix of integers", "7.3-2", - [ 7, 3, 2 ], 219, 101, "meataxestring for a matrix of integers", + [ 7, 3, 2 ], 219, 103, "meataxestring for a matrix of integers", "X7DDD09BE87063052" ], - [ "\033[2XFFList\033[102X", "7.3-3", [ 7, 3, 3 ], 299, 103, "fflist", + [ "\033[2XFFList\033[102X", "7.3-3", [ 7, 3, 3 ], 299, 105, "fflist", "X79D9AE4878E9DFA6" ], - [ "\033[2XFFLists\033[102X", "7.3-3", [ 7, 3, 3 ], 299, 103, "fflists", + [ "\033[2XFFLists\033[102X", "7.3-3", [ 7, 3, 3 ], 299, 105, "fflists", "X79D9AE4878E9DFA6" ], - [ "\033[2XCMtxBinaryFFMatOrPerm\033[102X", "7.3-4", [ 7, 3, 4 ], 340, 103, + [ "\033[2XCMtxBinaryFFMatOrPerm\033[102X", "7.3-4", [ 7, 3, 4 ], 340, 105, "cmtxbinaryffmatorperm", "X8477AA668733255C" ], - [ "\033[2XFFMatOrPermCMtxBinary\033[102X", "7.3-5", [ 7, 3, 5 ], 376, 104, + [ "\033[2XFFMatOrPermCMtxBinary\033[102X", "7.3-5", [ 7, 3, 5 ], 376, 106, "ffmatorpermcmtxbinary", "X872FA00C7F791FBB" ], [ "\033[2XScanStraightLineProgram\033[102X", "7.4-1", [ 7, 4, 1 ], 403, - 104, "scanstraightlineprogram", "X7D6617E47B013A37" ], - [ "\033[2XAtlasStringOfProgram\033[102X", "7.4-2", [ 7, 4, 2 ], 502, 106, + 106, "scanstraightlineprogram", "X7D6617E47B013A37" ], + [ "\033[2XAtlasStringOfProgram\033[102X", "7.4-2", [ 7, 4, 2 ], 502, 108, "atlasstringofprogram", "X82842D807A7B7DF7" ], [ "\033[2XAtlasStringOfProgram\033[102X for MeatAxe format output", - "7.4-2", [ 7, 4, 2 ], 502, 106, + "7.4-2", [ 7, 4, 2 ], 502, 108, "atlasstringofprogram for meataxe format output", "X82842D807A7B7DF7" ], - [ "\033[2XAGR.DeclareDataType\033[102X", "7.5-1", [ 7, 5, 1 ], 608, 108, + [ "\033[2XAGR.DeclareDataType\033[102X", "7.5-1", [ 7, 5, 1 ], 608, 110, "agr.declaredatatype", "X836AA4EA8346BE5B" ], - [ "semi-presentation", "7.6", [ 7, 6, 0 ], 763, 110, "semi-presentation", + [ "semi-presentation", "7.6", [ 7, 6, 0 ], 763, 112, "semi-presentation", "X7A86627B80980F61" ], - [ "presentation", "7.6", [ 7, 6, 0 ], 763, 110, "presentation", + [ "presentation", "7.6", [ 7, 6, 0 ], 763, 112, "presentation", "X7A86627B80980F61" ], [ "black box program for finding standard generators", "7.6", [ 7, 6, 0 ], - 763, 110, "black box program for finding standard generators", + 763, 112, "black box program for finding standard generators", "X7A86627B80980F61" ], [ "\033[2XAGR.ParseFilenameFormat\033[102X", "7.6-1", [ 7, 6, 1 ], 906, - 113, "agr.parsefilenameformat", "X8486CCB181FC99A3" ], - [ "\033[2XAGR.FileContents\033[102X", "7.6-2", [ 7, 6, 2 ], 939, 113, + 115, "agr.parsefilenameformat", "X8486CCB181FC99A3" ], + [ "\033[2XAGR.FileContents\033[102X", "7.6-2", [ 7, 6, 2 ], 939, 115, "agr.filecontents", "X78AB92DB7C2CAB6E" ], [ "\033[2XAtlasRepIdentifier\033[102X convert an old type identifier to a new\ - type one", "7.7-1", [ 7, 7, 1 ], 1005, 114, + type one", "7.7-1", [ 7, 7, 1 ], 1005, 116, "atlasrepidentifier convert an old type identifier to a new type one", "X81685FC979BC3FB8" ], [ "\033[2XAtlasRepIdentifier\033[102X convert a new type identifier to an old\ - type one", "7.7-1", [ 7, 7, 1 ], 1005, 114, + type one", "7.7-1", [ 7, 7, 1 ], 1005, 116, "atlasrepidentifier convert a new type identifier to an old type one", "X81685FC979BC3FB8" ] ] ); diff -pruN 2.1.8-1/doc/manualbib.xml 2.1.9-1/doc/manualbib.xml --- 2.1.8-1/doc/manualbib.xml 2024-01-03 13:53:42.000000000 +0000 +++ 2.1.9-1/doc/manualbib.xml 2024-08-22 09:12:24.000000000 +0000 @@ -106,9 +106,9 @@<C>AtlasRep</C>, A <Wrap Name="Package">GAP</Wrap> <C>I</C>nterface to the <C>A</C>tlas of <C>G</C>roup <C>R</C>epresentations, - <C>V</C>ersion 2.1.8 +V ersion 2.1.9- https://www.math.rwth-aachen.de/~Thomas.Breuer/atlasrep Jan +Aug 2024 diff -pruN 2.1.8-1/gap/interfac.gd 2.1.9-1/gap/interfac.gd --- 2.1.8-1/gap/interfac.gd 2023-03-27 13:18:59.000000000 +0000 +++ 2.1.9-1/gap/interfac.gd 2024-08-22 12:58:14.000000000 +0000 @@ -99,6 +99,10 @@ ## GAP package- ## the &GAP; name of
##G (see ## Section ), +## if applicable followed by a string (by default a star* ) +## indicating that at least one column refers to data not belonging to +## the core part of the database +## (see Section ). ### ##- @@ -186,8 +190,13 @@ ##
## ##-## After the representations, +## Below the representations, ## the programs available for gapname are listed. +## In each row of the overview, the entry in the first column is followed +## by a string (by default a star
* ) if the row refers to data +## not belonging to the core part of the database +## (see Section ). +#### The following optional arguments can be used to restrict the overviews. ##
##
@@ -478,6 +487,9 @@ ## and no for computing images under outer automorphisms; ## straight line decisions for checking the standardization of generators ## or group elements are available. +## The star
* in the first column of the row forA_5 means +## that some of the available data do not belong to the core part of the +## database (see Section ). ####
DisplayAtlasInfo( [ "M11", "A5" ], NrMovedPoints, 11 ); @@ -619,6 +631,10 @@ ## in fact standard generators is available as well as a presentation ## in terms of standard generators, ## see . +## A straight line program for computing conjugacy class representatives +## is available, and the star * says that this program does not +## belong to the core part of the database +## (see Section ). ## ## <#/GAPDoc> ## diff -pruN 2.1.8-1/gap/interfac.gi 2.1.9-1/gap/interfac.gi --- 2.1.8-1/gap/interfac.gi 2023-08-30 08:07:25.000000000 +0000 +++ 2.1.9-1/gap/interfac.gi 2024-08-20 10:14:34.000000000 +0000 @@ -1221,6 +1221,12 @@ AGR.AtlasGeneratingSetInfo:= function( c fi; fi; + # A prescribed ring prescribes also a characteristic. + if givenRing <> fail and Position( conditions, Characteristic ) = fail then + conditions:= Concatenation( conditions, + [ Characteristic, Characteristic( givenRing ) ] ); + fi; + # Deal with a prescribed representation number. pos:= Position( conditions, Position ); if pos <> fail then diff -pruN 2.1.8-1/gap/types.g 2.1.9-1/gap/types.g --- 2.1.8-1/gap/types.g 2023-08-17 13:35:48.000000000 +0000 +++ 2.1.9-1/gap/types.g 2024-03-28 12:26:06.000000000 +0000 @@ -818,7 +818,7 @@ AGR.DeclareDataType( "rep", "matalg", r # case of a field not consisting of cyclotomics ( IsBound( info.ring ) and IsBound( info.polynomial ) and - IsField( x ) and + IsField( x ) and Characteristic( x ) = 0 and 1 in List( Factors( UnivariatePolynomial( x, info.polynomial * One( x ), 1 ) ), diff -pruN 2.1.8-1/gap/userpref.g 2.1.9-1/gap/userpref.g --- 2.1.8-1/gap/userpref.g 2023-03-27 13:20:12.000000000 +0000 +++ 2.1.9-1/gap/userpref.g 2024-08-27 12:41:11.000000000 +0000 @@ -71,7 +71,9 @@ when the AtlasRep package and its data e ##dataext ,datagens ,dataword of the &AtlasRep; ## directory: ## If these directories are writable for the user then the installation path -## of the &AtlasRep; package (including a trailing slash symbol) is taken, +## of the &AtlasRep; package (including a trailing slash symbol) is taken. +## If this is not the case but the currentl &GAP; session is running inside +## a &Julia; session then a &Julia; scratchspace is taken, ## otherwise the default is an empty string. ## ## <#/GAPDoc> @@ -87,17 +89,50 @@ but not saved to local files. \ The default depends on the user's permissions for the subdirectories \ 'dataext', 'datagens', 'dataword' of the AtlasRep directory: \ If these directories are writable for the user then the installation path \ -of the AtlasRep package (including a trailing slash symbol) is taken, \ +of the AtlasRep package (including a trailing slash symbol) is taken. \ +If this is not the case but the current GAP session is running inside a \ +Julia session then a Julia scratchspace is taken, \ otherwise the default is an empty string." ], default:= function() - local dir; + local val, dir, julia, Scratch, subdir, file; + + # In general, the default of a user preference gets computed + # also if a value is already stored. + # (This can be regarded as a bug in the handling of user preferences.) + # Here we return a stored value without running the computation. + val:= UserPreference( "AtlasRep", "AtlasRepDataDirectory" ); + if val <> fail then + return val; + fi; dir:= DirectoriesPackageLibrary( "atlasrep", "" ); if ForAll( [ "dataext", "datagens", "dataword" ], subdir -> IsWritableFile( Filename( dir, subdir ) ) ) then # The package directory is the first default. return Filename( dir, "" ); + elif IsPackageLoaded( "JuliaInterface" ) then + # Create/fetch a Julia scratchspace. + julia:= ValueGlobal( "Julia" ); + Scratch:= julia.GAP.eval( ValueGlobal( "JuliaEvalString" )( + ":(import Scratch; Scratch)" ) ); + val:= julia.GAP.GapObj( Scratch.( "get_scratch!" )( julia.GAP, + julia.String( "atlasrep_cache" ) ) ); + if not IsDirectoryPath( val ) then + # Something went wrong. + return ""; + fi; + + # Create writable subdirectories if necessary. + dir:= Directory( val ); + for subdir in [ "datagens", "dataword", "dataext" ] do + file:= Filename( dir, subdir ); + if not IsDirectoryPath( file ) then + CreateDir( file ); + fi; + od; + + return Concatenation( val, "/" ); else return ""; fi; diff -pruN 2.1.8-1/makedocrel.g 2.1.9-1/makedocrel.g --- 2.1.8-1/makedocrel.g 2023-08-17 21:11:33.000000000 +0000 +++ 2.1.9-1/makedocrel.g 2024-08-22 09:38:13.000000000 +0000 @@ -9,6 +9,9 @@ pathtodoc:= "doc";; main:= "main.xml";; pkgname:= "AtlasRep";; +SetPackagePath( pkgname, "." ); +LoadPackage( pkgname ); + # Extract the book name from the 'main' file. str:= StringFile( Concatenation( pathtodoc, "/", main ) );; pos:= PositionSublist( str, "IsRecord( OneAtlasGeneratingSetInfo true gap> IsRecord( OneAtlasGeneratingSetInfo( "M11", Character, 2 ) ); true +gap> IsRecord( OneAtlasGeneratingSetInfo( "M11", Character, "5a" ) ); +false +gap> IsRecord( OneAtlasGeneratingSetInfo( "M11", Ring, GF(3), +> Character, "5a" ) ); +true +gap> IsRecord( OneAtlasGeneratingSetInfo( "M11", Characteristic, 3, +> Character, "5a" ) ); +true gap> IsRecord( OneAtlasGeneratingSetInfo( Character, 2 ) ); true gap> x:= Indeterminate( Rationals, "x" );; @@ -439,6 +447,9 @@ gap> info:= OneAtlasGeneratingSetInfo( " gap> info.givenRing = F; true gap> AtlasGroup( "A5", Characteristic, 0, Dimension, 3 );; +gap> ForAll( AllAtlasGeneratingSetInfos( "A5", Ring, GF(5) ), +> r -> Characteristic( r.ring ) = 5 ); +true # Check access to straight line programs with unusual parameters. gap> IsRecord( AtlasProgramInfo( "M11", "maxes", 1, "version", 1 ) ); diff -pruN 2.1.8-1/tst/docxpl.tst 2.1.9-1/tst/docxpl.tst --- 2.1.8-1/tst/docxpl.tst 2024-01-04 10:04:20.000000000 +0000 +++ 2.1.9-1/tst/docxpl.tst 2024-08-22 13:25:48.000000000 +0000 @@ -610,20 +610,20 @@ gap> AtlasClassNames( CharacterTable( "2 gap> AtlasCharacterNames( CharacterTable( "A5" ) ); [ "1a", "3a", "3b", "4a", "5a" ] -## doc/../gap/interfac.gd (453-459) +## doc/../gap/interfac.gd (462-468) gap> DisplayAtlasInfo( [ "M11", "A5" ] ); group | # | maxes | cl | cyc | out | fnd | chk | prs ------+----+-------+----+-----+-----+-----+-----+---- M11 | 42 | 5 | + | + | | + | + | + A5* | 18 | 3 | + | | | | + | + -## doc/../gap/interfac.gd (482-487) +## doc/../gap/interfac.gd (494-499) gap> DisplayAtlasInfo( [ "M11", "A5" ], NrMovedPoints, 11 ); group | # | maxes | cl | cyc | out | fnd | chk | prs ------+---+-------+----+-----+-----+-----+-----+---- M11 | 1 | 5 | + | + | | + | + | + -## doc/../gap/interfac.gd (498-510) +## doc/../gap/interfac.gd (510-522) gap> DisplayAtlasInfo( "A5", IsPermGroup, true ); Representations for G = A5: (all refer to std. generators 1) --------------------------- @@ -636,7 +636,7 @@ Representations for G = A5: (all refe 1: G <= Sym(5) 3-trans., on cosets of A4 (1st max.) 2: G <= Sym(6) 2-trans., on cosets of D10 (2nd max.) -## doc/../gap/interfac.gd (515-534) +## doc/../gap/interfac.gd (527-546) gap> DisplayAtlasInfo( "A5", Dimension, [ 1 .. 3 ] ); Representations for G = A5: (all refer to std. generators 1) --------------------------- @@ -656,7 +656,7 @@ Representations for G = A5: (all refe 17: G <= GL(3a,Field([Sqrt(5)])) character 3a 18: G <= GL(3b,Field([Sqrt(5)])) character 3b -## doc/../gap/interfac.gd (543-551) +## doc/../gap/interfac.gd (555-563) gap> DisplayAtlasInfo( "A5", Identifier, "a" ); Representations for G = A5: (all refer to std. generators 1) --------------------------- @@ -665,7 +665,7 @@ Representations for G = A5: (all refe 12: G <= GL(3a,9) character 3a 17: G <= GL(3a,Field([Sqrt(5)])) character 3a -## doc/../gap/interfac.gd (556-591) +## doc/../gap/interfac.gd (568-603) gap> DisplayAtlasInfo( "A5", NrMovedPoints, IsPrimeInt ); Representations for G = A5: (all refer to std. generators 1) --------------------------- @@ -701,7 +701,7 @@ Representations for G = A5: (all refe 10: G <= GL(3,5) character 3a 11: G <= GL(5,5) character 5a -## doc/../gap/interfac.gd (601-614) +## doc/../gap/interfac.gd (613-626) gap> DisplayAtlasInfo( "A5", IsStraightLineProgram, true ); Programs for G = A5: (all refer to std. generators 1) -------------------- @@ -715,7 +715,7 @@ Programs for G = A5: (all refer to st (check) (pres) -## doc/../gap/interfac.gd (783-812) +## doc/../gap/interfac.gd (799-828) gap> gens1:= AtlasGenerators( "A5", 1 ); rec( charactername := "1a+4a", constituents := [ 1, 4 ], contents := "core", generators := [ (1,2)(3,4), (1,3,5) ], @@ -745,7 +745,7 @@ rec( charactername := "3a", constituents ring := NF(5,[ 1, 4 ]), size := 60, standardization := 1, type := "matalg" ) -## doc/../gap/interfac.gd (817-834) +## doc/../gap/interfac.gd (833-850) gap> gens1max2:= AtlasGenerators( "A5", 1, 2 ); rec( charactername := "1a+4a", constituents := [ 1, 4 ], contents := "core", generators := [ (1,2)(3,4), (2,3)(4,5) ], @@ -763,7 +763,7 @@ gap> Size( max2 ); gap> IdGroup( max2 ) = IdGroup( DihedralGroup( 10 ) ); true -## doc/../gap/interfac.gd (1150-1170) +## doc/../gap/interfac.gd (1166-1186) gap> prog:= AtlasProgram( "A5", 2 ); rec( groupname := "A5", identifier := [ "A5", "A5G1-max2W1", 1 ], program := , size := 10, @@ -784,7 +784,7 @@ gap> maxgens:= ResultOfStraightLineProgr gap> maxgens = gens1max2.generators; true -## doc/../gap/interfac.gd (1185-1196) +## doc/../gap/interfac.gd (1201-1212) gap> prog:= AtlasProgram( "J1", "cyclic" ); rec( groupname := "J1", identifier := [ "J1", "J1G1-cycW1", 1 ], outputs := [ "6A", "7A", "10B", "11A", "15B", "19A" ], @@ -796,12 +796,12 @@ gap> ResultOfStraightLineProgram( prog.p (x*y*x*(y*x*y)^3*x*y^2)^2*x*y*x*(y*x*y)^2*y, x*y*x*(y*x*y)^2*y, (x*y)^2*y ] -## doc/../gap/interfac.gd (887-891) +## doc/../gap/interfac.gd (903-907) gap> AtlasProgramInfo( "J1", "cyclic" ); rec( groupname := "J1", identifier := [ "J1", "J1G1-cycW1", 1 ], standardization := 1, version := "1" ) -## doc/../gap/interfac.gd (1281-1305) +## doc/../gap/interfac.gd (1297-1321) gap> info:= OneAtlasGeneratingSetInfo( "A5" ); rec( charactername := "1a+4a", constituents := [ 1, 4 ], contents := "core", groupname := "A5", id := "", @@ -826,7 +826,7 @@ true gap> OneAtlasGeneratingSetInfo( "A5", NrMovedPoints, 20 ); fail -## doc/../gap/interfac.gd (1315-1399) +## doc/../gap/interfac.gd (1331-1415) gap> info:= OneAtlasGeneratingSetInfo( "A5", IsMatrixGroup, true ); rec( charactername := "4a", constituents := [ 4 ], contents := "core", dim := 4, groupname := "A5", id := "a", @@ -911,7 +911,7 @@ gap> Difference( RecNames( gens ), RecNa gap> OneAtlasGeneratingSetInfo( "A5", Ring, GF(17) ); fail -## doc/../gap/interfac.gd (1435-1458) +## doc/../gap/interfac.gd (1451-1474) gap> AllAtlasGeneratingSetInfos( "A5", IsPermGroup, true ); [ rec( charactername := "1a+4a", constituents := [ 1, 4 ], contents := "core", groupname := "A5", id := "", @@ -935,11 +935,11 @@ gap> AllAtlasGeneratingSetInfos( "A5", I size := 60, stabilizer := "S3", standardization := 1, transitivity := 1, type := "perm" ) ] -## doc/../gap/interfac.gd (1600-1603) +## doc/../gap/interfac.gd (1616-1619) gap> g:= AtlasGroup( "A5" ); Group([ (1,2)(3,4), (1,3,5) ]) -## doc/../gap/interfac.gd (1611-1623) +## doc/../gap/interfac.gd (1627-1639) gap> info:= OneAtlasGeneratingSetInfo( "A5" ); rec( charactername := "1a+4a", constituents := [ 1, 4 ], contents := "core", groupname := "A5", id := "", @@ -952,13 +952,13 @@ Group([ (1,2)(3,4), (1,3,5) ]) gap> AtlasGroup( info.identifier ); Group([ (1,2)(3,4), (1,3,5) ]) -## doc/../gap/interfac.gd (1694-1699) +## doc/../gap/interfac.gd (1710-1715) gap> g:= AtlasSubgroup( "A5", NrMovedPoints, 5, 1 ); Group([ (1,5)(2,3), (1,3,5) ]) gap> NrMovedPoints( g ); 4 -## doc/../gap/interfac.gd (1709-1723) +## doc/../gap/interfac.gd (1725-1739) gap> info:= OneAtlasGeneratingSetInfo( "A5" ); rec( charactername := "1a+4a", constituents := [ 1, 4 ], contents := "core", groupname := "A5", id := "", @@ -973,7 +973,7 @@ Group([ (1,5)(2,3), (1,3,5) ]) gap> AtlasSubgroup( AtlasGroup( "A5" ), 1 ); Group([ (1,5)(2,3), (1,3,5) ]) -## doc/../gap/interfac.gd (1496-1504) +## doc/../gap/interfac.gd (1512-1520) gap> AtlasRepInfoRecord( AtlasGroup( "A5" ) ); rec( charactername := "1a+4a", constituents := [ 1, 4 ], contents := "core", groupname := "A5", id := "", @@ -982,7 +982,7 @@ rec( charactername := "1a+4a", constitue repname := "A5G1-p5B0", repnr := 1, size := 60, stabilizer := "A4", standardization := 1, transitivity := 3, type := "perm" ) -## doc/../gap/interfac.gd (1550-1558) +## doc/../gap/interfac.gd (1566-1574) gap> AtlasRepInfoRecord( "A5" ); rec( name := "A5", nrMaxes := 3, size := 60, sizesMaxes := [ 12, 10, 6 ], @@ -991,7 +991,7 @@ rec( name := "A5", nrMaxes := 3, size := gap> AtlasRepInfoRecord( "J5" ); rec( ) -## doc/../gap/interfac.gd (1779-1801) +## doc/../gap/interfac.gd (1795-1817) gap> g:= MathieuGroup( 12 );; gap> gens:= GeneratorsOfGroup( g );; # switch to 2 generators gap> g:= Group( gens[1] * gens[3], gens[2] * gens[3] );; @@ -1014,7 +1014,7 @@ gap> List( relimgs, Order ); # std. gen gap> Size( NormalClosure( g, SubgroupNC( g, relimgs ) ) ); 2 -## doc/../gap/interfac.gd (1936-1944) +## doc/../gap/interfac.gd (1952-1960) gap> StandardGeneratorsData( MathieuGroup( 11 ), "J0" ); fail gap> StandardGeneratorsData( MathieuGroup( 11 ), "M12" ); @@ -1023,7 +1023,7 @@ gap> repeat > res:= StandardGeneratorsData( MathieuGroup( 12 ), "M11" ); > until res = fail; -## doc/../gap/interfac.gd (1952-1966) +## doc/../gap/interfac.gd (1968-1982) gap> gens:= GeneratorsOfGroup( MathieuGroup( 12 ) );; gap> std:= 1;; gap> res:= StandardGeneratorsData( gens, "M12", std );; @@ -1038,7 +1038,7 @@ gap> evl:= EvaluatePresentation( res.std gap> ForAll( evl, IsOne ); true -## doc/../gap/interfac.gd (1977-1991) +## doc/../gap/interfac.gd (1993-2007) gap> g:= AtlasGroup( "2.M12", IsMatrixGroup, Characteristic, IsPosInt );; gap> gens:= Permuted( GeneratorsOfGroup( g ), (1,2) );; gap> res:= StandardGeneratorsData( gens, "M12", std : projective );; diff -pruN 2.1.8-1/tst/docxpl2.tst 2.1.9-1/tst/docxpl2.tst --- 2.1.8-1/tst/docxpl2.tst 2024-01-04 10:04:21.000000000 +0000 +++ 2.1.9-1/tst/docxpl2.tst 2024-08-22 13:25:48.000000000 +0000 @@ -604,20 +604,20 @@ gap> AtlasClassNames( CharacterTable( "2 gap> AtlasCharacterNames( CharacterTable( "A5" ) ); [ "1a", "3a", "3b", "4a", "5a" ] -## doc/../gap/interfac.gd (453-459) +## doc/../gap/interfac.gd (462-468) gap> DisplayAtlasInfo( [ "M11", "A5" ] ); group | # | maxes | cl | cyc | out | fnd | chk | prs ------+----+-------+----+-----+-----+-----+-----+---- M11 | 42 | 5 | + | + | | + | + | + A5* | 18 | 3 | + | | | | + | + -## doc/../gap/interfac.gd (482-487) +## doc/../gap/interfac.gd (494-499) gap> DisplayAtlasInfo( [ "M11", "A5" ], NrMovedPoints, 11 ); group | # | maxes | cl | cyc | out | fnd | chk | prs ------+---+-------+----+-----+-----+-----+-----+---- M11 | 1 | 5 | + | + | | + | + | + -## doc/../gap/interfac.gd (498-510) +## doc/../gap/interfac.gd (510-522) gap> DisplayAtlasInfo( "A5", IsPermGroup, true ); Representations for G = A5: (all refer to std. generators 1) --------------------------- @@ -630,7 +630,7 @@ Representations for G = A5: (all refe 1: G <= Sym(5) 3-trans., on cosets of A4 (1st max.) 2: G <= Sym(6) 2-trans., on cosets of D10 (2nd max.) -## doc/../gap/interfac.gd (515-534) +## doc/../gap/interfac.gd (527-546) gap> DisplayAtlasInfo( "A5", Dimension, [ 1 .. 3 ] ); Representations for G = A5: (all refer to std. generators 1) --------------------------- @@ -650,7 +650,7 @@ Representations for G = A5: (all refe 17: G <= GL(3a,Field([Sqrt(5)])) character 3a 18: G <= GL(3b,Field([Sqrt(5)])) character 3b -## doc/../gap/interfac.gd (543-551) +## doc/../gap/interfac.gd (555-563) gap> DisplayAtlasInfo( "A5", Identifier, "a" ); Representations for G = A5: (all refer to std. generators 1) --------------------------- @@ -659,7 +659,7 @@ Representations for G = A5: (all refe 12: G <= GL(3a,9) character 3a 17: G <= GL(3a,Field([Sqrt(5)])) character 3a -## doc/../gap/interfac.gd (556-591) +## doc/../gap/interfac.gd (568-603) gap> DisplayAtlasInfo( "A5", NrMovedPoints, IsPrimeInt ); Representations for G = A5: (all refer to std. generators 1) --------------------------- @@ -695,7 +695,7 @@ Representations for G = A5: (all refe 10: G <= GL(3,5) character 3a 11: G <= GL(5,5) character 5a -## doc/../gap/interfac.gd (601-614) +## doc/../gap/interfac.gd (613-626) gap> DisplayAtlasInfo( "A5", IsStraightLineProgram, true ); Programs for G = A5: (all refer to std. generators 1) -------------------- @@ -709,7 +709,7 @@ Programs for G = A5: (all refer to st (check) (pres) -## doc/../gap/interfac.gd (783-812) +## doc/../gap/interfac.gd (799-828) gap> gens1:= AtlasGenerators( "A5", 1 ); rec( charactername := "1a+4a", constituents := [ 1, 4 ], contents := "core", generators := [ (1,2)(3,4), (1,3,5) ], @@ -739,7 +739,7 @@ rec( charactername := "3a", constituents ring := NF(5,[ 1, 4 ]), size := 60, standardization := 1, type := "matalg" ) -## doc/../gap/interfac.gd (817-834) +## doc/../gap/interfac.gd (833-850) gap> gens1max2:= AtlasGenerators( "A5", 1, 2 ); rec( charactername := "1a+4a", constituents := [ 1, 4 ], contents := "core", generators := [ (1,2)(3,4), (2,3)(4,5) ], @@ -757,7 +757,7 @@ gap> Size( max2 ); gap> IdGroup( max2 ) = IdGroup( DihedralGroup( 10 ) ); true -## doc/../gap/interfac.gd (1150-1170) +## doc/../gap/interfac.gd (1166-1186) gap> prog:= AtlasProgram( "A5", 2 ); rec( groupname := "A5", identifier := [ "A5", "A5G1-max2W1", 1 ], program := , size := 10, @@ -778,7 +778,7 @@ gap> maxgens:= ResultOfStraightLineProgr gap> maxgens = gens1max2.generators; true -## doc/../gap/interfac.gd (1185-1196) +## doc/../gap/interfac.gd (1201-1212) gap> prog:= AtlasProgram( "J1", "cyclic" ); rec( groupname := "J1", identifier := [ "J1", "J1G1-cycW1", 1 ], outputs := [ "6A", "7A", "10B", "11A", "15B", "19A" ], @@ -790,12 +790,12 @@ gap> ResultOfStraightLineProgram( prog.p (x*y*x*(y*x*y)^3*x*y^2)^2*x*y*x*(y*x*y)^2*y, x*y*x*(y*x*y)^2*y, (x*y)^2*y ] -## doc/../gap/interfac.gd (887-891) +## doc/../gap/interfac.gd (903-907) gap> AtlasProgramInfo( "J1", "cyclic" ); rec( groupname := "J1", identifier := [ "J1", "J1G1-cycW1", 1 ], standardization := 1, version := "1" ) -## doc/../gap/interfac.gd (1281-1305) +## doc/../gap/interfac.gd (1297-1321) gap> info:= OneAtlasGeneratingSetInfo( "A5" ); rec( charactername := "1a+4a", constituents := [ 1, 4 ], contents := "core", groupname := "A5", id := "", @@ -820,7 +820,7 @@ true gap> OneAtlasGeneratingSetInfo( "A5", NrMovedPoints, 20 ); fail -## doc/../gap/interfac.gd (1315-1399) +## doc/../gap/interfac.gd (1331-1415) gap> info:= OneAtlasGeneratingSetInfo( "A5", IsMatrixGroup, true ); rec( charactername := "4a", constituents := [ 4 ], contents := "core", dim := 4, groupname := "A5", id := "a", @@ -905,7 +905,7 @@ gap> Difference( RecNames( gens ), RecNa gap> OneAtlasGeneratingSetInfo( "A5", Ring, GF(17) ); fail -## doc/../gap/interfac.gd (1435-1458) +## doc/../gap/interfac.gd (1451-1474) gap> AllAtlasGeneratingSetInfos( "A5", IsPermGroup, true ); [ rec( charactername := "1a+4a", constituents := [ 1, 4 ], contents := "core", groupname := "A5", id := "", @@ -929,11 +929,11 @@ gap> AllAtlasGeneratingSetInfos( "A5", I size := 60, stabilizer := "S3", standardization := 1, transitivity := 1, type := "perm" ) ] -## doc/../gap/interfac.gd (1600-1603) +## doc/../gap/interfac.gd (1616-1619) gap> g:= AtlasGroup( "A5" ); Group([ (1,2)(3,4), (1,3,5) ]) -## doc/../gap/interfac.gd (1611-1623) +## doc/../gap/interfac.gd (1627-1639) gap> info:= OneAtlasGeneratingSetInfo( "A5" ); rec( charactername := "1a+4a", constituents := [ 1, 4 ], contents := "core", groupname := "A5", id := "", @@ -946,13 +946,13 @@ Group([ (1,2)(3,4), (1,3,5) ]) gap> AtlasGroup( info.identifier ); Group([ (1,2)(3,4), (1,3,5) ]) -## doc/../gap/interfac.gd (1694-1699) +## doc/../gap/interfac.gd (1710-1715) gap> g:= AtlasSubgroup( "A5", NrMovedPoints, 5, 1 ); Group([ (1,5)(2,3), (1,3,5) ]) gap> NrMovedPoints( g ); 4 -## doc/../gap/interfac.gd (1709-1723) +## doc/../gap/interfac.gd (1725-1739) gap> info:= OneAtlasGeneratingSetInfo( "A5" ); rec( charactername := "1a+4a", constituents := [ 1, 4 ], contents := "core", groupname := "A5", id := "", @@ -967,7 +967,7 @@ Group([ (1,5)(2,3), (1,3,5) ]) gap> AtlasSubgroup( AtlasGroup( "A5" ), 1 ); Group([ (1,5)(2,3), (1,3,5) ]) -## doc/../gap/interfac.gd (1496-1504) +## doc/../gap/interfac.gd (1512-1520) gap> AtlasRepInfoRecord( AtlasGroup( "A5" ) ); rec( charactername := "1a+4a", constituents := [ 1, 4 ], contents := "core", groupname := "A5", id := "", @@ -976,7 +976,7 @@ rec( charactername := "1a+4a", constitue repname := "A5G1-p5B0", repnr := 1, size := 60, stabilizer := "A4", standardization := 1, transitivity := 3, type := "perm" ) -## doc/../gap/interfac.gd (1550-1558) +## doc/../gap/interfac.gd (1566-1574) gap> AtlasRepInfoRecord( "A5" ); rec( name := "A5", nrMaxes := 3, size := 60, sizesMaxes := [ 12, 10, 6 ], @@ -985,7 +985,7 @@ rec( name := "A5", nrMaxes := 3, size := gap> AtlasRepInfoRecord( "J5" ); rec( ) -## doc/../gap/interfac.gd (1779-1801) +## doc/../gap/interfac.gd (1795-1817) gap> g:= MathieuGroup( 12 );; gap> gens:= GeneratorsOfGroup( g );; # switch to 2 generators gap> g:= Group( gens[1] * gens[3], gens[2] * gens[3] );; @@ -1008,7 +1008,7 @@ gap> List( relimgs, Order ); # std. gen gap> Size( NormalClosure( g, SubgroupNC( g, relimgs ) ) ); 2 -## doc/../gap/interfac.gd (1936-1944) +## doc/../gap/interfac.gd (1952-1960) gap> StandardGeneratorsData( MathieuGroup( 11 ), "J0" ); fail gap> StandardGeneratorsData( MathieuGroup( 11 ), "M12" ); @@ -1017,7 +1017,7 @@ gap> repeat > res:= StandardGeneratorsData( MathieuGroup( 12 ), "M11" ); > until res = fail; -## doc/../gap/interfac.gd (1952-1966) +## doc/../gap/interfac.gd (1968-1982) gap> gens:= GeneratorsOfGroup( MathieuGroup( 12 ) );; gap> std:= 1;; gap> res:= StandardGeneratorsData( gens, "M12", std );; @@ -1032,7 +1032,7 @@ gap> evl:= EvaluatePresentation( res.std gap> ForAll( evl, IsOne ); true -## doc/../gap/interfac.gd (1977-1991) +## doc/../gap/interfac.gd (1993-2007) gap> g:= AtlasGroup( "2.M12", IsMatrixGroup, Characteristic, IsPosInt );; gap> gens:= Permuted( GeneratorsOfGroup( g ), (1,2) );; gap> res:= StandardGeneratorsData( gens, "M12", std : projective );;