[GAP Forum] Forum Digest, Vol 119, Issue 2

[Mark Sapir]

Dear All,

I finally got a 128 Gb RAM machine and I am trying to run the
following program commuting a non-commutative Groebner basis. After a
a couple of hours GAP says that it is out of RAM. I guess I need to
change the way I call GAP so that it knows that more memory can be
used. Also if anybody can tell me about a different, stand alone,
programs that compute non-commutative Groebner bases, I would
appreciate it.


LoadPackage("GBNP", "0", false);
SetInfoLevel(InfoGBNP,1);
SetInfoLevel(InfoGBNPTime,1);
K:=GaloisField(2);
A:=FreeAssociativeAlgebra(K,"
a","b","c","d");
a:=A.a;;b:=A.b;;c:=A.c;;d:=A.d;;
Irels:=[
a-a*a*c-d*a*b,
b-a*b*c-d*b*b,
c-a*c*c-d*c*b,
d-a*d*c-d*d*b,

a*b*c-a*c*b-b*c*a+b*a*c,

];

GBR:=SGrobner(GP2NPList(Irels));;PrintNPList(GBR);

Best regards,

Mark Sapir