> < ^ Date: Wed, 15 Aug 2001 08:47:28 +0200
> < ^ From: Kurt Ewald <Kurt.Ewald@balbec.de >
> ^ Subject: AW: LatticeSubgroups problem

Forum

I have tried the same and it worked:

Loading the library. Please be patient, this may take a while.
GAP4, Version: 4r2 fix3 of 18-May-2000, i586-pc-cygwin-gcc
Components: small, small2, small3, small4, small5, small6, small7,
small8, id2, id3, id4, id5, id6, trans, prim, tbl,
tom installed.
gap> g:=SmallGroup(144,32);
<pc group of size 144 with 6 generators>
gap> lat:=LatticeSubgroups(g);
<subgroup lattice of <pc group of size 144 with 6 generators>, 25 classes,
142 subgroups>
gap>

Mit freundlichen Grüßen / best regards

Kurt Ewald

-----Ursprüngliche Nachricht-----
Von: GAP-Forum-Sender@dcs.st-and.ac.uk
[mailto:GAP-Forum-Sender@dcs.st-and.ac.uk]Im Auftrag von Gordon Royle
Gesendet: Mittwoch, 15. August 2001 06:03
An: Multiple recipients of list
Betreff: LatticeSubgroups problem

I am trying to determine if a given graph on 72 vertices is a
Cayley graph; its full automorphism group is "SmallGroup(144,32)" and
so I need to know if this has a subgroup of order 72.

But if I simply ask for the subgroup lattice, then it crashes
with a mysterious error....

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

ading the library. Please be patient, this may take a while.
GAP4, Version: 4r2 fix6 of 26-January-2001, i686-pc-linux-gnu-gcc
Components: small, small2, small3, small4, small5, small6, small7,
small8, id2, id3, id4, id5, id6, trans, prim, tbl,

gap> g := SmallGroup(144,32);
<pc group of size 144 with 6 generators>
gap> l := LatticeSubgroups(g);
Error <obj> is not an element of the parent of <G> at
Error( "<obj> is not an element of the parent of <G>" );
ClosureSubgroup( Pu, i ) called from
ActionSubspacesElementaryAbelianGroup( f, n ) called from
SubgroupsSolvableGroup( G, rec(
retnorm := true ) ) called from
<function>( <arguments> ) called from read-eval-loop
Entering break read-eval-print loop, you can 'quit;' to quit to outer loop,
or you can return to continue
brk>


> < [top]