Goto Chapter: Top 1 2 3 4 5 6 7 Bib Ind
 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 

1 Introduction to the AtlasRep Package
 1.1 The ATLAS of Group Representations
 1.2 The GAP Interface to the ATLAS of Group Representations
 1.3 What's New in AtlasRep, Compared to Older Versions?
 1.4 Acknowledgements

1 Introduction to the AtlasRep Package

The aim of the GAP 4 package AtlasRep is to provide a link between GAP and the "ATLAS of Group Representations" [ATLAS], a database that comprises generating permutations and matrices for many almost simple groups, and information about their maximal subgroups. This database is available independent of GAP at

http://brauer.maths.qmul.ac.uk/Atlas

The AtlasRep package consists of this database (see Section 1.1) and a GAP interface (see Section 1.2); the latter is extended by further information available via the internet (see Section 4.4).

This package manual has the following parts.

A tutorial

gives an overview how the functions of the package can be used, see Chapter 2.

User interface functions

are described in Chapter 3.

Customizations of the package

are described in Chapter 4.

Information how to extend the database

can be found in Chapter 5.

More technical information

can be found in the chapters 6 (concerning GAP objects that are introduced by the package) and 7 (concerning global variables and sanity checks).

1.1 The ATLAS of Group Representations

The ATLAS of Group Representations consists of matrices over various rings, permutations, and shell scripts encoding so-called black box programs (see [Nic06] and Section 6.2). Many of these scripts are straight line programs (see [BSWW01], [SWW00], and Reference: Straight Line Programs) and straight line decisions (see Section 6.1). These programs can be used to compute certain elements in a group G from its standard generators (see [Wil96] and Section 3.3) for example generators of maximal subgroups of G or representatives of conjugacy classes of G.

The ATLAS of Group Representations has been prepared by Robert Wilson, Peter Walsh, Jonathan Tripp, Ibrahim Suleiman, Richard Parker, Simon Norton, Simon Nickerson, Steve Linton, John Bray, and Rachel Abbott (in reverse alphabetical order).

The information was computed and composed using computer algebra systems such as MeatAxe (see [Rin]), Magma (see [CP96]), and GAP (in reverse alphabetical order). Part of the constructions have been documented in the literature on almost simple groups, or the results have been used in such publications, see for example the references in [CCNPW85] and [BN95].

If you use the ATLAS of Group Representations to solve a problem then please send a short email to R.A.Wilson@qmul.ac.uk about it. The ATLAS of Group Representations database should be referenced with the entry [ATLAS] in the bibliography of this manual.

If your work made use of functions of the GAP interface (see Section 1.2) then you should also reference this interface, as follows.

@misc{ AtlasRep1.5.1,
  author =       {Wilson, R. A. and Parker, R. A. and Nickerson, S. and
                  Bray, J. N. and Breuer, T.},
  title =        {{AtlasRep}, A \textsf{GAP} Interface to the Atlas of
                  Group Representations,
                  {V}ersion 1.5.1},
  month =        {March},
  year =         {2016},
  note =         {\textsf{GAP} package},
  howpublished = {http://www.math.rwth-aachen.de/\~{}Thomas.Breuer/atlasrep}
}

For referencing the GAP system in general, use the entry [GAP] in the bibliography of this manual, see also

http://www.gap-system.org.

1.2 The GAP Interface to the ATLAS of Group Representations

The GAP interface to the ATLAS of Group Representations consists of essentially two parts.

Information concerning the C-MeatAxe, including the manual [Rin], can be found at

http://www.math.rwth-aachen.de/LDFM/homes/MTX

The interface and this manual have been provided by Thomas Breuer, except for the interpreter for black box programs (see Section 6.2), which is due to Simon Nickerson. Comments, bug reports, and hints for improving the interface can be sent to sam@math.rwth-aachen.de.

1.3 What's New in AtlasRep, Compared to Older Versions?

1.3-1 What's New in Version 1.5.1? (March 2016)

1.3-2 What's New in Version 1.5? (July 2011)

1.3-3 What's New in Version 1.4? (June 2008)

1.3-4 What's New in Version 1.3.1? (October 2007)

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.

Besides this, the two functions AtlasGroup (3.5-7) and AtlasSubgroup (3.5-8) were introduced, and the extended function QuaternionAlgebra (Reference: QuaternionAlgebra) of GAP 4.4.10 can now be used for describing base rings in OneAtlasGeneratingSetInfo (3.5-5) and AllAtlasGeneratingSetInfos (3.5-6). (This is the reason why this version of the package requires at least version 4.4.10 of GAP.)

1.3-5 What's New in Version 1.3? (June 2007)

1.3-6 What's New in Version 1.2? (November 2003)

Not much.

The release of Version 1.2 became necessary first of all in order to provide a package version that is compatible with GAP 4.4, since some cross-references into the GAP Reference Manual were broken due to changes of section names. Additionally, several web addresses concerning the package itself were changed and thus had to be adjusted.

This opportunity was used

For AtlasRep users, the new feature of GAP 4.4 is particularly interesting that due to better kernel support, reading large matrices over finite fields is now faster than it was in GAP 4.3.

1.3-7 What's New in Version 1.1? (October 2002)

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-5.]

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.

As an alternative to perl, one can use wget now for transferring data files (see 4.3).

Data files can be read much more efficiently in GAP 4.3 than in GAP 4.2. In Version 1.1 of the AtlasRep package, this feature is used for reading matrices and permutations in MeatAxe text format with ScanMeatAxeFile (7.3-1). As a consequence, (at least) GAP 4.3 is required for AtlasRep Version 1.1.

The new compress component of the global variable AtlasOfGroupRepresentationsInfo (7.1-6) allows one to store data files automatically in gzipped form.

For matrix representations in characteristic zero, invariant forms and generators for the centralizer algebra are now accessible in GAP if they are contained in the source files --this information had been ignored in Version 1.0 (see AtlasOfGroupRepresentationsTestTableOfContentsRemoteUpdates (4.2-4) for necessary updates).

Additional information is now available via the internet (see 4.4).

The update facilities have been extended (see 4.2).

The manual is now distributed also in pdf and HTML format; on the other hand, the PostScript format manual is no longer contained in the archives.

Apart from these changes, a few minor bugs in the handling of MeatAxe files have been fixed, typos in the documentation have been corrected, and the syntax checks for ATLAS straight line programs (see 7.4) have been improved.

1.4 Acknowledgements

 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 
Goto Chapter: Top 1 2 3 4 5 6 7 Bib Ind

generated by GAPDoc2HTML