jmichel7 / gap3-jm Goto Github PK

gap3-jm
-------

This  is a  complete distribution  of GAP3, which can be found at:
  
  http://webusers.imj-prg.fr/~jean.michel/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:

-  change   directory  to   gap3-jm/bin  and   there  edit,  following  the
   instructions in these files:
   either gap.sh (on Linux or Mac-OSX) 
   or gap.cmd (on Windows)
   most  importantly check  GAP_DIR, and  that GAP_PRG  points to the right
   executable.
   -  put gap.sh (renamed  gap3) someplace on  your path, or  make an alias
   gap3  pointing to it (for Mac-OSX it  may be convenient to make an alias
   in .bash_profile).
   - on Windows similarly move gap.cmd somewhere on your path.

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

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

The   on-line  help,  the   html  documentation  and   the  manual  include
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.

If you want the very latest nightly version (at your risk)
---------------------------------------------------------

gap3-jm is now developed on git, you can:
  git clone https://github.com/jmichel7/gap3-jm
this  will  make  a  directory  gap3-jm.  For  further  updates, go to this
directory and do
  git pull

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 correspondence 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)
01/05/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
04/07/2017: 
---------- 
  Fixed AlgebraicCentre for ExtendedReflectionGroups
  Fixed RootDatum("gl",1) and RootDatum("u",1)  (François Digne)
  Extended SemisimpleCentralizer and QuasiIsolatedRepresentatives to cosets
   (for  quasisemisimple elements of reductive cosets)
  Fixed FactorizedSchurElements for dihedral groups (Daniel Juteau)
  Completed representations of Hecke(ComplexReflectionGroup(33))
11/09/2017: 
---------- 
  Fixed printing Hecke(CoxeterGroupByCoxeterMatrix(...   (Xun Xie)
  Fixed UnipotentClasses for type D, added Bala-Carter labels (Jay Taylor)
  Added a test directory for Chevie
  12 more representations of Hecke(ComplexReflectionGroup(34))
  Can now read integers and strings up to 2048 characters (instead of 1024)
23/11/2017
---------- 
  ReducedRightCosetRepresentatives works with infinite Coxeter groups
  finite ReflectionSubgroups of infinite Coxeter groups work
  (infinite standard parabolic subgroups have always worked)
  Added ParabolicSubgroups for finite Coxeter groups
  Added ReflectionLength for affine Coxeter groups
  Added Floor for rationals
  Improvements in contr/affa.g (Francois Digne)
  Added AlmostCharacter, Lusztigaw and LusztigAw
  Fixed generalized Springer correspondence E8 car.2/F4 (Meinolf Geck)
  Document UnipotentDegrees and CycPolUnipotentDegrees (Meinolf Geck)
  1 more representation of Hecke(ComplexReflectionGroup(31))
19/02/2018
---------- 
  Fixed bugs on Mvps with FFE coefficients (Salim Rostam)
  Added 22 more, so 48/59 representations for Hecke(ComplexReflectionGroup(31))
  Fix SchurElements for multiparameter G2 (noticed with help of Olivier Dudas)
  Added functions Catalan, Rotation
  Added opdam field in ChevieCharInfo
  Improved PrintDiagram for several types (Meinolf Geck)
  Documented BruhatPoset and ReducedExpressions
18/06/2018
---------- 
  Added NrPartitionTuples, FactorizeQuadraticForm, Transporter
  Made Reversed generic
  Added Reversed, IsJoinLattice, IsMeetLattice for posets
  Documented EigenvaluesMat, SignPermuted, SignedPermutationMat,
  Documented SignedPermListList
  Added SignedPerm, CyclesSignedPerm
  Added tests Opdam, UdFdImprimitive, UnipotentCentralizers
  Added Check.EqCycPol
  Fixed a bug in ICCTable (Meinolf Geck)
  Root data csp, gpin (Jay Taylor)
  One-argument Twistings, Dual for root data
  Documented Discriminant, Resultant for polynomials.
  Added Discriminant for irreducible CRGs, Galois-stable H3 and H4 root data.
  Added 2-argument form for Degree, Valuation
  Added Diaconis-Graham normal form
30/11/2018
---------- 
  Fixed WeightInfo.CenterSimplyConnected for E7 (Reda Chaneb)
  Added spherical.g (Daniel Juteau)
  Fixed bug showing centralizers of unipotents (Daniel Juteau)
  Fixed bug in CoxeterGroupByCoxeterMatrix (Xun Xie)
  Added PermutedByCols, RepresentativeRowColPermutation
  Added .ennola field in families for exceptional spetses
11/03/2019
---------- 
  Added SpecialPieces, BadPrimes. Improved Display(ICCTable).
  Documented InducedLinearForm
  Fixed bug in vkcurve/FundamentalGroup when going through 0 (Jiro Sekiguchi)
15/02/2020
---------- 
  Fixed bug in unequal parameter Hecke algebras (Xun Xie)
  Fixed bug in InducedLinearForm fixing UnipotentClasses(gpin)
  Error in 64bit Gap3 which showed in Pi(19)
  Error in representations for generic-generic Hecke algebras (Goetz Pfeiffer)
  Made type of signed perms. Documented (Signed)MatStab, SignedPermMatMat
  Added CuspidalUnipotentCharacters. Documented WeightInfo.
  Added root data slmod and tgl.
30/10/2020
---------- 
  Fix PrintDiagram for affine type B
  Speedup ParabolicRepresentatives for Coxeter cosets
  Fix a bug in LusztigInduction in ComplexReflectionGroup(14)
  Fix EigenvaluesGeneratingReflections in coxi.g
  Fix an error in WeightInfo (Emile Takahiro Okada)
28/01/2021
---------- 
  Added GraphAutomorphisms for Bsym2, Gsym2, Fsym4
  Fixed a bug in CoxeterGroupHyperoctaedralGroup
  Added parameters for big Lusztig family of 2F4 following Lacabanne
  Fixed unipotent centralizers for 2An, 2E6, 3D4
  Added 10 representations for G34
  Documented IsParabolic, ParabolicClosure, CuspidalPairs
  Added PermutationOnClasses, PermutationOnCharacters, PermutationOnUnipotents
  Added Ennola, Series
24/04/2021
---------- 
  Fixed fakedegrees(G31)
  Fixed generalized Springer correspondence for E7 char. 2/C3 (Meinolf Geck)
  Fixed charLabels of family S_4 in F_4  (Meinolf Geck)
  Documented XTable, GreenTable, UnipotentValues
  Fixed serious error in XTable thus also UnipotentValues (Meinolf Geck)
14/03/2022
---------- 
  New "universal" mac executable (Jay Taylor)
  Exchanged unipotent characters phi{1,3}' and phi{1,3}'' in 3D4 (Gunter Malle)
  Added LeftDivisors
  Exchanged unipotent characters E_8[1] and E_8^2[1] (Jonas Hetz)
06/02/2023
---------- 
  Added root data CE6, CE7, cso (Jay Taylor)
  Added QuotientAu for A2xA1xA1 (Marie Roth)
  Suppressed conjectural aspect of generalized Springer corr. in E8 (Jonas Hetz)
  Error in LusztigInduction from some non-irreducible Levis (Gunter Malle)
07/01/2024
---------- 
  Fixed family labels in 2E6 by Ennola (Jonas Hetz)
  Fixed Springer correspondence for SO and HalfSpin (Marie Roth)
  Fixed G(p,q,2) Hecke CharTable and representations for q even (Gunter Malle)