Limitations of GAP interface

[Andrey Novoseltsev]

This has been reported at https://github.com/sagemath/sagecell/issues/560 but as far as I can see is the problem of GAP interface in Sage itself. Perhaps somebody familiar with it may want to take a look ;-)

[Dima Pasechnik]

the following works with Sage 9.6.rc1

sage: t=libgap.function_factory('''function()
....: local Q, KQ, rel, A;
....: LoadPackage("qpa");
....: Q:=Quiver(3,[[1,2,"a"],[2,3,"b"]]);
....: KQ:=PathAlgebra(GF(3),Q);
....: AssignGeneratorVariables(KQ);
....: rel:=[a*b];
....: A:=KQ/rel;
....: return A;
....: end;''')
sage: t()
#I Assigned the global variables [ v1, v2, v3, a, b ]
<GF(3)[<quiver with 3 vertices and 2 arrows>]/<two-sided ideal in
<GF(3)[<quiver with 3 vertices and 2 arrows>]>, (1 generators)>>
sage:

I won't want to touch GAP's pexpect interface...

On Sun, Apr 24, 2022 at 8:57 PM Andrey Novoseltsev <novo...@gmail.com> wrote:
>
> This has been reported at https://github.com/sagemath/sagecell/issues/560 but as far as I can see is the problem of GAP interface in Sage itself. Perhaps somebody familiar with it may want to take a look ;-)
>

> --
> 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+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/4247d756-91f0-49f5-aa4d-20a5e6baf662n%40googlegroups.com.

[Dima Pasechnik]

In case, one can in fact do this computation without the need to
swithing to GAP, as follows:

sage: libgap.LoadPackage("qpa")
....: Q=libgap.Quiver(3,[[1,2,"a"],[2,3,"b"]])
....: KQ=libgap.PathAlgebra(libgap.GF(3),Q)
....: KQ.AssignGeneratorVariables()
true
...

#I Assigned the global variables [ v1, v2, v3, a, b ]

sage: a=libgap.eval('a')
....: b=libgap.eval('b')
....: rel=[a*b]
....: KQ/rel

<GF(3)[<quiver with 3 vertices and 2 arrows>]/<two-sided ideal in
<GF(3)[<quiver with 3 vertices and 2 arrows>]>, (1 generators)>>