> < ^ Date: Thu, 11 Dec 1997 09:19:07 +0100
> < ^ From: Andreas Caranti <caranti@science.unitn.it >
< ^ Subject: Re: Bug in ConjugacyClass(G,g)?

Frank Luebeck writes, in response to Mathias Kratzer's message:

Fortunately, the manual does *not* tell the truth here, as your example
shows.
(I said above that "fortunately" the manual is wrong because I'm using
the feature you showed in your example in my programs.)

The point appears indeed to be that GAP does not check whether g is in G or
not when setting up
ConjugacyClass (G, g);
In fact
Print(GroupOps.ConjugacyClass);
yields

function ( G, g )
    local  C;
    C := rec(
         );
    C.isDomain := true;
    C.isConjugacyClass := true;
    C.group := G;
    C.representative := g;
    C.operations := ConjugacyClassGroupOps;
    return C;
end

When you ask for the elements, the orbit of g under the action of G is
constructed. The nature of g is immaterial. This can lead to the following:

S5 := SymmetricGroup (5);
c := ConjugacyClass (S5, 1);;
Elements (c);

Andreas Caranti


> < [top]