This file contains the mails sent to the GAP forum in October-December 1995.

Name                Email address                           Mails   Lines
Martin Schoenert    Martin.Schoenert@Math.RWTH-Aachen.DE        8     436
Steve Linton        sal@dcs.st-andrews.ac.uk                    8     142
Heiko Theissen      Heiko.Theissen@Math.RWTH-Aachen.DE          6     295
Claude Quitte       quitte@knuth.univ-poitiers.fr               4     386
Joachim Neubueser   Joachim.Neubueser@Math.RWTH-Aachen.DE       3     378
Andrew Mathas       a.mathas@ic.ac.uk                           3     144
Alexander Hulpke    Alexander.Hulpke@Math.RWTH-Aachen.DE        3     128
Thomas Breuer       Thomas.Breuer@Math.RWTH-Aachen.DE           3     123
Giovanni Ferrero    ferrero@prmat.math.unipr.it                 3      10
Frank Celler        Frank.Celler@Math.RWTH-Aachen.DE            2     214
Goetz Pfeiffer      goetz@dcs.st-andrews.ac.uk                  2     138
Chris Wensley       mas023@bangor.ac.uk                         2     104
Derek Holt          dfh@maths.warwick.ac.uk                     2     100
Jean Michel         jean.michel@ens.fr                          2      51
Werner Nickel       Werner.Nickel@Math.RWTH-Aachen.DE           2      38
Andries E. Brouwer  aeb@win.tue.nl                              2      29
Paul Robert Brown   pbrown@math.berkeley.edu                    2      26
Bruce Kaskel        kaskel@math.berkeley.edu                    2      17
Michael Smith       michael.smith@maths.anu.edu.au              1      87
Andreas Hoppe       hoppe@math.tu-berlin.de                     1      67
Andreas Prinz       prinz@informatik.hu-berlin.de               1      49
Dima Pasechnik      pasec@can.nl                                1      40
John Pliam          pliam@imafs.ima.umn.edu                     1      34
Burkhard Hoefling   hoefling@mat.mathematik.uni-mainz.de        1      32
Peter Prohle        prohlep@konig.elte.hu                       1      32
Peter F. Blanchard  pfb3h@weyl.math.virginia.edu                1      31
Wolfgang Knapp      wolfgang.knapp@uni-tuebingen.de             1      29
Sebastian Egner     egner@ira.uka.de                            1      26
Alessandro Logar    logar@univ.trieste.it                       1      25
Bettina Eick        Bettina.Eick@Math.RWTH-Aachen.DE            1      25
James McCarron      jmccarro@mercator.math.uwaterloo.ca         1      23
Shahiem Ganief      ganief@math.unp.ac.za                       1      23
David Wood          s8910859@student.ecel.uwa.edu.au            1      22
Olaf Delgado        delgado@mathematik.uni-bielefeld.de         1      21
David Sibley        sibley@math.psu.edu                         1      20
Kiechle Hubert      kiechle@mathematik.tu-muenchen.de           1      20
Stefan Neis         neis@cs.uni-sb.de                           1      20
Peter F. Mueller    pfm@math.ufl.edu                            1      19
Andreas Caranti     caranti@volterra.science.unitn.it           1      18
Marston Conder      conder@mat.auckland.ac.nz                   1      17
Lewis McCarthy      lmccarth@klingon.cs.umass.edu               1      16
Sarah Rees          sarah.rees@newcastle.ac.uk                  1       7
Robert Gilman       rgilman@sitult.stevens-tech.edu             1       4
Chris Charnes       charnes@osiris.cs.uow.edu.au                1       3
TOTAL                                                          85    3469

This  file is in Berkeley mail drop format, which means you can read this
file with 'mail -f <name-of-the-file>'  or 'mailx -f <name-of-the-file>'.
It is also possible however to read this file with any text editor.



From hoefling@mat.mathematik.uni-mainz.de Mon Oct  2 09:47:00 1995
Date:           Mon, 02 Oct 95 09:47:00 +0100
From:           "Burkhard Hoefling" <hoefling@mat.mathematik.uni-mainz.de>
Subject:        Re: new port of GAP for the Macintosh

Dear forum members
unfortunately there is a problem with the GAP 3.4.2 port for
the Macintosh which I uploaded last Friday. Somehow
part of the GAP 3.4.2 application's resources got lost. Moreover, I
forgot to include a source file, namely 'costab.mod.c'.  I've just
uploaded a corrected version into the pub/incoming directory at
ftp.math.rwth-aachen.de, which consists of the files

      bin3r4p2-mac-syc-pt101.sea.bin (the GAP application)
and   src3r4p2-mac-syc-pt101.sea.bin (the source files),

both in MacBinary II format. You only need the source files if you
want to compile GAP for Macintosh yourself. The old version (mac-syc-
pt10 files) must not be used any more and should be removed from the
server(s) as soon as possible. those who have already downloaded the
old version, I have created a patch file which updates  the GAP 3.4.2
PT 1.0 application. This file should be removed from the server(s)
in a week or so.

      bin3r4p2-mac-syc-pt10-patch.bin

which is available at the same location as the files above. You
only need this file if you already downloaded the file bin3r4p2-mac-
syc-pt10 this weekend. If you want to compile GAP for Macintosh
yourself, you should get the new source files, since they also
contain two or three minor fixes.Sorry for any inconveniences. I hope
that everything is all right now.

Sorry for any incomvenience.

Burkhard.



From thomas.breuer@math.rwth-aachen.de Mon Oct  2 12:04:00 1995
Date:           Mon, 02 Oct 95 12:04:00 +0100 (MET)
From:           "Thomas Breuer" <Thomas.Breuer@Math.RWTH-Aachen.DE>
Subject:        TableAutomorphisms

Dear Mrs. and Mr. Forum,

Peter Blanchard wrote

> The following seems to be a problem in which
> the function TableAutomorphisms misses a symmetry:

He gives the following example.

    gap> DisplayCharTable( CharTablePGroup( TwoGroup( 16, 3 ) ) );



          2  4  4  4  4  3  3  3  3  3  3

            1a 2a 2b 2c 2d 2e 4a 4b 4c 4d
         2P 1a 1a 1a 1a 1a 1a 2a 2a 2c 2c

    X.1      1  1  1  1  1  1  1  1  1  1
    X.2      1  1  1  1 -1 -1  1  1 -1 -1
    X.3      1 -1  1 -1  1 -1  A -A  A -A
    X.4      1 -1  1 -1 -1  1  A -A -A  A
    X.5      1  1  1  1  1  1 -1 -1 -1 -1
    X.6      1  1  1  1 -1 -1 -1 -1  1  1
    X.7      1 -1  1 -1  1 -1 -A  A -A  A
    X.8      1 -1  1 -1 -1  1 -A  A  A -A
    X.9      2  2 -2 -2  .  .  .  .  .  .
    X.10     2 -2 -2  2  .  .  .  .  .  .

    A = E(4)
      = ER(-1) = i
    gap> TableAutomorphisms(tbl,tbl.irreducibles,"closed");
    Group( ( 7, 8)( 9,10), ( 5, 6)( 9,10), ( 2, 4)( 7, 9)( 8,10) )
    gap> (2,4) in last;
    false

Permuting the classes with (2,4) leaves the set of irreducible characters
invariant, namely it induces the permutation (X.9,X.10).
But we have computed the table automorphisms, that is, those automorphisms
of the matrix of irreducible characters that respect the power maps.
In our example this means that if we want to swap the classes '2a' and '2c'
then also their preimages under the 2nd power map must be swapped.
So the desired permutation must map { '4a', '4b' } to { '4c', '4d' }.
This leads to one of the permutations (2,4)(7,9)(8,10), (2,4)(7,10)(8,9)
of classes, which induce the permutations (X.2,X.6)(X.4,X.8)(X.9,X.10)
and (X.2,X.6)(X.3,X.7)(X.9,X.10) of characters.

Kind regards
Thomas Breuer



From pfm@math.ufl.edu Tue Oct  3 19:45:00 1995
Date:           Tue, 03 Oct 95 19:45:00 -0400
From:           "Peter F. Mueller" <pfm@math.ufl.edu>
Subject:        GeneralLinearGroup

Dear Gap-Forum,

if I understand the documentation correctly, then a command like

`GeneralLinearGroup(Permutations,2,2)'

should return the the group GL(2,2) as a permutation group (hopefully
in the natural representation, though that's not specified there).

However, the following happens (using GAP3R4P2):

gap> GeneralLinearGroup(Permutations,2,2);
Error, Record: element 'GeneralLinearGroup' must have an assigned value at
return arg[1].operations.GeneralLinearGroup( arg[1], arg[2], arg[3] ) ... in
GeneralLinearGroup( Permutations, 2, 2 ) called from
main loop

Peter M"uller



From thomas.breuer@math.rwth-aachen.de Wed Oct  4 17:17:00 1995
Date:           Wed, 04 Oct 95 17:17:00 +0100 (MET)
From:           "Thomas Breuer" <Thomas.Breuer@Math.RWTH-Aachen.DE>
Subject:        Re: GeneralLinearGroup

Dear Mrs. and Mr. Forum,

Peter Mueller writes

    if I understand the documentation correctly, then a command like

    `GeneralLinearGroup(Permutations,2,2)'

    should return the the group GL(2,2) as a permutation group (hopefully
    in the natural representation, though that's not specified there).

He reports that in GAP3R4P2 this does not work.
The reason for this bug is that in spite of the promises in the manual
section 'The Basic Groups Library' nobody wrote the corresponding code.

The next upgrade will fix this, for general linear groups as well as for
special linear and symplectic groups, and general/special unitary groups.
For the moment, the following function should suffice.

    GeneralLinearPermGroup := function( n, q )

        local matgrp,   # the desired group as matrix group
              space,    # natural vector space 'matgrp' acts on
              vectors;  # set of nonzero vectors in 'space'

        matgrp:= GeneralLinearMatGroup( n, q );
        space:= GF(q)^n;
        vectors:= Elements( space );
        RemoveSet( vectors, Zero( space ) );

        return Operation( matgrp, vectors );
        end;

Kind regards
Thomas Breuer



From wolfgang.knapp@uni-tuebingen.de Fri Oct  6 09:52:00 1995
Date:           Fri, 06 Oct 95 09:52:00 +0100
From:           "Wolfgang Knapp" <wolfgang.knapp@uni-tuebingen.de>
Subject:        Wreath Product Action


Dear GAP forum,

for dealing with primitive permutation groups with the help of GAP it is
important to have an efficient way to implement in GAP the action of
degree m^k of the natural wreath product
 WreathProduct(Sym(m),Sym(k),IdendityMapping(Sym(k))),
usually called "product action" (I think "power action" is a more appropriate
name). Is it possible to avoid complicated and complex computations in
defining this action?

I would be grateful for any useful advice,         W. Knapp



------------------------------------------------------------------------------

Wolfgang D. Knapp

Mathematisches Institut                Internet:
Universit"at T"ubingen                 wolfgang.knapp@uni-tuebingen.de
Auf der Morgenstelle 10
                                       Tel. +49 7071 294318
D-72076 T"ubingen                      Fax  +49 7071 294322

GERMANY

-----------------------------------------------------------------------------



From dfh@maths.warwick.ac.uk Fri Oct  6 11:04:00 1995
Date:           Fri, 06 Oct 95 11:04:00 +0100
From:           "Derek Holt" <dfh@maths.warwick.ac.uk>
Subject:        Re:  Wreath Product Action


Wolfgang Knapp writes:

>
> Dear GAP forum,
>
> for dealing with primitive permutation groups with the help of GAP it is
> important to have an efficient way to implement in GAP the action of
> degree m^k of the natural wreath product
>  WreathProduct(Sym(m),Sym(k),IdendityMapping(Sym(k))),
> usually called "product action" (I think "power action" is a more appropriate
> name). Is it possible to avoid complicated and complex computations in
> defining this action?
>
> I would be grateful for any useful advice,         W. Knapp
>

I don't know whether there is a standard GAP function to do this, but
there does happen to be one in the share-package "smash".

It is called WreathPower(G,P) - G can be either a permutation or a
matrix group, and P must be a permutation group.

The source is in the file  main-gap-directory/pkg/smash/code/c_wreath.g
if you want to look at it.

Here is an example:

gap> RequirePackage("smash");
gap> G:=SymmetricGroup(3);
Group( (1,3), (2,3) )
gap> P:=SymmetricGroup(4);
Group( (1,4), (2,4), (3,4) )
gap> W:=WreathPower(G,P);
Group( ( 1, 3)( 4, 6)( 7, 9)(10,12)(13,15)(16,18)(19,21)(22,24)(25,27)(28,30)
(31,33)(34,36)(37,39)(40,42)(43,45)(46,48)(49,51)(52,54)(55,57)(58,60)(61,63)
(64,66)(67,69)(70,72)(73,75)(76,78)(79,81), ( 2, 3)( 5, 6)( 8, 9)(11,12)
(14,15)(17,18)(20,21)(23,24)(26,27)(29,30)(32,33)(35,36)(38,39)(41,42)(44,45)
(47,48)(50,51)(53,54)(56,57)(59,60)(62,63)(65,66)(68,69)(71,72)(74,75)(77,78)
(80,81), ( 2,28)( 3,55)( 5,31)( 6,58)( 8,34)( 9,61)(11,37)(12,64)(14,40)
(15,67)(17,43)(18,70)(20,46)(21,73)(23,49)(24,76)(26,52)(27,79)(30,56)(33,59)
(36,62)(39,65)(42,68)(45,71)(48,74)(51,77)(54,80), ( 4,28)( 5,29)( 6,30)
( 7,55)( 8,56)( 9,57)(13,37)(14,38)(15,39)(16,64)(17,65)(18,66)(22,46)(23,47)
(24,48)(25,73)(26,74)(27,75)(34,58)(35,59)(36,60)(43,67)(44,68)(45,69)(52,76)
(53,77)(54,78), (10,28)(11,29)(12,30)(13,31)(14,32)(15,33)(16,34)(17,35)
(18,36)(19,55)(20,56)(21,57)(22,58)(23,59)(24,60)(25,61)(26,62)(27,63)(46,64)
(47,65)(48,66)(49,67)(50,68)(51,69)(52,70)(53,71)(54,72) )
gap> Size(W);
31104


Derek Holt.



From heiko.theissen@math.rwth-aachen.de Thu Oct 12 16:46:00 1995
Date:           Thu, 12 Oct 95 16:46:00 +0100 (MET)
From:           "Heiko Theissen" <Heiko.Theissen@Math.RWTH-Aachen.DE>
Subject:        Announcement: List of primitive simple permutation groups

Dear forum readers,

I have put a file `coco.grp' into the `/pub/incoming' directory on our
ftp server   `ftp.math.rwth-aachen.de'.  This  file  contains   a  GAP
function that will construct the primitive permutation representations
of  simple groups  of   order less than  a   million,  except for  the
two-dimensional linear groups.

The information about  these  groups stems from  the  computer package
COCO (for computations with COherent COnfigurations)  written by A. A.
Ivanov, I. Faradzev and M. Klin (UNIX port by A. Brouwer) and has been
translated into GAP-format.

Details about the  new GAP function, including  instructions on how to
install  and  use it,  are  contained in the  short documentation file
`coco.tex' in the same   directory `/pub/incoming'. You can  run  this
file through plain TeX to produce a printed description (2 pages).

Have fun, Heiko Thei{\ss}en



From logar@univ.trieste.it Mon Oct 16 12:5 e. g. if you want to build 
a native PowerMac version, you also need the source files. 

Here's a short summary of the features of my new port.

- log window is now a real text editing window; scrolling and 
  resizing of GAP's log window is now possible 
- up to 8 additional file editing windows 
- separate Help window; improved help facilities 
  including "hyperlinks"
- can open and print documents
- can execute other applications (via GAP's Exec () function) 
- can use an external editor (via GAP's Edit () function) 
- now accepts both Macintosh and Unix style pathnames 
- resolves alias files and alias folders
- during program startup, options can be set in a preferences 
  dialog
- GAP is more cooperative when running in the  background 
- does not use Symantec's console library any more, so it should be 
  possible to compile GAP for the Macintosh with other compilers
  and for the PowerMac
- doesn't use the LoMem interface (which might cause problems 
  when compiling GAP on a Power Mac)

Unfortunately, I cannot provide a native Power Mac version of GAP, 
but I hope that someone will be able to compile my port on a Power 
Mac 
and provide a Power Mac version. (Please contact me if you would like 
to do so and need some further assistance!).

Please send any comments and bug reports concerning the Macintosh 
port 
of GAP directly to me. 

If you use my part of GAP, I would appreciate if you dropped me a 
note, 
possibly containing information about your system (machine type, main
memory, system version, do you use virtual memory?)

I hope you will like the new port. 


Burkhard.


                                                                                                                                                                                                         usr/lib/gap/etc/forum95d.txt                                                                        100644       0       0       450164  6662026426  14334  0                                                                                                    ustar   root                            root                                                                                                                                                                                                                   This file contains the mails sent to the GAP forum in October-December 1995.

Name                Email address                           Mails   Lines
Martin Schoenert    Martin.Schoenert@Math.RWTH-Aachen.DE        8     436
Steve Linton        sal@dcs.st-andrews.ac.uk                    8     142
Heiko Theissen      Heiko.Theissen@Math.RWTH-Aachen.DE          6     295
Claude Quitte       quitte@knuth.univ-poitiers.fr               4     386
Joachim Neubueser   Joachim.Neubueser@Math.RWTH-Aachen.DE       3     378
Andrew Mathas       a.mathas@ic.ac.uk                           3     144
Alexander Hulpke    Alexander.Hulpke@Math.RWTH-Aachen.DE        3     128
Thomas Breuer       Thomas.Breuer@Math.RWTH-Aachen.DE           3     123
Giovanni Ferrero    ferrero@prmat.math.unipr.it                 3      10
Frank Celler        Frank.Celler@Math.RWTH-Aachen.DE            2     214
Goetz Pfeiffer      goetz@dcs.st-andrews.ac.uk                  2     138
Chris Wensley       mas023@bangor.ac.uk                         2     104
Derek Holt          dfh@maths.warwick.ac.uk                     2     100
Jean Michel         jean.michel@ens.fr                          2      51
Werner Nickel       Werner.Nickel@Math.RWTH-Aachen.DE           2      38
Andries E. Brouwer  aeb@win.tue.nl                              2      29
Paul Robert Brown   pbrown@math.berkeley.edu                    2      26
Bruce Kaskel        kaskel@math.berkeley.edu                    2      17
Michael Smith       michael.smith@maths.anu.edu.au              1      87
Andreas Hoppe       hoppe@math.tu-berlin.de                     1      67
Andreas Prinz       prinz@informatik.hu-berlin.de               1      49
Dima Pasechnik      pasec@can.nl                                1      40
John Pliam          pliam@imafs.ima.umn.edu                     1      34
Burkhard Hoefling   hoefling@mat.mathematik.uni-mainz.de        1      32
Peter Prohle        prohlep@konig.elte.hu                       1      32
Peter F. Blanchard  pfb3h@weyl.math.virginia.edu                1      31
Wolfgang Knapp      wolfgang.knapp@uni-tuebingen.de             1      29
Sebastian Egner     egner@ira.uka.de                            1      26
Alessandro Logar    logar@univ.trieste.it                       1      25
Bettina Eick        Bettina.Eick@Math.RWTH-Aachen.DE            1      25
James McCarron      jmccarro@mercator.math.uwaterloo.ca         1      23
Shahiem Ganief      ganief@math.unp.ac.za                       1      23
David Wood          s8910859@student.ecel.uwa.edu.au            1      22
Olaf Delgado        delgado@mathematik.uni-bielefeld.de         1      21
David Sibley        sibley@math.psu.edu                         1      20
Kiechle Hubert      kiechle@mathematik.tu-muenchen.de           1      20
Stefan Neis         neis@cs.uni-sb.de                           1      20
Peter F. Mueller    pfm@math.ufl.edu                            1      19
Andreas Caranti     caranti@volterra.science.unitn.it           1      18
Marston Conder      conder@mat.auckland.ac.nz                   1      17
Lewis McCarthy      lmccarth@klingon.cs.umass.edu               1      16
Sarah Rees          sarah.rees@newcastle.ac.uk                  1       7
Robert Gilman       rgilman@sitult.stevens-tech.edu             1       4
Chris Charnes       charnes@osiris.cs.uow.edu.au                1       3
TOTAL                                                          85    3469

This  file is in Berkeley mail drop format, which means you can read this
file with 'mail -f <name-of-the-file>'  or 'mailx -f <name-of-the-file>'.
It is also possible however to read this file with any text editor.



From hoefling@mat.mathematik.uni-mainz.de Mon Oct  2 09:47:00 1995
Date:           Mon, 02 Oct 95 09:47:00 +0100
From:           "Burkhard Hoefling" <hoefling@mat.mathematik.uni-mainz.de>
Subject:        Re: new port of GAP for the Macintosh

Dear forum members
unfortunately there is a problem with the GAP 3.4.2 port for
the Macintosh which I uploaded last Friday. Somehow
part of the GAP 3.4.2 application's resources got lost. Moreover, I
forgot to include a source file, namely 'costab.mod.c'.  I've just
uploaded a corrected version into the pub/incoming directory at
ftp.math.rwth-aachen.de, which consists of the files

      bin3r4p2-mac-syc-pt101.sea.bin (the GAP application)
and   src3r4p2-mac-syc-pt101.sea.bin (the source files),

both in MacBinary II format. You only need the source files if you
want to compile GAP for Macintosh yourself. The old version (mac-syc-
pt10 files) must not be used any more and should be removed from the
server(s) as soon as possible. those who have already downloaded the
old version, I have created a patch file which updates  the GAP 3.4.2
PT 1.0 application. This file should be removed from the server(s)
in a week or so.

      bin3r4p2-mac-syc-pt10-patch.bin

which is available at the same location as the files above. You
only need this file if you already downloaded the file bin3r4p2-mac-
syc-pt10 this weekend. If you want to compile GAP for Macintosh
yourself, you should get the new source files, since they also
contain two or three minor fixes.Sorry for any inconveniences. I hope
that everything is all right now.

Sorry for any incomvenience.

Burkhard.



From thomas.breuer@math.rwth-aachen.de Mon Oct  2 12:04:00 1995
Date:           Mon, 02 Oct 95 12:04:00 +0100 (MET)
From:           "Thomas Breuer" <Thomas.Breuer@Math.RWTH-Aachen.DE>
Subject:        TableAutomorphisms

Dear Mrs. and Mr. Forum,

Peter Blanchard wrote

> The following seems to be a problem in which
> the function TableAutomorphisms misses a symmetry:

He gives the following example.

    gap> DisplayCharTable( CharTablePGroup( TwoGroup( 16, 3 ) ) );



          2  4  4  4  4  3  3  3  3  3  3

            1a 2a 2b 2c 2d 2e 4a 4b 4c 4d
         2P 1a 1a 1a 1a 1a 1a 2a 2a 2c 2c

    X.1      1  1  1  1  1  1  1  1  1  1
    X.2      1  1  1  1 -1 -1  1  1 -1 -1
    X.3      1 -1  1 -1  1 -1  A -A  A -A
    X.4      1 -1  1 -1 -1  1  A -A -A  A
    X.5      1  1  1  1  1  1 -1 -1 -1 -1
    X.6      1  1  1  1 -1 -1 -1 -1  1  1
    X.7      1 -1  1 -1  1 -1 -A  A -A  A
    X.8      1 -1  1 -1 -1  1 -A  A  A -A
    X.9      2  2 -2 -2  .  .  .  .  .  .
    X.10     2 -2 -2  2  .  .  .  .  .  .

    A = E(4)
      = ER(-1) = i
    gap> TableAutomorphisms(tbl,tbl.irreducibles,"closed");
    Group( ( 7, 8)( 9,10), ( 5, 6)( 9,10), ( 2, 4)( 7, 9)( 8,10) )
    gap> (2,4) in last;
    false

Permuting the classes with (2,4) leaves the set of irreducible characters
invariant, namely it induces the permutation (X.9,X.10).
But we have computed the table automorphisms, that is, those automorphisms
of the matrix of irreducible characters that respect the power maps.
In our example this means that if we want to swap the classes '2a' and '2c'
then also their preimages under the 2nd power map must be swapped.
So the desired permutation must map { '4a', '4b' } to { '4c', '4d' }.
This leads to one of the permutations (2,4)(7,9)(8,10), (2,4)(7,10)(8,9)
of classes, which induce the permutations (X.2,X.6)(X.4,X.8)(X.9,X.10)
and (X.2,X.6)(X.3,X.7)(X.9,X.10) of characters.

Kind regards
Thomas Breuer



From pfm@math.ufl.edu Tue Oct  3 19:45:00 1995
Date:           Tue, 03 Oct 95 19:45:00 -0400
From:           "Peter F. Mueller" <pfm@math.ufl.edu>
Subject:        GeneralLinearGroup

Dear Gap-Forum,

if I understand the documentation correctly, then a command like

`GeneralLinearGroup(Permutations,2,2)'

should return the the group GL(2,2) as a permutation group (hopefully
in the natural representation, though that's not specified there).

However, the following happens (using GAP3R4P2):

gap> GeneralLinearGroup(Permutations,2,2);
Error, Record: element 'GeneralLinearGroup' must have an assigned value at
return arg[1].operations.GeneralLinearGroup( arg[1], arg[2], arg[3] ) ... in
GeneralLinearGroup( Permutations, 2, 2 ) called from
main loop

Peter M"uller



From thomas.breuer@math.rwth-aachen.de Wed Oct  4 17:17:00 1995
Date:           Wed, 04 Oct 95 17:17:00 +0100 (MET)
From:           "Thomas Breuer" <Thomas.Breuer@Math.RWTH-Aachen.DE>
Subject:        Re: GeneralLinearGroup

Dear Mrs. and Mr. Forum,

Peter Mueller writes

    if I understand the documentation correctly, then a command like

    `GeneralLinearGroup(Permutations,2,2)'

    should return the the group GL(2,2) as a permutation group (hopefully
    in the natural representation, though that's not specified there).

He reports that in GAP3R4P2 this does not work.
The reason for this bug is that in spite of the promises in the manual
section 'The Basic Groups Library' nobody wrote the corresponding code.

The next upgrade will fix this, for general linear groups as well as for
special linear and symplectic groups, and general/special unitary groups.
For the moment, the following function should suffice.

    GeneralLinearPermGroup := function( n, q )

        local matgrp,   # the desired group as matrix group
              space,    # natural vector space 'matgrp' acts on
              vectors;  # set of nonzero vectors in 'space'

        matgrp:= GeneralLinearMatGroup( n, q );
        space:= GF(q)^n;
        vectors:= Elements( space );
        RemoveSet( vectors, Zero( space ) );

        return Operation( matgrp, vectors );
        end;

Kind regards
Thomas Breuer



From wolfgang.knapp@uni-tuebingen.de Fri Oct  6 09:52:00 1995
Date:           Fri, 06 Oct 95 09:52:00 +0100
From:           "Wolfgang Knapp" <wolfgang.knapp@uni-tuebingen.de>
Subject:        Wreath Product Action


Dear GAP forum,

for dealing with primitive permutation groups with the help of GAP it is
important to have an efficient way to implement in GAP the action of
degree m^k of the natural wreath product
 WreathProduct(Sym(m),Sym(k),IdendityMapping(Sym(k))),
usually called "product action" (I think "power action" is a more appropriate
name). Is it possible to avoid complicated and complex computations in
defining this action?

I would be grateful for any useful advice,         W. Knapp



------------------------------------------------------------------------------

Wolfgang D. Knapp

Mathematisches Institut                Internet:
Universit"at T"ubingen                 wolfgang.knapp@uni-tuebingen.de
Auf der Morgenstelle 10
                                       Tel. +49 7071 294318
D-72076 T"ubingen                      Fax  +49 7071 294322

GERMANY

-----------------------------------------------------------------------------



From dfh@maths.warwick.ac.uk Fri Oct  6 11:04:00 1995
Date:           Fri, 06 Oct 95 11:04:00 +0100
From:           "Derek Holt" <dfh@maths.warwick.ac.uk>
Subject:        Re:  Wreath Product Action


Wolfgang Knapp writes:

>
> Dear GAP forum,
>
> for dealing with primitive permutation groups with the help of GAP it is
> important to have an efficient way to implement in GAP the action of
> degree m^k of the natural wreath product
>  WreathProduct(Sym(m),Sym(k),IdendityMapping(Sym(k))),
> usually called "product action" (I think "power action" is a more appropriate
> name). Is it possible to avoid complicated and complex computations in
> defining this action?
>
> I would be grateful for any useful advice,         W. Knapp
>

I don't know whether there is a standard GAP function to do this, but
there does happen to be one in the share-package "smash".

It is called WreathPower(G,P) - G can be either a permutation or a
matrix group, and P must be a permutation group.

The source is in the file  main-gap-directory/pkg/smash/code/c_wreath.g
if you want to look at it.

Here is an example:

gap> RequirePackage("smash");
gap> G:=SymmetricGroup(3);
Group( (1,3), (2,3) )
gap> P:=SymmetricGroup(4);
Group( (1,4), (2,4), (3,4) )
gap> W:=WreathPower(G,P);
Group( ( 1, 3)( 4, 6)( 7, 9)(10,12)(13,15)(16,18)(19,21)(22,24)(25,27)(28,30)
(31,33)(34,36)(37,39)(40,42)(43,45)(46,48)(49,51)(52,54)(55,57)(58,60)(61,63)
(64,66)(67,69)(70,72)(73,75)(76,78)(79,81), ( 2, 3)( 5, 6)( 8, 9)(11,12)
(14,15)(17,18)(20,21)(23,24)(26,27)(29,30)(32,33)(35,36)(38,39)(41,42)(44,45)
(47,48)(50,51)(53,54)(56,57)(59,60)(62,63)(65,66)(68,69)(71,72)(74,75)(77,78)
(80,81), ( 2,28)( 3,55)( 5,31)( 6,58)( 8,34)( 9,61)(11,37)(12,64)(14,40)
(15,67)(17,43)(18,70)(20,46)(21,73)(23,49)(24,76)(26,52)(27,79)(30,56)(33,59)
(36,62)(39,65)(42,68)(45,71)(48,74)(51,77)(54,80), ( 4,28)( 5,29)( 6,30)
( 7,55)( 8,56)( 9,57)(13,37)(14,38)(15,39)(16,64)(17,65)(18,66)(22,46)(23,47)
(24,48)(25,73)(26,74)(27,75)(34,58)(35,59)(36,60)(43,67)(44,68)(45,69)(52,76)
(53,77)(54,78), (10,28)(11,29)(12,30)(13,31)(14,32)(15,33)(16,34)(17,35)
(18,36)(19,55)(20,56)(21,57)(22,58)(23,59)(24,60)(25,61)(26,62)(27,63)(46,64)
(47,65)(48,66)(49,67)(50,68)(51,69)(52,70)(53,71)(54,72) )
gap> Size(W);
31104


Derek Holt.



From heiko.theissen@math.rwth-aachen.de Thu Oct 12 16:46:00 1995
Date:           Thu, 12 Oct 95 16:46:00 +0100 (MET)
From:           "Heiko Theissen" <Heiko.Theissen@Math.RWTH-Aachen.DE>
Subject:        Announcement: List of primitive simple permutation groups

Dear forum readers,

I have put a file `coco.grp' into the `/pub/incoming' directory on our
ftp server   `ftp.math.rwth-aachen.de'.  This  file  contains   a  GAP
function that will construct the primitive permutation representations
of  simple groups  of   order less than  a   million,  except for  the
two-dimensional linear groups.

The information about  these  groups stems from  the  computer package
COCO (for computations with COherent COnfigurations)  written by A. A.
Ivanov, I. Faradzev and M. Klin (UNIX port by A. Brouwer) and has been
translated into GAP-format.

Details about the  new GAP function, including  instructions on how to
install  and  use it,  are  contained in the  short documentation file
`coco.tex' in the same   directory `/pub/incoming'. You can  run  this
file through plain TeX to produce a printed description (2 pages).

Have fun, Heiko Thei{\ss}en



From logar@univ.trieste.it Mon Oct 16 12:5 e. g. if you want to build 
a native PowerMac version, you also need the source files. 

Here's a short summary of the features of my new port.

- log window is now a real text editing window; scrolling and 
  resizing of GAP's log window is now possible 
- up to 8 additional file editing windows 
- separate Help window; improved help facilities 
  including "hyperlinks"
- can open and print documents
- can execute other applications (via GAP's Exec () function) 
- can use an external editor (via GAP's Edit () function) 
- now accepts both Macintosh and Unix style pathnames 
- resolves alias files and alias folders
- during program startup, options can be set in a preferences 
  dialog
- GAP is more cooperative when running in the  background 
- does not use Symantec's console library any more, so it should be 
  possible to compile GAP for the Macintosh with other compilers
  and for the PowerMac
- doesn't use the LoMem interface (which might cause problems 
  when compiling GAP on a Power Mac)

Unfortunately, I cannot provide a native Power Mac version of GAP, 
but I hope that someone will be able to compile my port on a Power 
Mac 
and provide a Power Mac version. (Please contact me if you would like 
to do so and need some further assistance!).

Please send any comments and bug reports concerning the Macintosh 
port 
of GAP directly to me. 

If you use my part of GAP, I would appreciate if you dropped me a 
note, 
possibly containing information about your system (machine type, main
memory, system version, do you use virtual memory?)

I hope you will like the new port. 


Burkhard.


                                                                                                                                                                                                         usr/lib/gap/etc/forum95d.txt                                                                        100644       0       0       450164  6662026426  14334  0                                                                                                    ustar   root                            root                                                                                                                                                                                                                   This file contains the mails sent to the GAP forum in October-December 1995.

Name                Email address                           Mails   Lines
Martin Schoenert    Martin.Schoenert@Math.RWTH-Aachen.DE        8     436
Steve Linton        sal@dcs.st-andrews.ac.uk                    8     142
Heiko Theissen      Heiko.Theissen@Math.RWTH-Aachen.DE          6     295
Claude Quitte       quitte@knuth.univ-poitiers.fr               4     386
Joachim Neubueser   Joachim.Neubueser@Math.RWTH-Aachen.DE       3     378
Andrew Mathas       a.mathas@ic.ac.uk                           3     144
Alexander Hulpke    Alexander.Hulpke@Math.RWTH-Aachen.DE        3     128
Thomas Breuer       Thomas.Breuer@Math.RWTH-Aachen.DE           3     123
Giovanni Ferrero    ferrero@prmat.math.unipr.it                 3      10
Frank Celler        Frank.Celler@Math.RWTH-Aachen.DE            2     214
Goetz Pfeiffer      goetz@dcs.st-andrews.ac.uk                  2     138
Chris Wensley       mas023@bangor.ac.uk                         2     104
Derek Holt          dfh@maths.warwick.ac.uk                     2     100
Jean Michel         jean.michel@ens.fr                          2      51
Werner Nickel       Werner.Nickel@Math.RWTH-Aachen.DE           2      38
Andries E. Brouwer  aeb@win.tue.nl                              2      29
Paul Robert Brown   pbrown@math.berkeley.edu                    2      26
Bruce Kaskel        kaskel@math.berkeley.edu                    2      17
Michael Smith       michael.smith@maths.anu.edu.au              1      87
Andreas Hoppe       hoppe@math.tu-berlin.de                     1      67
Andreas Prinz       prinz@informatik.hu-berlin.de               1      49
Dima Pasechnik      pasec@can.nl                                1      40
John Pliam          pliam@imafs.ima.umn.edu                     1      34
Burkhard Hoefling   hoefling@mat.mathematik.uni-mainz.de        1      32
Peter Prohle        prohlep@konig.elte.hu                       1      32
Peter F. Blanchard  pfb3h@weyl.math.virginia.edu                1      31
Wolfgang Knapp      wolfgang.knapp@uni-tuebingen.de             1      29
Sebastian Egner     egner@ira.uka.de                            1      26
Alessandro Logar    logar@univ.trieste.it                       1      25
Bettina Eick        Bettina.Eick@Math.RWTH-Aachen.DE            1      25
James McCarron      jmccarro@mercator.math.uwaterloo.ca         1      23
Shahiem Ganief      ganief@math.unp.ac.za                       1      23
David Wood          s8910859@student.ecel.uwa.edu.au            1      22
Olaf Delgado        delgado@mathematik.uni-bielefeld.de         1      21
David Sibley        sibley@math.psu.edu                         1      20
Kiechle Hubert      kiechle@mathematik.tu-muenchen.de           1      20
Stefan Neis         neis@cs.uni-sb.de                           1      20
Peter F. Mueller    pfm@math.ufl.edu                            1      19
Andreas Caranti     caranti@volterra.science.unitn.it           1      18
Marston Conder      conder@mat.auckland.ac.nz                   1      17
Lewis McCarthy      lmccarth@klingon.cs.umass.edu               1      16
Sarah Rees          sarah.rees@newcastle.ac.uk                  1       7
Robert Gilman       rgilman@sitult.stevens-tech.edu             1       4
Chris Charnes       charnes@osiris.cs.uow.edu.au                1       3
TOTAL                                                          85    3469

This  file is in Berkeley mail drop format, which means you can read this
file with 'mail -f <name-of-the-file>'  or 'mailx -f <name-of-the-file>'.
It is also possible however to read this file with any text editor.



From hoefling@mat.mathematik.uni-mainz.de Mon Oct  2 09:47:00 1995
Date:           Mon, 02 Oct 95 09:47:00 +0100
From:           "Burkhard Hoefling" <hoefling@mat.mathematik.uni-mainz.de>
Subject:        Re: new port of GAP for the Macintosh

Dear forum members
unfortunately there is a problem with the GAP 3.4.2 port for
the Macintosh which I uploaded last Friday. Somehow
part of the GAP 3.4.2 application's resources got lost. Moreover, I
forgot to include a source file, namely 'costab.mod.c'.  I've just
uploaded a corrected version into the pub/incoming directory at
ftp.math.rwth-aachen.de, which consists of the files

      bin3r4p2-mac-syc-pt101.sea.bin (the GAP application)
and   src3r4p2-mac-syc-pt101.sea.bin (the source files),

both in MacBinary II format. You only need the source files if you
want to compile GAP for Macintosh yourself. The old version (mac-syc-
pt10 files) must not be used any more and should be removed from the
server(s) as soon as possible. those who have already downloaded the
old version, I have created a patch file which updates  the GAP 3.4.2
PT 1.0 application. This file should be removed from the server(s)
in a week or so.

      bin3r4p2-mac-syc-pt10-patch.bin

which is available at the same location as the files above. You
only need this file if you already downloaded the file bin3r4p2-mac-
syc-pt10 this weekend. If you want to compile GAP for Macintosh
yourself, you should get the new source files, since they also
contain two or three minor fixes.Sorry for any inconveniences. I hope
that everything is all right now.

Sorry for any incomvenience.

Burkhard.



From thomas.breuer@math.rwth-aachen.de Mon Oct  2 12:04:00 1995
Date:           Mon, 02 Oct 95 12:04:00 +0100 (MET)
From:           "Thomas Breuer" <Thomas.Breuer@Math.RWTH-Aachen.DE>
Subject:        TableAutomorphisms

Dear Mrs. and Mr. Forum,

Peter Blanchard wrote

> The following seems to be a problem in which
> the function TableAutomorphisms misses a symmetry:

He gives the following example.

    gap> DisplayCharTable( CharTablePGroup( TwoGroup( 16, 3 ) ) );



          2  4  4  4  4  3  3  3  3  3  3

            1a 2a 2b 2c 2d 2e 4a 4b 4c 4d
         2P 1a 1a 1a 1a 1a 1a 2a 2a 2c 2c

    X.1      1  1  1  1  1  1  1  1  1  1
    X.2      1  1  1  1 -1 -1  1  1 -1 -1
    X.3      1 -1  1 -1  1 -1  A -A  A -A
    X.4      1 -1  1 -1 -1  1  A -A -A  A
    X.5      1  1  1  1  1  1 -1 -1 -1 -1
    X.6      1  1  1  1 -1 -1 -1 -1  1  1
    X.7      1 -1  1 -1  1 -1 -A  A -A  A
    X.8      1 -1  1 -1 -1  1 -A  A  A -A
    X.9      2  2 -2 -2  .  .  .  .  .  .
    X.10     2 -2 -2  2  .  .  .  .  .  .

    A = E(4)
      = ER(-1) = i
    gap> TableAutomorphisms(tbl,tbl.irreducibles,"closed");
    Group( ( 7, 8)( 9,10), ( 5, 6)( 9,10), ( 2, 4)( 7, 9)( 8,10) )
    gap> (2,4) in last;
    false

Permuting the classes with (2,4) leaves the set of irreducible characters
invariant, namely it induces the permutation (X.9,X.10).
But we have computed the table automorphisms, that is, those automorphisms
of the matrix of irreducible characters that respect the power maps.
In our example this means that if we want to swap the classes '2a' and '2c'
then also their preimages under the 2nd power map must be swapped.
So the desired permutation must map { '4a', '4b' } to { '4c', '4d' }.
This leads to one of the permutations (2,4)(7,9)(8,10), (2,4)(7,10)(8,9)
of classes, which induce the permutations (X.2,X.6)(X.4,X.8)(X.9,X.10)
and (X.2,X.6)(X.3,X.7)(X.9,X.10) of characters.

Kind regards
Thomas Breuer



From pfm@math.ufl.edu Tue Oct  3 19:45:00 1995
Date:           Tue, 03 Oct 95 19:45:00 -0400
From:           "Peter F. Mueller" <pfm@math.ufl.edu>
Subject:        GeneralLinearGroup

Dear Gap-Forum,

if I understand the documentation correctly, then a command like

`GeneralLinearGroup(Permutations,2,2)'

should return the the group GL(2,2) as a permutation group (hopefully
in the natural representation, though that's not specified there).

However, the following happens (using GAP3R4P2):

gap> GeneralLinearGroup(Permutations,2,2);
Error, Record: element 'GeneralLinearGroup' must have an assigned value at
return arg[1].operations.GeneralLinearGroup( arg[1], arg[2], arg[3] ) ... in
GeneralLinearGroup( Permutations, 2, 2 ) called from
main loop

Peter M"uller



From thomas.breuer@math.rwth-aachen.de Wed Oct  4 17:17:00 1995
Date:           Wed, 04 Oct 95 17:17:00 +0100 (MET)
From:           "Thomas Breuer" <Thomas.Breuer@Math.RWTH-Aachen.DE>
Subject:        Re: GeneralLinearGroup

Dear Mrs. and Mr. Forum,

Peter Mueller writes

    if I understand the documentation correctly, then a command like

    `GeneralLinearGroup(Permutations,2,2)'

    should return the the group GL(2,2) as a permutation group (hopefully
    in the natural representation, though that's not specified there).

He reports that in GAP3R4P2 this does not work.
The reason for this bug is that in spite of the promises in the manual
section 'The Basic Groups Library' nobody wrote the corresponding code.

The next upgrade will fix this, for general linear groups as well as for
special linear and symplectic groups, and general/special unitary groups.
For the moment, the following function should suffice.

    GeneralLinearPermGroup := function( n, q )

        local matgrp,   # the desired group as matrix group
              space,    # natural vector space 'matgrp' acts on
              vectors;  # set of nonzero vectors in 'space'

        matgrp:= GeneralLinearMatGroup( n, q );
        space:= GF(q)^n;
        vectors:= Elements( space );
        RemoveSet( vectors, Zero( space ) );

        return Operation( matgrp, vectors );
        end;

Kind regards
Thomas Breuer



From wolfgang.knapp@uni-tuebingen.de Fri Oct  6 09:52:00 1995
Date:           Fri, 06 Oct 95 09:52:00 +0100
From:           "Wolfgang Knapp" <wolfgang.knapp@uni-tuebingen.de>
Subject:        Wreath Product Action


Dear GAP forum,

for dealing with primitive permutation groups with the help of GAP it is
important to have an efficient way to implement in GAP the action of
degree m^k of the natural wreath product
 WreathProduct(Sym(m),Sym(k),IdendityMapping(Sym(k))),
usually called "product action" (I think "power action" is a more appropriate
name). Is it possible to avoid complicated and complex computations in
defining this action?

I would be grateful for any useful advice,         W. Knapp



------------------------------------------------------------------------------

Wolfgang D. Knapp

Mathematisches Institut                Internet:
Universit"at T"ubingen                 wolfgang.knapp@uni-tuebingen.de
Auf der Morgenstelle 10
                                       Tel. +49 7071 294318
D-72076 T"ubingen                      Fax  +49 7071 294322

GERMANY

-----------------------------------------------------------------------------



From dfh@maths.warwick.ac.uk Fri Oct  6 11:04:00 1995
Date:           Fri, 06 Oct 95 11:04:00 +0100
From:           "Derek Holt" <dfh@maths.warwick.ac.uk>
Subject:        Re:  Wreath Product Action


Wolfgang Knapp writes:

>
> Dear GAP forum,
>
> for dealing with primitive permutation groups with the help of GAP it is
> important to have an efficient way to implement in GAP the action of
> degree m^k of the natural wreath product
>  WreathProduct(Sym(m),Sym(k),IdendityMapping(Sym(k))),
> usually called "product action" (I think "power action" is a more appropriate
> name). Is it possible to avoid complicated and complex computations in
> defining this action?
>
> I would be grateful for any useful advice,         W. Knapp
>

I don't know whether there is a standard GAP function to do this, but
there does happen to be one in the share-package "smash".

It is called WreathPower(G,P) - G can be either a permutation or a
matrix group, and P must be a permutation group.

The source is in the file  main-gap-directory/pkg/smash/code/c_wreath.g
if you want to look at it.

Here is an example:

gap> RequirePackage("smash");
gap> G:=SymmetricGroup(3);
Group( (1,3), (2,3) )
gap> P:=SymmetricGroup(4);
Group( (1,4), (2,4), (3,4) )
gap> W:=WreathPower(G,P);
Group( ( 1, 3)( 4, 6)( 7, 9)(10,12)(13,15)(16,18)(19,21)(22,24)(25,27)(28,30)
(31,33)(34,36)(37,39)(40,42)(43,45)(46,48)(49,51)(52,54)(55,57)(58,60)(61,63)
(64,66)(67,69)(70,72)(73,75)(76,78)(79,81), ( 2, 3)( 5, 6)( 8, 9)(11,12)
(14,15)(17,18)(20,21)(23,24)(26,27)(29,30)(32,33)(35,36)(38,39)(41,42)(44,45)
(47,48)(50,51)(53,54)(56,57)(59,60)(62,63)(65,66)(68,69)(71,72)(74,75)(77,78)
(80,81), ( 2,28)( 3,55)( 5,31)( 6,58)( 8,34)( 9,61)(11,37)(12,64)(14,40)
(15,67)(17,43)(18,70)(20,46)(21,73)(23,49)(24,76)(26,52)(27,79)(30,56)(33,59)
(36,62)(39,65)(42,68)(45,71)(48,74)(51,77)(54,80), ( 4,28)( 5,29)( 6,30)
( 7,55)( 8,56)( 9,57)(13,37)(14,38)(15,39)(16,64)(17,65)(18,66)(22,46)(23,47)
(24,48)(25,73)(26,74)(27,75)(34,58)(35,59)(36,60)(43,67)(44,68)(45,69)(52,76)
(53,77)(54,78), (10,28)(11,29)(12,30)(13,31)(14,32)(15,33)(16,34)(17,35)
(18,36)(19,55)(20,56)(21,57)(22,58)(23,59)(24,60)(25,61)(26,62)(27,63)(46,64)
(47,65)(48,66)(49,67)(50,68)(51,69)(52,70)(53,71)(54,72) )
gap> Size(W);
31104


Derek Holt.



From heiko.theissen@math.rwth-aachen.de Thu Oct 12 16:46:00 1995
Date:           Thu, 12 Oct 95 16:46:00 +0100 (MET)
From:           "Heiko Theissen" <Heiko.Theissen@Math.RWTH-Aachen.DE>
Subject:        Announcement: List of primitive simple permutation groups

Dear forum readers,

I have put a file `coco.grp' into the `/pub/incoming' directory on our
ftp server   `ftp.math.rwth-aachen.de'.  This  file  contains   a  GAP
function that will construct the primitive permutation representations
of  simple groups  of   order less than  a   million,  except for  the
two-dimensional linear groups.

The information about  these  groups stems from  the  computer package
COCO (for computations with COherent COnfigurations)  written by A. A.
Ivanov, I. Faradzev and M. Klin (UNIX port by A. Brouwer) and has been
translated into GAP-format.

Details about the  new GAP function, including  instructions on how to
install  and  use it,  are  contained in the  short documentation file
`coco.tex' in the same   directory `/pub/incoming'. You can  run  this
file through plain TeX to produce a printed description (2 pages).

Have fun, Heiko Thei{\ss}en



From logar@univ.trieste.it Mon Oct 16 12:5 e. g. if you want to build 
a native PowerMac version, you also need the source files. 

Here's a short summary of the features of my new port.

- log window is now a real text editing window; scrolling and 
  resizing of GAP's log window is now possible 
- up to 8 additional file editing windows 
- separate Help window; improved help facilities 
  including "hyperlinks"
- can open and print documents
- can execute other applications (via GAP's Exec () function) 
- can use an external editor (via GAP's Edit () function) 
- now accepts both Macintosh and Unix style pathnames 
- resolves alias files and alias folders
- during program startup, options can be set in a preferences 
  dialog
- GAP is more cooperative when running in the  background 
- does not use Symantec's console library any more, so it should be 
  possible to compile GAP for the Macintosh with other compilers
  and for the PowerMac
- doesn't use the LoMem interface (which might cause problems 
  when compiling GAP on a Power Mac)

Unfortunately, I cannot provide a native Power Mac version of GAP, 
but I hope that someone will be able to compile my port on a Power 
Mac 
and provide a Power Mac version. (Please contact me if you would like 
to do so and need some further assistance!).

Please send any comments and bug reports concerning the Macintosh 
port 
of GAP directly to me. 

If you use my part of GAP, I would appreciate if you dropped me a 
note, 
possibly containing information about your system (machine type, main
memory, system version, do you use virtual memory?)

I hope you will like the new port. 


Burkhard.


                                                                                                                                                                                                         usr/lib/gap/etc/forum95d.txt                                                                        100644       0       0       450164  6662026426  14334  0                                                                                                    ustar   root                            root                                                                                                                                                                                                                   This file contains the mails sent to the GAP forum in October-December 1995.

Name                Email address                           Mails   Lines
Martin Schoenert    Martin.Schoenert@Math.RWTH-Aachen.DE        8     436
Steve Linton        sal@dcs.st-andrews.ac.uk                    8     142
Heiko Theissen      Heiko.Theissen@Math.RWTH-Aachen.DE          6     295
Claude Quitte       quitte@knuth.univ-poitiers.fr               4     386
Joachim Neubueser   Joachim.Neubueser@Math.RWTH-Aachen.DE       3     378
Andrew Mathas       a.mathas@ic.ac.uk                           3     144
Alexander Hulpke    Alexander.Hulpke@Math.RWTH-Aachen.DE        3     128
Thomas Breuer       Thomas.Breuer@Math.RWTH-Aachen.DE           3     123
Giovanni Ferrero    ferrero@prmat.math.unipr.it                 3      10
Frank Celler        Frank.Celler@Math.RWTH-Aachen.DE            2     214
Goetz Pfeiffer      goetz@dcs.st-andrews.ac.uk                  2     138
Chris Wensley       mas023@bangor.ac.uk                         2     104
Derek Holt          dfh@maths.warwick.ac.uk                     2     100
Jean Michel         jean.michel@ens.fr                          2      51
Werner Nickel       Werner.Nickel@Math.RWTH-Aachen.DE           2      38
Andries E. Brouwer  aeb@win.tue.nl                              2      29
Paul Robert Brown   pbrown@math.berkeley.edu                    2      26
Bruce Kaskel        kaskel@math.berkeley.edu                    2      17
Michael Smith       michael.smith@maths.anu.edu.au              1      87
Andreas Hoppe       hoppe@math.tu-berlin.de                     1      67
Andreas Prinz       prinz@informatik.hu-berlin.de               1      49
Dima Pasechnik      pasec@can.nl                                1      40
John Pliam          pliam@imafs.ima.umn.edu                     1      34
Burkhard Hoefling   hoefling@mat.mathematik.uni-mainz.de        1      32
Peter Prohle        prohlep@konig.elte.hu                       1      32
Peter F. Blanchard  pfb3h@weyl.math.virginia.edu                1      31
Wolfgang Knapp      wolfgang.knapp@uni-tuebingen.de             1      29
Sebastian Egner     egner@ira.uka.de                            1      26
Alessandro Logar    logar@univ.trieste.it                       1      25
Bettina Eick        Bettina.Eick@Math.RWTH-Aachen.DE            1      25
James McCarron      jmccarro@mercator.math.uwaterloo.ca         1      23
Shahiem Ganief      ganief@math.unp.ac.za                       1      23
David Wood          s8910859@student.ecel.uwa.edu.au            1      22
Olaf Delgado        delgado@mathematik.uni-bielefeld.de         1      21
David Sibley        sibley@math.psu.edu                         1      20
Kiechle Hubert      kiechle@mathematik.tu-muenchen.de           1      20
Stefan Neis         neis@cs.uni-sb.de                           1      20
Peter F. Mueller    pfm@math.ufl.edu                            1      19
Andreas Caranti     caranti@volterra.science.unitn.it           1      18
Marston Conder      conder@mat.auckland.ac.nz                   1      17
Lewis McCarthy      lmccarth@klingon.cs.umass.edu               1      16
Sarah Rees          sarah.rees@newcastle.ac.uk                  1       7
Robert Gilman       rgilman@sitult.stevens-tech.edu             1       4
Chris Charnes       charnes@osiris.cs.uow.edu.au                1       3
TOTAL                                                          85    3469

This  file is in Berkeley mail drop format, which means you can read this
file with 'mail -f <name-of-the-file>'  or 'mailx -f <name-of-the-file>'.
It is also possible however to read this file with any text editor.



From hoefling@mat.mathematik.uni-mainz.de Mon Oct  2 09:47:00 1995
Date:           Mon, 02 Oct 95 09:47:00 +0100
From:           "Burkhard Hoefling" <hoefling@mat.mathematik.uni-mainz.de>
Subject:        Re: new port of GAP for the Macintosh

Dear forum members
unfortunately there is a problem with the GAP 3.4.2 port for
the Macintosh which I uploaded last Friday. Somehow
part of the GAP 3.4.2 application's resources got lost. Moreover, I
forgot to include a source file, namely 'costab.mod.c'.  I've just
uploaded a corrected version into the pub/incoming directory at
ftp.math.rwth-aachen.de, which consists of the files

      bin3r4p2-mac-syc-pt101.sea.bin (the GAP application)
and   src3r4p2-mac-syc-pt101.sea.bin (the source files),

both in MacBinary II format. You only need the source files if you
want to compile GAP for Macintosh yourself. The old version (mac-syc-
pt10 files) must not be used any more and should be removed from the
server(s) as soon as possible. those who have already downloaded the
old version, I have created a patch file which updates  the GAP 3.4.2
PT 1.0 application. This file should be removed from the server(s)
in a week or so.

      bin3r4p2-mac-syc-pt10-patch.bin

which is available at the same location as the files above. You
only need this file if you already downloaded the file bin3r4p2-mac-
syc-pt10 this weekend. If you want to compile GAP for Macintosh
yourself, you should get the new source files, since they also
contain two or three minor fixes.Sorry for any inconveniences. I hope
that everything is all right now.

Sorry for any incomvenience.

Burkhard.



From thomas.breuer@math.rwth-aachen.de Mon Oct  2 12:04:00 1995
Date:           Mon, 02 Oct 95 12:04:00 +0100 (MET)
From:           "Thomas Breuer" <Thomas.Breuer@Math.RWTH-Aachen.DE>
Subject:        TableAutomorphisms

Dear Mrs. and Mr. Forum,

Peter Blanchard wrote

> The following seems to be a problem in which
> the function TableAutomorphisms misses a symmetry:

He gives the following example.

    gap> DisplayCharTable( CharTablePGroup( TwoGroup( 16, 3 ) ) );



          2  4  4  4  4  3  3  3  3  3  3

            1a 2a 2b 2c 2d 2e 4a 4b 4c 4d
         2P 1a 1a 1a 1a 1a 1a 2a 2a 2c 2c

    X.1      1  1  1  1  1  1  1  1  1  1
    X.2      1  1  1  1 -1 -1  1  1 -1 -1
    X.3      1 -1  1 -1  1 -1  A -A  A -A
    X.4      1 -1  1 -1 -1  1  A -A -A  A
    X.5      1  1  1  1  1  1 -1 -1 -1 -1
    X.6      1  1  1  1 -1 -1 -1 -1  1  1
    X.7      1 -1  1 -1  1 -1 -A  A -A  A
    X.8      1 -1  1 -1 -1  1 -A  A  A -A
    X.9      2  2 -2 -2  .  .  .  .  .  .
    X.10     2 -2 -2  2  .  .  .  .  .  .

    A = E(4)
      = ER(-1) = i
    gap> TableAutomorphisms(tbl,tbl.irreducibles,"closed");
    Group( ( 7, 8)( 9,10), ( 5, 6)( 9,10), ( 2, 4)( 7, 9)( 8,10) )
    gap> (2,4) in last;
    false

Permuting the classes with (2,4) leaves the set of irreducible characters
invariant, namely it induces the permutation (X.9,X.10).
But we have computed the table automorphisms, that is, those automorphisms
of the matrix of irreducible characters that respect the power maps.
In our example this means that if we want to swap the classes '2a' and '2c'
then also their preimages under the 2nd power map must be swapped.
So the desired permutation must map { '4a', '4b' } to { '4c', '4d' }.
This leads to one of the permutations (2,4)(7,9)(8,10), (2,4)(7,10)(8,9)
of classes, which induce the permutations (X.2,X.6)(X.4,X.8)(X.9,X.10)
and (X.2,X.6)(X.3,X.7)(X.9,X.10) of characters.

Kind regards
Thomas Breuer



From pfm@math.ufl.edu Tue Oct  3 19:45:00 1995
Date:           Tue, 03 Oct 95 19:45:00 -0400
From:           "Peter F. Mueller" <pfm@math.ufl.edu>
Subject:        GeneralLinearGroup

Dear Gap-Forum,

if I understand the documentation correctly, then a command like

`GeneralLinearGroup(Permutations,2,2)'

should return the the group GL(2,2) as a permutation group (hopefully
in the natural representation, though that's not specified there).

However, the following happens (using GAP3R4P2):

gap> GeneralLinearGroup(Permutations,2,2);
Error, Record: element 'GeneralLinearGroup' must have an assigned value at
return arg[1].operations.GeneralLinearGroup( arg[1], arg[2], arg[3] ) ... in
GeneralLinearGroup( Permutations, 2, 2 ) called from
main loop

Peter M"uller



From thomas.breuer@math.rwth-aachen.de Wed Oct  4 17:17:00 1995
Date:           Wed, 04 Oct 95 17:17:00 +0100 (MET)
From:           "Thomas Breuer" <Thomas.Breuer@Math.RWTH-Aachen.DE>
Subject:        Re: GeneralLinearGroup

Dear Mrs. and Mr. Forum,

Peter Mueller writes

    if I understand the documentation correctly, then a command like

    `GeneralLinearGroup(Permutations,2,2)'

    should return the the group GL(2,2) as a permutation group (hopefully
    in the natural representation, though that's not specified there).

He reports that in GAP3R4P2 this does not work.
The reason for this bug is that in spite of the promises in the manual
section 'The Basic Groups Library' nobody wrote the corresponding code.

The next upgrade will fix this, for general linear groups as well as for
special linear and symplectic groups, and general/special unitary groups.
For the moment, the following function should suffice.

    GeneralLinearPermGroup := function( n, q )

        local matgrp,   # the desired group as matrix group
              space,    # natural vector space 'matgrp' acts on
              vectors;  # set of nonzero vectors in 'space'

        matgrp:= GeneralLinearMatGroup( n, q );
        space:= GF(q)^n;
        vectors:= Elements( space );
        RemoveSet( vectors, Zero( space ) );

        return Operation( matgrp, vectors );
        end;

Kind regards
Thomas Breuer



From wolfgang.knapp@uni-tuebingen.de Fri Oct  6 09:52:00 1995
Date:           Fri, 06 Oct 95 09:52:00 +0100
From:           "Wolfgang Knapp" <wolfgang.knapp@uni-tuebingen.de>
Subject:        Wreath Product Action


Dear GAP forum,

for dealing with primitive permutation groups with the help of GAP it is
important to have an efficient way to implement in GAP the action of
degree m^k of the natural wreath product
 WreathProduct(Sym(m),Sym(k),IdendityMapping(Sym(k))),
usually called "product action" (I think "power action" is a more appropriate
name). Is it possible to avoid complicated and complex computations in
defining this action?

I would be grateful for any useful advice,         W. Knapp



------------------------------------------------------------------------------

Wolfgang D. Knapp

Mathematisches Institut                Internet:
Universit"at T"ubingen                 wolfgang.knapp@uni-tuebingen.de
Auf der Morgenstelle 10
                                       Tel. +49 7071 294318
D-72076 T"ubingen                      Fax  +49 7071 294322

GERMANY

-----------------------------------------------------------------------------



From dfh@maths.warwick.ac.uk Fri Oct  6 11:04:00 1995
Date:           Fri, 06 Oct 95 11:04:00 +0100
From:           "Derek Holt" <dfh@maths.warwick.ac.uk>
Subject:        Re:  Wreath Product Action


Wolfgang Knapp writes:

>
> Dear GAP forum,
>
> for dealing with primitive permutation groups with the help of GAP it is
> important to have an efficient way to implement in GAP the action of
> degree m^k of the natural wreath product
>  WreathProduct(Sym(m),Sym(k),IdendityMapping(Sym(k))),
> usually called "product action" (I think "power action" is a more appropriate
> name). Is it possible to avoid complicated and complex computations in
> defining this action?
>
> I would be grateful for any useful advice,         W. Knapp
>

I don't know whether there is a standard GAP function to do this, but
there does happen to be one in the share-package "smash".

It is called WreathPower(G,P) - G can be either a permutation or a
matrix group, and P must be a permutation group.

The source is in the file  main-gap-directory/pkg/smash/code/c_wreath.g
if you want to look at it.

Here is an example:

gap> RequirePackage("smash");
gap> G:=SymmetricGroup(3);
Group( (1,3), (2,3) )
gap> P:=SymmetricGroup(4);
Group( (1,4), (2,4), (3,4) )
gap> W:=WreathPower(G,P);
Group( ( 1, 3)( 4, 6)( 7, 9)(10,12)(13,15)(16,18)(19,21)(22,24)(25,27)(28,30)
(31,33)(34,36)(37,39)(40,42)(43,45)(46,48)(49,51)(52,54)(55,57)(58,60)(61,63)
(64,66)(67,69)(70,72)(73,75)(76,78)(79,81), ( 2, 3)( 5, 6)( 8, 9)(11,12)
(14,15)(17,18)(20,21)(23,24)(26,27)(29,30)(32,33)(35,36)(38,39)(41,42)(44,45)
(47,48)(50,51)(53,54)(56,57)(59,60)(62,63)(65,66)(68,69)(71,72)(74,75)(77,78)
(80,81), ( 2,28)( 3,55)( 5,31)( 6,58)( 8,34)( 9,61)(11,37)(12,64)(14,40)
(15,67)(17,43)(18,70)(20,46)(21,73)(23,49)(24,76)(26,52)(27,79)(30,56)(33,59)
(36,62)(39,65)(42,68)(45,71)(48,74)(51,77)(54,80), ( 4,28)( 5,29)( 6,30)
( 7,55)( 8,56)( 9,57)(13,37)(14,38)(15,39)(16,64)(17,65)(18,66)(22,46)(23,47)
(24,48)(25,73)(26,74)(27,75)(34,58)(35,59)(36,60)(43,67)(44,68)(45,69)(52,76)
(53,77)(54,78), (10,28)(11,29)(12,30)(13,31)(14,32)(15,33)(16,34)(17,35)
(18,36)(19,55)(20,56)(21,57)(22,58)(23,59)(24,60)(25,61)(26,62)(27,63)(46,64)
(47,65)(48,66)(49,67)(50,68)(51,69)(52,70)(53,71)(54,72) )
gap> Size(W);
31104


Derek Holt.



From heiko.theissen@math.rwth-aachen.de Thu Oct 12 16:46:00 1995
Date:           Thu, 12 Oct 95 16:46:00 +0100 (MET)
From:           "Heiko Theissen" <Heiko.Theissen@Math.RWTH-Aachen.DE>
Subject:        Announcement: List of primitive simple permutation groups

Dear forum readers,

I have put a file `coco.grp' into the `/pub/incoming' directory on our
ftp server   `ftp.math.rwth-aachen.de'.  This  file  contains   a  GAP
function that will construct the primitive permutation representations
of  simple groups  of   order less than  a   million,  except for  the
two-dimensional linear groups.

The information about  these  groups stems from  the  computer package
COCO (for computations with COherent COnfigurations)  written by A. A.
Ivanov, I. Faradzev and M. Klin (UNIX port by A. Brouwer) and has been
translated into GAP-format.

Details about the  new GAP function, including  instructions on how to
install  and  use it,  are  contained in the  short documentation file
`coco.tex' in the same   directory `/pub/incoming'. You can  run  this
file through plain TeX to produce a printed description (2 pages).

Have fun, Heiko Thei{\ss}en



From logar@univ.trieste.it Mon Oct 16 12:5 e. g. if you want to build 
a native PowerMac version, you also need the source files. 

Here's a short summary of the features of my new port.

- log window is now a real text editing window; scrolling and 
  resizing of GAP's log window is now possible 
- up to 8 additional file editing windows 
- separate Help window; improved help facilities 
  including "hyperlinks"
- can open and print documents
- can execute other applications (via GAP's Exec () function) 
- can use an external editor (via GAP's Edit () function) 
- now accepts both Macintosh and Unix style pathnames 
- resolves alias files and alias folders
- during program startup, options can be set in a preferences 
  dialog
- GAP is more cooperative when running in the  background 
- does not use Symantec's console library any more, so it should be 
  possible to compile GAP for the Macintosh with other compilers
  and for the PowerMac
- doesn't use the LoMem interface (which might cause problems 
  when compiling GAP on a Power Mac)

Unfortunately, I cannot provide a native Power Mac version of GAP, 
but I hope that someone will be able to compile my port on a Power 
Mac 
and provide a Power Mac version. (Please contact me if you would like 
to do so and need some further assistance!).

Please send any comments and bug reports concerning the Macintosh 
port 
of GAP directly to me. 

If you use my part of GAP, I would appreciate if you dropped me a 
note, 
possibly containing information about your system (machine type, main
memory, system version, do you use virtual memory?)

I hope you will like the new port. 


Burkhard.


                                                                                                                                                                                                         usr/lib/gap/etc/forum95d.txt                                                                        100644       0       0       450164  6662026426  14334  0                                                                                                    ustar   root                            root                                                                                                                                                                                                                   This file contains the mails sent to the GAP forum in October-December 1995.

Name                Email address                           Mails   Lines
Martin Schoenert    Martin.Schoenert@Math.RWTH-Aachen.DE        8     436
Steve Linton        sal@dcs.st-andrews.ac.uk                    8     142
Heiko Theissen      Heiko.Theissen@Math.RWTH-Aachen.DE          6     295
Claude Quitte       quitte@knuth.univ-poitiers.fr               4     386
Joachim Neubueser   Joachim.Neubueser@Math.RWTH-Aachen.DE       3     378
Andrew Mathas       a.mathas@ic.ac.uk                           3     144
Alexander Hulpke    Alexander.Hulpke@Math.RWTH-Aachen.DE        3     128
Thomas Breuer       Thomas.Breuer@Math.RWTH-Aachen.DE           3     123
Giovanni Ferrero    ferrero@prmat.math.unipr.it                 3      10
Frank Celler        Frank.Celler@Math.RWTH-Aachen.DE            2     214
Goetz Pfeiffer      goetz@dcs.st-andrews.ac.uk                  2     138
Chris Wensley       mas023@bangor.ac.uk                         2     104
Derek Holt          dfh@maths.warwick.ac.uk                     2     100
Jean Michel         jean.michel@ens.fr                          2      51
Werner Nickel       Werner.Nickel@Math.RWTH-Aachen.DE           2      38
Andries E. Brouwer  aeb@win.tue.nl                              2      29
Paul Robert Brown   pbrown@math.berkeley.edu                    2      26
Bruce Kaskel        kaskel@math.berkeley.edu                    2      17
Michael Smith       michael.smith@maths.anu.edu.au              1      87
Andreas Hoppe       hoppe@math.tu-berlin.de                     1      67
Andreas Prinz       prinz@informatik.hu-berlin.de               1      49
Dima Pasechnik      pasec@can.nl                                1      40
John Pliam          pliam@imafs.ima.umn.edu                     1      34
Burkhard Hoefling   hoefling@mat.mathematik.uni-mainz.de        1      32
Peter Prohle        prohlep@konig.elte.hu                       1      32
Peter F. Blanchard  pfb3h@weyl.math.virginia.edu                1      31
Wolfgang Knapp      wolfgang.knapp@uni-tuebingen.de             1      29
Sebastian Egner     egner@ira.uka.de                            1      26
Alessandro Logar    logar@univ.trieste.it                       1      25
Bettina Eick        Bettina.Eick@Math.RWTH-Aachen.DE            1      25
James McCarron      jmccarro@mercator.math.uwaterloo.ca         1      23
Shahiem Ganief      ganief@math.unp.ac.za                       1      23
David Wood          s8910859@student.ecel.uwa.edu.au            1      22
Olaf Delgado        delgado@mathematik.uni-bielefeld.de         1      21
David Sibley        sibley@math.psu.edu                         1      20
Kiechle Hubert      kiechle@mathematik.tu-muenchen.de           1      20
Stefan Neis         neis@cs.uni-sb.de                           1      20
Peter F. Mueller    pfm@math.ufl.edu                            1      19
Andreas Caranti     caranti@volterra.science.unitn.it           1      18
Marston Conder      conder@mat.auckland.ac.nz                   1      17
Lewis McCarthy      lmccarth@klingon.cs.umass.edu               1      16
Sarah Rees          sarah.rees@newcastle.ac.uk                  1       7
Robert Gilman       rgilman@sitult.stevens-tech.edu             1       4
Chris Charnes       charnes@osiris.cs.uow.edu.au                1       3
TOTAL                                                          85    3469

This  file is in Berkeley mail drop format, which means you can read this
file with 'mail -f <name-of-the-file>'  or 'mailx -f <name-of-the-file>'.
It is also possible however to read this file with any text editor.



From hoefling@mat.mathematik.uni-mainz.de Mon Oct  2 09:47:00 1995
Date:           Mon, 02 Oct 95 09:47:00 +0100
From:           "Burkhard Hoefling" <hoefling@mat.mathematik.uni-mainz.de>
Subject:        Re: new port of GAP for the Macintosh

Dear forum members
unfortunately there is a problem with the GAP 3.4.2 port for
the Macintosh which I uploaded last Friday. Somehow
part of the GAP 3.4.2 application's resources got lost. Moreover, I
forgot to include a source file, namely 'costab.mod.c'.  I've just
uploaded a corrected version into the pub/incoming directory at
ftp.math.rwth-aachen.de, which consists of the files

      bin3r4p2-mac-syc-pt101.sea.bin (the GAP application)
and   src3r4p2-mac-syc-pt101.sea.bin (the source files),

both in MacBinary II format. You only need the source files if you
want to compile GAP for Macintosh yourself. The old version (mac-syc-
pt10 files) must not be used any more and should be removed from the
server(s) as soon as possible. those who have already downloaded the
old version, I have created a patch file which updates  the GAP 3.4.2
PT 1.0 application. This file should be removed from the server(s)
in a week or so.

      bin3r4p2-mac-syc-pt10-patch.bin

which is available at the same location as the files above. You
only need this file if you already downloaded the file bin3r4p2-mac-
syc-pt10 this weekend. If you want to compile GAP for Macintosh
yourself, you should get the new source files, since they also
contain two or three minor fixes.Sorry for any inconveniences. I hope
that everything is all right now.

Sorry for any incomvenience.

Burkhard.



From thomas.breuer@math.rwth-aachen.de Mon Oct  2 12:04:00 1995
Date:           Mon, 02 Oct 95 12:04:00 +0100 (MET)
From:           "Thomas Breuer" <Thomas.Breuer@Math.RWTH-Aachen.DE>
Subject:        TableAutomorphisms

Dear Mrs. and Mr. Forum,

Peter Blanchard wrote

> The following seems to be a problem in which
> the function TableAutomorphisms misses a symmetry:

He gives the following example.

    gap> DisplayCharTable( CharTablePGroup( TwoGroup( 16, 3 ) ) );



          2  4  4  4  4  3  3  3  3  3  3

            1a 2a 2b 2c 2d 2e 4a 4b 4c 4d
         2P 1a 1a 1a 1a 1a 1a 2a 2a 2c 2c

    X.1      1  1  1  1  1  1  1  1  1  1
    X.2      1  1  1  1 -1 -1  1  1 -1 -1
    X.3      1 -1  1 -1  1 -1  A -A  A -A
    X.4      1 -1  1 -1 -1  1  A -A -A  A
    X.5      1  1  1  1  1  1 -1 -1 -1 -1
    X.6      1  1  1  1 -1 -1 -1 -1  1  1
    X.7      1 -1  1 -1  1 -1 -A  A -A  A
    X.8      1 -1  1 -1 -1  1 -A  A  A -A
    X.9      2  2 -2 -2  .  .  .  .  .  .
    X.10     2 -2 -2  2  .  .  .  .  .  .

    A = E(4)
      = ER(-1) = i
    gap> TableAutomorphisms(tbl,tbl.irreducibles,"closed");
    Group( ( 7, 8)( 9,10), ( 5, 6)( 9,10), ( 2, 4)( 7, 9)( 8,10) )
    gap> (2,4) in last;
    false

Permuting the classes with (2,4) leaves the set of irreducible characters
invariant, namely it induces the permutation (X.9,X.10).
But we have computed the table automorphisms, that is, those automorphisms
of the matrix of irreducible characters that respect the power maps.
In our example this means that if we want to swap the classes '2a' and '2c'
then also their preimages under the 2nd power map must be swapped.
So the desired permutation must map { '4a', '4b' } to { '4c', '4d' }.
This leads to one of the permutations (2,4)(7,9)(8,10), (2,4)(7,10)(8,9)
of classes, which induce the permutations (X.2,X.6)(X.4,X.8)(X.9,X.10)
and (X.2,X.6)(X.3,X.7)(X.9,X.10) of characters.

Kind regards
Thomas Breuer



From pfm@math.ufl.edu Tue Oct  3 19:45:00 1995
Date:           Tue, 03 Oct 95 19:45:00 -0400
From:           "Peter F. Mueller" <pfm@math.ufl.edu>
Subject:        GeneralLinearGroup

Dear Gap-Forum,

if I understand the documentation correctly, then a command like

`GeneralLinearGroup(Permutations,2,2)'

should return the the group GL(2,2) as a permutation group (hopefully
in the natural representation, though that's not specified there).

However, the following happens (using GAP3R4P2):

gap> GeneralLinearGroup(Permutations,2,2);
Error, Record: element 'GeneralLinearGroup' must have an assigned value at
return arg[1].operations.GeneralLinearGroup( arg[1], arg[2], arg[3] ) ... in
GeneralLinearGroup( Permutations, 2, 2 ) called from
main loop

Peter M"uller



From thomas.breuer@math.rwth-aachen.de Wed Oct  4 17:17:00 1995
Date:           Wed, 04 Oct 95 17:17:00 +0100 (MET)
From:           "Thomas Breuer" <Thomas.Breuer@Math.RWTH-Aachen.DE>
Subject:        Re: GeneralLinearGroup

Dear Mrs. and Mr. Forum,

Peter Mueller writes

    if I understand the documentation correctly, then a command like

    `GeneralLinearGroup(Permutations,2,2)'

    should return the the group GL(2,2) as a permutation group (hopefully
    in the natural representation, though that's not specified there).

He reports that in GAP3R4P2 this does not work.
The reason for this bug is that in spite of the promises in the manual
section 'The Basic Groups Library' nobody wrote the corresponding code.

The next upgrade will fix this, for general linear groups as well as for
special linear and symplectic groups, and general/special unitary groups.
For the moment, the following function should suffice.

    GeneralLinearPermGroup := function( n, q )

        local matgrp,   # the desired group as matrix group
              space,    # natural vector space 'matgrp' acts on
              vectors;  # set of nonzero vectors in 'space'

        matgrp:= GeneralLinearMatGroup( n, q );
        space:= GF(q)^n;
        vectors:= Elements( space );
        RemoveSet( vectors, Zero( space ) );

        return Operation( matgrp, vectors );
        end;

Kind regards
Thomas Breuer



From wolfgang.knapp@uni-tuebingen.de Fri Oct  6 09:52:00 1995
Date:           Fri, 06 Oct 95 09:52:00 +0100
From:           "Wolfgang Knapp" <wolfgang.knapp@uni-tuebingen.de>
Subject:        Wreath Product Action


Dear GAP forum,

for dealing with primitive permutation groups with the help of GAP it is
important to have an efficient way to implement in GAP the action of
degree m^k of the natural wreath product
 WreathProduct(Sym(m),Sym(k),IdendityMapping(Sym(k))),
usually called "product action" (I think "power action" is a more appropriate
name). Is it possible to avoid complicated and complex computations in
defining this action?

I would be grateful for any useful advice,         W. Knapp



------------------------------------------------------------------------------

Wolfgang D. Knapp

Mathematisches Institut                Internet:
Universit"at T"ubingen                 wolfgang.knapp@uni-tuebingen.de
Auf der Morgenstelle 10
                                       Tel. +49 7071 294318
D-72076 T"ubingen                      Fax  +49 7071 294322

GERMANY

-----------------------------------------------------------------------------



From dfh@maths.warwick.ac.uk Fri Oct  6 11:04:00 1995
Date:           Fri, 06 Oct 95 11:04:00 +0100
From:           "Derek Holt" <dfh@maths.warwick.ac.uk>
Subject:        Re:  Wreath Product Action


Wolfgang Knapp writes:

>
> Dear GAP forum,
>
> for dealing with primitive permutation groups with the help of GAP it is
> important to have an efficient way to implement in GAP the action of
> degree m^k of the natural wreath product
>  WreathProduct(Sym(m),Sym(k),IdendityMapping(Sym(k))),
> usually called "product action" (I think "power action" is a more appropriate
> name). Is it possible to avoid complicated and complex computations in
> defining this action?
>
> I would be grateful for any useful advice,         W. Knapp
>

I don't know whether there is a standard GAP function to do this, but
there does happen to be one in the share-package "smash".

It is called WreathPower(G,P) - G can be either a permutation or a
matrix group, and P must be a permutation group.

The source is in the file  main-gap-directory/pkg/smash/code/c_wreath.g
if you want to look at it.

Here is an example:

gap> RequirePackage("smash");
gap> G:=SymmetricGroup(3);
Group( (1,3), (2,3) )
gap> P:=SymmetricGroup(4);
Group( (1,4), (2,4), (3,4) )
gap> W:=WreathPower(G,P);
Group( ( 1, 3)( 4, 6)( 7, 9)(10,12)(13,15)(16,18)(19,21)(22,24)(25,27)(28,30)
(31,33)(34,36)(37,39)(40,42)(43,45)(46,48)(49,51)(52,54)(55,57)(58,60)(61,63)
(64,66)(67,69)(70,72)(73,75)(76,78)(79,81), ( 2, 3)( 5, 6)( 8, 9)(11,12)
(14,15)(17,18)(20,21)(23,24)(26,27)(29,30)(32,33)(35,36)(38,39)(41,42)(44,45)
(47,48)(50,51)(53,54)(56,57)(59,60)(62,63)(65,66)(68,69)(71,72)(74,75)(77,78)
(80,81), ( 2,28)( 3,55)( 5,31)( 6,58)( 8,34)( 9,61)(11,37)(12,64)(14,40)
(15,67)(17,43)(18,70)(20,46)(21,73)(23,49)(24,76)(26,52)(27,79)(30,56)(33,59)
(36,62)(39,65)(42,68)(45,71)(48,74)(51,77)(54,80), ( 4,28)( 5,29)( 6,30)
( 7,55)( 8,56)( 9,57)(13,37)(14,38)(15,39)(16,64)(17,65)(18,66)(22,46)(23,47)
(24,48)(25,73)(26,74)(27,75)(34,58)(35,59)(36,60)(43,67)(44,68)(45,69)(52,76)
(53,77)(54,78), (10,28)(11,29)(12,30)(13,31)(14,32)(15,33)(16,34)(17,35)
(18,36)(19,55)(20,56)(21,57)(22,58)(23,59)(24,60)(25,61)(26,62)(27,63)(46,64)
(47,65)(48,66)(49,67)(50,68)(51,69)(52,70)(53,71)(54,72) )
gap> Size(W);
31104


Derek Holt.



From heiko.theissen@math.rwth-aachen.de Thu Oct 12 16:46:00 1995
Date:           Thu, 12 Oct 95 16:46:00 +0100 (MET)
From:           "Heiko Theissen" <Heiko.Theissen@Math.RWTH-Aachen.DE>
Subject:        Announcement: List of primitive simple permutation groups

Dear forum readers,

I have put a file `coco.grp' into the `/pub/incoming' directory on our
ftp server   `ftp.math.rwth-aachen.de'.  This  file  contains   a  GAP
function that will construct the primitive permutation representations
of  simple groups  of   order less than  a   million,  except for  the
two-dimensional linear groups.

The information about  these  groups stems from  the  computer package
COCO (for computations with COherent COnfigurations)  written by A. A.
Ivanov, I. Faradzev and M. Klin (UNIX port by A. Brouwer) and has been
translated into GAP-format.

Details about the  new GAP function, including  instructions on how to
install  and  use it,  are  contained in the  short documentation file
`coco.tex' in the same   directory `/pub/incoming'. You can  run  this
file through plain TeX to produce a printed description (2 pages).

Have fun, Heiko Thei{\ss}en



From logar@univ.trieste.it Mon Oct 16 12:5 e. g. if you want to build 
a native PowerMac version, you also need the source files. 

Here's a short summary of the features of my new port.

- log window is now a real text editing window; scrolling and 
  resizing of GAP's log window is now possible 
- up to 8 additional file editing windows 
- separate Help window; improved help facilities 
  including "hyperlinks"
- can open and print documents
- can execute other applications (via GAP's Exec () function) 
- can use an external editor (via GAP's Edit () function) 
- now accepts both Macintosh and Unix style pathnames 
- resolves alias files and alias folders
- during program startup, options can be set in a preferences 
  dialog
- GAP is more cooperative when running in the  background 
- does not use Symantec's console library any more, so it should be 
  possible to compile GAP for the Macintosh with other compilers
  and for the PowerMac
- doesn't use the LoMem interface (which might cause problems 
  when compiling GAP on a Power Mac)

Unfortunately, I cannot provide a native Power Mac version of GAP, 
but I hope that someone will be able to compile my port on a Power 
Mac 
and provide a Power Mac version. (Please contact me if you would like 
to do so and need some further assistance!).

Please send any comments and bug reports concerning the Macintosh 
port 
of GAP directly to me. 

If you use my part of GAP, I would appreciate if you dropped me a 
note, 
possibly containing information about your system (machine type, main
memory, system version, do you use virtual memory?)

I hope you will like the new port. 


Burkhard.


                                                                                                                                                                                                         usr/lib/gap/etc/forum95d.txt                                                                        100644       0       0       450164  6662026426  14334  0                                                                                                    ustar   root                            root                                                                                                                                                                                                                   This file contains the mails sent to the GAP forum in October-December 1995.

Name                Email address                           Mails   Lines
Martin Schoenert    Martin.Schoenert@Math.RWTH-Aachen.DE        8     436
Steve Linton        sal@dcs.st-andrews.ac.uk                    8     142
Heiko Theissen      Heiko.Theissen@Math.RWTH-Aachen.DE          6     295
Claude Quitte       quitte@knuth.univ-poitiers.fr               4     386
Joachim Neubueser   Joachim.Neubueser@Math.RWTH-Aachen.DE       3     378
Andrew Mathas       a.mathas@ic.ac.uk                           3     144
Alexander Hulpke    Alexander.Hulpke@Math.RWTH-Aachen.DE        3     128
Thomas Breuer       Thomas.Breuer@Math.RWTH-Aachen.DE           3     123
Giovanni Ferrero    ferrero@prmat.math.unipr.it                 3      10
Frank Celler        Frank.Celler@Math.RWTH-Aachen.DE            2     214
Goetz Pfeiffer      goetz@dcs.st-andrews.ac.uk                  2     138
Chris Wensley       mas023@bangor.ac.uk                         2     104
Derek Holt          dfh@maths.warwick.ac.uk                     2     100
Jean Michel         jean.michel@ens.fr                          2      51
Werner Nickel       Werner.Nickel@Math.RWTH-Aachen.DE           2      38
Andries E. Brouwer  aeb@win.tue.nl                              2      29
Paul Robert Brown   pbrown@math.berkeley.edu                    2      26
Bruce Kaskel        kaskel@math.berkeley.edu                    2      17
Michael Smith       michael.smith@maths.anu.edu.au              1      87
Andreas Hoppe       hoppe@math.tu-berlin.de                     1      67
Andreas Prinz       prinz@informatik.hu-berlin.de               1      49
Dima Pasechnik      pasec@can.nl                                1      40
John Pliam          pliam@imafs.ima.umn.edu                     1      34
Burkhard Hoefling   hoefling@mat.mathematik.uni-mainz.de        1      32
Peter Prohle        prohlep@konig.elte.hu                       1      32
Peter F. Blanchard  pfb3h@weyl.math.virginia.edu                1      31
Wolfgang Knapp      wolfgang.knapp@uni-tuebingen.de             1      29
Sebastian Egner     egner@ira.uka.de                            1      26
Alessandro Logar    logar@univ.trieste.it                       1      25
Bettina Eick        Bettina.Eick@Math.RWTH-Aachen.DE            1      25
James McCarron      jmccarro@mercator.math.uwaterloo.ca         1      23
Shahiem Ganief      ganief@math.unp.ac.za                       1      23
David Wood          s8910859@student.ecel.uwa.edu.au            1      22
Olaf Delgado        delgado@mathematik.uni-bielefeld.de         1      21
David Sibley        sibley@math.psu.edu                         1      20
Kiechle Hubert      kiechle@mathematik.tu-muenchen.de           1      20
Stefan Neis         neis@cs.uni-sb.de                           1      20
Peter F. Mueller    pfm@math.ufl.edu                            1      19
Andreas Caranti     caranti@volterra.science.unitn.it           1      18
Marston Conder      conder@mat.auckland.ac.nz                   1      17
Lewis McCarthy      lmccarth@klingon.cs.umass.edu               1      16
Sarah Rees          sarah.rees@newcastle.ac.uk                  1       7
Robert Gilman       rgilman@sitult.stevens-tech.edu             1       4
Chris Charnes       charnes@osiris.cs.uow.edu.au                1       3
TOTAL                                                          85    3469

This  file is in Berkeley mail drop format, which means you can read this
file with 'mail -f <name-of-the-file>'  or 'mailx -f <name-of-the-file>'.
It is also possible however to read this file with any text editor.



From hoefling@mat.mathematik.uni-mainz.de Mon Oct  2 09:47:00 1995
Date:           Mon, 02 Oct 95 09:47:00 +0100
From:           "Burkhard Hoefling" <hoefling@mat.mathematik.uni-mainz.de>
Subject:        Re: new port of GAP for the Macintosh

Dear forum members
unfortunately there is a problem with the GAP 3.4.2 port for
the Macintosh which I uploaded last Friday. Somehow
part of the GAP 3.4.2 application's resources got lost. Moreover, I
forgot to include a source file, namely 'costab.mod.c'.  I've just
uploaded a corrected version into the pub/incoming directory at
ftp.math.rwth-aachen.de, which consists of the files

      bin3r4p2-mac-syc-pt101.sea.bin (the GAP application)
and   src3r4p2-mac-syc-pt101.sea.bin (the source files),

both in MacBinary II format. You only need the source files if you
want to compile GAP for Macintosh yourself. The old version (mac-syc-
pt10 files) must not be used any more and should be removed from the
server(s) as soon as possible. those who have already downloaded the
old version, I have created a patch file which updates  the GAP 3.4.2
PT 1.0 application. This file should be removed from the server(s)
in a week or so.

      bin3r4p2-mac-syc-pt10-patch.bin

which is available at the same location as the files above. You
only need this file if you already downloaded the file bin3r4p2-mac-
syc-pt10 this weekend. If you want to compile GAP for Macintosh
yourself, you should get the new source files, since they also
contain two or three minor fixes.Sorry for any inconveniences. I hope
that everything is all right now.

Sorry for any incomvenience.

Burkhard.



From thomas.breuer@math.rwth-aachen.de Mon Oct  2 12:04:00 1995
Date:           Mon, 02 Oct 95 12:04:00 +0100 (MET)
From:           "Thomas Breuer" <Thomas.Breuer@Math.RWTH-Aachen.DE>
Subject:        TableAutomorphisms

Dear Mrs. and Mr. Forum,

Peter Blanchard wrote

> The following seems to be a problem in which
> the function TableAutomorphisms misses a symmetry:

He gives the following example.

    gap> DisplayCharTable( CharTablePGroup( TwoGroup( 16, 3 ) ) );



          2  4  4  4  4  3  3  3  3  3  3

            1a 2a 2b 2c 2d 2e 4a 4b 4c 4d
         2P 1a 1a 1a 1a 1a 1a 2a 2a 2c 2c

    X.1      1  1  1  1  1  1  1  1  1  1
    X.2      1  1  1  1 -1 -1  1  1 -1 -1
    X.3      1 -1  1 -1  1 -1  A -A  A -A
    X.4      1 -1  1 -1 -1  1  A -A -A  A
    X.5      1  1  1  1  1  1 -1 -1 -1 -1
    X.6      1  1  1  1 -1 -1 -1 -1  1  1
    X.7      1 -1  1 -1  1 -1 -A  A -A  A
    X.8      1 -1  1 -1 -1  1 -A  A  A -A
    X.9      2  2 -2 -2  .  .  .  .  .  .
    X.10     2 -2 -2  2  .  .  .  .  .  .

    A = E(4)
      = ER(-1) = i
    gap> TableAutomorphisms(tbl,tbl.irreducibles,"closed");
    Group( ( 7, 8)( 9,10), ( 5, 6)( 9,10), ( 2, 4)( 7, 9)( 8,10) )
    gap> (2,4) in last;
    false

Permuting the classes with (2,4) leaves the set of irreducible characters
invariant, namely it induces the permutation (X.9,X.10).
But we have computed the table automorphisms, that is, those automorphisms
of the matrix of irreducible characters that respect the power maps.
In our example this means that if we want to swap the classes '2a' and '2c'
then also their preimages under the 2nd power map must be swapped.
So the desired permutation must map { '4a', '4b' } to { '4c', '4d' }.
This leads to one of the permutations (2,4)(7,9)(8,10), (2,4)(7,10)(8,9)
of classes, which induce the permutations (X.2,X.6)(X.4,X.8)(X.9,X.10)
and (X.2,X.6)(X.3,X.7)(X.9,X.10) of characters.

Kind regards
Thomas Breuer



From pfm@math.ufl.edu Tue Oct  3 19:45:00 1995
Date:           Tue, 03 Oct 95 19:45:00 -0400
From:           "Peter F. Mueller" <pfm@math.ufl.edu>
Subject:        GeneralLinearGroup

Dear Gap-Forum,

if I understand the documentation correctly, then a command like

`GeneralLinearGroup(Permutations,2,2)'

should return the the group GL(2,2) as a permutation group (hopefully
in the natural representation, though that's not specified there).

However, the following happens (using GAP3R4P2):

gap> GeneralLinearGroup(Permutations,2,2);
Error, Record: element 'GeneralLinearGroup' must have an assigned value at
return arg[1].operations.GeneralLinearGroup( arg[1], arg[2], arg[3] ) ... in
GeneralLinearGroup( Permutations, 2, 2 ) called from
main loop

Peter M"uller



From thomas.breuer@math.rwth-aachen.de Wed Oct  4 17:17:00 1995
Date:           Wed, 04 Oct 95 17:17:00 +0100 (MET)
From:           "Thomas Breuer" <Thomas.Breuer@Math.RWTH-Aachen.DE>
Subject:        Re: GeneralLinearGroup

Dear Mrs. and Mr. Forum,

Peter Mueller writes

    if I understand the documentation correctly, then a command like

    `GeneralLinearGroup(Permutations,2,2)'

    should return the the group GL(2,2) as a permutation group (hopefully
    in the natural representation, though that's not specified there).

He reports that in GAP3R4P2 this does not work.
The reason for this bug is that in spite of the promises in the manual
section 'The Basic Groups Library' nobody wrote the corresponding code.

The next upgrade will fix this, for general linear groups as well as for
special linear and symplectic groups, and general/special unitary groups.
For the moment, the following function should suffice.

    GeneralLinearPermGroup := function( n, q )

        local matgrp,   # the desired group as matrix group
              space,    # natural vector space 'matgrp' acts on
              vectors;  # set of nonzero vectors in 'space'

        matgrp:= GeneralLinearMatGroup( n, q );
        space:= GF(q)^n;
        vectors:= Elements( space );
        RemoveSet( vectors, Zero( space ) );

        return Operation( matgrp, vectors );
        end;

Kind regards
Thomas Breuer



From wolfgang.knapp@uni-tuebingen.de Fri Oct  6 09:52:00 1995
Date:           Fri, 06 Oct 95 09:52:00 +0100
From:           "Wolfgang Knapp" <wolfgang.knapp@uni-tuebingen.de>
Subject:        Wreath Product Action


Dear GAP forum,

for dealing with primitive permutation groups with the help of GAP it is
important to have an efficient way to implement in GAP the action of
degree m^k of the natural wreath product
 WreathProduct(Sym(m),Sym(k),IdendityMapping(Sym(k))),
usually called "product action" (I think "power action" is a more appropriate
name). Is it possible to avoid complicated and complex computations in
defining this action?

I would be grateful for any useful advice,         W. Knapp



------------------------------------------------------------------------------

Wolfgang D. Knapp

Mathematisches Institut                Internet:
Universit"at T"ubingen                 wolfgang.knapp@uni-tuebingen.de
Auf der Morgenstelle 10
                                       Tel. +49 7071 294318
D-72076 T"ubingen                      Fax  +49 7071 294322

GERMANY

-----------------------------------------------------------------------------



From dfh@maths.warwick.ac.uk Fri Oct  6 11:04:00 1995
Date:           Fri, 06 Oct 95 11:04:00 +0100
From:           "Derek Holt" <dfh@maths.warwick.ac.uk>
Subject:        Re:  Wreath Product Action


Wolfgang Knapp writes:

>
> Dear GAP forum,
>
> for dealing with primitive permutation groups with the help of GAP it is
> important to have an efficient way to implement in GAP the action of
> degree m^k of the natural wreath product
>  WreathProduct(Sym(m),Sym(k),IdendityMapping(Sym(k))),
> usually called "product action" (I think "power action" is a more appropriate
> name). Is it possible to avoid complicated and complex computations in
> defining this action?
>
> I would be grateful for any useful advice,         W. Knapp
>

I don't know whether there is a standard GAP function to do this, but
there does happen to be one in the share-package "smash".

It is called WreathPower(G,P) - G can be either a permutation or a
matrix group, and P must be a permutation group.

The source is in the file  main-gap-directory/pkg/smash/code/c_wreath.g
if you want to look at it.

Here is an example:

gap> RequirePackage("smash");
gap> G:=SymmetricGroup(3);
Group( (1,3), (2,3) )
gap> P:=SymmetricGroup(4);
Group( (1,4), (2,4), (3,4) )
gap> W:=WreathPower(G,P);
Group( ( 1, 3)( 4, 6)( 7, 9)(10,12)(13,15)(16,18)(19,21)(22,24)(25,27)(28,30)
(31,33)(34,36)(37,39)(40,42)(43,45)(46,48)(49,51)(52,54)(55,57)(58,60)(61,63)
(64,66)(67,69)(70,72)(73,75)(76,78)(79,81), ( 2, 3)( 5, 6)( 8, 9)(11,12)
(14,15)(17,18)(20,21)(23,24)(26,27)(29,30)(32,33)(35,36)(38,39)(41,42)(44,45)
(47,48)(50,51)(53,54)(56,57)(59,60)(62,63)(65,66)(68,69)(71,72)(74,75)(77,78)
(80,81), ( 2,28)( 3,55)( 5,31)( 6,58)( 8,34)( 9,61)(11,37)(12,64)(14,40)
(15,67)(17,43)(18,70)(20,46)(21,73)(23,49)(24,76)(26,52)(27,79)(30,56)(33,59)
(36,62)(39,65)(42,68)(45,71)(48,74)(51,77)(54,80), ( 4,28)( 5,29)( 6,30)
( 7,55)( 8,56)( 9,57)(13,37)(14,38)(15,39)(16,64)(17,65)(18,66)(22,46)(23,47)
(24,48)(25,73)(26,74)(27,75)(34,58)(35,59)(36,60)(43,67)(44,68)(45,69)(52,76)
(53,77)(54,78), (10,28)(11,29)(12,30)(13,31)(14,32)(15,33)(16,34)(17,35)
(18,36)(19,55)(20,56)(21,57)(22,58)(23,59)(24,60)(25,61)(26,62)(27,63)(46,64)
(47,65)(48,66)(49,67)(50,68)(51,69)(52,70)(53,71)(54,72) )
gap> Size(W);
31104


Derek Holt.



From heiko.theissen@math.rwth-aachen.de Thu Oct 12 16:46:00 1995
Date:           Thu, 12 Oct 95 16:46:00 +0100 (MET)
From:           "Heiko Theissen" <Heiko.Theissen@Math.RWTH-Aachen.DE>
Subject:        Announcement: List of primitive simple permutation groups

Dear forum readers,

I have put a file `coco.grp' into the `/pub/incoming' directory on our
ftp server   `ftp.math.rwth-aachen.de'.  This  file  contains   a  GAP
function that will construct the primitive permutation representations
of  simple groups  of   order less than  a   million,  except for  the
two-dimensional linear groups.

The information about  these  groups stems from  the  computer package
COCO (for computations with COherent COnfigurations)  written by A. A.
Ivanov, I. Faradzev and M. Klin (UNIX port by A. Brouwer) and has been
translated into GAP-format.

Details about the  new GAP function, including  instructions on how to
install  and  use it,  are  contained in the  short documentation file
`coco.tex' in the same   directory `/pub/incoming'. You can  run  this
file through plain TeX to produce a printed description (2 pages).

Have fun, Heiko Thei{\ss}en



From logar@univ.trieste.it Mon Oct 16 12:5 e. g. if you want to build 
a native PowerMac version, you also need the source files. 

Here's a short summary of the features of my new port.

- log window is now a real text editing window; scrolling and 
  resizing of GAP's log window is now possible 
- up to 8 additional file editing windows 
- separate Help window; improved help facilities 
  including "hyperlinks"
- can open and print documents
- can execute other applications (via GAP's Exec () function) 
- can use an external editor (via GAP's Edit () function) 
- now accepts both Macintosh and Unix style pathnames 
- resolves alias files and alias folders
- during program startup, options can be set in a preferences 
  dialog
- GAP is more cooperative when running in the  background 
- does not use Symantec's console library any more, so it should be 
  possible to compile GAP for the Macintosh with other compilers
  and for the PowerMac
- doesn't use the LoMem interface (which might cause problems 
  when compiling GAP on a Power Mac)

Unfortunately, I cannot provide a native Power Mac version of GAP, 
but I hope that someone will be able to compile my port on a Power 
Mac 
and provide a Power Mac version. (Please contact me if you would like 
to do so and need some further assistance!).

Please send any comments and bug reports concerning the Macintosh 
port 
of GAP directly to me. 

If you use my part of GAP, I would appreciate if you dropped me a 
note, 
possibly containing information about your system (machine type, main
memory, system version, do you use virtual memory?)

I hope you will like the new port. 


Burkhard.


                                                                                                                                                                                                         usr/lib/gap/etc/forum95d.txt                                                                        100644       0       0       450164  6662026426  14334  0                                                                                                    ustar   root                            root                                                                                                                                                                                                                   This file contains the mails sent to the GAP forum in October-December 1995.

Name                Email address                           Mails   Lines
Martin Schoenert    Martin.Schoenert@Math.RWTH-Aachen.DE        8     436
Steve Linton        sal@dcs.st-andrews.ac.uk                    8     142
Heiko Theissen      Heiko.Theissen@Math.RWTH-Aachen.DE          6     295
Claude Quitte       quitte@knuth.univ-poitiers.fr               4     386
Joachim Neubueser   Joachim.Neubueser@Math.RWTH-Aachen.DE       3     378
Andrew Mathas       a.mathas@ic.ac.uk                           3     144
Alexander Hulpke    Alexander.Hulpke@Math.RWTH-Aachen.DE        3     128
Thomas Breuer       Thomas.Breuer@Math.RWTH-Aachen.DE           3     123
Giovanni Ferrero    ferrero@prmat.math.unipr.it                 3      10
Frank Celler        Frank.Celler@Math.RWTH-Aachen.DE            2     214
Goetz Pfeiffer      goetz@dcs.st-andrews.ac.uk                  2     138
Chris Wensley       mas023@bangor.ac.uk                         2     104
Derek Holt          dfh@maths.warwick.ac.uk                     2     100
Jean Michel         jean.michel@ens.fr                          2      51
Werner Nickel       Werner.Nickel@Math.RWTH-Aachen.DE           2      38
Andries E. Brouwer  aeb@win.tue.nl                              2      29
Paul Robert Brown   pbrown@math.berkeley.edu                    2      26
Bruce Kaskel        kaskel@math.berkeley.edu                    2      17
Michael Smith       michael.smith@maths.anu.edu.au              1      87
Andreas Hoppe       hoppe@math.tu-berlin.de                     1      67
Andreas Prinz       prinz@informatik.hu-berlin.de               1      49
Dima Pasechnik      pasec@can.nl                                1      40
John Pliam          pliam@imafs.ima.umn.edu                     1      34
Burkhard Hoefling   hoefling@mat.mathematik.uni-mainz.de        1      32
Peter Prohle        prohlep@konig.elte.hu                       1      32
Peter F. Blanchard  pfb3h@weyl.math.virginia.edu                1      31
Wolfgang Knapp      wolfgang.knapp@uni-tuebingen.de             1      29
Sebastian Egner     egner@ira.uka.de                            1      26
Alessandro Logar    logar@univ.trieste.it                       1      25
Bettina Eick        Bettina.Eick@Math.RWTH-Aachen.DE            1      25
James McCarron      jmccarro@mercator.math.uwaterloo.ca         1      23
Shahiem Ganief      ganief@math.unp.ac.za                       1      23
David Wood          s8910859@student.ecel.uwa.edu.au            1      22
Olaf Delgado        delgado@mathematik.uni-bielefeld.de         1      21
David Sibley        sibley@math.psu.edu                         1      20
Kiechle Hubert      kiechle@mathematik.tu-muenchen.de           1      20
Stefan Neis         neis@cs.uni-sb.de                           1      20
Peter F. Mueller    pfm@math.ufl.edu                            1      19
Andreas Caranti     caranti@volterra.science.unitn.it           1      18
Marston Conder      conder@mat.auckland.ac.nz                   1      17
Lewis McCarthy      lmccarth@klingon.cs.umass.edu               1      16
Sarah Rees          sarah.rees@newcastle.ac.uk                  1       7
Robert Gilman       rgilman@sitult.stevens-tech.edu             1       4
Chris Charnes       charnes@osiris.cs.uow.edu.au                1       3
TOTAL                                                          85    3469

This  file is in Berkeley mail drop format, which means you can read this
file with 'mail -f <name-of-the-file>'  or 'mailx -f <name-of-the-file>'.
It is also possible however to read this file with any text editor.



From hoefling@mat.mathematik.uni-mainz.de Mon Oct  2 09:47:00 1995
Date:           Mon, 02 Oct 95 09:47:00 +0100
From:           "Burkhard Hoefling" <hoefling@mat.mathematik.uni-mainz.de>
Subject:        Re: new port of GAP for the Macintosh

Dear forum members
unfortunately there is a problem with the GAP 3.4.2 port for
the Macintosh which I uploaded last Friday. Somehow
part of the GAP 3.4.2 application's resources got lost. Moreover, I
forgot to include a source file, namely 'costab.mod.c'.  I've just
uploaded a corrected version into the pub/incoming directory at
ftp.math.rwth-aachen.de, which consists of the files

      bin3r4p2-mac-syc-pt101.sea.bin (the GAP application)
and   src3r4p2-mac-syc-pt101.sea.bin (the source files),

both in MacBinary II format. You only need the source files if you
want to compile GAP for Macintosh yourself. The old version (mac-syc-
pt10 files) must not be used any more and should be removed from the
server(s) as soon as possible. those who have already downloaded the
old version, I have created a patch file which updates  the GAP 3.4.2
PT 1.0 application. This file should be removed from the server(s)
in a week or so.

      bin3r4p2-mac-syc-pt10-patch.bin

which is available at the same location as the files above. You
only need this file if you already downloaded the file bin3r4p2-mac-
syc-pt10 this weekend. If you want to compile GAP for Macintosh
yourself, you should get the new source files, since they also
contain two or three minor fixes.Sorry for any inconveniences. I hope
that everything is all right now.

Sorry for any incomvenience.

Burkhard.



From thomas.breuer@math.rwth-aachen.de Mon Oct  2 12:04:00 1995
Date:           Mon, 02 Oct 95 12:04:00 +0100 (MET)
From:           "Thomas Breuer" <Thomas.Breuer@Math.RWTH-Aachen.DE>
Subject:        TableAutomorphisms

Dear Mrs. and Mr. Forum,

Peter Blanchard wrote

> The following seems to be a problem in which
> the function TableAutomorphisms misses a symmetry:

He gives the following example.

    gap> DisplayCharTable( CharTablePGroup( TwoGroup( 16, 3 ) ) );



          2  4  4  4  4  3  3  3  3  3  3

            1a 2a 2b 2c 2d 2e 4a 4b 4c 4d
         2P 1a 1a 1a 1a 1a 1a 2a 2a 2c 2c

    X.1      1  1  1  1  1  1  1  1  1  1
    X.2      1  1  1  1 -1 -1  1  1 -1 -1
    X.3      1 -1  1 -1  1 -1  A -A  A -A
    X.4      1 -1  1 -1 -1  1  A -A -A  A
    X.5      1  1  1  1  1  1 -1 -1 -1 -1
    X.6      1  1  1  1 -1 -1 -1 -1  1  1
    X.7      1 -1  1 -1  1 -1 -A  A -A  A
    X.8      1 -1  1 -1 -1  1 -A  A  A -A
    X.9      2  2 -2 -2  .  .  .  .  .  .
    X.10     2 -2 -2  2  .  .  .  .  .  .

    A = E(4)
      = ER(-1) = i
    gap> TableAutomorphisms(tbl,tbl.irreducibles,"closed");
    Group( ( 7, 8)( 9,10), ( 5, 6)( 9,10), ( 2, 4)( 7, 9)( 8,10) )
    gap> (2,4) in last;
    false

Permuting the classes with (2,4) leaves the set of irreducible characters
invariant, namely it induces the permutation (X.9,X.10).
But we have computed the table automorphisms, that is, those automorphisms
of the matrix of irreducible characters that respect the power maps.
In our example this means that if we want to swap the classes '2a' and '2c'
then also their preimages under the 2nd power map must be swapped.
So the desired permutation must map { '4a', '4b' } to { '4c', '4d' }.
This leads to one of the permutations (2,4)(7,9)(8,10), (2,4)(7,10)(8,9)
of classes, which induce the permutations (X.2,X.6)(X.4,X.8)(X.9,X.10)
and (X.2,X.6)(X.3,X.7)(X.9,X.10) of characters.

Kind regards
Thomas Breuer



From pfm@math.ufl.edu Tue Oct  3 19:45:00 1995
Date:           Tue, 03 Oct 95 19:45:00 -0400
From:           "Peter F. Mueller" <pfm@math.ufl.edu>
Subject:        GeneralLinearGroup

Dear Gap-Forum,

if I understand the documentation correctly, then a command like

`GeneralLinearGroup(Permutations,2,2)'

should return the the group GL(2,2) as a permutation group (hopefully
in the natural representation, though that's not specified there).

However, the following happens (using GAP3R4P2):

gap> GeneralLinearGroup(Permutations,2,2);
Error, Record: element 'GeneralLinearGroup' must have an assigned value at
return arg[1].operations.GeneralLinearGroup( arg[1], arg[2], arg[3] ) ... in
GeneralLinearGroup( Permutations, 2, 2 ) called from
main loop

Peter M"uller



From thomas.breuer@math.rwth-aachen.de Wed Oct  4 17:17:00 1995
Date:           Wed, 04 Oct 95 17:17:00 +0100 (MET)
From:           "Thomas Breuer" <Thomas.Breuer@Math.RWTH-Aachen.DE>
Subject:        Re: GeneralLinearGroup

Dear Mrs. and Mr. Forum,

Peter Mueller writes

    if I understand the documentation correctly, then a command like

    `GeneralLinearGroup(Permutations,2,2)'

    should return the the group GL(2,2) as a permutation group (hopefully
    in the natural representation, though that's not specified there).

He reports that in GAP3R4P2 this does not work.
The reason for this bug is that in spite of the promises in the manual
section 'The Basic Groups Library' nobody wrote the corresponding code.

The next upgrade will fix this, for general linear groups as well as for
special linear and symplectic groups, and general/special unitary groups.
For the moment, the following function should suffice.

    GeneralLinearPermGroup := function( n, q )

        local matgrp,   # the desired group as matrix group
              space,    # natural vector space 'matgrp' acts on
              vectors;  # set of nonzero vectors in 'space'

        matgrp:= GeneralLinearMatGroup( n, q );
        space:= GF(q)^n;
        vectors:= Elements( space );
        RemoveSet( vectors, Zero( space ) );

        return Operation( matgrp, vectors );
        end;

Kind regards
Thomas Breuer



From wolfgang.knapp@uni-tuebingen.de Fri Oct  6 09:52:00 1995
Date:           Fri, 06 Oct 95 09:52:00 +0100
From:           "Wolfgang Knapp" <wolfgang.knapp@uni-tuebingen.de>
Subject:        Wreath Product Action


Dear GAP forum,

for dealing with primitive permutation groups with the help of GAP it is
important to have an efficient way to implement in GAP the action of
degree m^k of the natural wreath product
 WreathProduct(Sym(m),Sym(k),IdendityMapping(Sym(k))),
usually called "product action" (I think "power action" is a more appropriate
name). Is it possible to avoid complicated and complex computations in
defining this action?

I would be grateful for any useful advice,         W. Knapp



------------------------------------------------------------------------------

Wolfgang D. Knapp

Mathematisches Institut                Internet:
Universit"at T"ubingen                 wolfgang.knapp@uni-tuebingen.de
Auf der Morgenstelle 10
                                       Tel. +49 7071 294318
D-72076 T"ubingen                      Fax  +49 7071 294322

GERMANY

-----------------------------------------------------------------------------



From dfh@maths.warwick.ac.uk Fri Oct  6 11:04:00 1995
Date:           Fri, 06 Oct 95 11:04:00 +0100
From:           "Derek Holt" <dfh@maths.warwick.ac.uk>
Subject:        Re:  Wreath Product Action


Wolfgang Knapp writes:

>
> Dear GAP forum,
>
> for dealing with primitive permutation groups with the help of GAP it is
> important to have an efficient way to implement in GAP the action of
> degree m^k of the natural wreath product
>  WreathProduct(Sym(m),Sym(k),IdendityMapping(Sym(k))),
> usually called "product action" (I think "power action" is a more appropriate
> name). Is it possible to avoid complicated and complex computations in
> defining this action?
>
> I would be grateful for any useful advice,         W. Knapp
>

I don't know whether there is a standard GAP function to do this, but
there does happen to be one in the share-package "smash".

It is called WreathPower(G,P) - G can be either a permutation or a
matrix group, and P must be a permutation group.

The source is in the file  main-gap-directory/pkg/smash/code/c_wreath.g
if you want to look at it.

Here is an example:

gap> RequirePackage("smash");
gap> G:=SymmetricGroup(3);
Group( (1,3), (2,3) )
gap> P:=SymmetricGroup(4);
Group( (1,4), (2,4), (3,4) )
gap> W:=WreathPower(G,P);
Group( ( 1, 3)( 4, 6)( 7, 9)(10,12)(13,15)(16,18)(19,21)(22,24)(25,27)(28,30)
(31,33)(34,36)(37,39)(40,42)(43,45)(46,48)(49,51)(52,54)(55,57)(58,60)(61,63)
(64,66)(67,69)(70,72)(73,75)(76,78)(79,81), ( 2, 3)( 5, 6)( 8, 9)(11,12)
(14,15)(17,18)(20,21)(23,24)(26,27)(29,30)(32,33)(35,36)(38,39)(41,42)(44,45)
(47,48)(50,51)(53,54)(56,57)(59,60)(62,63)(65,66)(68,69)(71,72)(74,75)(77,78)
(80,81), ( 2,28)( 3,55)( 5,31)( 6,58)( 8,34)( 9,61)(11,37)(12,64)(14,40)
(15,67)(17,43)(18,70)(20,46)(21,73)(23,49)(24,76)(26,52)(27,79)(30,56)(33,59)
(36,62)(39,65)(42,68)(45,71)(48,74)(51,77)(54,80), ( 4,28)( 5,29)( 6,30)
( 7,55)( 8,56)( 9,57)(13,37)(14,38)(15,39)(16,64)(17,65)(18,66)(22,46)(23,47)
(24,48)(25,73)(26,74)(27,75)(34,58)(35,59)(36,60)(43,67)(44,68)(45,69)(52,76)
(53,77)(54,78), (10,28)(11,29)(12,30)(13,31)(14,32)(15,33)(16,34)(17,35)
(18,36)(19,55)(20,56)(21,57)(22,58)(23,59)(24,60)(25,61)(26,62)(27,63)(46,64)
(47,65)(48,66)(49,67)(50,68)(51,69)(52,70)(53,71)(54,72) )
gap> Size(W);
31104


Derek Holt.



From heiko.theissen@math.rwth-aachen.de Thu Oct 12 16:46:00 1995
Date:           Thu, 12 Oct 95 16:46:00 +0100 (MET)
From:           "Heiko Theissen" <Heiko.Theissen@Math.RWTH-Aachen.DE>
Subject:        Announcement: List of primitive simple permutation groups

Dear forum readers,

I have put a file `coco.grp' into the `/pub/incoming' directory on our
ftp server   `ftp.math.rwth-aachen.de'.  This  file  contains   a  GAP
function that will construct the primitive permutation representations
of  simple groups  of   order less than  a   million,  except for  the
two-dimensional linear groups.

The information about  these  groups stems from  the  computer package
COCO (for computations with COherent COnfigurations)  written by A. A.
Ivanov, I. Faradzev and M. Klin (UNIX port by A. Brouwer) and has been
translated into GAP-format.

Details about the  new GAP function, including  instructions on how to
install  and  use it,  are  contained in the  short documentation file
`coco.tex' in the same   directory `/pub/incoming'. You can  run  this
file through plain TeX to produce a printed description (2 pages).

Have fun, Heiko Thei{\ss}en



From logar@univ.trieste.it Mon Oct 16 12:5 e. g. if you want to build 
a native PowerMac version, you also need the source files. 

Here's a short summary of the features of my new port.

- log window is now a real text editing window; scrolling and 
  resizing of GAP's log window is now possible 
- up to 8 additional file editing windows 
- separate Help window; improved help facilities 
  including "hyperlinks"
- can open and print documents
- can execute other applications (via GAP's Exec () function) 
- can use an external editor (via GAP's Edit () function) 
- now accepts both Macintosh and Unix style pathnames 
- resolves alias files and alias folders
- during program startup, options can be set in a preferences 
  dialog
- GAP is more cooperative when running in the  background 
- does not use Symantec's console library any more, so it should be 
  possible to compile GAP for the Macintosh with other compilers
  and for the PowerMac
- doesn't use the LoMem interface (which might cause problems 
  when compiling GAP on a Power Mac)

Unfortunately, I cannot provide a native Power Mac version of GAP, 
but I hope that someone will be able to compile my port on a Power 
Mac 
and provide a Power Mac version. (Please contact me if you would like 
to do so and need some further assistance!).

Please send any comments and bug reports concerning the Macintosh 
port 
of GAP directly to me. 

If you use my part of GAP, I would appreciate if you dropped me a 
note, 
possibly containing information about your system (machine type, main
memory, system version, do you use virtual memory?)

I hope you will like the new port. 


Burkhard.


                                                                                                                                                                                                         usr/lib/gap/etc/forum95d.txt                                                                        100644       0       0       450164  6662026426  14334  0                                                                                                    ustar   root                            root                                                                                                                                                                                                                   This file contains the mails sent to the GAP forum in October-December 1995.

Name                Email address                           Mails   Lines
Martin Schoenert    Martin.Schoenert@Math.RWTH-Aachen.DE        8     436
Steve Linton        sal@dcs.st-andrews.ac.uk                    8     142
Heiko Theissen      Heiko.Theissen@Math.RWTH-Aachen.DE          6     295
Claude Quitte       quitte@knuth.univ-poitiers.fr               4     386
Joachim Neubueser   Joachim.Neubueser@Math.RWTH-Aachen.DE       3     378
Andrew Mathas       a.mathas@ic.ac.uk                           3     144
Alexander Hulpke    Alexander.Hulpke@Math.RWTH-Aachen.DE        3     128
Thomas Breuer       Thomas.Breuer@Math.RWTH-Aachen.DE           3     123
Giovanni Ferrero    ferrero@prmat.math.unipr.it                 3      10
Frank Celler        Frank.Celler@Math.RWTH-Aachen.DE            2     214
Goetz Pfeiffer      goetz@dcs.st-andrews.ac.uk                  2     138
Chris Wensley       mas023@bangor.ac.uk                         2     104
Derek Holt          dfh@maths.warwick.ac.uk                     2     100
Jean Michel         jean.michel@ens.fr                          2      51
Werner Nickel       Werner.Nickel@Math.RWTH-Aachen.DE           2      38
Andries E. Brouwer  aeb@win.tue.nl                              2      29
Paul Robert Brown   pbrown@math.berkeley.edu                    2      26
Bruce Kaskel        kaskel@math.berkeley.edu                    2      17
Michael Smith       michael.smith@maths.anu.edu.au              1      87
Andreas Hoppe       hoppe@math.tu-berlin.de                     1      67
Andreas Prinz       prinz@informatik.hu-berlin.de               1      49
Dima Pasechnik      pasec@can.nl                                1      40
John Pliam          pliam@imafs.ima.umn.edu                     1      34
Burkhard Hoefling   hoefling@mat.mathematik.uni-mainz.de        1      32
Peter Prohle        prohlep@konig.elte.hu                       1      32
Peter F. Blanchard  pfb3h@weyl.math.virginia.edu                1      31
Wolfgang Knapp      wolfgang.knapp@uni-tuebingen.de             1      29
Sebastian Egner     egner@ira.uka.de                            1      26
Alessandro Logar    logar@univ.trieste.it                       1      25
Bettina Eick        Bettina.Eick@Math.RWTH-Aachen.DE            1      25
James McCarron      jmccarro@mercator.math.uwaterloo.ca         1      23
Shahiem Ganief      ganief@math.unp.ac.za                       1      23
David Wood          s8910859@student.ecel.uwa.edu.au            1      22
Olaf Delgado        delgado@mathematik.uni-bielefeld.de         1      21
David Sibley        sibley@math.psu.edu                         1      20
Kiechle Hubert      kiechle@mathematik.tu-muenchen.de           1      20
Stefan Neis         neis@cs.uni-sb.de                           1      20
Peter F. Mueller    pfm@math.ufl.edu                            1      19
Andreas Caranti     caranti@volterra.science.unitn.it           1      18
Marston Conder      conder@mat.auckland.ac.nz                   1      17
Lewis McCarthy      lmccarth@klingon.cs.umass.edu               1      16
Sarah Rees          sarah.rees@newcastle.ac.uk                  1       7
Robert Gilman       rgilman@sitult.stevens-tech.edu             1       4
Chris Charnes       charnes@osiris.cs.uow.edu.au                1       3
TOTAL                                                          85    3469

This  file is in Berkeley mail drop format, which means you can read this
file with 'mail -f <name-of-the-file>'  or 'mailx -f <name-of-the-file>'.
It is also possible however to read this file with any text editor.



From hoefling@mat.mathematik.uni-mainz.de Mon Oct  2 09:47:00 1995
Date:           Mon, 02 Oct 95 09:47:00 +0100
From:           "Burkhard Hoefling" <hoefling@mat.mathematik.uni-mainz.de>
Subject:        Re: new port of GAP for the Macintosh

Dear forum members
unfortunately there is a problem with the GAP 3.4.2 port for
the Macintosh which I uploaded last Friday. Somehow
part of the GAP 3.4.2 application's resources got lost. Moreover, I
forgot to include a source file, namely 'costab.mod.c'.  I've just
uploaded a corrected version into the pub/incoming directory at
ftp.math.rwth-aachen.de, which consists of the files

      bin3r4p2-mac-syc-pt101.sea.bin (the GAP application)
and   src3r4p2-mac-syc-pt101.sea.bin (the source files),

both in MacBinary II format. You only need the source files if you
want to compile GAP for Macintosh yourself. The old version (mac-syc-
pt10 files) must not be used any more and should be removed from the
server(s) as soon as possible. those who have already downloaded the
old version, I have created a patch file which updates  the GAP 3.4.2
PT 1.0 application. This file should be removed from the server(s)
in a week or so.

      bin3r4p2-mac-syc-pt10-patch.bin

which is available at the same location as the files above. You
only need this file if you already downloaded the file bin3r4p2-mac-
syc-pt10 this weekend. If you want to compile GAP for Macintosh
yourself, you should get the new source files, since they also
contain two or three minor fixes.Sorry for any inconveniences. I hope
that everything is all right now.

Sorry for any incomvenience.

Burkhard.



From thomas.breuer@math.rwth-aachen.de Mon Oct  2 12:04:00 1995
Date:           Mon, 02 Oct 95 12:04:00 +0100 (MET)
From:           "Thomas Breuer" <Thomas.Breuer@Math.RWTH-Aachen.DE>
Subject:        TableAutomorphisms

Dear Mrs. and Mr. Forum,

Peter Blanchard wrote

> The following seems to be a problem in which
> the function TableAutomorphisms misses a symmetry:

He gives the following example.

    gap> DisplayCharTable( CharTablePGroup( TwoGroup( 16, 3 ) ) );



          2  4  4  4  4  3  3  3  3  3  3

            1a 2a 2b 2c 2d 2e 4a 4b 4c 4d
         2P 1a 1a 1a 1a 1a 1a 2a 2a 2c 2c

    X.1      1  1  1  1  1  1  1  1  1  1
    X.2      1  1  1  1 -1 -1  1  1 -1 -1
    X.3      1 -1  1 -1  1 -1  A -A  A -A
    X.4      1 -1  1 -1 -1  1  A -A -A  A
    X.5      1  1  1  1  1  1 -1 -1 -1 -1
    X.6      1  1  1  1 -1 -1 -1 -1  1  1
    X.7      1 -1  1 -1  1 -1 -A  A -A  A
    X.8      1 -1  1 -1 -1  1 -A  A  A -A
    X.9      2  2 -2 -2  .  .  .  .  .  .
    X.10     2 -2 -2  2  .  .  .  .  .  .

    A = E(4)
      = ER(-1) = i
    gap> TableAutomorphisms(tbl,tbl.irreducibles,"closed");
    Group( ( 7, 8)( 9,10), ( 5, 6)( 9,10), ( 2, 4)( 7, 9)( 8,10) )
    gap> (2,4) in last;
    false

Permuting the classes with (2,4) leaves the set of irreducible characters
invariant, namely it induces the permutation (X.9,X.10).
But we have computed the table automorphisms, that is, those automorphisms
of the matrix of irreducible characters that respect the power maps.
In our example this means that if we want to swap the classes '2a' and '2c'
then also their preimages under the 2nd power map must be swapped.
So the desired permutation must map { '4a', '4b' } to { '4c', '4d' }.
This leads to one of the permutations (2,4)(7,9)(8,10), (2,4)(7,10)(8,9)
of classes, which induce the permutations (X.2,X.6)(X.4,X.8)(X.9,X.10)
and (X.2,X.6)(X.3,X.7)(X.9,X.10) of characters.

Kind regards
Thomas Breuer



From pfm@math.ufl.edu Tue Oct  3 19:45:00 1995
Date:           Tue, 03 Oct 95 19:45:00 -0400
From:           "Peter F. Mueller" <pfm@math.ufl.edu>
Subject:        GeneralLinearGroup

Dear Gap-Forum,

if I understand the documentation correctly, then a command like

`GeneralLinearGroup(Permutations,2,2)'

should return the the group GL(2,2) as a permutation group (hopefully
in the natural representation, though that's not specified there).

However, the following happens (using GAP3R4P2):

gap> GeneralLinearGroup(Permutations,2,2);
Error, Record: element 'GeneralLinearGroup' must have an assigned value at
return arg[1].operations.GeneralLinearGroup( arg[1], arg[2], arg[3] ) ... in
GeneralLinearGroup( Permutations, 2, 2 ) called from
main loop

Peter M"uller



From thomas.breuer@math.rwth-aachen.de Wed Oct  4 17:17:00 1995
Date:           Wed, 04 Oct 95 17:17:00 +0100 (MET)
From:           "Thomas Breuer" <Thomas.Breuer@Math.RWTH-Aachen.DE>
Subject:        Re: GeneralLinearGroup

Dear Mrs. and Mr. Forum,

Peter Mueller writes

    if I understand the documentation correctly, then a command like

    `GeneralLinearGroup(Permutations,2,2)'

    should return the the group GL(2,2) as a permutation group (hopefully
    in the natural representation, though that's not specified there).

He reports that in GAP3R4P2 this does not work.
The reason for this bug is that in spite of the promises in the manual
section 'The Basic Groups Library' nobody wrote the corresponding code.

The next upgrade will fix this, for general linear groups as well as for
special linear and symplectic groups, and general/special unitary groups.
For the moment, the following function should suffice.

    GeneralLinearPermGroup := function( n, q )

        local matgrp,   # the desired group as matrix group
              space,    # natural vector space 'matgrp' acts on
              vectors;  # set of nonzero vectors in 'space'

        matgrp:= GeneralLinearMatGroup( n, q );
        space:= GF(q)^n;
        vectors:= Elements( space );
        RemoveSet( vectors, Zero( space ) );

        return Operation( matgrp, vectors );
        end;

Kind regards
Thomas Breuer



From wolfgang.knapp@uni-tuebingen.de Fri Oct  6 09:52:00 1995
Date:           Fri, 06 Oct 95 09:52:00 +0100
From:           "Wolfgang Knapp" <wolfgang.knapp@uni-tuebingen.de>
Subject:        Wreath Product Action


Dear GAP forum,

for dealing with primitive permutation groups with the help of GAP it is
important to have an efficient way to implement in GAP the action of
degree m^k of the natural wreath product
 WreathProduct(Sym(m),Sym(k),IdendityMapping(Sym(k))),
usually called "product action" (I think "power action" is a more appropriate
name). Is it possible to avoid complicated and complex computations in
defining this action?

I would be grateful for any useful advice,         W. Knapp



------------------------------------------------------------------------------

Wolfgang D. Knapp

Mathematisches Institut                Internet:
Universit"at T"ubingen                 wolfgang.knapp@uni-tuebingen.de
Auf der Morgenstelle 10
                                       Tel. +49 7071 294318
D-72076 T"ubingen                      Fax  +49 7071 294322

GERMANY

-----------------------------------------------------------------------------



From dfh@maths.warwick.ac.uk Fri Oct  6 11:04:00 1995
Date:           Fri, 06 Oct 95 11:04:00 +0100
From:           "Derek Holt" <dfh@maths.warwick.ac.uk>
Subject:        Re:  Wreath Product Action


Wolfgang Knapp writes:

>
> Dear GAP forum,
>
> for dealing with primitive permutation groups with the help of GAP it is
> important to have an efficient way to implement in GAP the action of
> degree m^k of the natural wreath product
>  WreathProduct(Sym(m),Sym(k),IdendityMapping(Sym(k))),
> usually called "product action" (I think "power action" is a more appropriate
> name). Is it possible to avoid complicated and complex computations in
> defining this action?
>
> I would be grateful for any useful advice,         W. Knapp
>

I don't know whether there is a standard GAP function to do this, but
there does happen to be one in the share-package "smash".

It is called WreathPower(G,P) - G can be either a permutation or a
matrix group, and P must be a permutation group.

The source is in the file  main-gap-directory/pkg/smash/code/c_wreath.g
if you want to look at it.

Here is an example:

gap> RequirePackage("smash");
gap> G:=SymmetricGroup(3);
Group( (1,3), (2,3) )
gap> P:=SymmetricGroup(4);
Group( (1,4), (2,4), (3,4) )
gap> W:=WreathPower(G,P);
Group( ( 1, 3)( 4, 6)( 7, 9)(10,12)(13,15)(16,18)(19,21)(22,24)(25,27)(28,30)
(31,33)(34,36)(37,39)(40,42)(43,45)(46,48)(49,51)(52,54)(55,57)(58,60)(61,63)
(64,66)(67,69)(70,72)(73,75)(76,78)(79,81), ( 2, 3)( 5, 6)( 8, 9)(11,12)
(14,15)(17,18)(20,21)(23,24)(26,27)(29,30)(32,33)(35,36)(38,39)(41,42)(44,45)
(47,48)(50,51)(53,54)(56,57)(59,60)(62,63)(65,66)(68,69)(71,72)(74,75)(77,78)
(80,81), ( 2,28)( 3,55)( 5,31)( 6,58)( 8,34)( 9,61)(11,37)(12,64)(14,40)
(15,67)(17,43)(18,70)(20,46)(21,73)(23,49)(24,76)(26,52)(27,79)(30,56)(33,59)
(36,62)(39,65)(42,68)(45,71)(48,74)(51,77)(54,80), ( 4,28)( 5,29)( 6,30)
( 7,55)( 8,56)( 9,57)(13,37)(14,38)(15,39)(16,64)(17,65)(18,66)(22,46)(23,47)
(24,48)(25,73)(26,74)(27,75)(34,58)(35,59)(36,60)(43,67)(44,68)(45,69)(52,76)
(53,77)(54,78), (10,28)(11,29)(12,30)(13,31)(14,32)(15,33)(16,34)(17,35)
(18,36)(19,55)(20,56)(21,57)(22,58)(23,59)(24,60)(25,61)(26,62)(27,63)(46,64)
(47,65)(48,66)(49,67)(50,68)(51,69)(52,70)(53,71)(54,72) )
gap> Size(W);
31104


Derek Holt.



From heiko.theissen@math.rwth-aachen.de Thu Oct 12 16:46:00 1995
Date:           Thu, 12 Oct 95 16:46:00 +0100 (MET)
From:           "Heiko Theissen" <Heiko.Theissen@Math.RWTH-Aachen.DE>
Subject:        Announcement: List of primitive simple permutation groups

Dear forum readers,

I have put a file `coco.grp' into the `/pub/incoming' directory on our
ftp server   `ftp.math.rwth-aachen.de'.  This  file  contains   a  GAP
function that will construct the primitive permutation representations
of  simple groups  of   order less than  a   million,  except for  the
two-dimensional linear groups.

The information about  these  groups stems from  the  computer package
COCO (for computations with COherent COnfigurations)  written by A. A.
Ivanov, I. Faradzev and M. Klin (UNIX port by A. Brouwer) and has been
translated into GAP-format.

Details about the  new GAP function, including  instructions on how to
install  and  use it,  are  contained in the  short documentation file
`coco.tex' in the same   directory `/pub/incoming'. You can  run  this
file through plain TeX to produce a printed description (2 pages).

Have fun, Heiko Thei{\ss}en



From logar@univ.trieste.it Mon Oct 16 12:5 e. g. if you want to build 
a native PowerMac version, you also need the source files. 

Here's a short summary of the features of my new port.

- log window is now a real text editing window; scrolling and 
  resizing of GAP's log window is now possible 
- up to 8 additional file editing windows 
- separate Help window; improved help facilities 
  including "hyperlinks"
- can open and print documents
- can execute other applications (via GAP's Exec () function) 
- can use an external editor (via GAP's Edit () function) 
- now accepts both Macintosh and Unix style pathnames 
- resolves alias files and alias folders
- during program startup, options can be set in a preferences 
  dialog
- GAP is more cooperative when running in the  background 
- does not use Symantec's console library any more, so it should be 
  possible to compile GAP for the Macintosh with other compilers
  and for the PowerMac
- doesn't use the LoMem interface (which might cause problems 
  when compiling GAP on a Power Mac)

Unfortunately, I cannot provide a native Power Mac version of GAP, 
but I hope that someone will be able to compile my port on a Power 
Mac 
and provide a Power Mac version. (Please contact me if you would like 
to do so and need some further assistance!).

Please send any comments and bug reports concerning the Macintosh 
port 
of GAP directly to me. 

If you use my part of GAP, I would appreciate if you dropped me a 
note, 
possibly containing information about your system (machine type, main
memory, system version, do you use virtual memory?)

I hope you will like the new port. 


Burkhard.


                                                                                                                                                                                                         usr/lib/gap/etc/forum95d.txt                                                                        100644       0       0       450164  6662026426  14334  0                                                                                                    ustar   root                            root                                                                                                                                                                                                                   This file contains the mails sent to the GAP forum in October-December 1995.

Name                Email address                           Mails   Lines
Martin Schoenert    Martin.Schoenert@Math.RWTH-Aachen.DE        8     436
Steve Linton        sal@dcs.st-andrews.ac.uk                    8     142
Heiko Theissen      Heiko.Theissen@Math.RWTH-Aachen.DE          6     295
Claude Quitte       quitte@knuth.univ-poitiers.fr               4     386
Joachim Neubueser   Joachim.Neubueser@Math.RWTH-Aachen.DE       3     378
Andrew Mathas       a.mathas@ic.ac.uk                           3     144
Alexander Hulpke    Alexander.Hulpke@Math.RWTH-Aachen.DE        3     128
Thomas Breuer       Thomas.Breuer@Math.RWTH-Aachen.DE           3     123
Giovanni Ferrero    ferrero@prmat.math.unipr.it                 3      10
Frank Celler        Frank.Celler@Math.RWTH-Aachen.DE            2     214
Goetz Pfeiffer      goetz@dcs.st-andrews.ac.uk                  2     138
Chris Wensley       mas023@bangor.ac.uk                         2     104
Derek Holt          dfh@maths.warwick.ac.uk                     2     100
Jean Michel         jean.michel@ens.fr                          2      51
Werner Nickel       Werner.Nickel@Math.RWTH-Aachen.DE           2      38
Andries E. Brouwer  aeb@win.tue.nl                              2      29
Paul Robert Brown   pbrown@math.berkeley.edu                    2      26
Bruce Kaskel        kaskel@math.berkeley.edu                    2      17
Michael Smith       michael.smith@maths.anu.edu.au              1      87
Andreas Hoppe       hoppe@math.tu-berlin.de                     1      67
Andreas Prinz       prinz@informatik.hu-berlin.de               1      49
Dima Pasechnik      pasec@can.nl                                1      40
John Pliam          pliam@imafs.ima.umn.edu                     1      34
Burkhard Hoefling   hoefling@mat.mathematik.uni-mainz.de        1      32
Peter Prohle        prohlep@konig.elte.hu                       1      32
Peter F. Blanchard  pfb3h@weyl.math.virginia.edu                1      31
Wolfgang Knapp      wolfgang.knapp@uni-tuebingen.de             1      29
Sebastian Egner     egner@ira.uka.de                            1      26
Alessandro Logar    logar@univ.trieste.it                       1      25
Bettina Eick        Bettina.Eick@Math.RWTH-Aachen.DE            1      25
James McCarron      jmccarro@mercator.math.uwaterloo.ca         1      23
Shahiem Ganief      ganief@math.unp.ac.za                       1      23
David Wood          s8910859@student.ecel.uwa.edu.au            1      22
Olaf Delgado        delgado@mathematik.uni-bielefeld.de         1      21
David Sibley        sibley@math.psu.edu                         1      20
Kiechle Hubert      kiechle@mathematik.tu-muenchen.de           1      20
Stefan Neis         neis@cs.uni-sb.de                           1      20
Peter F. Mueller    pfm@math.ufl.edu                            1      19
Andreas Caranti     caranti@volterra.science.unitn.it           1      18
Marston Conder      conder@mat.auckland.ac.nz                   1      17
Lewis McCarthy      lmccarth@klingon.cs.umass.edu               1      16
Sarah Rees          sarah.rees@newcastle.ac.uk                  1       7
Robert Gilman       rgilman@sitult.stevens-tech.edu             1       4
Chris Charnes       charnes@osiris.cs.uow.edu.au                1       3
TOTAL                                                          85    3469

This  file is in Berkeley mail drop format, which means you can read this
file with 'mail -f <name-of-the-file>'  or 'mailx -f <name-of-the-file>'.
It is also possible however to read this file with any text editor.



From hoefling@mat.mathematik.uni-mainz.de Mon Oct  2 09:47:00 1995
Date:           Mon, 02 Oct 95 09:47:00 +0100
From:           "Burkhard Hoefling" <hoefling@mat.mathematik.uni-mainz.de>
Subject:        Re: new port of GAP for the Macintosh

Dear forum members
unfortunately there is a problem with the GAP 3.4.2 port for
the Macintosh which I uploaded last Friday. Somehow
part of the GAP 3.4.2 application's resources got lost. Moreover, I
forgot to include a source file, namely 'costab.mod.c'.  I've just
uploaded a corrected version into the pub/incoming directory at
ftp.math.rwth-aachen.de, which consists of the files

      bin3r4p2-mac-syc-pt101.sea.bin (the GAP application)
and   src3r4p2-mac-syc-pt101.sea.bin (the source files),

both in MacBinary II format. You only need the source files if you
want to compile GAP for Macintosh yourself. The old version (mac-syc-
pt10 files) must not be used any more and should be removed from the
server(s) as soon as possible. those who have already downloaded the
old version, I have created a patch file which updates  the GAP 3.4.2
PT 1.0 application. This file should be removed from the server(s)
in a week or so.

      bin3r4p2-mac-syc-pt10-patch.bin

which is available at the same location as the files above. You
only need this file if you already downloaded the file bin3r4p2-mac-
syc-pt10 this weekend. If you want to compile GAP for Macintosh
yourself, you should get the new source files, since they also
contain two or three minor fixes.Sorry for any inconveniences. I hope
that everything is all right now.

Sorry for any incomvenience.

Burkhard.



From thomas.breuer@math.rwth-aachen.de Mon Oct  2 12:04:00 1995
Date:           Mon, 02 Oct 95 12:04:00 +0100 (MET)
From:           "Thomas Breuer" <Thomas.Breuer@Math.RWTH-Aachen.DE>
Subject:        TableAutomorphisms

Dear Mrs. and Mr. Forum,

Peter Blanchard wrote

> The following seems to be a problem in which
> the function TableAutomorphisms misses a symmetry:

He gives the following example.

    gap> DisplayCharTable( CharTablePGroup( TwoGroup( 16, 3 ) ) );



          2  4  4  4  4  3  3  3  3  3  3

            1a 2a 2b 2c 2d 2e 4a 4b 4c 4d
         2P 1a 1a 1a 1a 1a 1a 2a 2a 2c 2c

    X.1      1  1  1  1  1  1  1  1  1  1
    X.2      1  1  1  1 -1 -1  1  1 -1 -1
    X.3      1 -1  1 -1  1 -1  A -A  A -A
    X.4      1 -1  1 -1 -1  1  A -A -A  A
    X.5      1  1  1  1  1  1 -1 -1 -1 -1
    X.6      1  1  1  1 -1 -1 -1 -1  1  1
    X.7      1 -1  1 -1  1 -1 -A  A -A  A
    X.8      1 -1  1 -1 -1  1 -A  A  A -A
    X.9      2  2 -2 -2  .  .  .  .  .  .
    X.10     2 -2 -2  2  .  .  .  .  .  .

    A = E(4)
      = ER(-1) = i
    gap> TableAutomorphisms(tbl,tbl.irreducibles,"closed");
    Group( ( 7, 8)( 9,10), ( 5, 6)( 9,10), ( 2, 4)( 7, 9)( 8,10) )
    gap> (2,4) in last;
    false

Permuting the classes with (2,4) leaves the set of irreducible characters
invariant, namely it induces the permutation (X.9,X.10).
But we have computed the table automorphisms, that is, those automorphisms
of the matrix of irreducible characters that respect the power maps.
In our example this means that if we want to swap the classes '2a' and '2c'
then also their preimages under the 2nd power map must be swapped.
So the desired permutation must map { '4a', '4b' } to { '4c', '4d' }.
This leads to one of the permutations (2,4)(7,9)(8,10), (2,4)(7,10)(8,9)
of classes, which induce the permutations (X.2,X.6)(X.4,X.8)(X.9,X.10)
and (X.2,X.6)(X.3,X.7)(X.9,X.10) of characters.

Kind regards
Thomas Breuer



From pfm@math.ufl.edu Tue Oct  3 19:45:00 1995
Date:           Tue, 03 Oct 95 19:45:00 -0400
From:           "Peter F. Mueller" <pfm@math.ufl.edu>
Subject:        GeneralLinearGroup

Dear Gap-Forum,

if I understand the documentation correctly, then a command like

`GeneralLinearGroup(Permutations,2,2)'

should return the the group GL(2,2) as a permutation group (hopefully
in the natural representation, though that's not specified there).

However, the following happens (using GAP3R4P2):

gap> GeneralLinearGroup(Permutations,2,2);
Error, Record: element 'GeneralLinearGroup' must have an assigned value at
return arg[1].operations.GeneralLinearGroup( arg[1], arg[2], arg[3] ) ... in
GeneralLinearGroup( Permutations, 2, 2 ) called from
main loop

Peter M"uller



From thomas.breuer@math.rwth-aachen.de Wed Oct  4 17:17:00 1995
Date:           Wed, 04 Oct 95 17:17:00 +0100 (MET)
From:           "Thomas Breuer" <Thomas.Breuer@Math.RWTH-Aachen.DE>
Subject:        Re: GeneralLinearGroup

Dear Mrs. and Mr. Forum,

Peter Mueller writes

    if I understand the documentation correctly, then a command like

    `GeneralLinearGroup(Permutations,2,2)'

    should return the the group GL(2,2) as a permutation group (hopefully
    in the natural representation, though that's not specified there).

He reports that in GAP3R4P2 this does not work.
The reason for this bug is that in spite of the promises in the manual
section 'The Basic Groups Library' nobody wrote the corresponding code.

The next upgrade will fix this, for general linear groups as well as for
special linear and symplectic groups, and general/special unitary groups.
For the moment, the following function should suffice.

    GeneralLinearPermGroup := function( n, q )

        local matgrp,   # the desired group as matrix group
              space,    # natural vector space 'matgrp' acts on
              vectors;  # set of nonzero vectors in 'space'

        matgrp:= GeneralLinearMatGroup( n, q );
        space:= GF(q)^n;
        vectors:= Elements( space );
        RemoveSet( vectors, Zero( space ) );

        return Operation( matgrp, vectors );
        end;

Kind regards
Thomas Breuer



From wolfgang.knapp@uni-tuebingen.de Fri Oct  6 09:52:00 1995
Date:           Fri, 06 Oct 95 09:52:00 +0100
From:           "Wolfgang Knapp" <wolfgang.knapp@uni-tuebingen.de>
Subject:        Wreath Product Action


Dear GAP forum,

for dealing with primitive permutation groups with the help of GAP it is
important to have an efficient way to implement in GAP the action of
degree m^k of the natural wreath product
 WreathProduct(Sym(m),Sym(k),IdendityMapping(Sym(k))),
usually called "product action" (I think "power action" is a more appropriate
name). Is it possible to avoid complicated and complex computations in
defining this action?

I would be grateful for any useful advice,         W. Knapp



------------------------------------------------------------------------------

Wolfgang D. Knapp

Mathematisches Institut                Internet:
Universit"at T"ubingen                 wolfgang.knapp@uni-tuebingen.de
Auf der Morgenstelle 10
                                       Tel. +49 7071 294318
D-72076 T"ubingen                      Fax  +49 7071 294322

GERMANY

-----------------------------------------------------------------------------



From dfh@maths.warwick.ac.uk Fri Oct  6 11:04:00 1995
Date:           Fri, 06 Oct 95 11:04:00 +0100
From:           "Derek Holt" <dfh@maths.warwick.ac.uk>
Subject:        Re:  Wreath Product Action


Wolfgang Knapp writes:

>
> Dear GAP forum,
>
> for dealing with primitive permutation groups with the help of GAP it is
> important to have an efficient way to implement in GAP the action of
> degree m^k of the natural wreath product
>  WreathProduct(Sym(m),Sym(k),IdendityMapping(Sym(k))),
> usually called "product action" (I think "power action" is a more appropriate
> name). Is it possible to avoid complicated and complex computations in
> defining this action?
>
> I would be grateful for any useful advice,         W. Knapp
>

I don't know whether there is a standard GAP function to do this, but
there does happen to be one in the share-package "smash".

It is called WreathPower(G,P) - G can be either a permutation or a
matrix group, and P must be a permutation group.

The source is in the file  main-gap-directory/pkg/smash/code/c_wreath.g
if you want to look at it.

Here is an example:

gap> RequirePackage("smash");
gap> G:=SymmetricGroup(3);
Group( (1,3), (2,3) )
gap> P:=SymmetricGroup(4);
Group( (1,4), (2,4), (3,4) )
gap> W:=WreathPower(G,P);
Group( ( 1, 3)( 4, 6)( 7, 9)(10,12)(13,15)(16,18)(19,21)(22,24)(25,27)(28,30)
(31,33)(34,36)(37,39)(40,42)(43,45)(46,48)(49,51)(52,54)(55,57)(58,60)(61,63)
(64,66)(67,69)(70,72)(73,75)(76,78)(79,81), ( 2, 3)( 5, 6)( 8, 9)(11,12)
(14,15)(17,18)(20,21)(23,24)(26,27)(29,30)(32,33)(35,36)(38,39)(41,42)(44,45)
(47,48)(50,51)(53,54)(56,57)(59,60)(62,63)(65,66)(68,69)(71,72)(74,75)(77,78)
(80,81), ( 2,28)( 3,55)( 5,31)( 6,58)( 8,34)( 9,61)(11,37)(12,64)(14,40)
(15,67)(17,43)(18,70)(20,46)(21,73)(23,49)(24,76)(26,52)(27,79)(30,56)(33,59)
(36,62)(39,65)(42,68)(45,71)(48,74)(51,77)(54,80), ( 4,28)( 5,29)( 6,30)
( 7,55)( 8,56)( 9,57)(13,37)(14,38)(15,39)(16,64)(17,65)(18,66)(22,46)(23,47)
(24,48)(25,73)(26,74)(27,75)(34,58)(35,59)(36,60)(43,67)(44,68)(45,69)(52,76)
(53,77)(54,78), (10,28)(11,29)(12,30)(13,31)(14,32)(15,33)(16,34)(17,35)
(18,36)(19,55)(20,56)(21,57)(22,58)(23,59)(24,60)(25,61)(26,62)(27,63)(46,64)
(47,65)(48,66)(49,67)(50,68)(51,69)(52,70)(53,71)(54,72) )
gap> Size(W);
31104


Derek Holt.



From heiko.theissen@math.rwth-aachen.de Thu Oct 12 16:46:00 1995
Date:           Thu, 12 Oct 95 16:46:00 +0100 (MET)
From:           "Heiko Theissen" <Heiko.Theissen@Math.RWTH-Aachen.DE>
Subject:        Announcement: List of primitive simple permutation groups

Dear forum readers,

I have put a file `coco.grp' into the `/pub/incoming' directory on our
ftp server   `ftp.math.rwth-aachen.de'.  This  file  contains   a  GAP
function that will construct the primitive permutation representations
of  simple groups  of   order less than  a   million,  except for  the
two-dimensional linear groups.

The information about  these  groups stems from  the  computer package
COCO (for computations with COherent COnfigurations)  written by A. A.
Ivanov, I. Faradzev and M. Klin (UNIX port by A. Brouwer) and has been
translated into GAP-format.

Details about the  new GAP function, including  instructions on how to
install  and  use it,  are  contained in the  short documentation file
`coco.tex' in the same   directory `/pub/incoming'. You can  run  this
file through plain TeX to produce a printed description (2 pages).

Have fun, Heiko Thei{\ss}en



From logar@univ.trieste.it Mon Oct 16 12:5 e. g. if you want to build 
a native PowerMac version, you also need the source files. 

Here's a short summary of the features of my new port.

- log window is now a real text editing window; scrolling and 
  resizing of GAP's log window is now possible 
- up to 8 additional file editing windows 
- separate Help window; improved help facilities 
  including "hyperlinks"
- can open and print documents
- can execute other applications (via GAP's Exec () function) 
- can use an external editor (via GAP's Edit () function) 
- now accepts both Macintosh and Unix style pathnames 
- resolves alias files and alias folders
- during program startup, options can be set in a preferences 
  dialog
- GAP is more cooperative when running in the  background 
- does not use Symantec's console library any more, so it should be 
  possible to compile GAP for the Macintosh with other compilers
  and for the PowerMac
- doesn't use the LoMem interface (which might cause problems 
  when compiling GAP on a Power Mac)

Unfortunately, I cannot provide a native Power Mac version of GAP, 
but I hope that someone will be able to compile my port on a Power 
Mac 
and provide a Power Mac version. (Please contact me if you would like 
to do so and need some further assistance!).

Please send any comments and bug reports concerning the Macintosh 
port 
of GAP directly to me. 

If you use my part of GAP, I would appreciate if you dropped me a 
note, 
possibly containing information about your system (machine type, main
memory, system version, do you use virtual memory?)

I hope you will like the new port. 


Burkhard.


                                                                                                                                                                                                         usr/lib/gap/etc/forum95d.txt                                                                        100644       0       0       450164  6662026426  14334  0                                                                                                    ustar   root                            root                                                                                                                                                                                                                   This file contains the mails sent to the GAP forum in October-December 1995.

Name                Email address                           Mails   Lines
Martin Schoenert    Martin.Schoenert@Math.RWTH-Aachen.DE        8     436
Steve Linton        sal@dcs.st-andrews.ac.uk                    8     142
Heiko Theissen      Heiko.Theissen@Math.RWTH-Aachen.DE          6     295
Claude Quitte       quitte@knuth.univ-poitiers.fr               4     386
Joachim Neubueser   Joachim.Neubueser@Math.RWTH-Aachen.DE       3     378
Andrew Mathas       a.mathas@ic.ac.uk                           3     144
Alexander Hulpke    Alexander.Hulpke@Math.RWTH-Aachen.DE        3     128
Thomas Breuer       Thomas.Breuer@Math.RWTH-Aachen.DE           3     123
Giovanni Ferrero    ferrero@prmat.math.unipr.it                 3      10
Frank Celler        Frank.Celler@Math.RWTH-Aachen.DE            2     214
Goetz Pfeiffer      goetz@dcs.st-andrews.ac.uk                  2     138
Chris Wensley       mas023@bangor.ac.uk                         2     104
Derek Holt          dfh@maths.warwick.ac.uk                     2     100
Jean Michel         jean.michel@ens.fr                          2      51
Werner Nickel       Werner.Nickel@Math.RWTH-Aachen.DE           2      38
Andries E. Brouwer  aeb@win.tue.nl                              2      29
Paul Robert Brown   pbrown@math.berkeley.edu                    2      26
Bruce Kaskel        kaskel@math.berkeley.edu                    2      17
Michael Smith       michael.smith@maths.anu.edu.au              1      87
Andreas Hoppe       hoppe@math.tu-berlin.de                     1      67
Andreas Prinz       prinz@informatik.hu-berlin.de               1      49
Dima Pasechnik      pasec@can.nl                                1      40
John Pliam          pliam@imafs.ima.umn.edu                     1      34
Burkhard Hoefling   hoefling@mat.mathematik.uni-mainz.de        1      32
Peter Prohle        prohlep@konig.elte.hu                       1      32
Peter F. Blanchard  pfb3h@weyl.math.virginia.edu                1      31
Wolfgang Knapp      wolfgang.knapp@uni-tuebingen.de             1      29
Sebastian Egner     egner@ira.uka.de                            1      26
Alessandro Logar    logar@univ.trieste.it                       1      25
Bettina Eick        Bettina.Eick@Math.RWTH-Aachen.DE            1      25
James McCarron      jmccarro@mercator.math.uwaterloo.ca         1      23
Shahiem Ganief      ganief@math.unp.ac.za                       1      23
David Wood          s8910859@student.ecel.uwa.edu.au            1      22
Olaf Delgado        delgado@mathematik.uni-bielefeld.de         1      21
David Sibley        sibley@math.psu.edu                         1      20
Kiechle Hubert      kiechle@mathematik.tu-muenchen.de           1      20
Stefan Neis         neis@cs.uni-sb.de                           1      20
Peter F. Mueller    pfm@math.ufl.edu                            1      19
Andreas Caranti     caranti@volterra.science.unitn.it           1      18
Marston Conder      conder@mat.auckland.ac.nz                   1      17
Lewis McCarthy      lmccarth@klingon.cs.umass.edu               1      16
Sarah Rees          sarah.rees@newcastle.ac.uk                  1       7
Robert Gilman       rgilman@sitult.stevens-tech.edu             1       4
Chris Charnes       charnes@osiris.cs.uow.edu.au                1       3
TOTAL                                                          85    3469

This  file is in Berkeley mail drop format, which means you can read this
file with 'mail -f <name-of-the-file>'  or 'mailx -f <name-of-the-file>'.
It is also possible however to read this file with any text editor.



From hoefling@mat.mathematik.uni-mainz.de Mon Oct  2 09:47:00 1995
Date:           Mon, 02 Oct 95 09:47:00 +0100
From:           "Burkhard Hoefling" <hoefling@mat.mathematik.uni-mainz.de>
Subject:        Re: new port of GAP for the Macintosh

Dear forum members
unfortunately there is a problem with the GAP 3.4.2 port for
the Macintosh which I uploaded last Friday. Somehow
part of the GAP 3.4.2 application's resources got lost. Moreover, I
forgot to include a source file, namely 'costab.mod.c'.  I