Documentation interface for GAP

[Other computer algebra documentation interfaces: MAGMA|quotpic]

News

To run programs associated with GAP you should have:

/home/02/gap/bin
in your path. Then

GAP 4 commands and packages (GAP 3 is here)
CommandRuns ... Documentation
Hypertext0 .pdf
gap, gap4 GAP 4.4.6
GAP Home page
Manuals at GAP Home
 Tutorial
Reference Manual
Programmers' Tutorial
Reference for programmers
New Features for package writers
Full index for all 5 manuals 		Tutorial
Reference Manual
Programmers' Tutorial
Reference for programmers
New Features for package writers
Full index for all 5 manuals
wsgap1 GAP 4.4.6 with saved workspace Manual GAP 4 Manual
See Section 3.11 (page 37)
pargap2 ParGAP 1.1.2 Parallel GAP 4 ParGAP Manual
  MPI links
MPI Forum
MPI Standard v1.1
MPI man pages 		ParGAP Manual
INTERNALS
xgap, xgap4 XGAP 4.21 with GAP 4.4 (X-windows GAP) Manual XGAP 4 Manual
ace3 ACE (Advanced Coset Enumerator) Standalone Manual
pq4 p-quotient: standalone of ANUPQ Standalone Manual
gac GAP Compiler Manual GAP 4 Manual
See Section 3.7 (page 35)
GAP 4.4 Package Description Manual
ACEAdvanced Coset EnumeratorHTMLPDF
ACE Research Application: PGRelFind HTML PDF
AClibAlmost Crystallographic Groups - A Library and AlgorithmsHTMLPDF
AlnuthAlgebraic number theory and an interface to KANTHTMLPDF
ANUPQANU p-QuotientHTMLPDF
AtlasRepAn Atlas of Group RepresentationsHTMLPDF
AutomataHTMLPDF
AutPGrpComputing the Automorphism Group of a p-GroupHTMLPDF
Carat5Interface to CARAT, a crystallographic groups packageHTMLPDF
cohomoloComputing Cohomology groups and Schur MultipliersHTMLPDF
CRISPComputing Radicals, Injectors, Projectors of solvable groupsHTMLPDF
CrystComputing with crystallographic groupsHTMLPDF
CrystCatThe crystallographic groups catalogHTMLPDF
CTblLibThe GAP Character Table LibraryHTMLPDF
CubefreeConstructing the groups of a given cubefree orderHTMLPDF
DESIGNThe Design Package for GAPHTMLPDF
EDIMElementary Divisors of Integer MatricesHTMLPDF
ExampleExample/Template of a GAP PackageHTMLPDF
FactIntA GAP4 Package for FACToring INTegersHTMLPDF
FGAFree Group AlgorithmsHTMLPDF
FORMATFormations of Finite Soluble GroupsHTMLPDF
fplsaInterface to fast external Lie Todd-Coxeter ProgramHTMLPDF
GAPDoca meta package for GAP documentationHTMLPDF
GAPDoc Example:example help book for GAPDocHTMLPDF
GRAPEGRaph Algorithms using PErmutation groupsHTMLPDF
GrpConstConstructing the Groups of a Given OrderHTMLPDF
GUAVAGUAVA Coding Theory PackageHTMLPDF
ifThe GAP interfaces to other CASesHTMLPDF
irredsolA library of irreducible solvable linear groups over finite fieldsHTMLPDF
ITC6Interactive Todd-Coxeter computationsHTMLPDF
kbmagKnuth-Bendix on Monoids and Automatic GroupsPDF
LAGUNALie AlGebras and UNits of group AlgebrasHTMLPDF
loopsThe LOOPS Package: Loops and quasigroups for GAPHTMLPDF
nqNilpotent Quotient AlgorithmHTMLPDF
NumericalSgpsNumerical SemigroupsHTMLPDF
OpenMathOpenMath functionality in GAPHTMLPDF
PolentaPolycyclic presentations for matrix groupsHTMLPDF
polycyclicComputation with polycyclic groupsHTMLPDF
QaoSQaoS - Querying Algebraic Objects SystemHTMLPDF
QuaGroupa package for doing computations with quantum groupsHTMLPDF
RadiRootRoots of a Polynomial as RadicalsHTMLPDF
RCWAResidue Class-Wise Affine groupsHTMLPDF
RepsnConstructing matrix representations of finite groupsHTMLPDF
ResClassesComputations with Residue Classes and their Set-Theoretic UnionsHTMLPDF
SgpVizSemigroup visualizationHTMLPDF
singularThe GAP interface to SingularHTMLPDF
SONATASystem of nearrings and their applicationsHTMLPDF
Eight easy pieces for SONATA: a SONATA tutorialHTMLPDF
SophusComputing with nilpotent Lie algebrasHTMLPDF
torictoric variety packageHTMLPDF
unipotComputing with elements of unipotent subgroups of Chevalley groupsHTMLPDF
XModCrossed Modules and Cat1-Groups in GAPHTMLPDF
Other commands/packages/libraries
CommandDescription Documentation via ...
gaphelp activates this help interface via Netscape
unzoo extracts files from a .zoo archive. With no arguments it gives usage information.
- GMP Version 4.1.47 info -f /home/02/gap/gmp/info/gmp.info
GAP 3 commands and packages
CommandRuns ... Documentation
Hypertext .dvi/.ps
gap3, gap3r4p4 GAP (Version 3 Revision 4 Patch Level 4) Manual manual.dvi
xgap38 XGAP ... an X-windows version of GAP XGAP Manual
Sq9 Alice Niemeyer's ANU Soluble Quotient program GAP Manual sqn92.ps
sq94.ps
GAP Manual (see p992)
kbprog10 Derek Holt's KBMAG (Knuth-Bendix in Monoids, and Automatic Groups) GAP Manual manual.dvi
fsa_format
GAP Manual (see p1219)
me11 Steve Linton's vector enumerator GAP Manual Vector Enumerator Programs
GAP Manual (see p1351)

0 If you find that some fonts are being shown incorrectly, read about HTML Font Setup. We have installed here the unicode version of the manual. So you will need a browser like Mozilla, Netscape 6+, Konqueror or Safari to be sure of correct rendering. Internet Explorer's support of unicode is limited.
1 Using a saved workspace, GAP starts a lot quicker. This saved workspace version of GAP 4.4.6 starts by reading the user's .gaprc and has all the usual default packages as well as EDIM, ACE, ANUPQ and GRAPE preloaded, and the usual GAP banner is suppressed. The script wsgap and saved workspace were generated with the aid of the shell script
/home/02/gap/gap4r4/CreateWorkspace.sh
which has been modified slightly for solaris2.10.
2 To run ParGAP you need a procgroup file in the current directory, or type
pargapmpi -p4pg procgroup
where procgroup is the path of such a file.

As of fix 8 of GAP 4.2 and a patch to ParGAP/MPI, the bug that used to cause a harmless diagnostic: 

mpi.c(line 112): wait: No child processes
on exit is fixed. Use of localhost in the procgroup file works, but to run slaves on different machines requires one to be able to ssh to those other machines without passwords.
3 This is the standalone program. From within GAP 4.4+ use: LoadPackage("ace").
4 This is the standalone program. From within GAP 4.4+ use: LoadPackage("anupq").
5 CARAT could not be compiled.
6 You need to be running XGAP 4 (via the command xgap). From an XGAP 4.21 session, do LoadPackage("itc").
7 The package GMP (Gnu Multiple Precision) is not a GAP package. It was installed here in order to compile the GAP4 packages ANUPQ and NQ. If you need to use GMP for a non-GAP application you might like to know that its include and lib directories are:
/home/02/gap/gmp/include
/home/02/gap/gmp/lib
respectively. This is version 4.1.4. Read:
/home/02/gap/README.gmp
for details of how it was compiled.
8 The advice below is unlikely to be needed anymore. Before you run xgap3 you should ensure the following:
  1. First set up your .Xresources to support appropriate colours. If you have a colour screen add the following to your .Xresources: 
    XGap*colorModel:color5
XGap*colors:    black,white,light grey,dim grey,red,blue,green
    If your screen is monochrome :( replace the second line with something like the following: 
    XGap*colors:    black,white,light grey,dim grey,black,light grey,dim grey
  2. Ensure your .xsession or .xinitrc file has a line
    xrdb $HOME/.Xresources
    in it. Note .Xresources supersedes .Xdefaults ... so if you still have a .Xdefaults rename it .Xresources and then do the above.
  3. Either log out and log back in again (to make X read the .Xresources) or just do
    xrdb $HOME/.Xresources
Some files that can be used with XGAP 3 (running with GAP 3), can be found in the /home/02/gap/HavasFelsch directory. (With XGAP 4.21 (running with GAP 4.4+), this functionality should all be available by loading the ITC package6.) The HavasFelsch files implement an Interactive Todd Coxeter algorithm. They are accessible from within XGAP 3 via GAP's ReadLib command. First (at XGAP 3's gap> prompt) do:
ReadLib("itc");
and then
ReadLib("XXX");
where XXX is any one of the following: 
bhn3.65      f27.a        f27.f        f27c.50      f27g.55 
bhn3.75      f27.b        f27.g        f27c.54      neumann.1
bhn3d.78     f27.c        f27a.368     f27d.53      neumann.2   
c1           f27.d        f27a.55      f27d.67      neumann.23  
c1.def       f27.def      f27b.59      f27e.55      neumann.3  
defs         f27.e        f27c.332     f27f.57      v4
If all is going well you should get a few more windows and no mysterious brk> loops whingeing about colour definitions. If the latter happens go back and sort out the numbered steps above.
9 This is the standalone program. From within GAP 3 use: RequirePackage("anusq").
10 Listed is the main standalone program. There are also several others. The complete list is: 
autcos           fsamin           gpgeowa          gpsubpres
autgroup         fsanot           gpmakefsa        gpsubwa
fsaand           fsaor            gpmakesubwa      gpwa
fsaandnot        fsaprune         gpmicomp         kbprog
fsabfs           fsareverse       gpmigenmult      kbprogcos
fsacount         fsaswapcoords    gpmigenmult2     makecosfile
fsaenumerate     gpaxioms         gpmigmdet        midfadeterminize
fsaexists        gpcheckmult      gpmimult         nfadeterminize
fsafilter        gpchecksubwa     gpmimult2        ppgap
fsagrowth        gpcomp           gpminkb          wordreduce
fsalabmin        gpgenmult        gpmult           
fsalequal        gpgenmult2       gpmult2
From within GAP 3 use: RequirePackage("kbmag").
11 This is the only installed standalone program. The rest required GMP7 which at the time attempted, the files wouldn't compile with. From within GAP 3 use: RequirePackage("ve").

Last update: 14 February, 2006.

Greg Gamble
http://www.itee.uq.edu.au/~gregg/