> < ^ Date: Fri, 12 Mar 1993 14:31:41 +0100
< ^ From: Ralf Dentzer <dentzer@polyhymnia.iwr.uni-heidelberg.de >
> ^ Subject: ConjugacyClassesSubgroups

Under certain conditions the function ConjugacyClassesSubgroups doesn't
seem to work correctly. I have a subgroup U of a parent group G with the
following RecFields:

gap> RecFields(U);
[ "generators", "identity", "isDomain", "isGroup", "isAgGroup", "parent",
"operations", "size", "cgs", "zuppoBlist", "isFinite", "shiftInfo",
"normalizer", "isAbelian", "elements", "zuppos", "trivialSubgroup",
"generatorZuppoBlist", "perfectSubgroups" ]
gap> RecFields(G);
[ "generators", "identity", "isDomain", "isGroup", "isAgGroup", "cgs",
"operations", "1", "2", "3", "4", "5", "name", "isAbelian", "elements",
"zuppos", "zuppo_generators", "zuppo_powers", "zuppo_primes",
"zuppo_exponents", "trivialSubgroup", "size", "generatorZuppoBlist",
"perfectSubgroups", "zuppoBlist", "compositionSeries",
"elementaryAbelianFactors", "isSolvable", "elementaryAbelianSeries",
"index", "isFinite", "shiftInfo", "generatorZuppos", "lattice",
"conjugacyClassesSubgroups", "isNormal", "factorGroup", "conjugacyClasses",
"normalClosure", "normalSubgroups" ]

and I get the following error:

gap> ConjugacyClassesSubgroups(U);
Error, Record: element 'zuppo_powers' must have an assigned value at
if G.zuppo_powers[pos] = false or hzup[G.zuppo_powers[pos]] ... in
H.representative.operations.SetLatticeStatus( L, H, status ) called from
SetLatticeStatus( L, C, L.classGroups ) called from
obj.operations.Lattice( obj ) called from
Lattice( G ) called from
G.operations.ConjugacyClassesSubgroups( G ) called from

The function works properly if I call it with

gap> ConjugacyClassesSubgroups(Group(U));

In case you are interested: G = grp_32_40 and
U = Subgroup( G, [G.1, G.2, G.4, G.5]).

Best regards
Ralf Dentzer

> < [top]