[GAP Forum] IsConjugate() after CharacterTableDirectProduct()
aker at gursey.gov.tr
aker at gursey.gov.tr
Fri Nov 20 19:55:36 GMT 2009
Dear GAP Forum,
I am trying to do some calculation with binary dihedral groups
(or Di-Cyclic groups, see http://en.wikipedia.org/wiki/Dicyclic_group )
together with symmetric groups.
Inside my GAP code,
a function call to IsConjugate() before and after
a function call to CharacterTableDirectProduct() behaves very differently.
The first call at (1) works fine, returns false, which is the expected result.
After a call to CharacterTableDirectProduct(), the second call to
IsConjugate() at (2) ends up in a brk>.
Could you help me with this problem?
Do I do something wrong?
Or is there a bug?
Is there a way around this problem?
Thanks a lot, have a good weekend,
k.
#### The code is given below.
#### The calls to IsConjugate() are marked (1) and (2).
## 2009-11-20
## From Wikipedia:
## Binary Dihedral Group = Di-Cyclic Group with 4m elements
f := FreeGroup( "a", "x" );
m := 4;
Dic := f/[f.1^(2*m),f.2^4,f.1^m*f.2^-2, f.1*f.2*f.1*f.2^3 ];
SetName(Dic, Concatenation( "Dic(", String(4*m), ")" ) );
Ga := Dic;
n := 2;
gensGa := GeneratorsOfGroup( Ga );
a := gensGa[1]; x:=gensGa[2];
ctGa := CharacterTable( Ga );
ctSn := CharacterTable( "Symmetric", n );
## (1) IsConjugate() works here and the result is false.
IsConjugate(Ga, One(Ga), a^6);
ctSnxGa := CharacterTableDirectProduct( ctSn, ctGa);
## (2) IsConjugate() breaks here
IsConjugate(Ga, One(Ga), a^6);
----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.
More information about the Forum
mailing list