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
_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum
