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:56:00 1995
Date:           Mon, 16 Oct 95 12:56:00 +0100
From:           "Alessandro Logar" <logar@univ.trieste.it>
Subject:        a question

Dear Gap Forum,
here is probably a trivial question on GAP, but at least after a
first glance at the manual, I was not able to find an answer.
(I have to add that I am definitely not a gap expert...)
My problem is (or can redeuced to) the following:
I want to define a function, say F(n), such that, for a given n, F(n)
returns the free group generated by x1,...,xn.
The funcion FreeGroup, as far as I can understand, do not allows to
have as an argument, a sequence of element as x1, ..., xn for a
generic n.
I would greately appreciate any suggestion.
Let me ask another question: is there a guide to GAP which is
reasonabely quick to read? The manual is surely extremely complete,
but I have to confess that in front of the 1,200  pages I am a
little scared ...

Thank you for the attention.

    Greetings.


    Alessandro Logar (Math. Dept., University of Trieste, Italy)

    e-mail: logar@univ.trieste.it



From sibley@math.psu.edu Mon Oct 16 15:34:00 1995
Date:           Mon, 16 Oct 95 15:34:00 -0400
From:           "David Sibley" <sibley@math.psu.edu>
Subject:        Re: a question

You wrote:
>Let me ask another question: is there a guide to GAP which is
>reasonabely quick to read? The manual is surely extremely complete,
>but I have to confess that in front of the 1,200  pages I am a
>little scared ...

Reading the first chapter should be plenty to get you going.  Use the
rest as a reference manual.  That's what I did.  I don't think the
organization of the manual has changed that much since then, although
it has grown.

I'm not sure about the answer to your other question.  I'd have to
check to see whether what I have in mind would work.


David Sibley        | "Accurate reckoning.  The entrance into knowledge
Amateur radio NT3O  |  of all existing things and all obscure secrets."
sibley@math.psu.edu |      -- The Rhind Papyrus
<URL:http://www.math.psu.edu/sibley/>



From alexander.hulpke@math.rwth-aachen.de Tue Oct 17 10:08:00 1995
Date:           Tue, 17 Oct 95 10:08:00 +0100
From:           "Alexander Hulpke" <Alexander.Hulpke@Math.RWTH-Aachen.DE>
Subject:        Re: a question

Dear GAP Forum,

Alessandro Logar asked:

> (I have to add that I am definitely not a gap expert...)
> My problem is (or can redeuced to) the following:
> I want to define a function, say F(n), such that, for a given n, F(n)
> returns the free group generated by x1,...,xn.
> The funcion FreeGroup, as far as I can understand, do not allows to
> have as an argument, a sequence of element as x1, ..., xn for a
> generic n.
> I would greately appreciate any suggestion.

I'm not completely sure whether this is your question, but I'll try to
explain a bit better how one can use 'FreeGroup'.
You have 4 possibilities to create free groups. They all give different
names (for printing) to the generators, from a mathematical or algorithmic
point of view they are all equivalent:

  gap> f:=FreeGroup(3);
  Group( f.1, f.2, f.3 )

  gap> f:=FreeGroup(3,"x");
  Group( x.1, x.2, x.3 )

  gap> f:=FreeGroup(["a","b","c"]);
  Group( a, b, c )

You can access the generators via their record components f.1,f.2 and f.3
(or f.generators[nr]). So with the last example one would get

  gap> f.2^2;
  b^2

(It is important to distinguish between variables and their names,
i.e. the way they are printed).

The fourth version will not be supported any longer in GAP 4.x as it might
lead to confusion. It's just mentioned for sake of completeness:

  gap> x1:=AbstractGenerator("a");
  a
  gap> x2:=AbstractGenerator("b");
  b

  The names are completely independent of the generators. As you see we can
  even give the same name to different generators:

  gap> x3:=AbstractGenerator("a");
  a
  gap> Group(x1,x2,x3);
  Group( a, b, a )
  gap> AbelianInvariants(CommutatorFactorGroup(last));
  [ 0, 0, 0 ]

  So x1,x2 and x3 are all distinct, though x1 and x3 are called the same.

Alexander Hulpke



From pfb3h@weyl.math.virginia.edu Wed Oct  4 10:38:00 1995
Date:           Wed, 04 Oct 95 10:38:00 -0600 (MDT)
From:           "Peter Floodstrand Blanchard" <pfb3h@weyl.math.virginia.edu>
Subject:        Re: TableAutomorphisms

Dear Thomas,
        Thank you for your explanation of my perceived problem with the
TableAutomorphism function.  I should have slept on it before seeking
help, as I did eventually figure out my difficulty.  My mind quite
stubbornly insisted in viewing the situation incorrectly.  Anyway I
did see the problem by making use of one of my favorite features
of GAP, namely access to the libraries.  It was a simple matter to

i). Make a temporary copy of the library file containing the
TableAutomorphisms function.

ii). Locate the code which checks that a proposed permutation
respects the powermaps.

iii). Insert a statement to print out the proposed permutations
just before and after checking them.

Being able to examine the calculations in this way allowed me to
see my error immediatly.

One can also use access to the library files to customize some
functions. For example, one may want to insert statements printing
out data which will help determine whether a calculation is going to
take 2 minutes or 2 years!

Anyway thanks again for you response.
Thanks also to all the GAP folks for their wonderful work.


Peter Blanchard



From lmccarth@klingon.cs.umass.edu Thu Oct 12 03:52:00 1995
Date:           Thu, 12 Oct 95 03:52:00 -0400
From:           "Lewis McCarthy" <lmccarth@klingon.cs.umass.edu>
Subject:        Origins of GAP

Dear GAP Forum-

For a paper I'm writing I want to include a brief discussion of the origins
and history of GAP. Joachim Neubuser's June `94 preface to the GAP manual
has proven invaluable in this regard. However, I remain partly unclear about
the original motivations for creating GAP. Specifically, what aspects of
(for example) the CAYLEY system (now MAGMA) and the work of Pless/Leon et al.
at UIC made those systems undesirable in contrast to the GAP design ?

Thanks in advance for any comments on this topic. (Perhaps I should mention
that there are no current plans to publish this paper in a research journal.)

<a href="mailto:lmccarth@cs.umass.edu">-Lewis McCarthy</a>

P.S. Is the preface on the GAP manual web page somewhere ?



From pliam@imafs.ima.umn.edu Thu Oct 12 18:20:00 1995
Date:           Thu, 12 Oct 95 18:20:00 -0500 (CDT)
From:           "John Pliam" <pliam@imafs.ima.umn.edu>
Subject:        Re: Rubik's Cube

>
>
>     In January of 1994, I wrote a small package for describing elements of a
> permutation group in terms of its generators.  There were some inefficiencies,
> and the results were far from optimal, but it gives reasonable results, and
> reasonably quickly.  For example, for Rubik's Cube, it takes less than a minute
> to "familiarize itself" with the cube.  After this, I chose a random element
> of the group, and ask for the solution.  The calculations took .017 seconds.
> The solution involved about 1200 moves.  The worst case has about 1575 moves.
> Much better than the 500,000 mentioned, but far short of optimal.  I used
> another routine to find a shorter version of the solution.  This gives a
> further reduced word, but it is still not optimal.  In my last run, 85 seconds
> of "Shrinking" gave a word of length 135.  Of course, the timing results are
> machine dependent.  I am using a Sun workstation.
>
>    I placed the package in /pub/incoming at
> ftp@samson.math.rwth-aachen.de with the non-obvious name of AbStab.  (This
> is for "Abstract Stabilizer Chains.")
>
>    I haven't heard comments about it, and was curious as to if anyone has
> used it, or if it has been moved to another location.

Phil,

Hi, How's it going?  I saw this on the Gap forum and was wondering what
is the worst case minimum # of moves (diameter of the Cayley graph)?
Does anyone know?   I have read claims of like 50?

I have become interested in this again, because of applications to routing
in parallel archectures (I actually found papers using the Schreier thm.
in eng. journals :-)

John Pliam



From sal@dcs.st-andrews.ac.uk Tue Oct 17 18:13:00 1995
Date:           Tue, 17 Oct 95 18:13:00 +0100
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: Rubik's Cube


[ On representing group elements in terms of generators ]

> I have become interested in this again, because of applications to routing
> in parallel archectures (I actually found papers using the Schreier thm.
> in eng. journals :-)
>

Gene Cooperman <gene@ccs.neu.edu> and Larry Finkelstein <laf@ccs.neu.edu> have
done some recent work on this sort of computation. In particular, I think they
solved the 2x2x2 Rubik's cube.

        Steve



From joachim.neubueser@math.rwth-aachen.de Wed Oct 18 12:18:00 1995
Date:           Wed, 18 Oct 95 12:18:00 +0100
From:           "Joachim Neubueser" <Joachim.Neubueser@Math.RWTH-Aachen.DE>
Subject:        Re: Origins of GAP

Dear GAP Forum,

Lewis McCarthy asked:

> For a paper I'm writing I want to include a brief discussion of the origins
> and history of GAP. Joachim Neubuser's June `94 preface to the GAP manual
> has proven invaluable in this regard. However, I remain partly unclear about
> the original motivations for creating GAP. Specifically, what aspects of
> (for example) the CAYLEY system (now MAGMA) and the work of Pless/Leon et al.
> at UIC made those systems undesirable in contrast to the GAP design ?

Since we have established the tradition  to answer all questions posed
in the GAP forum, we have to  answer this one, too, and  I am afraid I
have to answer. I discussed possible answers with  some members of our
team and a  very short  formulation proposed was:   'We  did not  like
Cayley, we did like Maple, and fortunately we did  not realize what we
were going in for.' All three parts of that statement are true and the
last  one  even more than  the  first two, if e.g.   I think of myself
writing this letter just now.

But seriously now:

Very clearly Cayley  was a very strong  and in  many ways userfriendly
system  already when we started GAP  and had been  used by many people
with great success. It was not, and Magma  still is not, however, what
I call an  'open' system in the  preface  to the GAP  manual.  Various
aspects of what I mean by that are detailed  in the last section 'Some
concerns' of my paper  'An  Invitation to Computational  Group Theory'
which  is  printed  in   Campbell    et  al.,  ed's.,   Groups    '93,
Galway/St.Andrews,  vol.  2, p.   457 - 475,  (and which is also on my
web  page).  This paper rather  closely follows a  talk that I gave on
the first day  of that conference as an  introduction to a workshop on
CGT that we organised during the second week, and which I (ab?)used to
express some rather personal opinions.

I  should mention perhaps that   at an earlier  time  of the so-called
'Aachen Sydney Group System' which was a  forerunner of Cayley as well
as of the first version of the system of Vera Pless, we had cooperated
very closely with John Cannon, and though of course the code from that
time has meanwhile been tranlated from Fortran to  C and over and over
improved  and rewritten  by  him, at least  at the  time  of the first
release of Magma  there   were still some  parts   of  code (in   this
transformed state) in   Magma, which originated  from Aachen.  However
even at the time of close cooperation when we had a copy of the source
of the  group theoretical  functions of the  system  we still had  not
access to all, e.g.  we were not able to experiment with modifications
of the language.

> Thanks in advance for any comments on this topic. (Perhaps I should mention
> that there are no current plans to publish this paper in a research journal.)

Glad to hear  that, I hope that neither   GAP nor even me have  become
history yet.

> P.S. Is the preface on the GAP manual web page somewhere ?

No.

Kind regards      Joachim Neubueser



From prinz@informatik.hu-berlin.de Wed Oct 18 15:21:00 1995
Date:           Wed, 18 Oct 95 15:21:00 +0100 (MET)
From:           "Andreas Prinz" <prinz@informatik.hu-berlin.de>
Subject:        IsConjugate

Hi there,

I found a somewhat strange behaviour of IsConjugate
is the following case:

game:= Group(
( 1, 3, 8, 6)( 2, 5, 7, 4)( 9,33,25,17)(10,34,26,18)(11,35,27,19),
( 9,11,16,14)(10,13,15,12)( 1,17,41,40)( 4,20,44,37)( 6,22,46,35),
(17,19,24,22)(18,21,23,20)( 6,25,43,16)( 7,28,42,13)( 8,30,41,11),
(25,27,32,30)(26,29,31,28)( 3,38,43,19)( 5,36,45,21)( 8,33,48,24),
(33,35,40,38)(34,37,39,36)( 3, 9,46,32)( 2,12,47,29)( 1,14,48,27),
(41,43,48,46)(42,45,47,44)(14,22,30,38)(15,23,31,39)(16,24,32,40)
);

p1:=(3,19,43,33,8,24,27,25,30)(5,21,45,47,44,42,36)
    (14,22,32,40,16,48,46,41,38)(15,23,29,26,28,31,39);
p2:=(6,16,19,17,22,8,11,41,25)(7,13,42,45,47,44,28)
    (14,24,32,40,43,48,46,30,38)(15,21,18,20,23,31,39);

IsConjugate(game,p2,p1);
IsConjugate(game,p1,p2);


Both of the calls yield >>true<<, but the first one is
very very very much faster (in fact, I only once waited
for the second to terminate - it was almost 30 mins on
a sun sparc as compared to less than 10 secs for the first
case).

Is this a bug or a feature?

For my work it would suffice to order the two elements such
that the faster version is used. Is there a way to do so?
(If there is, it should be included into IsConjugate!)

Another thing is the output using the Print routine.
On my system I get for long lines extra characters \\ and \n.
Is there a way to avoid this?

I just tried to program something like a counter in place,
i.e. without scrolling put always the new numbers onto the
old terminal position. Is there a solution to this already
available?
(Currently, I solved the problem by doing some dirty tricks
with terminal special characters (e.g. <esc>[4h ...)

Regards,
   Andreas



From kaskel@math.berkeley.edu Wed Oct 18 10:14:00 1995
Date:           Wed, 18 Oct 95 10:14:00 -0700
From:           "Bruce Kaskel" <kaskel@math.berkeley.edu>
Subject:        Re: Origins of GAP

Oh, BTW, is there some reason why you uuencode a message such as the last one?
uuencoding is meant for things like sending binary files through the mail
like when you often send me a .zip file. If you just have a short text message
it doesn't make much sense to uuencode. Perhaps you are just "attaching" the
text file to the mailing message and i-2000 is uuencoding it? But attaching
is what you used to do at hofbbs, do you do something similarat i-2000?

--Bruce



From kaskel@math.berkeley.edu Wed Oct 18 12:17:00 1995
Date:           Wed, 18 Oct 95 12:17:00 -0700
From:           "Bruce Kaskel" <kaskel@math.berkeley.edu>
Subject:        apology


Dear GAP-forum members,

        I mistakenly sent a private message (of little conseqence)
to the GAP-forum earlier today. I am sorry for the mistake.

--Bruce Kaskel



From heiko.theissen@math.rwth-aachen.de Thu Oct 19 15:39:00 1995
Date:           Thu, 19 Oct 95 15:39:00 +0100 (MET)
From:           "Heiko Theissen" <Heiko.Theissen@Math.RWTH-Aachen.DE>
Subject:        Re: IsConjugate / Print (fwd)

Dear forum readers,

1.  Andreas  Prinz has reported  a strange  behaviour of  the function
`IsConjugate'. This is no bug, it really is a feature.

The conjugacy test whether <a> is conjugate to <b> in <G> is performed
by a backtrack  search over <G>  where elements are considered in turn
and for each such element <g> it is tested whether $a^g = b$. A search
tree is used  to determine the order of  the search and this tree also
makes it possible to

  - discard large subtrees of elements because they can never
    conjugate <a> to <b> and
  - consider only one element per coset of the centralizer of <b>.

The  special  structure of  the  search tree  is   based on the  cycle
structure of <a> and on the base chosen for <G>. `IsConjugate' returns
`true' when one conjugating element is found.

Now in the fast variant of Andreas Prinz's example the *first* element
considered in  this way was  already a conjugating element, whereas in
the  slow variant  (with <a> and   <b> interchanged) only the 103681st
element did it. That's why it took so much longer.

Since  the order in which the  elements are considered  depends on the
ordering of the basic  orbits inside the stabilizer  chain of <G>, the
only way I see which could catch  this (rather exceptional) case would
be to set  up the search tree for  either choice of  <a>  and then see
whether  the  first element  (or one  of the first   ten, or the first
hundred?) conjugates  <a>  to <b>. Better  suggestions  are of  course
welcome.

2. Andreas Prinz  also asked why  he gets  extra  characters when long
lines  are printed. I assume he  meant that GAP  prints a slosh `\' in
the 79th column (leaving the  80th column blank)  and continues in the
next line when it prints  a string that is  longer than 78 characters.
(This applies  to an 80 column screen.)  GAP certainly never prints an
extra `\n' (or was a newline character meant?).

If you use `SizeScreen(  [ <nrcols>, <nrrows>  ] )', GAP behaves as if
your screen  was <nrcols> columns  wide and will therefore print fewer
extra sloshes.  If  the screen is  actually  not  so wide it   is your
operating system's duty to handle this situation. Beware: <nrcols> can
be at most 256.

3. Andreas Prinz  also  asked how to  print  something  on the  screen
without moving  the  cursor position.  It is possible   to include the
control sequence `\b' in a string, which --  when printed -- moves the
cursor back one position. Similarly, the control  sequence `\c' at the
end of a string forces printing even if the string includes no newline
character. For example,

Print("for exemple\c");Lattice(SymmetricGroup(10));;Print("\b\b\b\b\ba\n");

prints   `for exemple', waits   quite  some  time and  then overwrites
`exemple' with `example'.

Hope this helps, Heiko Thei{\ss}en



From jean.michel@ens.fr Fri Oct 20 16:26:00 1995
Date:           Fri, 20 Oct 95 16:26:00 +0100 (MET)
From:           "Jean Michel" <jean.michel@ens.fr>
Subject:        Workshop on GAP internals?

Dear Gap-Forum,
I have had the idea described below, in relation with the
impending retirement of prof. Neubuser, and the expected
distribution of GAP developement over various sites when
this will occur.

There are presently only very few people outside of Aachen
who know enough about the internals of GAP to be able to make
improvements to the kernel or even just debug it. On the other
hand, there are quite a few people who are interested in GAP
development, have been involved in the development of packages
in the GAP language, and would be interested in participating
in future development of the kernel (e.g. myself). The problem
is the steep learning curve due to the lack of documentation
and/or teaching material about the C sources of the kernel.
It is to be hoped that such documentation will be written
before GAP development leaves Aachen (probably a lot
of work in perspective for the main developper, M.Schoenert).
In the meanwhile, I thought it would be a good thing if it was
possible to organize in Aachen sometime something like a
one-week workshop  on GAP internals, where interested people
could come and have a good start at learning how to hack
(properly) the kernel.

I talked briefly about this with prof. Neubuser during the DAG
day in Amiens, and he also thought it a good idea, and that
possibly next spring could be a good time for such a workshop.

What do other people think of this?

Jean MICHEL



From a.mathas@ic.ac.uk Fri Oct 20 19:30:00 1995
Date:           Fri, 20 Oct 95 19:30:00 +0100
From:           "Andrew Mathas" <a.mathas@ic.ac.uk>
Subject:        Re: Workshop on GAP internals?

#I talked briefly about this with prof. Neubuser during the DAG
#day in Amiens, and he also thought it a good idea, and that
#possibly next spring could be a good time for such a workshop.
#
#What do other people think of this?

Given the rate at which GAP is currently growing such a meeting would seem
to be not only a good idea but also necessary.

Another aspect of GAP programming which I think needs to be discussed is
the implementation of 'utility functions' which would be useful additions
to many of the existing GAP functions. In particular, I think that functions
SaveTo() and TeX() described below are needed. Currently such functions are
either non-existent, implemented on an ad hoc basis, or written by
individual users and so not publically available.

1. SaveTo(): At present there is no uniform way to save
a GAP data structure for future retrieval. The most common way around this
is to print the structure to a file; however, this is often very
inefficient to read back in (eg. polynomials, sparse matrices). The SaveTo()
handler might look like this:

 SaveTo:=function(arg)local save;
   save:=function(args)local a;
     for a in args do
       if IsRec(a) and IsBound(a.operations) and
           IsBound(a.operations.SaveTo)
       then a.operations.SaveTo(a);
       else Print(a);
       fi;
     od;
   end;

   if IsFunc(arg[1]) then arg[1](arg[2],  save(arg{[3..Length(arg)]}));
   else PrintTo(arg[1], save(arg{[2..Length(arg)]}));
   fi;
  end;

Thus, SaveTo("fred", x) and SaveTo(AppendTo, "fred", x) are both valid
function calls (each having the obvious effect), and x.operations.SaveTo()
would use the Print() statement throughout.

2. TeX(): Obviously useful. I have written TeX functions for printing
polynomials, elements of the Hecke algebras (from the Weyl package), and
some other things. I am happy to make these available; however in order to
implement these functions properly there should be a TeX() handling function
which calls x.operations.TeX(); it would look something like this:

  TeX:=function(arg) local a,i;
    for a in arg do
      if IsInt(a) or IsString(a) then Print(a);
      elif IsList(a) then for i in a do TeX(i); od;
      elif IsRec(a) and IsBound(a.operations) and IsBound(a.operations.TeX)
      then a.operations.TeX(a);
      else Print("*error*", "TeX(<a>), don't know how to TeX <a>\n");
      fi;
    od;
  end;

3. Other candidates are a Maple() function and any functions which are common
to many areas of mathematics, such as InnerProduct(), Induce() and so on.


Andrew Mathas



From aeb@win.tue.nl Sat Oct 21 02:08:00 1995
Date:           Sat, 21 Oct 95 02:08:00 +0100
From:           "Andries E. Brouwer" <aeb@win.tue.nl>
Subject:        Re: Workshop on GAP internals?

> lack of documentation and/or teaching material about
> the C sources of the kernel.

My experience is 1. that it is very difficult to keep detailed
descriptions of a large program accurate and up-to-date, and
2. that the GAP kernel is very easy to read - the source is
really self-documenting.
So, I don't think the situation is so bad.
I have difficulties imagining who would really profit from such
a workshop.

Andries



From pasec@can.nl Sat Oct 21 09:08:00 1995
Date:           Sat, 21 Oct 95 09:08:00 +0000 (GMT)
From:           "Dima Pasechnik" <pasec@can.nl>
Subject:        Re: Workshop on GAP internals?

Dear Forum,

   Date:           21 Oct 95 02:08 +0100
   From: A.E. Brouwer <aeb@win.tue.nl>

   > lack of documentation and/or teaching material about
   > the C sources of the kernel.

   My experience is 1. that it is very difficult to keep detailed
   descriptions of a large program accurate and up-to-date, and
   2. that the GAP kernel is very easy to read - the source is
   really self-documenting.
   So, I don't think the situation is so bad.
   I have difficulties imagining who would really profit from such
   a workshop.

   Andries

------------------------------------------------------------------------
While I agree with the fact that the GAP kernel is easy to read,
one would need to spend a lot of time in order to understand details of
how the things work there.

Certainly many not very experienced people interested in somewhat
deeper knowledge of mathematical software would benefit from such a
workshop, given that its emphasis is not only on "quick and dirty"
ways to hack GAP kernel.

Regards,
Dima
-----------------------------------------------------------------
Dmitrii V. Pasechnik
RIACA/CAN
419 Kruislaan
1098 VA Amsterdam
The Netherlands
phone: +31 20 560 8480
fax:   +31 20 560 8448
email: pasec@can.nl



From martin.schoenert@math.rwth-aachen.de Mon Oct 23 09:32:00 1995
Date:           Mon, 23 Oct 95 09:32:00 +0100 (MET)
From:           "Martin Schoenert" <Martin.Schoenert@Math.RWTH-Aachen.DE>
Subject:        Re: Re: Rubik's Cube

John Pliam wrote in his article of 1995/10/12

                         I saw this on the Gap forum and was wondering what
    is the worst case minimum # of moves (diameter of the Cayley graph)?
    Does anyone know?   I have read claims of like 50?

    I have become interested in this again, because of applications to routing
    in parallel archectures (I actually found papers using the Schreier thm.
    in eng. journals :-)

I assume you mean God's algorithm for Rubik's Cube.  I.e., how many
quarter turns would God have to make to bring a state back to the solved
state in the worst case?

We know now that there are states (e.g. the superflip where all edges are
flipped and all corners are correct) that require at least 24 quarter
turns.  This was done basically as follows.  Enumerate all states that
are at most 11 quarter turns from the solved state.  Then enumerate all
states that are at most 11 quarter turns away from the superflip state.
Those two sets have no common element, so superflip is more than 22
quarter turns away from the solved state.  Since it is an even
permutation, any process for the superflip requires an even number of
quarter turns.  Thus superflip is at least 24 quarter turns away from the
solved state.  This was done by Jerry Bryan.  Michael Reid found a
process for the superflip that requires 24 quarter turns.

On the other hand we know an algorithm that requires at most 42 quarter
turns for any state.  This works by first bringing the state into the
subgroup H = < U, D, L^2, R^2, F^2, B^2 >, and then solving this state.
Both the coset space G / H and H were exhaustively searched (quite an
achievement).  This was done by Michael Reid.

The agreement seems to be that the true answer will be very close to 24.
So I don't think anybody is working on raising the lower bound.
I don't think anybody has an idea how to lower the upper bound much.

You can find out more about this and about the Cube in general by
joining the Cube-Lovers mailing list.  To subscribe send a message
to 'Cube-Lovers-Request@ai.mit.edu'.  To read older messages get the
archives from 'ftp.ai.mit.edu:/pub/cube-lovers/' or check out
'http://www.math.rwth-aachen.de:8000/LDFM/People/Martin_Schoenert_Private/Cube-Lovers/'.

Martin.

-- .- .-. - .. -.  .-.. --- ...- . ...  .- -. -. .. -.- .-
Martin Sch"onert,   Martin.Schoenert@Math.RWTH-Aachen.DE,   +49 241 804551
Lehrstuhl D f"ur Mathematik, Templergraben 64, RWTH, 52056 Aachen, Germany



From ferrero@prmat.math.unipr.it Mon Oct 23 10:38:00 1995
Date:           Mon, 23 Oct 95 10:38:00 +0100
From:           "Giovanni Ferrero" <ferrero@prmat.math.unipr.it>
Subject:        Re: Workshop on GAP internals?

Yes, it is a very good idea. We had much pain to a very little touch
(useful only for us) to the GAP-source!



From sal@dcs.st-andrews.ac.uk Mon Oct 23 10:47:00 1995
Date:           Mon, 23 Oct 95 10:47:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: Workshop on GAP internals?


Jean Michel proposed two things:

1) more documentation of the kernel
2) a workshop on "GAP internals"

I will take them one at a time:

1.

Documentation is an issue that is already being discussed as preparation of
GAP 4 and preparations for the move to St. Andrews get underway. The present
manual is an excellent reference manual, and we certainly intend that it
should continue. We are, however, considering a number of other areas that
should be addressed by documentation. Amongst these are:

a) Various tutorial manuals for users;
b) An "advanced" programming manual;
c) Coding standards for kernel, library and share package code;
d) Documentation for the internal interfaces, conventions and practices.

As Andries remarks, keeping documentation up-to-date is always a problem, and
it is certainly better to have sparse but accurate documentation, together
with well-commented code, than voluminous documents which are wrong.

We are very open to suggestions for the structure, format and content of new
GAP documentation, as well as offers of assistance.

2.

I can see two functions for a "GAP internals workshop".  Firstly, it would be
an opportunity for the GAP developers to provide "advanced" instruction and
guidance to the more experienced users and application developers. Some of us
have been lucky enough to spend time in Aachen getting individual support, but
a workshop might be a way to instruct more people more thoroughly for less
investment of the developers time. Secondly, a workshop would be an
opportunity to provide intensive feed-back. Andrew Mathas made a couple of
suggestions within this thread.

The question of timing is a rather delicate one. The basic shape of GAP 4 is
now set, but many details are still malleable. If the workshop is too early
then instruction given might be obsolete before the system is released, while
if it is too late, feedback could not be acted on (at least for version 4.1,
there will be more versions).

My provisional view (and I am quite happy to be persuaded otherwise) is that
the correct time for such a meeting is probably quite close to the release of
GAP 4.1, so that the instructional side of the workshop would have something
solid to work with. Such a meeting, featuring users with substantial GAP
applications and experience might also provide valuable beta-testing for the
new system. This leaves the feed-back question slightly adrift, but (a) there
will be releases after 4.1 and (b) there is always the GAP-forum.

        Steve Linton



From jean.michel@ens.fr Mon Oct 23 15:58:00 1995
Date:           Mon, 23 Oct 95 15:58:00 +0100 (MET)
From:           "Jean Michel" <jean.michel@ens.fr>
Subject:        Re: Workshop on GAP internals?

Steve Linton makes a lot of remarks with which I agree completely
on the state of GAP documentation and on the potential usefulness
of a workshop on GAP internals, then ends with

>>...
>> My provisional view (and I am quite happy to be persuaded otherwise) is that
>> the correct time for such a meeting is probably quite close to the release of
>> GAP 4.1, so that the instructional side of the workshop would have something
>> solid to work with.
>> ...

It seems to me that the intended public would have a thorough
knowledge of the GAP language and would not need too much
'hands-on' experience, so maybe as soon as the 4.xx kernel is stable
might be the right time (i.e. maybe we should not need to wait until
the GAP 3.xx libraries have been completely rewritten...)

   Jean MICHEL



From joachim.neubueser@math.rwth-aachen.de Tue Oct 24 10:33:00 1995
Date:           Tue, 24 Oct 95 10:33:00 +0100
From:           "Joachim Neubueser" <Joachim.Neubueser@Math.RWTH-Aachen.DE>
Subject:        Re: Workshop on GAP internals?

Dear Colleagues,

In the Aachen GAP  team we have  also discussed Jean Michel's proposal
of a  workshop on GAP  and  are in  favour  of the  idea. We also have
followed the discussion on the proposal.  We think that some time next
Spring (about April, say) may be feasable, meeting the various aspects
that have been mentioned for consideration in the choice of the date.

We would like to wait  for possible further  comments before in a  few
days   we will  come forward  with  a  more detailed  proposal for the
organisation of  such a workshop.  We will then also  ask who might be
interested to attend before we start to plan the necessary logistics.

Kind regards   Joachim Neubueser



From sal@dcs.st-andrews.ac.uk Tue Oct 24 17:25:00 1995
Date:           Tue, 24 Oct 95 17:25:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        GAP references


Dear Forum,

I am compiling a GAP bibliography. I am interested in references to:

1) descriptions of research that used GAP (papers, conference procedings,
tech. reports, dissertations, etc.)

2) articles about GAP or articles about computational group theory in general
that mention GAP -- reviews, survey articles, etc.

3) anything else you think might be relevant or interesting.

Please send material to me directly, and I will make the collection available
for FTP and post the details to the Forum.

        Steve Linton



From charnes@osiris.cs.uow.edu.au Wed Oct 25 13:19:00 1995
Date:           Wed, 25 Oct 95 13:19:00 +1000
From:           "Chris Charnes" <charnes@osiris.cs.uow.edu.au>
Subject:        Re: GAP references

Steve, what is your email address (re GAP references)
C. Charnes



From ferrero@prmat.math.unipr.it Wed Oct 25 10:13:00 1995
Date:           Wed, 25 Oct 95 10:13:00 +0100
From:           "Giovanni Ferrero" <ferrero@prmat.math.unipr.it>
Subject:        Re: Workshop on GAP internals?

I think can send a my pupil, if Italy has sufficient money!:-)



From sal@dcs.st-andrews.ac.uk Wed Oct 25 08:57:00 1995
Date:           Wed, 25 Oct 95 08:57:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Charles Charnes asked, very reasonably:

> Steve, what is your email address (re GAP references)

I hadn't realised how thorough the GAP-forum remailer was in stripping off
addresses.

Please send references to

sal@dcs.st-and.ac.uk

        Thanks
                Steve Linton



From sal@dcs.st-andrews.ac.uk Wed Oct 25 08:57:00 1995
Date:           Wed, 25 Oct 95 08:57:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Charles Charnes asked, very reasonably:

> Steve, what is your email address (re GAP references)

I hadn't realised how thorough the GAP-forum remailer was in stripping off
addresses.

Please send references to

sal@dcs.st-and.ac.uk

        Thanks
                Steve Linton



From goetz@dcs.st-andrews.ac.uk Tue Oct 24 18:07:00 1995
Date:           Tue, 24 Oct 95 18:07:00 +0000
From:           "Goetz Pfeiffer" <goetz@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Hi Steve,

here is the part of my bibliography which refers to GAP. (That is of
course: evrything :-)  You will receive (hopefully) a separate mail
from BIDS, which I caused to list all articles that cite the GAP manual.

Goetz.

--8<-------------------------------------------------------------------------
@string{AdvMath = "Adv. Math."}
@string{BayreuMS = "Bayreuther Math. Schr."}
@string{JAlg = "J. Algebra"}
@string{Manuscr = "Manuscripta Math."}

@string{RWTH = "RWTH Aachen"}
@string{LDfM = "Lehrstuhl D f{\"u}r Mathematik, " # RWTH}
@string{UHeidel = "Universit{\"a}t Heidelberg"}
@string{IWR = "Interdisziplin{\"a}res Zentrum f{\"u}r wissenschaftliches
                  Rechnen der " # UHeidel}

@article{GePf92,
author = "Meinolf Geck  and G{\"o}tz Pfeiffer",
title = "Unipotent Characters of the {C}hevalley Groups ${D}_4(q)$, $q$ odd",
journal = Manuscr,
volume = 76,
pages = "281--304",
year =  1992,
}

@article{GePf93,
author = "Meinolf Geck and G{\"o}tz Pfeiffer",
title = "On the Irreducible Characters of {H}ecke Algebras",
journal = AdvMath,
year = 1993,
volume = 102,
pages = "79--94",
}

@techreport{chevie,
author = "Meinolf Geck and Gerhard Hi{\ss} and Frank
                  L{\"u}beck and Gunter Malle and G{\"o}tz Pfeiffer,
title = "{\sf CHEVIE} -- {G}eneric {C}haracter {T}ables of {F}inite
                  Groups of {L}ie {T}ype, {H}ecke {A}lgebras and
                  {W}eyl {G}roups",
type = "Preprint",
number = "93-62",
month = Nov,
year = 1993,
institution = IWR,
}

@techreport{chevie2,
author = "Meinolf Geck and Gerhard Hi{\ss} and Frank
                  L{\"u}beck and Gunter Malle and G{\"o}tz Pfeiffer,
title = "{\sf CHEVIE} -- {A} system for computing and processing
                  generic character tables",
type = "Preprint",
number = "95-05",
month = Jan,
year = 1995,
institution = IWR,
}

@MastersThesis{Pfeiffer91,
  author = Pfeiffer,
  title = "Von {P}ermutationscharakteren und {M}arkentafeln",
  school = LDfM,
  year = 1991,
  month = Jan,
  type = "Diplomarbeit"
}

@article{Pfeiffer94a,
author = "G{\"o}tz Pfeiffer",
title = "Character Tables of {W}eyl Groups in {{\sf GAP}}",
journal = BayreuMS,
volume = 47,
pages = "165--222",
year = 1994,
}

@article{Pfeiffer94b,
author = "G{\"o}tz Pfeiffer",
title = "Young Characters on {C}oxeter Basis Elements of {I}wahori--{H}ecke
   Algebras and a {M}urnaghan--{N}akayama Formula",
journal = JAlg,
volume = 168,
pages = "525--535",
year = 1994,
}

@Book{PfDiss,
  author =       "G{\"o}tz Pfeiffer",
  title =        "Charakterwerte von {I}wahori-{H}ecke-{A}lgebren von
                  klassischem {T}yp",
  publisher =    "Verlag der Augustinus Buchhandlung, Aachen",
  year =         1995,
  volume =       14,
  series =    "Aachener {Beitr\"age} zur Mathematik"
}

@Proceedings{Pfeiffer95a,
  author = "G{\"o}tz Pfeiffer",
  title =        "Character Values of Iwahori-Hecke algebras of type B",
  year =         1995,
  note =         "in print"
}

@MastersThesis{Pfeiffer91,
  author = Pfeiffer,
  title = "Von {P}ermutationscharakteren und {M}arkentafeln",
  school = LDfM,
  year = 1991,
  month = Jan,
  type = "Diplomarbeit"
}

@Misc{Pfeiffer95b,
  author = Pfeiffer,
  title = "The subgroups of {$M_{24}$} or {H}ow to compute a table of marks",
  howpublished = "in preparation"
}



From conder@mat.auckland.ac.nz Wed Oct 25 11:48:00 1995
Date:           Wed, 25 Oct 95 11:48:00 +1300
From:           "Marston Conder" <conder@mat.auckland.ac.nz>
Subject:        Re: GAP references



Hi Steve

The following research articles refer to actual or potential use of GAP:

Marston Conder,  Hexagon-free subgraphs of hypercubes,
J. Graph Theory  17 (1993), 477-479.

Marston Conder,  Regular maps with small parameters,
J. Australian Math. Society  57 (1994), 103-112.

Marston Conder & John McKay,  Markings of the Golay code,  preprint.

Cheers
Marston



From goetz@dcs.st-andrews.ac.uk Wed Oct 25 13:02:00 1995
Date:           Wed, 25 Oct 95 13:02:00 +0000
From:           "Goetz Pfeiffer" <goetz@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Dear Forum,

sorry for wasting bandwidth by sending my last message to forum.  I
know: I should have mailed this explicitely to

   sal@cs.st-and.ac.uk

instead of just pushing the reply button.

Goetz.
-----------------------------------------------------------------------------
Goetz Pfeiffer (goetz@cs.st-and.ac.uk)  http://gregory.cs.st-and.ac.uk/~goetz
Department of Mathematics, University of St Andrews, Fife KY16 9SS, Scotland.
-----------------------------------------------------------------------------



From frank.celler@math.rwth-aachen.de Mon Oct 30 11:22:00 1995
Date:           Mon, 30 Oct 95 11:22:00 +0100 (MET)
From:           "Frank Celler" <Frank.Celler@Math.RWTH-Aachen.DE>
Subject:        XGAP 1 Release 3

Dear GAP Forum,

a new version of XGAP is available from our ftp server.

What's new in this version? Basically everything mentioned under "What
is XGAP?"  below plus  a manual, which  can either be printed as stand
alone version or  as part of the GAP  manual, details on how  to print
the manual can be  found  in the file  "gap3r4p2/pkg/xgap/INSTALL.x11"
contained in the archive "xgap1r3.zoo". The stand alone manual is also
avaiable via ftp.

best wishes
  Frank

=============================================================================
What is XGAP?
-------------

XGAP is a graphical user interface for GAP, it extends the GAP library
with functions  dealing with graphic sheets  and objects.  Using these
functions it also supplies a graphical interface for investigating the
subgroup lattice of a  group, giving you  easy access to the low index
subgroups,  prime quotient  and  Reidemeister-Schreier algorithms  and
many other GAP functions for groups and subgroups.   At the moment the
only supported window system is X-Windows X11R5 (and higher), however,
programs using the XGAP library functions will  run on other platforms
as soon as XGAP is  available on these.   We plan to release a Windows
3.11 or Windows 95 version in the near future.

I was  told that XGAP  will   also run under  SUN's  OpenWindows.   It
doesn't however compile under OpenWindows.  If any OpenWindow guru can
fix this, please send me a patch.

Where to get XGAP?
------------------

You can get XGAP from  "ftp.math.rwth-aachen.de", the source code  and
binaries are in the directory "/pub/incoming":

  xgap1r3.zoo (333912 Bytes) - this archive contains the C source code
      and the GAP library files necessary to compile and run XGAP.

  xgap1r3-dvi.zoo (44696 Bytes) - this archive contains the DVI file
      of the manual.

  xgap1r3-dec-alpha-osf1-x11r5.zoo (820751 Bytes) - this archive
      contains the executable for a DECalpha running OSF1 and X11R5.

  xgap1r3-dec-mips-ultrix42-x11r5.zoo (434616 Bytes) - this archive
      contains the executable for a DECstation running Ultrix 4.2 and
      X11R5.

  xgap1r3-hp-hppa1.1-hpux9-x11r5.zoo (410380 Bytes) - this archive
      contains the executable for a HP9000/700 running HPUX9 and
      X11R5.

  xgap1r3-sun-sparc-sunos412-x11r5.zoo (464671 Bytes) - this archive
      contains the executable for a SUN SPARCstation running SunOS
      4.1.2 and X11R5, I assume that it also works under OpenWindows,
      any feedback welcome.

How to compile XGAP?
--------------------

Instructions can be found in the file "gap3r4p?/pkg/xgap/INSTALL.x11".
You need at least a CC compiler, X11R5 & Athena Widgets, and a running
version of GAP 3.4.



From sarah.rees@newcastle.ac.uk Mon Oct 30 22:41:00 1995
Date:           Mon, 30 Oct 95 22:41:00 +0000 (GMT)
From:           "Sarah Rees" <sarah.rees@newcastle.ac.uk>
Subject:        Re:  XGAP 1 Release 3

Hi Frank, I'm sorry, you've released it and I haven't tested it for you
yet. I feel bad about that, and am sorry. I do actually have it now, but I
realise it's taken me a long time. I am doing a huge amount of teaching at the
moment, and I simply don't have any time. It'll get better soon, and then
I'll give xgap a proper test,
   Sarah



From jmccarro@mercator.math.uwaterloo.ca Tue Oct 31 03:03:00 1995
Date:           Tue, 31 Oct 95 03:03:00 -0500
From:           "James McCarron" <jmccarro@mercator.math.uwaterloo.ca>
Subject:        Re: XGAP 1 Release 3

>
> I was  told that XGAP  will   also run under  SUN's  OpenWindows.   It
> doesn't however compile under OpenWindows.  If any OpenWindow guru can
> fix this, please send me a patch.

Well, it compiled just fine for me this afternoon. There were no problems
with any of the graphics stuff. I am using Solaris2.3/OpenWindows3.3.
The only thing is that, Solaris does not provide 'wait3', but only the
'waitpid', so you must link with the BSD libraries by adding
-L/usr/ucblib -R/usr/ucblib -lucb to the linking step of the compilation.
This is (so I am led to understand) not the preferred solution, but
it works; later, I'll try to figure out how to use 'waitpid' as the
Solaris documentation suggests.
Anyway, although I've just installed it today, so far,
it looks impressive! Very nice! Thank you!

James
__
Dr. James McCarron
Department of Pure Mathematics // University of Waterloo
Waterloo, Ontario CANADA?
<jmccarron@{barrow,excalibur,jeeves,mercator}.uwaterloo.ca>



From pbrown@math.berkeley.edu Wed Nov  1 20:32:00 1995
Date:           Wed, 01 Nov 95 20:32:00 -0800
From:           "Paul Robert Brown" <pbrown@math.berkeley.edu>
Subject:        LowIndexSubgroupsFpGroup


The GAP command "LowIndexSubgroupsFpGroup()" could be improved by adding
an argument for a range of subgroup indices instead of the current
maximum integer n implying a range of [1..n]. (This is a feature of the
equivalent magma command, for instance.)

Has anyone attempted this patch?

I'm also interested if anyone out there has coset enumeration routines
written in C, as I'm only interested in checking for the existence of
representations of a given degree.

Thanks in advance.

Paul Brown



From sal@dcs.st-andrews.ac.uk Fri Nov  3 11:28:00 1995
Date:           Fri, 03 Nov 95 11:28:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        GAP references


Dear all,

References have been pouring in and I am afraid I haven't had time to
acknowledge them all. My thanks to everyone who has sent material in so far.
Please keep them coming.

        Steve



From martin.schoenert@math.rwth-aachen.de Fri Nov  3 15:26:00 1995
Date:           Fri, 03 Nov 95 15:26:00 +0100 (MET)
From:           "Martin Schoenert" <Martin.Schoenert@Math.RWTH-Aachen.DE>
Subject:        Re: LowIndexSubgroupsFpGroup

Paul Robert Brown wrote in his e-mail message of 1995/11/01

    The GAP command "LowIndexSubgroupsFpGroup()" could be improved by adding
    an argument for a range of subgroup indices instead of the current
    maximum integer n implying a range of [1..n]. (This is a feature of the
    equivalent magma command, for instance.)

The time taken by the 'LowIndexSubgroupsFpGroup' function depends mostly
on the largest index considered.  That means that excluding smaller
indices will not decrease the time taken.  I think the same is true for
the corresponding Magma command, but I have never tried it.  Anyhow, that
means that it is just as fast to compute all the subgroups up to the
largest index and throwing out the ones whose index does not lie in the
interesting range afterwards.  This is the reason why I never bothered
to add this feature.

He continued

    I'm also interested if anyone out there has coset enumeration routines
    written in C, as I'm only interested in checking for the existence of
    representations of a given degree.

I don't see what the fact that you are only interested in checking for
the existence of representations of a given degree has to do with whether
a program to look for them is written in C or in GAP.  Besides what
exactely do you mean by ``coset enumeration routines''?  A program to
compute the index for a given subgroup or a program to find all subgroups
up to a given index?  Write me and I see whether I can help you.

Martin.

-- .- .-. - .. -.  .-.. --- ...- . ...  .- -. -. .. -.- .-
Martin Sch"onert,   Martin.Schoenert@Math.RWTH-Aachen.DE,   +49 241 804551
Lehrstuhl D f"ur Mathematik, Templergraben 64, RWTH, 52056 Aachen, Germany



From ganief@math.unp.ac.za Mon Nov  6 08:46:42 1995
Date:           Mon, 06 Nov 95 08:46:42 +0200
From:           "Shahiem Ganief" <ganief@math.unp.ac.za>
Subject:        Re: MeatAxe on pc

Dear Sir

We are having problems running MeatAxe from a personel computer, and
your help will be very much appreciated.

We are runnig GAP3R4P2 (dos version) perfectly from a 486 computer.
However, when I call up the function 'RequirePackage("meataxe") the
following appears
      Invalid switch - /000069
      #I The MeatAxe share library functions are available now.
      #I All files will be placed in the directory
      #I      'c:\DOS/000069'
      #I Use 'MeatAxe.SetDirectory( <path> )' if you want to change.

The problem is that this file does not exist. If I create this file
(manually), MeatAxe then places files in ile (manually) MeatAxe place
files in the directory 'c:\dos/a00069'.  I tried to change the path
using the function "MeatAxe.SetDirectory( <path> )" without sucess.
Can you get me out of this hole?

Thanking you in anticipation.
Shahiem Ganief



From kiechle@mathematik.tu-muenchen.de Fri Nov 10 15:11:39 1995
Date:           Fri, 10 Nov 95 15:11:39 +0100
From:           "Kiechle Hubert" <kiechle@mathematik.tu-muenchen.de>
Subject:        customizing Emacs (gap.el)

Hi GAPers,

has anybody ever customized Emacs to write gap code? Is there anything
like  gap.el(c)? I know that I could modify a  c++.el  or  pascal.el
to do the job, but I'm hoping, it's already out there.

So long

--

Hubert Kiechle

Mathematisches Institut
Technischen Universit"at M"unchen
D-80290 M"unchen

Tel.: +49 89 2105 8288

e-mail: kiechle@mathematik.tu-muenchen.de



From sal@dcs.st-andrews.ac.uk Wed Nov 15 12:34:09 1995
Date:           Wed, 15 Nov 95 12:34:09 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: customizing Emacs (gap.el)

Emacs modes for editting GAP code, and for running GAP in an EMACS window were
supplied by Michael Smith of the ANU in Canberra and are included in the GAP
distribution in the /etc directory.

        Steve Linton



From werner.nickel@math.rwth-aachen.de Wed Nov 15 16:04:00 1995
Date:           Wed, 15 Nov 95 16:04:00 +0100 (MET)
From:           "Werner Nickel" <Werner.Nickel@Math.RWTH-Aachen.DE>
Subject:        Re: customizing Emacs (gap.el)

Hubert Kiechle asked the following:

> has anybody ever customized Emacs to write gap code? Is there anything
> like  gap.el(c)? I know that I could modify a  c++.el  or  pascal.el
> to do the job, but I'm hoping, it's already out there.

In addition to Steve's answer I'd like to mention that the newest
version of Michael's GAP mode for emacs can be obtained via anonymous
ftp from
    ftp.math.rwth-aachen.de:/pub/incoming/

G

From:           "Giovanni Ferrero" <ferrero@prmat.math.unipr.it>
Subject:        Re: Workshop on GAP internals?

I think can send a my pupil, if Italy has sufficient money!:-)



From sal@dcs.st-andrews.ac.uk Wed Oct 25 08:57:00 1995
Date:           Wed, 25 Oct 95 08:57:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Charles Charnes asked, very reasonably:

> Steve, what is your email address (re GAP references)

I hadn't realised how thorough the GAP-forum remailer was in stripping off
addresses.

Please send references to

sal@dcs.st-and.ac.uk

        Thanks
                Steve Linton



From sal@dcs.st-andrews.ac.uk Wed Oct 25 08:57:00 1995
Date:           Wed, 25 Oct 95 08:57:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Charles Charnes asked, very reasonably:

> Steve, what is your email address (re GAP references)

I hadn't realised how thorough the GAP-forum remailer was in stripping off
addresses.

Please send references to

sal@dcs.st-and.ac.uk

        Thanks
                Steve Linton



From goetz@dcs.st-andrews.ac.uk Tue Oct 24 18:07:00 1995
Date:           Tue, 24 Oct 95 18:07:00 +0000
From:           "Goetz Pfeiffer" <goetz@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Hi Steve,

here is the part of my bibliography which refers to GAP. (That is of
course: evrything :-)  You will receive (hopefully) a separate mail
from BIDS, which I caused to list all articles that cite the GAP manual.

Goetz.

--8<-------------------------------------------------------------------------
@string{AdvMath = "Adv. Math."}
@string{BayreuMS = "Bayreuther Math. Schr."}
@string{JAlg = "J. Algebra"}
@string{Manuscr = "Manuscripta Math."}

@string{RWTH = "RWTH Aachen"}
@string{LDfM = "Lehrstuhl D f{\"u}r Mathematik, " # RWTH}
@string{UHeidel = "Universit{\"a}t Heidelberg"}
@string{IWR = "Interdisziplin{\"a}res Zentrum f{\"u}r wissenschaftliches
                  Rechnen der " # UHeidel}

@article{GePf92,
author = "Meinolf Geck  and G{\"o}tz Pfeiffer",
title = "Unipotent Characters of the {C}hevalley Groups ${D}_4(q)$, $q$ odd",
journal = Manuscr,
volume = 76,
pages = "281--304",
year =  1992,
}

@article{GePf93,
author = "Meinolf Geck and G{\"o}tz Pfeiffer",
title = "On the Irreducible Characters of {H}ecke Algebras",
journal = AdvMath,
year = 1993,
volume = 102,
pages = "79--94",
}

@techreport{chevie,
author = "Meinolf Geck and Gerhard Hi{\ss} and Frank
                  L{\"u}beck and Gunter Malle and G{\"o}tz Pfeiffer,
title = "{\sf CHEVIE} -- {G}eneric {C}haracter {T}ables of {F}inite
                  Groups of {L}ie {T}ype, {H}ecke {A}lgebras and
                  {W}eyl {G}roups",
type = "Preprint",
number = "93-62",
month = Nov,
year = 1993,
institution = IWR,
}

@techreport{chevie2,
author = "Meinolf Geck and Gerhard Hi{\ss} and Frank
                  L{\"u}beck and Gunter Malle and G{\"o}tz Pfeiffer,
title = "{\sf CHEVIE} -- {A} system for computing and processing
                  generic character tables",
type = "Preprint",
number = "95-05",
month = Jan,
year = 1995,
institution = IWR,
}

@MastersThesis{Pfeiffer91,
  author = Pfeiffer,
  title = "Von {P}ermutationscharakteren und {M}arkentafeln",
  school = LDfM,
  year = 1991,
  month = Jan,
  type = "Diplomarbeit"
}

@article{Pfeiffer94a,
author = "G{\"o}tz Pfeiffer",
title = "Character Tables of {W}eyl Groups in {{\sf GAP}}",
journal = BayreuMS,
volume = 47,
pages = "165--222",
year = 1994,
}

@article{Pfeiffer94b,
author = "G{\"o}tz Pfeiffer",
title = "Young Characters on {C}oxeter Basis Elements of {I}wahori--{H}ecke
   Algebras and a {M}urnaghan--{N}akayama Formula",
journal = JAlg,
volume = 168,
pages = "525--535",
year = 1994,
}

@Book{PfDiss,
  author =       "G{\"o}tz Pfeiffer",
  title =        "Charakterwerte von {I}wahori-{H}ecke-{A}lgebren von
                  klassischem {T}yp",
  publisher =    "Verlag der Augustinus Buchhandlung, Aachen",
  year =         1995,
  volume =       14,
  series =    "Aachener {Beitr\"age} zur Mathematik"
}

@Proceedings{Pfeiffer95a,
  author = "G{\"o}tz Pfeiffer",
  title =        "Character Values of Iwahori-Hecke algebras of type B",
  year =         1995,
  note =         "in print"
}

@MastersThesis{Pfeiffer91,
  author = Pfeiffer,
  title = "Von {P}ermutationscharakteren und {M}arkentafeln",
  school = LDfM,
  year = 1991,
  month = Jan,
  type = "Diplomarbeit"
}

@Misc{Pfeiffer95b,
  author = Pfeiffer,
  title = "The subgroups of {$M_{24}$} or {H}ow to compute a table of marks",
  howpublished = "in preparation"
}



From conder@mat.auckland.ac.nz Wed Oct 25 11:48:00 1995
Date:           Wed, 25 Oct 95 11:48:00 +1300
From:           "Marston Conder" <conder@mat.auckland.ac.nz>
Subject:        Re: GAP references



Hi Steve

The following research articles refer to actual or potential use of GAP:

Marston Conder,  Hexagon-free subgraphs of hypercubes,
J. Graph Theory  17 (1993), 477-479.

Marston Conder,  Regular maps with small parameters,
J. Australian Math. Society  57 (1994), 103-112.

Marston Conder & John McKay,  Markings of the Golay code,  preprint.

Cheers
Marston



From goetz@dcs.st-andrews.ac.uk Wed Oct 25 13:02:00 1995
Date:           Wed, 25 Oct 95 13:02:00 +0000
From:           "Goetz Pfeiffer" <goetz@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Dear Forum,

sorry for wasting bandwidth by sending my last message to forum.  I
know: I should have mailed this explicitely to

   sal@cs.st-and.ac.uk

instead of just pushing the reply button.

Goetz.
-----------------------------------------------------------------------------
Goetz Pfeiffer (goetz@cs.st-and.ac.uk)  http://gregory.cs.st-and.ac.uk/~goetz
Department of Mathematics, University of St Andrews, Fife KY16 9SS, Scotland.
-----------------------------------------------------------------------------



From frank.celler@math.rwth-aachen.de Mon Oct 30 11:22:00 1995
Date:           Mon, 30 Oct 95 11:22:00 +0100 (MET)
From:           "Frank Celler" <Frank.Celler@Math.RWTH-Aachen.DE>
Subject:        XGAP 1 Release 3

Dear GAP Forum,

a new version of XGAP is available from our ftp server.

What's new in this version? Basically everything mentioned under "What
is XGAP?"  below plus  a manual, which  can either be printed as stand
alone version or  as part of the GAP  manual, details on how  to print
the manual can be  found  in the file  "gap3r4p2/pkg/xgap/INSTALL.x11"
contained in the archive "xgap1r3.zoo". The stand alone manual is also
avaiable via ftp.

best wishes
  Frank

=============================================================================
What is XGAP?
-------------

XGAP is a graphical user interface for GAP, it extends the GAP library
with functions  dealing with graphic sheets  and objects.  Using these
functions it also supplies a graphical interface for investigating the
subgroup lattice of a  group, giving you  easy access to the low index
subgroups,  prime quotient  and  Reidemeister-Schreier algorithms  and
many other GAP functions for groups and subgroups.   At the moment the
only supported window system is X-Windows X11R5 (and higher), however,
programs using the XGAP library functions will  run on other platforms
as soon as XGAP is  available on these.   We plan to release a Windows
3.11 or Windows 95 version in the near future.

I was  told that XGAP  will   also run under  SUN's  OpenWindows.   It
doesn't however compile under OpenWindows.  If any OpenWindow guru can
fix this, please send me a patch.

Where to get XGAP?
------------------

You can get XGAP from  "ftp.math.rwth-aachen.de", the source code  and
binaries are in the directory "/pub/incoming":

  xgap1r3.zoo (333912 Bytes) - this archive contains the C source code
      and the GAP library files necessary to compile and run XGAP.

  xgap1r3-dvi.zoo (44696 Bytes) - this archive contains the DVI file
      of the manual.

  xgap1r3-dec-alpha-osf1-x11r5.zoo (820751 Bytes) - this archive
      contains the executable for a DECalpha running OSF1 and X11R5.

  xgap1r3-dec-mips-ultrix42-x11r5.zoo (434616 Bytes) - this archive
      contains the executable for a DECstation running Ultrix 4.2 and
      X11R5.

  xgap1r3-hp-hppa1.1-hpux9-x11r5.zoo (410380 Bytes) - this archive
      contains the executable for a HP9000/700 running HPUX9 and
      X11R5.

  xgap1r3-sun-sparc-sunos412-x11r5.zoo (464671 Bytes) - this archive
      contains the executable for a SUN SPARCstation running SunOS
      4.1.2 and X11R5, I assume that it also works under OpenWindows,
      any feedback welcome.

How to compile XGAP?
--------------------

Instructions can be found in the file "gap3r4p?/pkg/xgap/INSTALL.x11".
You need at least a CC compiler, X11R5 & Athena Widgets, and a running
version of GAP 3.4.



From sarah.rees@newcastle.ac.uk Mon Oct 30 22:41:00 1995
Date:           Mon, 30 Oct 95 22:41:00 +0000 (GMT)
From:           "Sarah Rees" <sarah.rees@newcastle.ac.uk>
Subject:        Re:  XGAP 1 Release 3

Hi Frank, I'm sorry, you've released it and I haven't tested it for you
yet. I feel bad about that, and am sorry. I do actually have it now, but I
realise it's taken me a long time. I am doing a huge amount of teaching at the
moment, and I simply don't have any time. It'll get better soon, and then
I'll give xgap a proper test,
   Sarah



From jmccarro@mercator.math.uwaterloo.ca Tue Oct 31 03:03:00 1995
Date:           Tue, 31 Oct 95 03:03:00 -0500
From:           "James McCarron" <jmccarro@mercator.math.uwaterloo.ca>
Subject:        Re: XGAP 1 Release 3

>
> I was  told that XGAP  will   also run under  SUN's  OpenWindows.   It
> doesn't however compile under OpenWindows.  If any OpenWindow guru can
> fix this, please send me a patch.

Well, it compiled just fine for me this afternoon. There were no problems
with any of the graphics stuff. I am using Solaris2.3/OpenWindows3.3.
The only thing is that, Solaris does not provide 'wait3', but only the
'waitpid', so you must link with the BSD libraries by adding
-L/usr/ucblib -R/usr/ucblib -lucb to the linking step of the compilation.
This is (so I am led to understand) not the preferred solution, but
it works; later, I'll try to figure out how to use 'waitpid' as the
Solaris documentation suggests.
Anyway, although I've just installed it today, so far,
it looks impressive! Very nice! Thank you!

James
__
Dr. James McCarron
Department of Pure Mathematics // University of Waterloo
Waterloo, Ontario CANADA?
<jmccarron@{barrow,excalibur,jeeves,mercator}.uwaterloo.ca>



From pbrown@math.berkeley.edu Wed Nov  1 20:32:00 1995
Date:           Wed, 01 Nov 95 20:32:00 -0800
From:           "Paul Robert Brown" <pbrown@math.berkeley.edu>
Subject:        LowIndexSubgroupsFpGroup


The GAP command "LowIndexSubgroupsFpGroup()" could be improved by adding
an argument for a range of subgroup indices instead of the current
maximum integer n implying a range of [1..n]. (This is a feature of the
equivalent magma command, for instance.)

Has anyone attempted this patch?

I'm also interested if anyone out there has coset enumeration routines
written in C, as I'm only interested in checking for the existence of
representations of a given degree.

Thanks in advance.

Paul Brown



From sal@dcs.st-andrews.ac.uk Fri Nov  3 11:28:00 1995
Date:           Fri, 03 Nov 95 11:28:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        GAP references


Dear all,

References have been pouring in and I am afraid I haven't had time to
acknowledge them all. My thanks to everyone who has sent material in so far.
Please keep them coming.

        Steve



From martin.schoenert@math.rwth-aachen.de Fri Nov  3 15:26:00 1995
Date:           Fri, 03 Nov 95 15:26:00 +0100 (MET)
From:           "Martin Schoenert" <Martin.Schoenert@Math.RWTH-Aachen.DE>
Subject:        Re: LowIndexSubgroupsFpGroup

Paul Robert Brown wrote in his e-mail message of 1995/11/01

    The GAP command "LowIndexSubgroupsFpGroup()" could be improved by adding
    an argument for a range of subgroup indices instead of the current
    maximum integer n implying a range of [1..n]. (This is a feature of the
    equivalent magma command, for instance.)

The time taken by the 'LowIndexSubgroupsFpGroup' function depends mostly
on the largest index considered.  That means that excluding smaller
indices will not decrease the time taken.  I think the same is true for
the corresponding Magma command, but I have never tried it.  Anyhow, that
means that it is just as fast to compute all the subgroups up to the
largest index and throwing out the ones whose index does not lie in the
interesting range afterwards.  This is the reason why I never bothered
to add this feature.

He continued

    I'm also interested if anyone out there has coset enumeration routines
    written in C, as I'm only interested in checking for the existence of
    representations of a given degree.

I don't see what the fact that you are only interested in checking for
the existence of representations of a given degree has to do with whether
a program to look for them is written in C or in GAP.  Besides what
exactely do you mean by ``coset enumeration routines''?  A program to
compute the index for a given subgroup or a program to find all subgroups
up to a given index?  Write me and I see whether I can help you.

Martin.

-- .- .-. - .. -.  .-.. --- ...- . ...  .- -. -. .. -.- .-
Martin Sch"onert,   Martin.Schoenert@Math.RWTH-Aachen.DE,   +49 241 804551
Lehrstuhl D f"ur Mathematik, Templergraben 64, RWTH, 52056 Aachen, Germany



From ganief@math.unp.ac.za Mon Nov  6 08:46:42 1995
Date:           Mon, 06 Nov 95 08:46:42 +0200
From:           "Shahiem Ganief" <ganief@math.unp.ac.za>
Subject:        Re: MeatAxe on pc

Dear Sir

We are having problems running MeatAxe from a personel computer, and
your help will be very much appreciated.

We are runnig GAP3R4P2 (dos version) perfectly from a 486 computer.
However, when I call up the function 'RequirePackage("meataxe") the
following appears
      Invalid switch - /000069
      #I The MeatAxe share library functions are available now.
      #I All files will be placed in the directory
      #I      'c:\DOS/000069'
      #I Use 'MeatAxe.SetDirectory( <path> )' if you want to change.

The problem is that this file does not exist. If I create this file
(manually), MeatAxe then places files in ile (manually) MeatAxe place
files in the directory 'c:\dos/a00069'.  I tried to change the path
using the function "MeatAxe.SetDirectory( <path> )" without sucess.
Can you get me out of this hole?

Thanking you in anticipation.
Shahiem Ganief



From kiechle@mathematik.tu-muenchen.de Fri Nov 10 15:11:39 1995
Date:           Fri, 10 Nov 95 15:11:39 +0100
From:           "Kiechle Hubert" <kiechle@mathematik.tu-muenchen.de>
Subject:        customizing Emacs (gap.el)

Hi GAPers,

has anybody ever customized Emacs to write gap code? Is there anything
like  gap.el(c)? I know that I could modify a  c++.el  or  pascal.el
to do the job, but I'm hoping, it's already out there.

So long

--

Hubert Kiechle

Mathematisches Institut
Technischen Universit"at M"unchen
D-80290 M"unchen

Tel.: +49 89 2105 8288

e-mail: kiechle@mathematik.tu-muenchen.de



From sal@dcs.st-andrews.ac.uk Wed Nov 15 12:34:09 1995
Date:           Wed, 15 Nov 95 12:34:09 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: customizing Emacs (gap.el)

Emacs modes for editting GAP code, and for running GAP in an EMACS window were
supplied by Michael Smith of the ANU in Canberra and are included in the GAP
distribution in the /etc directory.

        Steve Linton



From werner.nickel@math.rwth-aachen.de Wed Nov 15 16:04:00 1995
Date:           Wed, 15 Nov 95 16:04:00 +0100 (MET)
From:           "Werner Nickel" <Werner.Nickel@Math.RWTH-Aachen.DE>
Subject:        Re: customizing Emacs (gap.el)

Hubert Kiechle asked the following:

> has anybody ever customized Emacs to write gap code? Is there anything
> like  gap.el(c)? I know that I could modify a  c++.el  or  pascal.el
> to do the job, but I'm hoping, it's already out there.

In addition to Steve's answer I'd like to mention that the newest
version of Michael's GAP mode for emacs can be obtained via anonymous
ftp from
    ftp.math.rwth-aachen.de:/pub/incoming/

G

From:           "Giovanni Ferrero" <ferrero@prmat.math.unipr.it>
Subject:        Re: Workshop on GAP internals?

I think can send a my pupil, if Italy has sufficient money!:-)



From sal@dcs.st-andrews.ac.uk Wed Oct 25 08:57:00 1995
Date:           Wed, 25 Oct 95 08:57:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Charles Charnes asked, very reasonably:

> Steve, what is your email address (re GAP references)

I hadn't realised how thorough the GAP-forum remailer was in stripping off
addresses.

Please send references to

sal@dcs.st-and.ac.uk

        Thanks
                Steve Linton



From sal@dcs.st-andrews.ac.uk Wed Oct 25 08:57:00 1995
Date:           Wed, 25 Oct 95 08:57:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Charles Charnes asked, very reasonably:

> Steve, what is your email address (re GAP references)

I hadn't realised how thorough the GAP-forum remailer was in stripping off
addresses.

Please send references to

sal@dcs.st-and.ac.uk

        Thanks
                Steve Linton



From goetz@dcs.st-andrews.ac.uk Tue Oct 24 18:07:00 1995
Date:           Tue, 24 Oct 95 18:07:00 +0000
From:           "Goetz Pfeiffer" <goetz@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Hi Steve,

here is the part of my bibliography which refers to GAP. (That is of
course: evrything :-)  You will receive (hopefully) a separate mail
from BIDS, which I caused to list all articles that cite the GAP manual.

Goetz.

--8<-------------------------------------------------------------------------
@string{AdvMath = "Adv. Math."}
@string{BayreuMS = "Bayreuther Math. Schr."}
@string{JAlg = "J. Algebra"}
@string{Manuscr = "Manuscripta Math."}

@string{RWTH = "RWTH Aachen"}
@string{LDfM = "Lehrstuhl D f{\"u}r Mathematik, " # RWTH}
@string{UHeidel = "Universit{\"a}t Heidelberg"}
@string{IWR = "Interdisziplin{\"a}res Zentrum f{\"u}r wissenschaftliches
                  Rechnen der " # UHeidel}

@article{GePf92,
author = "Meinolf Geck  and G{\"o}tz Pfeiffer",
title = "Unipotent Characters of the {C}hevalley Groups ${D}_4(q)$, $q$ odd",
journal = Manuscr,
volume = 76,
pages = "281--304",
year =  1992,
}

@article{GePf93,
author = "Meinolf Geck and G{\"o}tz Pfeiffer",
title = "On the Irreducible Characters of {H}ecke Algebras",
journal = AdvMath,
year = 1993,
volume = 102,
pages = "79--94",
}

@techreport{chevie,
author = "Meinolf Geck and Gerhard Hi{\ss} and Frank
                  L{\"u}beck and Gunter Malle and G{\"o}tz Pfeiffer,
title = "{\sf CHEVIE} -- {G}eneric {C}haracter {T}ables of {F}inite
                  Groups of {L}ie {T}ype, {H}ecke {A}lgebras and
                  {W}eyl {G}roups",
type = "Preprint",
number = "93-62",
month = Nov,
year = 1993,
institution = IWR,
}

@techreport{chevie2,
author = "Meinolf Geck and Gerhard Hi{\ss} and Frank
                  L{\"u}beck and Gunter Malle and G{\"o}tz Pfeiffer,
title = "{\sf CHEVIE} -- {A} system for computing and processing
                  generic character tables",
type = "Preprint",
number = "95-05",
month = Jan,
year = 1995,
institution = IWR,
}

@MastersThesis{Pfeiffer91,
  author = Pfeiffer,
  title = "Von {P}ermutationscharakteren und {M}arkentafeln",
  school = LDfM,
  year = 1991,
  month = Jan,
  type = "Diplomarbeit"
}

@article{Pfeiffer94a,
author = "G{\"o}tz Pfeiffer",
title = "Character Tables of {W}eyl Groups in {{\sf GAP}}",
journal = BayreuMS,
volume = 47,
pages = "165--222",
year = 1994,
}

@article{Pfeiffer94b,
author = "G{\"o}tz Pfeiffer",
title = "Young Characters on {C}oxeter Basis Elements of {I}wahori--{H}ecke
   Algebras and a {M}urnaghan--{N}akayama Formula",
journal = JAlg,
volume = 168,
pages = "525--535",
year = 1994,
}

@Book{PfDiss,
  author =       "G{\"o}tz Pfeiffer",
  title =        "Charakterwerte von {I}wahori-{H}ecke-{A}lgebren von
                  klassischem {T}yp",
  publisher =    "Verlag der Augustinus Buchhandlung, Aachen",
  year =         1995,
  volume =       14,
  series =    "Aachener {Beitr\"age} zur Mathematik"
}

@Proceedings{Pfeiffer95a,
  author = "G{\"o}tz Pfeiffer",
  title =        "Character Values of Iwahori-Hecke algebras of type B",
  year =         1995,
  note =         "in print"
}

@MastersThesis{Pfeiffer91,
  author = Pfeiffer,
  title = "Von {P}ermutationscharakteren und {M}arkentafeln",
  school = LDfM,
  year = 1991,
  month = Jan,
  type = "Diplomarbeit"
}

@Misc{Pfeiffer95b,
  author = Pfeiffer,
  title = "The subgroups of {$M_{24}$} or {H}ow to compute a table of marks",
  howpublished = "in preparation"
}



From conder@mat.auckland.ac.nz Wed Oct 25 11:48:00 1995
Date:           Wed, 25 Oct 95 11:48:00 +1300
From:           "Marston Conder" <conder@mat.auckland.ac.nz>
Subject:        Re: GAP references



Hi Steve

The following research articles refer to actual or potential use of GAP:

Marston Conder,  Hexagon-free subgraphs of hypercubes,
J. Graph Theory  17 (1993), 477-479.

Marston Conder,  Regular maps with small parameters,
J. Australian Math. Society  57 (1994), 103-112.

Marston Conder & John McKay,  Markings of the Golay code,  preprint.

Cheers
Marston



From goetz@dcs.st-andrews.ac.uk Wed Oct 25 13:02:00 1995
Date:           Wed, 25 Oct 95 13:02:00 +0000
From:           "Goetz Pfeiffer" <goetz@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Dear Forum,

sorry for wasting bandwidth by sending my last message to forum.  I
know: I should have mailed this explicitely to

   sal@cs.st-and.ac.uk

instead of just pushing the reply button.

Goetz.
-----------------------------------------------------------------------------
Goetz Pfeiffer (goetz@cs.st-and.ac.uk)  http://gregory.cs.st-and.ac.uk/~goetz
Department of Mathematics, University of St Andrews, Fife KY16 9SS, Scotland.
-----------------------------------------------------------------------------



From frank.celler@math.rwth-aachen.de Mon Oct 30 11:22:00 1995
Date:           Mon, 30 Oct 95 11:22:00 +0100 (MET)
From:           "Frank Celler" <Frank.Celler@Math.RWTH-Aachen.DE>
Subject:        XGAP 1 Release 3

Dear GAP Forum,

a new version of XGAP is available from our ftp server.

What's new in this version? Basically everything mentioned under "What
is XGAP?"  below plus  a manual, which  can either be printed as stand
alone version or  as part of the GAP  manual, details on how  to print
the manual can be  found  in the file  "gap3r4p2/pkg/xgap/INSTALL.x11"
contained in the archive "xgap1r3.zoo". The stand alone manual is also
avaiable via ftp.

best wishes
  Frank

=============================================================================
What is XGAP?
-------------

XGAP is a graphical user interface for GAP, it extends the GAP library
with functions  dealing with graphic sheets  and objects.  Using these
functions it also supplies a graphical interface for investigating the
subgroup lattice of a  group, giving you  easy access to the low index
subgroups,  prime quotient  and  Reidemeister-Schreier algorithms  and
many other GAP functions for groups and subgroups.   At the moment the
only supported window system is X-Windows X11R5 (and higher), however,
programs using the XGAP library functions will  run on other platforms
as soon as XGAP is  available on these.   We plan to release a Windows
3.11 or Windows 95 version in the near future.

I was  told that XGAP  will   also run under  SUN's  OpenWindows.   It
doesn't however compile under OpenWindows.  If any OpenWindow guru can
fix this, please send me a patch.

Where to get XGAP?
------------------

You can get XGAP from  "ftp.math.rwth-aachen.de", the source code  and
binaries are in the directory "/pub/incoming":

  xgap1r3.zoo (333912 Bytes) - this archive contains the C source code
      and the GAP library files necessary to compile and run XGAP.

  xgap1r3-dvi.zoo (44696 Bytes) - this archive contains the DVI file
      of the manual.

  xgap1r3-dec-alpha-osf1-x11r5.zoo (820751 Bytes) - this archive
      contains the executable for a DECalpha running OSF1 and X11R5.

  xgap1r3-dec-mips-ultrix42-x11r5.zoo (434616 Bytes) - this archive
      contains the executable for a DECstation running Ultrix 4.2 and
      X11R5.

  xgap1r3-hp-hppa1.1-hpux9-x11r5.zoo (410380 Bytes) - this archive
      contains the executable for a HP9000/700 running HPUX9 and
      X11R5.

  xgap1r3-sun-sparc-sunos412-x11r5.zoo (464671 Bytes) - this archive
      contains the executable for a SUN SPARCstation running SunOS
      4.1.2 and X11R5, I assume that it also works under OpenWindows,
      any feedback welcome.

How to compile XGAP?
--------------------

Instructions can be found in the file "gap3r4p?/pkg/xgap/INSTALL.x11".
You need at least a CC compiler, X11R5 & Athena Widgets, and a running
version of GAP 3.4.



From sarah.rees@newcastle.ac.uk Mon Oct 30 22:41:00 1995
Date:           Mon, 30 Oct 95 22:41:00 +0000 (GMT)
From:           "Sarah Rees" <sarah.rees@newcastle.ac.uk>
Subject:        Re:  XGAP 1 Release 3

Hi Frank, I'm sorry, you've released it and I haven't tested it for you
yet. I feel bad about that, and am sorry. I do actually have it now, but I
realise it's taken me a long time. I am doing a huge amount of teaching at the
moment, and I simply don't have any time. It'll get better soon, and then
I'll give xgap a proper test,
   Sarah



From jmccarro@mercator.math.uwaterloo.ca Tue Oct 31 03:03:00 1995
Date:           Tue, 31 Oct 95 03:03:00 -0500
From:           "James McCarron" <jmccarro@mercator.math.uwaterloo.ca>
Subject:        Re: XGAP 1 Release 3

>
> I was  told that XGAP  will   also run under  SUN's  OpenWindows.   It
> doesn't however compile under OpenWindows.  If any OpenWindow guru can
> fix this, please send me a patch.

Well, it compiled just fine for me this afternoon. There were no problems
with any of the graphics stuff. I am using Solaris2.3/OpenWindows3.3.
The only thing is that, Solaris does not provide 'wait3', but only the
'waitpid', so you must link with the BSD libraries by adding
-L/usr/ucblib -R/usr/ucblib -lucb to the linking step of the compilation.
This is (so I am led to understand) not the preferred solution, but
it works; later, I'll try to figure out how to use 'waitpid' as the
Solaris documentation suggests.
Anyway, although I've just installed it today, so far,
it looks impressive! Very nice! Thank you!

James
__
Dr. James McCarron
Department of Pure Mathematics // University of Waterloo
Waterloo, Ontario CANADA?
<jmccarron@{barrow,excalibur,jeeves,mercator}.uwaterloo.ca>



From pbrown@math.berkeley.edu Wed Nov  1 20:32:00 1995
Date:           Wed, 01 Nov 95 20:32:00 -0800
From:           "Paul Robert Brown" <pbrown@math.berkeley.edu>
Subject:        LowIndexSubgroupsFpGroup


The GAP command "LowIndexSubgroupsFpGroup()" could be improved by adding
an argument for a range of subgroup indices instead of the current
maximum integer n implying a range of [1..n]. (This is a feature of the
equivalent magma command, for instance.)

Has anyone attempted this patch?

I'm also interested if anyone out there has coset enumeration routines
written in C, as I'm only interested in checking for the existence of
representations of a given degree.

Thanks in advance.

Paul Brown



From sal@dcs.st-andrews.ac.uk Fri Nov  3 11:28:00 1995
Date:           Fri, 03 Nov 95 11:28:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        GAP references


Dear all,

References have been pouring in and I am afraid I haven't had time to
acknowledge them all. My thanks to everyone who has sent material in so far.
Please keep them coming.

        Steve



From martin.schoenert@math.rwth-aachen.de Fri Nov  3 15:26:00 1995
Date:           Fri, 03 Nov 95 15:26:00 +0100 (MET)
From:           "Martin Schoenert" <Martin.Schoenert@Math.RWTH-Aachen.DE>
Subject:        Re: LowIndexSubgroupsFpGroup

Paul Robert Brown wrote in his e-mail message of 1995/11/01

    The GAP command "LowIndexSubgroupsFpGroup()" could be improved by adding
    an argument for a range of subgroup indices instead of the current
    maximum integer n implying a range of [1..n]. (This is a feature of the
    equivalent magma command, for instance.)

The time taken by the 'LowIndexSubgroupsFpGroup' function depends mostly
on the largest index considered.  That means that excluding smaller
indices will not decrease the time taken.  I think the same is true for
the corresponding Magma command, but I have never tried it.  Anyhow, that
means that it is just as fast to compute all the subgroups up to the
largest index and throwing out the ones whose index does not lie in the
interesting range afterwards.  This is the reason why I never bothered
to add this feature.

He continued

    I'm also interested if anyone out there has coset enumeration routines
    written in C, as I'm only interested in checking for the existence of
    representations of a given degree.

I don't see what the fact that you are only interested in checking for
the existence of representations of a given degree has to do with whether
a program to look for them is written in C or in GAP.  Besides what
exactely do you mean by ``coset enumeration routines''?  A program to
compute the index for a given subgroup or a program to find all subgroups
up to a given index?  Write me and I see whether I can help you.

Martin.

-- .- .-. - .. -.  .-.. --- ...- . ...  .- -. -. .. -.- .-
Martin Sch"onert,   Martin.Schoenert@Math.RWTH-Aachen.DE,   +49 241 804551
Lehrstuhl D f"ur Mathematik, Templergraben 64, RWTH, 52056 Aachen, Germany



From ganief@math.unp.ac.za Mon Nov  6 08:46:42 1995
Date:           Mon, 06 Nov 95 08:46:42 +0200
From:           "Shahiem Ganief" <ganief@math.unp.ac.za>
Subject:        Re: MeatAxe on pc

Dear Sir

We are having problems running MeatAxe from a personel computer, and
your help will be very much appreciated.

We are runnig GAP3R4P2 (dos version) perfectly from a 486 computer.
However, when I call up the function 'RequirePackage("meataxe") the
following appears
      Invalid switch - /000069
      #I The MeatAxe share library functions are available now.
      #I All files will be placed in the directory
      #I      'c:\DOS/000069'
      #I Use 'MeatAxe.SetDirectory( <path> )' if you want to change.

The problem is that this file does not exist. If I create this file
(manually), MeatAxe then places files in ile (manually) MeatAxe place
files in the directory 'c:\dos/a00069'.  I tried to change the path
using the function "MeatAxe.SetDirectory( <path> )" without sucess.
Can you get me out of this hole?

Thanking you in anticipation.
Shahiem Ganief



From kiechle@mathematik.tu-muenchen.de Fri Nov 10 15:11:39 1995
Date:           Fri, 10 Nov 95 15:11:39 +0100
From:           "Kiechle Hubert" <kiechle@mathematik.tu-muenchen.de>
Subject:        customizing Emacs (gap.el)

Hi GAPers,

has anybody ever customized Emacs to write gap code? Is there anything
like  gap.el(c)? I know that I could modify a  c++.el  or  pascal.el
to do the job, but I'm hoping, it's already out there.

So long

--

Hubert Kiechle

Mathematisches Institut
Technischen Universit"at M"unchen
D-80290 M"unchen

Tel.: +49 89 2105 8288

e-mail: kiechle@mathematik.tu-muenchen.de



From sal@dcs.st-andrews.ac.uk Wed Nov 15 12:34:09 1995
Date:           Wed, 15 Nov 95 12:34:09 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: customizing Emacs (gap.el)

Emacs modes for editting GAP code, and for running GAP in an EMACS window were
supplied by Michael Smith of the ANU in Canberra and are included in the GAP
distribution in the /etc directory.

        Steve Linton



From werner.nickel@math.rwth-aachen.de Wed Nov 15 16:04:00 1995
Date:           Wed, 15 Nov 95 16:04:00 +0100 (MET)
From:           "Werner Nickel" <Werner.Nickel@Math.RWTH-Aachen.DE>
Subject:        Re: customizing Emacs (gap.el)

Hubert Kiechle asked the following:

> has anybody ever customized Emacs to write gap code? Is there anything
> like  gap.el(c)? I know that I could modify a  c++.el  or  pascal.el
> to do the job, but I'm hoping, it's already out there.

In addition to Steve's answer I'd like to mention that the newest
version of Michael's GAP mode for emacs can be obtained via anonymous
ftp from
    ftp.math.rwth-aachen.de:/pub/incoming/

G

From:           "Giovanni Ferrero" <ferrero@prmat.math.unipr.it>
Subject:        Re: Workshop on GAP internals?

I think can send a my pupil, if Italy has sufficient money!:-)



From sal@dcs.st-andrews.ac.uk Wed Oct 25 08:57:00 1995
Date:           Wed, 25 Oct 95 08:57:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Charles Charnes asked, very reasonably:

> Steve, what is your email address (re GAP references)

I hadn't realised how thorough the GAP-forum remailer was in stripping off
addresses.

Please send references to

sal@dcs.st-and.ac.uk

        Thanks
                Steve Linton



From sal@dcs.st-andrews.ac.uk Wed Oct 25 08:57:00 1995
Date:           Wed, 25 Oct 95 08:57:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Charles Charnes asked, very reasonably:

> Steve, what is your email address (re GAP references)

I hadn't realised how thorough the GAP-forum remailer was in stripping off
addresses.

Please send references to

sal@dcs.st-and.ac.uk

        Thanks
                Steve Linton



From goetz@dcs.st-andrews.ac.uk Tue Oct 24 18:07:00 1995
Date:           Tue, 24 Oct 95 18:07:00 +0000
From:           "Goetz Pfeiffer" <goetz@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Hi Steve,

here is the part of my bibliography which refers to GAP. (That is of
course: evrything :-)  You will receive (hopefully) a separate mail
from BIDS, which I caused to list all articles that cite the GAP manual.

Goetz.

--8<-------------------------------------------------------------------------
@string{AdvMath = "Adv. Math."}
@string{BayreuMS = "Bayreuther Math. Schr."}
@string{JAlg = "J. Algebra"}
@string{Manuscr = "Manuscripta Math."}

@string{RWTH = "RWTH Aachen"}
@string{LDfM = "Lehrstuhl D f{\"u}r Mathematik, " # RWTH}
@string{UHeidel = "Universit{\"a}t Heidelberg"}
@string{IWR = "Interdisziplin{\"a}res Zentrum f{\"u}r wissenschaftliches
                  Rechnen der " # UHeidel}

@article{GePf92,
author = "Meinolf Geck  and G{\"o}tz Pfeiffer",
title = "Unipotent Characters of the {C}hevalley Groups ${D}_4(q)$, $q$ odd",
journal = Manuscr,
volume = 76,
pages = "281--304",
year =  1992,
}

@article{GePf93,
author = "Meinolf Geck and G{\"o}tz Pfeiffer",
title = "On the Irreducible Characters of {H}ecke Algebras",
journal = AdvMath,
year = 1993,
volume = 102,
pages = "79--94",
}

@techreport{chevie,
author = "Meinolf Geck and Gerhard Hi{\ss} and Frank
                  L{\"u}beck and Gunter Malle and G{\"o}tz Pfeiffer,
title = "{\sf CHEVIE} -- {G}eneric {C}haracter {T}ables of {F}inite
                  Groups of {L}ie {T}ype, {H}ecke {A}lgebras and
                  {W}eyl {G}roups",
type = "Preprint",
number = "93-62",
month = Nov,
year = 1993,
institution = IWR,
}

@techreport{chevie2,
author = "Meinolf Geck and Gerhard Hi{\ss} and Frank
                  L{\"u}beck and Gunter Malle and G{\"o}tz Pfeiffer,
title = "{\sf CHEVIE} -- {A} system for computing and processing
                  generic character tables",
type = "Preprint",
number = "95-05",
month = Jan,
year = 1995,
institution = IWR,
}

@MastersThesis{Pfeiffer91,
  author = Pfeiffer,
  title = "Von {P}ermutationscharakteren und {M}arkentafeln",
  school = LDfM,
  year = 1991,
  month = Jan,
  type = "Diplomarbeit"
}

@article{Pfeiffer94a,
author = "G{\"o}tz Pfeiffer",
title = "Character Tables of {W}eyl Groups in {{\sf GAP}}",
journal = BayreuMS,
volume = 47,
pages = "165--222",
year = 1994,
}

@article{Pfeiffer94b,
author = "G{\"o}tz Pfeiffer",
title = "Young Characters on {C}oxeter Basis Elements of {I}wahori--{H}ecke
   Algebras and a {M}urnaghan--{N}akayama Formula",
journal = JAlg,
volume = 168,
pages = "525--535",
year = 1994,
}

@Book{PfDiss,
  author =       "G{\"o}tz Pfeiffer",
  title =        "Charakterwerte von {I}wahori-{H}ecke-{A}lgebren von
                  klassischem {T}yp",
  publisher =    "Verlag der Augustinus Buchhandlung, Aachen",
  year =         1995,
  volume =       14,
  series =    "Aachener {Beitr\"age} zur Mathematik"
}

@Proceedings{Pfeiffer95a,
  author = "G{\"o}tz Pfeiffer",
  title =        "Character Values of Iwahori-Hecke algebras of type B",
  year =         1995,
  note =         "in print"
}

@MastersThesis{Pfeiffer91,
  author = Pfeiffer,
  title = "Von {P}ermutationscharakteren und {M}arkentafeln",
  school = LDfM,
  year = 1991,
  month = Jan,
  type = "Diplomarbeit"
}

@Misc{Pfeiffer95b,
  author = Pfeiffer,
  title = "The subgroups of {$M_{24}$} or {H}ow to compute a table of marks",
  howpublished = "in preparation"
}



From conder@mat.auckland.ac.nz Wed Oct 25 11:48:00 1995
Date:           Wed, 25 Oct 95 11:48:00 +1300
From:           "Marston Conder" <conder@mat.auckland.ac.nz>
Subject:        Re: GAP references



Hi Steve

The following research articles refer to actual or potential use of GAP:

Marston Conder,  Hexagon-free subgraphs of hypercubes,
J. Graph Theory  17 (1993), 477-479.

Marston Conder,  Regular maps with small parameters,
J. Australian Math. Society  57 (1994), 103-112.

Marston Conder & John McKay,  Markings of the Golay code,  preprint.

Cheers
Marston



From goetz@dcs.st-andrews.ac.uk Wed Oct 25 13:02:00 1995
Date:           Wed, 25 Oct 95 13:02:00 +0000
From:           "Goetz Pfeiffer" <goetz@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Dear Forum,

sorry for wasting bandwidth by sending my last message to forum.  I
know: I should have mailed this explicitely to

   sal@cs.st-and.ac.uk

instead of just pushing the reply button.

Goetz.
-----------------------------------------------------------------------------
Goetz Pfeiffer (goetz@cs.st-and.ac.uk)  http://gregory.cs.st-and.ac.uk/~goetz
Department of Mathematics, University of St Andrews, Fife KY16 9SS, Scotland.
-----------------------------------------------------------------------------



From frank.celler@math.rwth-aachen.de Mon Oct 30 11:22:00 1995
Date:           Mon, 30 Oct 95 11:22:00 +0100 (MET)
From:           "Frank Celler" <Frank.Celler@Math.RWTH-Aachen.DE>
Subject:        XGAP 1 Release 3

Dear GAP Forum,

a new version of XGAP is available from our ftp server.

What's new in this version? Basically everything mentioned under "What
is XGAP?"  below plus  a manual, which  can either be printed as stand
alone version or  as part of the GAP  manual, details on how  to print
the manual can be  found  in the file  "gap3r4p2/pkg/xgap/INSTALL.x11"
contained in the archive "xgap1r3.zoo". The stand alone manual is also
avaiable via ftp.

best wishes
  Frank

=============================================================================
What is XGAP?
-------------

XGAP is a graphical user interface for GAP, it extends the GAP library
with functions  dealing with graphic sheets  and objects.  Using these
functions it also supplies a graphical interface for investigating the
subgroup lattice of a  group, giving you  easy access to the low index
subgroups,  prime quotient  and  Reidemeister-Schreier algorithms  and
many other GAP functions for groups and subgroups.   At the moment the
only supported window system is X-Windows X11R5 (and higher), however,
programs using the XGAP library functions will  run on other platforms
as soon as XGAP is  available on these.   We plan to release a Windows
3.11 or Windows 95 version in the near future.

I was  told that XGAP  will   also run under  SUN's  OpenWindows.   It
doesn't however compile under OpenWindows.  If any OpenWindow guru can
fix this, please send me a patch.

Where to get XGAP?
------------------

You can get XGAP from  "ftp.math.rwth-aachen.de", the source code  and
binaries are in the directory "/pub/incoming":

  xgap1r3.zoo (333912 Bytes) - this archive contains the C source code
      and the GAP library files necessary to compile and run XGAP.

  xgap1r3-dvi.zoo (44696 Bytes) - this archive contains the DVI file
      of the manual.

  xgap1r3-dec-alpha-osf1-x11r5.zoo (820751 Bytes) - this archive
      contains the executable for a DECalpha running OSF1 and X11R5.

  xgap1r3-dec-mips-ultrix42-x11r5.zoo (434616 Bytes) - this archive
      contains the executable for a DECstation running Ultrix 4.2 and
      X11R5.

  xgap1r3-hp-hppa1.1-hpux9-x11r5.zoo (410380 Bytes) - this archive
      contains the executable for a HP9000/700 running HPUX9 and
      X11R5.

  xgap1r3-sun-sparc-sunos412-x11r5.zoo (464671 Bytes) - this archive
      contains the executable for a SUN SPARCstation running SunOS
      4.1.2 and X11R5, I assume that it also works under OpenWindows,
      any feedback welcome.

How to compile XGAP?
--------------------

Instructions can be found in the file "gap3r4p?/pkg/xgap/INSTALL.x11".
You need at least a CC compiler, X11R5 & Athena Widgets, and a running
version of GAP 3.4.



From sarah.rees@newcastle.ac.uk Mon Oct 30 22:41:00 1995
Date:           Mon, 30 Oct 95 22:41:00 +0000 (GMT)
From:           "Sarah Rees" <sarah.rees@newcastle.ac.uk>
Subject:        Re:  XGAP 1 Release 3

Hi Frank, I'm sorry, you've released it and I haven't tested it for you
yet. I feel bad about that, and am sorry. I do actually have it now, but I
realise it's taken me a long time. I am doing a huge amount of teaching at the
moment, and I simply don't have any time. It'll get better soon, and then
I'll give xgap a proper test,
   Sarah



From jmccarro@mercator.math.uwaterloo.ca Tue Oct 31 03:03:00 1995
Date:           Tue, 31 Oct 95 03:03:00 -0500
From:           "James McCarron" <jmccarro@mercator.math.uwaterloo.ca>
Subject:        Re: XGAP 1 Release 3

>
> I was  told that XGAP  will   also run under  SUN's  OpenWindows.   It
> doesn't however compile under OpenWindows.  If any OpenWindow guru can
> fix this, please send me a patch.

Well, it compiled just fine for me this afternoon. There were no problems
with any of the graphics stuff. I am using Solaris2.3/OpenWindows3.3.
The only thing is that, Solaris does not provide 'wait3', but only the
'waitpid', so you must link with the BSD libraries by adding
-L/usr/ucblib -R/usr/ucblib -lucb to the linking step of the compilation.
This is (so I am led to understand) not the preferred solution, but
it works; later, I'll try to figure out how to use 'waitpid' as the
Solaris documentation suggests.
Anyway, although I've just installed it today, so far,
it looks impressive! Very nice! Thank you!

James
__
Dr. James McCarron
Department of Pure Mathematics // University of Waterloo
Waterloo, Ontario CANADA?
<jmccarron@{barrow,excalibur,jeeves,mercator}.uwaterloo.ca>



From pbrown@math.berkeley.edu Wed Nov  1 20:32:00 1995
Date:           Wed, 01 Nov 95 20:32:00 -0800
From:           "Paul Robert Brown" <pbrown@math.berkeley.edu>
Subject:        LowIndexSubgroupsFpGroup


The GAP command "LowIndexSubgroupsFpGroup()" could be improved by adding
an argument for a range of subgroup indices instead of the current
maximum integer n implying a range of [1..n]. (This is a feature of the
equivalent magma command, for instance.)

Has anyone attempted this patch?

I'm also interested if anyone out there has coset enumeration routines
written in C, as I'm only interested in checking for the existence of
representations of a given degree.

Thanks in advance.

Paul Brown



From sal@dcs.st-andrews.ac.uk Fri Nov  3 11:28:00 1995
Date:           Fri, 03 Nov 95 11:28:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        GAP references


Dear all,

References have been pouring in and I am afraid I haven't had time to
acknowledge them all. My thanks to everyone who has sent material in so far.
Please keep them coming.

        Steve



From martin.schoenert@math.rwth-aachen.de Fri Nov  3 15:26:00 1995
Date:           Fri, 03 Nov 95 15:26:00 +0100 (MET)
From:           "Martin Schoenert" <Martin.Schoenert@Math.RWTH-Aachen.DE>
Subject:        Re: LowIndexSubgroupsFpGroup

Paul Robert Brown wrote in his e-mail message of 1995/11/01

    The GAP command "LowIndexSubgroupsFpGroup()" could be improved by adding
    an argument for a range of subgroup indices instead of the current
    maximum integer n implying a range of [1..n]. (This is a feature of the
    equivalent magma command, for instance.)

The time taken by the 'LowIndexSubgroupsFpGroup' function depends mostly
on the largest index considered.  That means that excluding smaller
indices will not decrease the time taken.  I think the same is true for
the corresponding Magma command, but I have never tried it.  Anyhow, that
means that it is just as fast to compute all the subgroups up to the
largest index and throwing out the ones whose index does not lie in the
interesting range afterwards.  This is the reason why I never bothered
to add this feature.

He continued

    I'm also interested if anyone out there has coset enumeration routines
    written in C, as I'm only interested in checking for the existence of
    representations of a given degree.

I don't see what the fact that you are only interested in checking for
the existence of representations of a given degree has to do with whether
a program to look for them is written in C or in GAP.  Besides what
exactely do you mean by ``coset enumeration routines''?  A program to
compute the index for a given subgroup or a program to find all subgroups
up to a given index?  Write me and I see whether I can help you.

Martin.

-- .- .-. - .. -.  .-.. --- ...- . ...  .- -. -. .. -.- .-
Martin Sch"onert,   Martin.Schoenert@Math.RWTH-Aachen.DE,   +49 241 804551
Lehrstuhl D f"ur Mathematik, Templergraben 64, RWTH, 52056 Aachen, Germany



From ganief@math.unp.ac.za Mon Nov  6 08:46:42 1995
Date:           Mon, 06 Nov 95 08:46:42 +0200
From:           "Shahiem Ganief" <ganief@math.unp.ac.za>
Subject:        Re: MeatAxe on pc

Dear Sir

We are having problems running MeatAxe from a personel computer, and
your help will be very much appreciated.

We are runnig GAP3R4P2 (dos version) perfectly from a 486 computer.
However, when I call up the function 'RequirePackage("meataxe") the
following appears
      Invalid switch - /000069
      #I The MeatAxe share library functions are available now.
      #I All files will be placed in the directory
      #I      'c:\DOS/000069'
      #I Use 'MeatAxe.SetDirectory( <path> )' if you want to change.

The problem is that this file does not exist. If I create this file
(manually), MeatAxe then places files in ile (manually) MeatAxe place
files in the directory 'c:\dos/a00069'.  I tried to change the path
using the function "MeatAxe.SetDirectory( <path> )" without sucess.
Can you get me out of this hole?

Thanking you in anticipation.
Shahiem Ganief



From kiechle@mathematik.tu-muenchen.de Fri Nov 10 15:11:39 1995
Date:           Fri, 10 Nov 95 15:11:39 +0100
From:           "Kiechle Hubert" <kiechle@mathematik.tu-muenchen.de>
Subject:        customizing Emacs (gap.el)

Hi GAPers,

has anybody ever customized Emacs to write gap code? Is there anything
like  gap.el(c)? I know that I could modify a  c++.el  or  pascal.el
to do the job, but I'm hoping, it's already out there.

So long

--

Hubert Kiechle

Mathematisches Institut
Technischen Universit"at M"unchen
D-80290 M"unchen

Tel.: +49 89 2105 8288

e-mail: kiechle@mathematik.tu-muenchen.de



From sal@dcs.st-andrews.ac.uk Wed Nov 15 12:34:09 1995
Date:           Wed, 15 Nov 95 12:34:09 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: customizing Emacs (gap.el)

Emacs modes for editting GAP code, and for running GAP in an EMACS window were
supplied by Michael Smith of the ANU in Canberra and are included in the GAP
distribution in the /etc directory.

        Steve Linton



From werner.nickel@math.rwth-aachen.de Wed Nov 15 16:04:00 1995
Date:           Wed, 15 Nov 95 16:04:00 +0100 (MET)
From:           "Werner Nickel" <Werner.Nickel@Math.RWTH-Aachen.DE>
Subject:        Re: customizing Emacs (gap.el)

Hubert Kiechle asked the following:

> has anybody ever customized Emacs to write gap code? Is there anything
> like  gap.el(c)? I know that I could modify a  c++.el  or  pascal.el
> to do the job, but I'm hoping, it's already out there.

In addition to Steve's answer I'd like to mention that the newest
version of Michael's GAP mode for emacs can be obtained via anonymous
ftp from
    ftp.math.rwth-aachen.de:/pub/incoming/

G

From:           "Giovanni Ferrero" <ferrero@prmat.math.unipr.it>
Subject:        Re: Workshop on GAP internals?

I think can send a my pupil, if Italy has sufficient money!:-)



From sal@dcs.st-andrews.ac.uk Wed Oct 25 08:57:00 1995
Date:           Wed, 25 Oct 95 08:57:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Charles Charnes asked, very reasonably:

> Steve, what is your email address (re GAP references)

I hadn't realised how thorough the GAP-forum remailer was in stripping off
addresses.

Please send references to

sal@dcs.st-and.ac.uk

        Thanks
                Steve Linton



From sal@dcs.st-andrews.ac.uk Wed Oct 25 08:57:00 1995
Date:           Wed, 25 Oct 95 08:57:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Charles Charnes asked, very reasonably:

> Steve, what is your email address (re GAP references)

I hadn't realised how thorough the GAP-forum remailer was in stripping off
addresses.

Please send references to

sal@dcs.st-and.ac.uk

        Thanks
                Steve Linton



From goetz@dcs.st-andrews.ac.uk Tue Oct 24 18:07:00 1995
Date:           Tue, 24 Oct 95 18:07:00 +0000
From:           "Goetz Pfeiffer" <goetz@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Hi Steve,

here is the part of my bibliography which refers to GAP. (That is of
course: evrything :-)  You will receive (hopefully) a separate mail
from BIDS, which I caused to list all articles that cite the GAP manual.

Goetz.

--8<-------------------------------------------------------------------------
@string{AdvMath = "Adv. Math."}
@string{BayreuMS = "Bayreuther Math. Schr."}
@string{JAlg = "J. Algebra"}
@string{Manuscr = "Manuscripta Math."}

@string{RWTH = "RWTH Aachen"}
@string{LDfM = "Lehrstuhl D f{\"u}r Mathematik, " # RWTH}
@string{UHeidel = "Universit{\"a}t Heidelberg"}
@string{IWR = "Interdisziplin{\"a}res Zentrum f{\"u}r wissenschaftliches
                  Rechnen der " # UHeidel}

@article{GePf92,
author = "Meinolf Geck  and G{\"o}tz Pfeiffer",
title = "Unipotent Characters of the {C}hevalley Groups ${D}_4(q)$, $q$ odd",
journal = Manuscr,
volume = 76,
pages = "281--304",
year =  1992,
}

@article{GePf93,
author = "Meinolf Geck and G{\"o}tz Pfeiffer",
title = "On the Irreducible Characters of {H}ecke Algebras",
journal = AdvMath,
year = 1993,
volume = 102,
pages = "79--94",
}

@techreport{chevie,
author = "Meinolf Geck and Gerhard Hi{\ss} and Frank
                  L{\"u}beck and Gunter Malle and G{\"o}tz Pfeiffer,
title = "{\sf CHEVIE} -- {G}eneric {C}haracter {T}ables of {F}inite
                  Groups of {L}ie {T}ype, {H}ecke {A}lgebras and
                  {W}eyl {G}roups",
type = "Preprint",
number = "93-62",
month = Nov,
year = 1993,
institution = IWR,
}

@techreport{chevie2,
author = "Meinolf Geck and Gerhard Hi{\ss} and Frank
                  L{\"u}beck and Gunter Malle and G{\"o}tz Pfeiffer,
title = "{\sf CHEVIE} -- {A} system for computing and processing
                  generic character tables",
type = "Preprint",
number = "95-05",
month = Jan,
year = 1995,
institution = IWR,
}

@MastersThesis{Pfeiffer91,
  author = Pfeiffer,
  title = "Von {P}ermutationscharakteren und {M}arkentafeln",
  school = LDfM,
  year = 1991,
  month = Jan,
  type = "Diplomarbeit"
}

@article{Pfeiffer94a,
author = "G{\"o}tz Pfeiffer",
title = "Character Tables of {W}eyl Groups in {{\sf GAP}}",
journal = BayreuMS,
volume = 47,
pages = "165--222",
year = 1994,
}

@article{Pfeiffer94b,
author = "G{\"o}tz Pfeiffer",
title = "Young Characters on {C}oxeter Basis Elements of {I}wahori--{H}ecke
   Algebras and a {M}urnaghan--{N}akayama Formula",
journal = JAlg,
volume = 168,
pages = "525--535",
year = 1994,
}

@Book{PfDiss,
  author =       "G{\"o}tz Pfeiffer",
  title =        "Charakterwerte von {I}wahori-{H}ecke-{A}lgebren von
                  klassischem {T}yp",
  publisher =    "Verlag der Augustinus Buchhandlung, Aachen",
  year =         1995,
  volume =       14,
  series =    "Aachener {Beitr\"age} zur Mathematik"
}

@Proceedings{Pfeiffer95a,
  author = "G{\"o}tz Pfeiffer",
  title =        "Character Values of Iwahori-Hecke algebras of type B",
  year =         1995,
  note =         "in print"
}

@MastersThesis{Pfeiffer91,
  author = Pfeiffer,
  title = "Von {P}ermutationscharakteren und {M}arkentafeln",
  school = LDfM,
  year = 1991,
  month = Jan,
  type = "Diplomarbeit"
}

@Misc{Pfeiffer95b,
  author = Pfeiffer,
  title = "The subgroups of {$M_{24}$} or {H}ow to compute a table of marks",
  howpublished = "in preparation"
}



From conder@mat.auckland.ac.nz Wed Oct 25 11:48:00 1995
Date:           Wed, 25 Oct 95 11:48:00 +1300
From:           "Marston Conder" <conder@mat.auckland.ac.nz>
Subject:        Re: GAP references



Hi Steve

The following research articles refer to actual or potential use of GAP:

Marston Conder,  Hexagon-free subgraphs of hypercubes,
J. Graph Theory  17 (1993), 477-479.

Marston Conder,  Regular maps with small parameters,
J. Australian Math. Society  57 (1994), 103-112.

Marston Conder & John McKay,  Markings of the Golay code,  preprint.

Cheers
Marston



From goetz@dcs.st-andrews.ac.uk Wed Oct 25 13:02:00 1995
Date:           Wed, 25 Oct 95 13:02:00 +0000
From:           "Goetz Pfeiffer" <goetz@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Dear Forum,

sorry for wasting bandwidth by sending my last message to forum.  I
know: I should have mailed this explicitely to

   sal@cs.st-and.ac.uk

instead of just pushing the reply button.

Goetz.
-----------------------------------------------------------------------------
Goetz Pfeiffer (goetz@cs.st-and.ac.uk)  http://gregory.cs.st-and.ac.uk/~goetz
Department of Mathematics, University of St Andrews, Fife KY16 9SS, Scotland.
-----------------------------------------------------------------------------



From frank.celler@math.rwth-aachen.de Mon Oct 30 11:22:00 1995
Date:           Mon, 30 Oct 95 11:22:00 +0100 (MET)
From:           "Frank Celler" <Frank.Celler@Math.RWTH-Aachen.DE>
Subject:        XGAP 1 Release 3

Dear GAP Forum,

a new version of XGAP is available from our ftp server.

What's new in this version? Basically everything mentioned under "What
is XGAP?"  below plus  a manual, which  can either be printed as stand
alone version or  as part of the GAP  manual, details on how  to print
the manual can be  found  in the file  "gap3r4p2/pkg/xgap/INSTALL.x11"
contained in the archive "xgap1r3.zoo". The stand alone manual is also
avaiable via ftp.

best wishes
  Frank

=============================================================================
What is XGAP?
-------------

XGAP is a graphical user interface for GAP, it extends the GAP library
with functions  dealing with graphic sheets  and objects.  Using these
functions it also supplies a graphical interface for investigating the
subgroup lattice of a  group, giving you  easy access to the low index
subgroups,  prime quotient  and  Reidemeister-Schreier algorithms  and
many other GAP functions for groups and subgroups.   At the moment the
only supported window system is X-Windows X11R5 (and higher), however,
programs using the XGAP library functions will  run on other platforms
as soon as XGAP is  available on these.   We plan to release a Windows
3.11 or Windows 95 version in the near future.

I was  told that XGAP  will   also run under  SUN's  OpenWindows.   It
doesn't however compile under OpenWindows.  If any OpenWindow guru can
fix this, please send me a patch.

Where to get XGAP?
------------------

You can get XGAP from  "ftp.math.rwth-aachen.de", the source code  and
binaries are in the directory "/pub/incoming":

  xgap1r3.zoo (333912 Bytes) - this archive contains the C source code
      and the GAP library files necessary to compile and run XGAP.

  xgap1r3-dvi.zoo (44696 Bytes) - this archive contains the DVI file
      of the manual.

  xgap1r3-dec-alpha-osf1-x11r5.zoo (820751 Bytes) - this archive
      contains the executable for a DECalpha running OSF1 and X11R5.

  xgap1r3-dec-mips-ultrix42-x11r5.zoo (434616 Bytes) - this archive
      contains the executable for a DECstation running Ultrix 4.2 and
      X11R5.

  xgap1r3-hp-hppa1.1-hpux9-x11r5.zoo (410380 Bytes) - this archive
      contains the executable for a HP9000/700 running HPUX9 and
      X11R5.

  xgap1r3-sun-sparc-sunos412-x11r5.zoo (464671 Bytes) - this archive
      contains the executable for a SUN SPARCstation running SunOS
      4.1.2 and X11R5, I assume that it also works under OpenWindows,
      any feedback welcome.

How to compile XGAP?
--------------------

Instructions can be found in the file "gap3r4p?/pkg/xgap/INSTALL.x11".
You need at least a CC compiler, X11R5 & Athena Widgets, and a running
version of GAP 3.4.



From sarah.rees@newcastle.ac.uk Mon Oct 30 22:41:00 1995
Date:           Mon, 30 Oct 95 22:41:00 +0000 (GMT)
From:           "Sarah Rees" <sarah.rees@newcastle.ac.uk>
Subject:        Re:  XGAP 1 Release 3

Hi Frank, I'm sorry, you've released it and I haven't tested it for you
yet. I feel bad about that, and am sorry. I do actually have it now, but I
realise it's taken me a long time. I am doing a huge amount of teaching at the
moment, and I simply don't have any time. It'll get better soon, and then
I'll give xgap a proper test,
   Sarah



From jmccarro@mercator.math.uwaterloo.ca Tue Oct 31 03:03:00 1995
Date:           Tue, 31 Oct 95 03:03:00 -0500
From:           "James McCarron" <jmccarro@mercator.math.uwaterloo.ca>
Subject:        Re: XGAP 1 Release 3

>
> I was  told that XGAP  will   also run under  SUN's  OpenWindows.   It
> doesn't however compile under OpenWindows.  If any OpenWindow guru can
> fix this, please send me a patch.

Well, it compiled just fine for me this afternoon. There were no problems
with any of the graphics stuff. I am using Solaris2.3/OpenWindows3.3.
The only thing is that, Solaris does not provide 'wait3', but only the
'waitpid', so you must link with the BSD libraries by adding
-L/usr/ucblib -R/usr/ucblib -lucb to the linking step of the compilation.
This is (so I am led to understand) not the preferred solution, but
it works; later, I'll try to figure out how to use 'waitpid' as the
Solaris documentation suggests.
Anyway, although I've just installed it today, so far,
it looks impressive! Very nice! Thank you!

James
__
Dr. James McCarron
Department of Pure Mathematics // University of Waterloo
Waterloo, Ontario CANADA?
<jmccarron@{barrow,excalibur,jeeves,mercator}.uwaterloo.ca>



From pbrown@math.berkeley.edu Wed Nov  1 20:32:00 1995
Date:           Wed, 01 Nov 95 20:32:00 -0800
From:           "Paul Robert Brown" <pbrown@math.berkeley.edu>
Subject:        LowIndexSubgroupsFpGroup


The GAP command "LowIndexSubgroupsFpGroup()" could be improved by adding
an argument for a range of subgroup indices instead of the current
maximum integer n implying a range of [1..n]. (This is a feature of the
equivalent magma command, for instance.)

Has anyone attempted this patch?

I'm also interested if anyone out there has coset enumeration routines
written in C, as I'm only interested in checking for the existence of
representations of a given degree.

Thanks in advance.

Paul Brown



From sal@dcs.st-andrews.ac.uk Fri Nov  3 11:28:00 1995
Date:           Fri, 03 Nov 95 11:28:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        GAP references


Dear all,

References have been pouring in and I am afraid I haven't had time to
acknowledge them all. My thanks to everyone who has sent material in so far.
Please keep them coming.

        Steve



From martin.schoenert@math.rwth-aachen.de Fri Nov  3 15:26:00 1995
Date:           Fri, 03 Nov 95 15:26:00 +0100 (MET)
From:           "Martin Schoenert" <Martin.Schoenert@Math.RWTH-Aachen.DE>
Subject:        Re: LowIndexSubgroupsFpGroup

Paul Robert Brown wrote in his e-mail message of 1995/11/01

    The GAP command "LowIndexSubgroupsFpGroup()" could be improved by adding
    an argument for a range of subgroup indices instead of the current
    maximum integer n implying a range of [1..n]. (This is a feature of the
    equivalent magma command, for instance.)

The time taken by the 'LowIndexSubgroupsFpGroup' function depends mostly
on the largest index considered.  That means that excluding smaller
indices will not decrease the time taken.  I think the same is true for
the corresponding Magma command, but I have never tried it.  Anyhow, that
means that it is just as fast to compute all the subgroups up to the
largest index and throwing out the ones whose index does not lie in the
interesting range afterwards.  This is the reason why I never bothered
to add this feature.

He continued

    I'm also interested if anyone out there has coset enumeration routines
    written in C, as I'm only interested in checking for the existence of
    representations of a given degree.

I don't see what the fact that you are only interested in checking for
the existence of representations of a given degree has to do with whether
a program to look for them is written in C or in GAP.  Besides what
exactely do you mean by ``coset enumeration routines''?  A program to
compute the index for a given subgroup or a program to find all subgroups
up to a given index?  Write me and I see whether I can help you.

Martin.

-- .- .-. - .. -.  .-.. --- ...- . ...  .- -. -. .. -.- .-
Martin Sch"onert,   Martin.Schoenert@Math.RWTH-Aachen.DE,   +49 241 804551
Lehrstuhl D f"ur Mathematik, Templergraben 64, RWTH, 52056 Aachen, Germany



From ganief@math.unp.ac.za Mon Nov  6 08:46:42 1995
Date:           Mon, 06 Nov 95 08:46:42 +0200
From:           "Shahiem Ganief" <ganief@math.unp.ac.za>
Subject:        Re: MeatAxe on pc

Dear Sir

We are having problems running MeatAxe from a personel computer, and
your help will be very much appreciated.

We are runnig GAP3R4P2 (dos version) perfectly from a 486 computer.
However, when I call up the function 'RequirePackage("meataxe") the
following appears
      Invalid switch - /000069
      #I The MeatAxe share library functions are available now.
      #I All files will be placed in the directory
      #I      'c:\DOS/000069'
      #I Use 'MeatAxe.SetDirectory( <path> )' if you want to change.

The problem is that this file does not exist. If I create this file
(manually), MeatAxe then places files in ile (manually) MeatAxe place
files in the directory 'c:\dos/a00069'.  I tried to change the path
using the function "MeatAxe.SetDirectory( <path> )" without sucess.
Can you get me out of this hole?

Thanking you in anticipation.
Shahiem Ganief



From kiechle@mathematik.tu-muenchen.de Fri Nov 10 15:11:39 1995
Date:           Fri, 10 Nov 95 15:11:39 +0100
From:           "Kiechle Hubert" <kiechle@mathematik.tu-muenchen.de>
Subject:        customizing Emacs (gap.el)

Hi GAPers,

has anybody ever customized Emacs to write gap code? Is there anything
like  gap.el(c)? I know that I could modify a  c++.el  or  pascal.el
to do the job, but I'm hoping, it's already out there.

So long

--

Hubert Kiechle

Mathematisches Institut
Technischen Universit"at M"unchen
D-80290 M"unchen

Tel.: +49 89 2105 8288

e-mail: kiechle@mathematik.tu-muenchen.de



From sal@dcs.st-andrews.ac.uk Wed Nov 15 12:34:09 1995
Date:           Wed, 15 Nov 95 12:34:09 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: customizing Emacs (gap.el)

Emacs modes for editting GAP code, and for running GAP in an EMACS window were
supplied by Michael Smith of the ANU in Canberra and are included in the GAP
distribution in the /etc directory.

        Steve Linton



From werner.nickel@math.rwth-aachen.de Wed Nov 15 16:04:00 1995
Date:           Wed, 15 Nov 95 16:04:00 +0100 (MET)
From:           "Werner Nickel" <Werner.Nickel@Math.RWTH-Aachen.DE>
Subject:        Re: customizing Emacs (gap.el)

Hubert Kiechle asked the following:

> has anybody ever customized Emacs to write gap code? Is there anything
> like  gap.el(c)? I know that I could modify a  c++.el  or  pascal.el
> to do the job, but I'm hoping, it's already out there.

In addition to Steve's answer I'd like to mention that the newest
version of Michael's GAP mode for emacs can be obtained via anonymous
ftp from
    ftp.math.rwth-aachen.de:/pub/incoming/

G

From:           "Giovanni Ferrero" <ferrero@prmat.math.unipr.it>
Subject:        Re: Workshop on GAP internals?

I think can send a my pupil, if Italy has sufficient money!:-)



From sal@dcs.st-andrews.ac.uk Wed Oct 25 08:57:00 1995
Date:           Wed, 25 Oct 95 08:57:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Charles Charnes asked, very reasonably:

> Steve, what is your email address (re GAP references)

I hadn't realised how thorough the GAP-forum remailer was in stripping off
addresses.

Please send references to

sal@dcs.st-and.ac.uk

        Thanks
                Steve Linton



From sal@dcs.st-andrews.ac.uk Wed Oct 25 08:57:00 1995
Date:           Wed, 25 Oct 95 08:57:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Charles Charnes asked, very reasonably:

> Steve, what is your email address (re GAP references)

I hadn't realised how thorough the GAP-forum remailer was in stripping off
addresses.

Please send references to

sal@dcs.st-and.ac.uk

        Thanks
                Steve Linton



From goetz@dcs.st-andrews.ac.uk Tue Oct 24 18:07:00 1995
Date:           Tue, 24 Oct 95 18:07:00 +0000
From:           "Goetz Pfeiffer" <goetz@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Hi Steve,

here is the part of my bibliography which refers to GAP. (That is of
course: evrything :-)  You will receive (hopefully) a separate mail
from BIDS, which I caused to list all articles that cite the GAP manual.

Goetz.

--8<-------------------------------------------------------------------------
@string{AdvMath = "Adv. Math."}
@string{BayreuMS = "Bayreuther Math. Schr."}
@string{JAlg = "J. Algebra"}
@string{Manuscr = "Manuscripta Math."}

@string{RWTH = "RWTH Aachen"}
@string{LDfM = "Lehrstuhl D f{\"u}r Mathematik, " # RWTH}
@string{UHeidel = "Universit{\"a}t Heidelberg"}
@string{IWR = "Interdisziplin{\"a}res Zentrum f{\"u}r wissenschaftliches
                  Rechnen der " # UHeidel}

@article{GePf92,
author = "Meinolf Geck  and G{\"o}tz Pfeiffer",
title = "Unipotent Characters of the {C}hevalley Groups ${D}_4(q)$, $q$ odd",
journal = Manuscr,
volume = 76,
pages = "281--304",
year =  1992,
}

@article{GePf93,
author = "Meinolf Geck and G{\"o}tz Pfeiffer",
title = "On the Irreducible Characters of {H}ecke Algebras",
journal = AdvMath,
year = 1993,
volume = 102,
pages = "79--94",
}

@techreport{chevie,
author = "Meinolf Geck and Gerhard Hi{\ss} and Frank
                  L{\"u}beck and Gunter Malle and G{\"o}tz Pfeiffer,
title = "{\sf CHEVIE} -- {G}eneric {C}haracter {T}ables of {F}inite
                  Groups of {L}ie {T}ype, {H}ecke {A}lgebras and
                  {W}eyl {G}roups",
type = "Preprint",
number = "93-62",
month = Nov,
year = 1993,
institution = IWR,
}

@techreport{chevie2,
author = "Meinolf Geck and Gerhard Hi{\ss} and Frank
                  L{\"u}beck and Gunter Malle and G{\"o}tz Pfeiffer,
title = "{\sf CHEVIE} -- {A} system for computing and processing
                  generic character tables",
type = "Preprint",
number = "95-05",
month = Jan,
year = 1995,
institution = IWR,
}

@MastersThesis{Pfeiffer91,
  author = Pfeiffer,
  title = "Von {P}ermutationscharakteren und {M}arkentafeln",
  school = LDfM,
  year = 1991,
  month = Jan,
  type = "Diplomarbeit"
}

@article{Pfeiffer94a,
author = "G{\"o}tz Pfeiffer",
title = "Character Tables of {W}eyl Groups in {{\sf GAP}}",
journal = BayreuMS,
volume = 47,
pages = "165--222",
year = 1994,
}

@article{Pfeiffer94b,
author = "G{\"o}tz Pfeiffer",
title = "Young Characters on {C}oxeter Basis Elements of {I}wahori--{H}ecke
   Algebras and a {M}urnaghan--{N}akayama Formula",
journal = JAlg,
volume = 168,
pages = "525--535",
year = 1994,
}

@Book{PfDiss,
  author =       "G{\"o}tz Pfeiffer",
  title =        "Charakterwerte von {I}wahori-{H}ecke-{A}lgebren von
                  klassischem {T}yp",
  publisher =    "Verlag der Augustinus Buchhandlung, Aachen",
  year =         1995,
  volume =       14,
  series =    "Aachener {Beitr\"age} zur Mathematik"
}

@Proceedings{Pfeiffer95a,
  author = "G{\"o}tz Pfeiffer",
  title =        "Character Values of Iwahori-Hecke algebras of type B",
  year =         1995,
  note =         "in print"
}

@MastersThesis{Pfeiffer91,
  author = Pfeiffer,
  title = "Von {P}ermutationscharakteren und {M}arkentafeln",
  school = LDfM,
  year = 1991,
  month = Jan,
  type = "Diplomarbeit"
}

@Misc{Pfeiffer95b,
  author = Pfeiffer,
  title = "The subgroups of {$M_{24}$} or {H}ow to compute a table of marks",
  howpublished = "in preparation"
}



From conder@mat.auckland.ac.nz Wed Oct 25 11:48:00 1995
Date:           Wed, 25 Oct 95 11:48:00 +1300
From:           "Marston Conder" <conder@mat.auckland.ac.nz>
Subject:        Re: GAP references



Hi Steve

The following research articles refer to actual or potential use of GAP:

Marston Conder,  Hexagon-free subgraphs of hypercubes,
J. Graph Theory  17 (1993), 477-479.

Marston Conder,  Regular maps with small parameters,
J. Australian Math. Society  57 (1994), 103-112.

Marston Conder & John McKay,  Markings of the Golay code,  preprint.

Cheers
Marston



From goetz@dcs.st-andrews.ac.uk Wed Oct 25 13:02:00 1995
Date:           Wed, 25 Oct 95 13:02:00 +0000
From:           "Goetz Pfeiffer" <goetz@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Dear Forum,

sorry for wasting bandwidth by sending my last message to forum.  I
know: I should have mailed this explicitely to

   sal@cs.st-and.ac.uk

instead of just pushing the reply button.

Goetz.
-----------------------------------------------------------------------------
Goetz Pfeiffer (goetz@cs.st-and.ac.uk)  http://gregory.cs.st-and.ac.uk/~goetz
Department of Mathematics, University of St Andrews, Fife KY16 9SS, Scotland.
-----------------------------------------------------------------------------



From frank.celler@math.rwth-aachen.de Mon Oct 30 11:22:00 1995
Date:           Mon, 30 Oct 95 11:22:00 +0100 (MET)
From:           "Frank Celler" <Frank.Celler@Math.RWTH-Aachen.DE>
Subject:        XGAP 1 Release 3

Dear GAP Forum,

a new version of XGAP is available from our ftp server.

What's new in this version? Basically everything mentioned under "What
is XGAP?"  below plus  a manual, which  can either be printed as stand
alone version or  as part of the GAP  manual, details on how  to print
the manual can be  found  in the file  "gap3r4p2/pkg/xgap/INSTALL.x11"
contained in the archive "xgap1r3.zoo". The stand alone manual is also
avaiable via ftp.

best wishes
  Frank

=============================================================================
What is XGAP?
-------------

XGAP is a graphical user interface for GAP, it extends the GAP library
with functions  dealing with graphic sheets  and objects.  Using these
functions it also supplies a graphical interface for investigating the
subgroup lattice of a  group, giving you  easy access to the low index
subgroups,  prime quotient  and  Reidemeister-Schreier algorithms  and
many other GAP functions for groups and subgroups.   At the moment the
only supported window system is X-Windows X11R5 (and higher), however,
programs using the XGAP library functions will  run on other platforms
as soon as XGAP is  available on these.   We plan to release a Windows
3.11 or Windows 95 version in the near future.

I was  told that XGAP  will   also run under  SUN's  OpenWindows.   It
doesn't however compile under OpenWindows.  If any OpenWindow guru can
fix this, please send me a patch.

Where to get XGAP?
------------------

You can get XGAP from  "ftp.math.rwth-aachen.de", the source code  and
binaries are in the directory "/pub/incoming":

  xgap1r3.zoo (333912 Bytes) - this archive contains the C source code
      and the GAP library files necessary to compile and run XGAP.

  xgap1r3-dvi.zoo (44696 Bytes) - this archive contains the DVI file
      of the manual.

  xgap1r3-dec-alpha-osf1-x11r5.zoo (820751 Bytes) - this archive
      contains the executable for a DECalpha running OSF1 and X11R5.

  xgap1r3-dec-mips-ultrix42-x11r5.zoo (434616 Bytes) - this archive
      contains the executable for a DECstation running Ultrix 4.2 and
      X11R5.

  xgap1r3-hp-hppa1.1-hpux9-x11r5.zoo (410380 Bytes) - this archive
      contains the executable for a HP9000/700 running HPUX9 and
      X11R5.

  xgap1r3-sun-sparc-sunos412-x11r5.zoo (464671 Bytes) - this archive
      contains the executable for a SUN SPARCstation running SunOS
      4.1.2 and X11R5, I assume that it also works under OpenWindows,
      any feedback welcome.

How to compile XGAP?
--------------------

Instructions can be found in the file "gap3r4p?/pkg/xgap/INSTALL.x11".
You need at least a CC compiler, X11R5 & Athena Widgets, and a running
version of GAP 3.4.



From sarah.rees@newcastle.ac.uk Mon Oct 30 22:41:00 1995
Date:           Mon, 30 Oct 95 22:41:00 +0000 (GMT)
From:           "Sarah Rees" <sarah.rees@newcastle.ac.uk>
Subject:        Re:  XGAP 1 Release 3

Hi Frank, I'm sorry, you've released it and I haven't tested it for you
yet. I feel bad about that, and am sorry. I do actually have it now, but I
realise it's taken me a long time. I am doing a huge amount of teaching at the
moment, and I simply don't have any time. It'll get better soon, and then
I'll give xgap a proper test,
   Sarah



From jmccarro@mercator.math.uwaterloo.ca Tue Oct 31 03:03:00 1995
Date:           Tue, 31 Oct 95 03:03:00 -0500
From:           "James McCarron" <jmccarro@mercator.math.uwaterloo.ca>
Subject:        Re: XGAP 1 Release 3

>
> I was  told that XGAP  will   also run under  SUN's  OpenWindows.   It
> doesn't however compile under OpenWindows.  If any OpenWindow guru can
> fix this, please send me a patch.

Well, it compiled just fine for me this afternoon. There were no problems
with any of the graphics stuff. I am using Solaris2.3/OpenWindows3.3.
The only thing is that, Solaris does not provide 'wait3', but only the
'waitpid', so you must link with the BSD libraries by adding
-L/usr/ucblib -R/usr/ucblib -lucb to the linking step of the compilation.
This is (so I am led to understand) not the preferred solution, but
it works; later, I'll try to figure out how to use 'waitpid' as the
Solaris documentation suggests.
Anyway, although I've just installed it today, so far,
it looks impressive! Very nice! Thank you!

James
__
Dr. James McCarron
Department of Pure Mathematics // University of Waterloo
Waterloo, Ontario CANADA?
<jmccarron@{barrow,excalibur,jeeves,mercator}.uwaterloo.ca>



From pbrown@math.berkeley.edu Wed Nov  1 20:32:00 1995
Date:           Wed, 01 Nov 95 20:32:00 -0800
From:           "Paul Robert Brown" <pbrown@math.berkeley.edu>
Subject:        LowIndexSubgroupsFpGroup


The GAP command "LowIndexSubgroupsFpGroup()" could be improved by adding
an argument for a range of subgroup indices instead of the current
maximum integer n implying a range of [1..n]. (This is a feature of the
equivalent magma command, for instance.)

Has anyone attempted this patch?

I'm also interested if anyone out there has coset enumeration routines
written in C, as I'm only interested in checking for the existence of
representations of a given degree.

Thanks in advance.

Paul Brown



From sal@dcs.st-andrews.ac.uk Fri Nov  3 11:28:00 1995
Date:           Fri, 03 Nov 95 11:28:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        GAP references


Dear all,

References have been pouring in and I am afraid I haven't had time to
acknowledge them all. My thanks to everyone who has sent material in so far.
Please keep them coming.

        Steve



From martin.schoenert@math.rwth-aachen.de Fri Nov  3 15:26:00 1995
Date:           Fri, 03 Nov 95 15:26:00 +0100 (MET)
From:           "Martin Schoenert" <Martin.Schoenert@Math.RWTH-Aachen.DE>
Subject:        Re: LowIndexSubgroupsFpGroup

Paul Robert Brown wrote in his e-mail message of 1995/11/01

    The GAP command "LowIndexSubgroupsFpGroup()" could be improved by adding
    an argument for a range of subgroup indices instead of the current
    maximum integer n implying a range of [1..n]. (This is a feature of the
    equivalent magma command, for instance.)

The time taken by the 'LowIndexSubgroupsFpGroup' function depends mostly
on the largest index considered.  That means that excluding smaller
indices will not decrease the time taken.  I think the same is true for
the corresponding Magma command, but I have never tried it.  Anyhow, that
means that it is just as fast to compute all the subgroups up to the
largest index and throwing out the ones whose index does not lie in the
interesting range afterwards.  This is the reason why I never bothered
to add this feature.

He continued

    I'm also interested if anyone out there has coset enumeration routines
    written in C, as I'm only interested in checking for the existence of
    representations of a given degree.

I don't see what the fact that you are only interested in checking for
the existence of representations of a given degree has to do with whether
a program to look for them is written in C or in GAP.  Besides what
exactely do you mean by ``coset enumeration routines''?  A program to
compute the index for a given subgroup or a program to find all subgroups
up to a given index?  Write me and I see whether I can help you.

Martin.

-- .- .-. - .. -.  .-.. --- ...- . ...  .- -. -. .. -.- .-
Martin Sch"onert,   Martin.Schoenert@Math.RWTH-Aachen.DE,   +49 241 804551
Lehrstuhl D f"ur Mathematik, Templergraben 64, RWTH, 52056 Aachen, Germany



From ganief@math.unp.ac.za Mon Nov  6 08:46:42 1995
Date:           Mon, 06 Nov 95 08:46:42 +0200
From:           "Shahiem Ganief" <ganief@math.unp.ac.za>
Subject:        Re: MeatAxe on pc

Dear Sir

We are having problems running MeatAxe from a personel computer, and
your help will be very much appreciated.

We are runnig GAP3R4P2 (dos version) perfectly from a 486 computer.
However, when I call up the function 'RequirePackage("meataxe") the
following appears
      Invalid switch - /000069
      #I The MeatAxe share library functions are available now.
      #I All files will be placed in the directory
      #I      'c:\DOS/000069'
      #I Use 'MeatAxe.SetDirectory( <path> )' if you want to change.

The problem is that this file does not exist. If I create this file
(manually), MeatAxe then places files in ile (manually) MeatAxe place
files in the directory 'c:\dos/a00069'.  I tried to change the path
using the function "MeatAxe.SetDirectory( <path> )" without sucess.
Can you get me out of this hole?

Thanking you in anticipation.
Shahiem Ganief



From kiechle@mathematik.tu-muenchen.de Fri Nov 10 15:11:39 1995
Date:           Fri, 10 Nov 95 15:11:39 +0100
From:           "Kiechle Hubert" <kiechle@mathematik.tu-muenchen.de>
Subject:        customizing Emacs (gap.el)

Hi GAPers,

has anybody ever customized Emacs to write gap code? Is there anything
like  gap.el(c)? I know that I could modify a  c++.el  or  pascal.el
to do the job, but I'm hoping, it's already out there.

So long

--

Hubert Kiechle

Mathematisches Institut
Technischen Universit"at M"unchen
D-80290 M"unchen

Tel.: +49 89 2105 8288

e-mail: kiechle@mathematik.tu-muenchen.de



From sal@dcs.st-andrews.ac.uk Wed Nov 15 12:34:09 1995
Date:           Wed, 15 Nov 95 12:34:09 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: customizing Emacs (gap.el)

Emacs modes for editting GAP code, and for running GAP in an EMACS window were
supplied by Michael Smith of the ANU in Canberra and are included in the GAP
distribution in the /etc directory.

        Steve Linton



From werner.nickel@math.rwth-aachen.de Wed Nov 15 16:04:00 1995
Date:           Wed, 15 Nov 95 16:04:00 +0100 (MET)
From:           "Werner Nickel" <Werner.Nickel@Math.RWTH-Aachen.DE>
Subject:        Re: customizing Emacs (gap.el)

Hubert Kiechle asked the following:

> has anybody ever customized Emacs to write gap code? Is there anything
> like  gap.el(c)? I know that I could modify a  c++.el  or  pascal.el
> to do the job, but I'm hoping, it's already out there.

In addition to Steve's answer I'd like to mention that the newest
version of Michael's GAP mode for emacs can be obtained via anonymous
ftp from
    ftp.math.rwth-aachen.de:/pub/incoming/

G

From:           "Giovanni Ferrero" <ferrero@prmat.math.unipr.it>
Subject:        Re: Workshop on GAP internals?

I think can send a my pupil, if Italy has sufficient money!:-)



From sal@dcs.st-andrews.ac.uk Wed Oct 25 08:57:00 1995
Date:           Wed, 25 Oct 95 08:57:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Charles Charnes asked, very reasonably:

> Steve, what is your email address (re GAP references)

I hadn't realised how thorough the GAP-forum remailer was in stripping off
addresses.

Please send references to

sal@dcs.st-and.ac.uk

        Thanks
                Steve Linton



From sal@dcs.st-andrews.ac.uk Wed Oct 25 08:57:00 1995
Date:           Wed, 25 Oct 95 08:57:00 +0000
From:           "Steve Linton" <sal@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Charles Charnes asked, very reasonably:

> Steve, what is your email address (re GAP references)

I hadn't realised how thorough the GAP-forum remailer was in stripping off
addresses.

Please send references to

sal@dcs.st-and.ac.uk

        Thanks
                Steve Linton



From goetz@dcs.st-andrews.ac.uk Tue Oct 24 18:07:00 1995
Date:           Tue, 24 Oct 95 18:07:00 +0000
From:           "Goetz Pfeiffer" <goetz@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Hi Steve,

here is the part of my bibliography which refers to GAP. (That is of
course: evrything :-)  You will receive (hopefully) a separate mail
from BIDS, which I caused to list all articles that cite the GAP manual.

Goetz.

--8<-------------------------------------------------------------------------
@string{AdvMath = "Adv. Math."}
@string{BayreuMS = "Bayreuther Math. Schr."}
@string{JAlg = "J. Algebra"}
@string{Manuscr = "Manuscripta Math."}

@string{RWTH = "RWTH Aachen"}
@string{LDfM = "Lehrstuhl D f{\"u}r Mathematik, " # RWTH}
@string{UHeidel = "Universit{\"a}t Heidelberg"}
@string{IWR = "Interdisziplin{\"a}res Zentrum f{\"u}r wissenschaftliches
                  Rechnen der " # UHeidel}

@article{GePf92,
author = "Meinolf Geck  and G{\"o}tz Pfeiffer",
title = "Unipotent Characters of the {C}hevalley Groups ${D}_4(q)$, $q$ odd",
journal = Manuscr,
volume = 76,
pages = "281--304",
year =  1992,
}

@article{GePf93,
author = "Meinolf Geck and G{\"o}tz Pfeiffer",
title = "On the Irreducible Characters of {H}ecke Algebras",
journal = AdvMath,
year = 1993,
volume = 102,
pages = "79--94",
}

@techreport{chevie,
author = "Meinolf Geck and Gerhard Hi{\ss} and Frank
                  L{\"u}beck and Gunter Malle and G{\"o}tz Pfeiffer,
title = "{\sf CHEVIE} -- {G}eneric {C}haracter {T}ables of {F}inite
                  Groups of {L}ie {T}ype, {H}ecke {A}lgebras and
                  {W}eyl {G}roups",
type = "Preprint",
number = "93-62",
month = Nov,
year = 1993,
institution = IWR,
}

@techreport{chevie2,
author = "Meinolf Geck and Gerhard Hi{\ss} and Frank
                  L{\"u}beck and Gunter Malle and G{\"o}tz Pfeiffer,
title = "{\sf CHEVIE} -- {A} system for computing and processing
                  generic character tables",
type = "Preprint",
number = "95-05",
month = Jan,
year = 1995,
institution = IWR,
}

@MastersThesis{Pfeiffer91,
  author = Pfeiffer,
  title = "Von {P}ermutationscharakteren und {M}arkentafeln",
  school = LDfM,
  year = 1991,
  month = Jan,
  type = "Diplomarbeit"
}

@article{Pfeiffer94a,
author = "G{\"o}tz Pfeiffer",
title = "Character Tables of {W}eyl Groups in {{\sf GAP}}",
journal = BayreuMS,
volume = 47,
pages = "165--222",
year = 1994,
}

@article{Pfeiffer94b,
author = "G{\"o}tz Pfeiffer",
title = "Young Characters on {C}oxeter Basis Elements of {I}wahori--{H}ecke
   Algebras and a {M}urnaghan--{N}akayama Formula",
journal = JAlg,
volume = 168,
pages = "525--535",
year = 1994,
}

@Book{PfDiss,
  author =       "G{\"o}tz Pfeiffer",
  title =        "Charakterwerte von {I}wahori-{H}ecke-{A}lgebren von
                  klassischem {T}yp",
  publisher =    "Verlag der Augustinus Buchhandlung, Aachen",
  year =         1995,
  volume =       14,
  series =    "Aachener {Beitr\"age} zur Mathematik"
}

@Proceedings{Pfeiffer95a,
  author = "G{\"o}tz Pfeiffer",
  title =        "Character Values of Iwahori-Hecke algebras of type B",
  year =         1995,
  note =         "in print"
}

@MastersThesis{Pfeiffer91,
  author = Pfeiffer,
  title = "Von {P}ermutationscharakteren und {M}arkentafeln",
  school = LDfM,
  year = 1991,
  month = Jan,
  type = "Diplomarbeit"
}

@Misc{Pfeiffer95b,
  author = Pfeiffer,
  title = "The subgroups of {$M_{24}$} or {H}ow to compute a table of marks",
  howpublished = "in preparation"
}



From conder@mat.auckland.ac.nz Wed Oct 25 11:48:00 1995
Date:           Wed, 25 Oct 95 11:48:00 +1300
From:           "Marston Conder" <conder@mat.auckland.ac.nz>
Subject:        Re: GAP references



Hi Steve

The following research articles refer to actual or potential use of GAP:

Marston Conder,  Hexagon-free subgraphs of hypercubes,
J. Graph Theory  17 (1993), 477-479.

Marston Conder,  Regular maps with small parameters,
J. Australian Math. Society  57 (1994), 103-112.

Marston Conder & John McKay,  Markings of the Golay code,  preprint.

Cheers
Marston



From goetz@dcs.st-andrews.ac.uk Wed Oct 25 13:02:00 1995
Date:           Wed, 25 Oct 95 13:02:00 +0000
From:           "Goetz Pfeiffer" <goetz@dcs.st-andrews.ac.uk>
Subject:        Re: GAP references

Dear Forum,

sorry for wasting bandwidth by sending my last message to forum.  I
know: I should have mailed this explicitely to

   sal@cs.st-and.ac.uk

instead of just pushing the reply button.

Goetz.
-----------------------------------------------------------------------------
Goetz Pfeiffer (goetz@cs.st-and.ac.uk)  http://gregory.cs.st-and.ac.uk/~goetz
Department of Mathematics, University of St Andrews, Fife KY16 9SS, Scotland.
-----------------------------------------------------------------------------



From frank.celler@math.rwth-aachen.de Mon Oct 30 11:22:00 1995
Date:           Mon, 30 Oct 95 11:22:00 +0100 (MET)
From:           "Frank Celler" <Frank.Ce