On Fri, Feb 16, 2018 at 10:44 PM, David Joyner <wdjoy...@gmail.com> wrote:
> On Fri, Feb 16, 2018 at 10:12 PM, David Roe <roed.m...@gmail.com> wrote:
> > I'm trying to use GAP's small groups library (after installing
> gap_packages)
> > and getting strange errors that don't occur in GAP when built from
> source.
> > In particular (using gap_console to get more traceback)
> >
> > sage: gap_console()
> > ...
> > 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 2 of *stdin*
> >
> > Similar problems are occurring with other groups and some other
> functions.
> >
> > In the interest of finishing my calculation, I tried the following in an
> > attempt to have Sage use a functional GAP:
> >
> > sage: import sage.interfaces.gap
> > sage: sage.interfaces.gap.gap_cmd = "/home/roed/gap4r8/bin/gap.sh"
> > sage: gap.eval('1+1')
> >
> > which hangs. Similarly, I tried copying my functional gap installation
> to
> > $SAGE_LOCAL/gap/ and updating the "latest" symlink; this allows
> > gap_console() to function correctly but gap.eval() still hangs.
> >
>
> I'm not sure if this helps, but in 7.6,
>
> gap> NormalSubgroups(SmallGroup(158,1));
> [ Group([ ]), Group([ f2 ]), <pc group of size 158 with 2 generators> ]
>
> and
>
> gap> SmallGroup(1458,1180);
> <pc group of size 1458 with 7 generators>
>
> work (but gap> NormalSubgroups(SmallGroup(1458,1180)); fails, as
> stated). Moreover
>
> sage: sage: import sage.interfaces.gap
> ....: sage: sage.interfaces.gap.gap_cmd = "/home/roed/gap4r8/bin/gap.sh"
> ....: sage: gap.eval('1+1')
> ....:
> '2'
> doesn't hang.
>
What version of GAP do you have there? I installed gap-4.6.10; maybe I
should try 4.6.8 to be compatible with Sage....
David
>
>
> > I don't tend to work with spkgs very often, so I feel like there's
> probably
> > something simple I'm overlooking. Any help in installing a functioning
> gap
> > would be appreciated. I'm also happy to help investigate what's wrong
> with
> > our process for installing the small groups library.
> > David
> >
> > --
> > You received this message because you are subscribed to the Google Groups
> > "sage-devel" group.
> > To unsubscribe from this group and stop receiving emails from it, send an
> > email to sage-devel+unsubscr...@googlegroups.com.
> > To post to this group, send email to sage-devel@googlegroups.com.
> > Visit this group at https://groups.google.com/group/sage-devel.
> > For more options, visit https://groups.google.com/d/optout.
>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-devel+unsubscr...@googlegroups.com.
> To post to this group, send email to sage-devel@googlegroups.com.
> Visit this group at https://groups.google.com/group/sage-devel.
> For more options, visit https://groups.google.com/d/optout.
>
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
