gap3-jm of 30 Nov 2016
----------------------

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

containing up-to-date versions of all the GAP3 packages. 

Are included GAP3 binaries for Dos/Windows, Linux x86-32 and x86-64,
and Mac-OSX 32 and 64 bits.

The installation instructions for GAP3 are as follows:

-  in gap3-jm/bin edit 
   - gap.sh (on Linux or Mac-OSX) 
   - or gap.cmd (on Windows)
   so  that the  variable GAP_DIR  refers to  the full  path of the gap3-jm
   directory.
   - on  Linux  or  Mac-OSX  make  the  variable GAP_PRG point to the right
     executable,  and put gap.sh (renamed gap3)  someplace on your path, or
     make  an alias pointing to  them (for Mac-OSX it  may be convenient to
     make an alias in .bash_profile).
   - on Windows similarly move gap.cmd somwhere on your path.

-  You can consult the manual  gap3-jm/manual.pdf and/or make a bookmark in
   your browser pointing to the html documentation gap3-jm/htm/index.html

Using the packages
------------------

The  on-line  help,  the  html  documentation  and  the  manual include the
documentation of the packages. The packages and their status are:

- algebra, autag, chevie, cryst, dce, gliss, grim, specht, matrix, monoid, 
  vkcurve, xmod 
     are written in GAP and will work in any environment.

- arep, guava 
     have some functionality which depends on the binaries distributed

- anupq, anusq, cohomolo, grape, kbmag, nq, meataxe, pcqa, sisyphos, ve
     have most of their functionality depending on the binaries

- xgap 
     has not yet been made to work in this distribution.

The  distributed package binaries  are compiled for  Linux x86. If you have
another system, you may try to build the packages by the following steps:

   cd gap3-jm/pkg
   make cleanpackages
   make packages

Rebuilding the executable or the documentation
----------------------------------------------

Changing  directory to gap3-jm/src and typing  "make" will show you possible
targets.  For  instance  "make  clean;make  linux"  will  rebuild the linux
executable.

Changing  directory  to  gap3-jm/doc and  typing  "make"  will  rebuild the
documentation.

History
-------
1/12/2016: first version.
----------
  Compared to the previous distribution gap3-jm5 of 21/3/2016:

  -All missing packages have been included, and they have been
   made to compile and work on Linux x86.
  -Chevie now contains a description of centralizers of unipotent classes
   in reductive groups.
11/01/2017:
----------  
  Added optional second argument to Compositions and ParabolicRepresentatives
  Fixed bug in SplitLevis (Frank Luebeck)
  Fixed bug in FactorizedSchurElements (Daniel Juteau)
13/02/2017: 
---------- 
  Added functions: Representation (for Hecke elements), Torus and Rank.
  Fixed makefile on Debian (Frank Luebeck)
  Fixed  generalized Springer correspondance for  type C according to Shoji
  (Daniel Juteau)
  Fixed 4-dimensional representations of G8 -- G22 (Eirini Chavli)
13/03/2017: 
---------- 
  Added .spaltenstein to CharInfo of F4, and changed .kondo (Frank Luebeck)
  Fixed a bug in 64-bit gap3, a border case in cyclotomic multiplication
  Merged cmp4_7,cmp8_15,cmp16_22 into cmp4_22 to remove code duplication
  Added Frobenius for an UnipotentCharacter.
  Package algebra: added IsAssociative, IsAlgebraElement, Coefficients,
    documented QuotientAlgebra and various bug fixes.
  Fixed a bug in BraidRelations (Juergen Mueller)
xx/04/2017: 
---------- 
  Documented WGraphToRepresentation, RootParameter, DescribeInvolution
  Package algebra: added 'Basis' which allows algebras to have several bases.
  Defined subtori: function SubTorus, 'in' for semisimple elements, Rank for
    subtori. ***changed incompatibly AlgebraicCentre to return a subtorus***
  Implemented GetRoot for Garside elements, using Hao Zheng's method.
  Added a 2nd argument to LeftCells
  Implemented AsymptoticAlgebra
