[GAP Forum] Error in NormalSubgroups

David Roe roed at mit.edu
Thu Feb 15 07:16:47 GMT 2018


In my version of GAP (4.8.6 included in Sage, with the SmallGroups library
added), the following command produces an error:

gap> NormalSubgroups(SmallGroup(1458,1180));
Error, List Element: <list>[4] must have an assigned value in
  if map[d] > max  then
    elm := id;
else
    if not IsBound( map[d] )  then
        Error( "<elm> lies not in group defined by <pcgs>" );
    fi;
    ll := LeadingExponentOfPcElement( pa, elm );
    lr := lc[d];
    exp[map[d]] := ll / lr mod ros[d];
    elm := LeftQuotientPowerPcgsElement( pcgs, map[d], exp[map[d]], elm );
fi; at /home/roed/sage/local/gap/latest/lib/pcgsind.gi:1411 called from
ExponentsOfPcElement( NumeratorOfModuloPcgs( pcgs ), elm, pcgs!.depthMap )
at /home/roed/sage/local/gap/latest/lib/pcgsmodu.gi:931 called from
ExponentsOfPcElement( ocr.modulePcgs, x ) at
/home/roed/sage/local/gap/latest/lib/onecohom.gi:264 called from
ocr.moduleMap( n ) at /home/roed/sage/local/gap/latest/lib/onecohom.gi:339
called from
ocr.listToCocycle( lc ) at /home/roed/sage/local/gap/latest/lib/
grplatt.gi:1926 called from
opr( Zero( vs ), k ) at /home/roed/sage/local/gap/latest/lib/grplatt.gi:1932
called from
...  at line 1 of *stdin*

I tried installing the most recent version of GAP from source to see if the
error was also present there, but ran into a build error:

checking for GAP architecture... x86_64-apple-darwin16.7.0-gcc-default64

********************************************************************
  ERROR

  Found a GAP installation at /Users/roed/sage/gap4r8 but could not find
  information about GAP's architecture in the
  file /Users/roed/sage/gap4r8/sysinfo.gap or did not find the directory
  /Users/roed/sage/gap4r8/bin/x86_64-apple-darwin16.7.0-gcc-default64.
  This file and directory should be present: please check your
  GAP installation.
********************************************************************

configure: error: Unable to find plausible GAParch information.
= Failed to build xgap-4.26


Does anyone else see this error in finding the normal subgroups of
SmallGroup(1458, 1180)?  I'm able to successfully execute this command for
many other groups in the table of small groups....

Thanks,
David


More information about the Forum mailing list