gap3-jm5 final of 21mar2016
---------------------------

This  is a  minimal distribution  of GAP3, which can be found at:
  
  http://www.math.jussieu.fr/~jmichel/gap3

containing up-to-date versions of the packages:

algebra,  anusq,  arep,  autag,  chevie,  cryst, dce, grim, matrix, meataxe, 
monoid, nq, pcqa, sisyphos, specht, ve, vkcurve.

Most  of these packages have  been chosen since they  have no equivalent in
GAP4. They are autoloaded when starting gap.

This  distribution  does  not  include  most  of  the list of small groups,
2-groups  or  3-groups  and  character  tables  from the Atlas or tables of
marks. It does not include either the packages:

anupq, grape, kbmag, xgap, cohomolo, gliss, guava, xmod

which have some equivalent in GAP4. You can get these extra features at

http://www.math.rwth-aachen.de/~Frank.Luebeck/gap/GAP3

In this  distribution:
 - The on-line help includes the documentation of the included packages.
 - The html documentation (see htm/index.html) also does.
 - The manual (manual.pdf) also does.

Are included binaries for Dos/Windows, Linux (for Intel) and Max-OSX.

The installation instructions are as follows: unpack somewhere the file, it
will make a gap3-jm4 directory. Then, in gap3-jm4/bin edit gap.sh (on Linux
or  Mac-OSX) or  gap.bat or  gap.cmd (on  dos/windows) so that the variable
GAP_DIR  refers to the right directory and GAP_PRG to the right executable,
and put gap.sh (renamed gap3) or gap.bat someplace on your path.

Change history
--------------

Version 5 final  (21 march 2016):
---------------------------------

-  Functions for families of unipotent characters. The function
   'FusionAlgebra' uses the package "algebra", introducing a back-dependency.

-  Various fixes  to the  library (directory  gap3-jm5/lib). Now Chevie and
   VKcurve depend on these fixes.

-  Added  ability  to  use  elements  of arbitrary rings as coefficients of
   semisimple elements

-  Added functions for computing  with unipotent elements in the radical of 
   a Borel subgroup, with help of Olivier Dudas.

-  Added some functions  for eigenspaces of  elements in complex reflection
   groups and d-split levis.

-  Completed all representations of  Hecke(G29) and 10 more  (30 of 40) for
   Hecke(G33).

-  Compiled a 64-bit version of GAP3 for linux. To use set
      GAP_PRG=gap.x86linux64 
   in gap.sh.

-  Various  fixes/extensions  to  chevie:  fixes  to  'Invariants', and now
   'QuasiIsolatedRepresentatives' works for arbitrary reductive groups.

Version 4 (1 august 2014):
---------

- Added unipotent characters for general G(e,e,r).

- Defined parameterized bases for Hecke algebras to help Geordie Williamson
  define the p-basis.

- Added unipotent classes and Green functions in bad characteristic.

- Completed invariants for all Coxeter  types, and representations for all
  complex reflection groups but G34.

- Fast routines for KL cells in types A, E, G, H using work of Geck-Hall.

- Normalized names of characters of G4..G34, with the help of Ulrich Thiel.

Version 3 (25 february 2011):
---------

Added documentation for CHEVIE formatting primitives, and the beginning
of facilities for unipotent classes and Green functions.

Version 2 (25 april 2010):
---------

- Added the Algebra package of C'edric Bonnaf'e, after revising it to solve
  conflicts.

Version 1 (2 april 2010):
---------

-  Packages anusq, arep,  autag, chevie, dce,  grim, matrix, meataxe, pcqa,
sisyphos, specht, ve, vkcurve are auto-loaded when starting gap.

- To make this work, some conflicts have been solved:
  DiagonalMat  in  matrix:  change  name  to  DiagonalMat_mtx  so as not to
  conflict  with  uses  in  other  packages  (which  do not take a field as
  argument).

  CyclotomicPolynomial in grim: use library call instead of re-defining.

Version 0 (march 2010): first version.
---------
