If there is an noncommutative associative algebra, presented as A=K<X|R>,where 
X is the generating set, R is the relations set.
My question is: How to use GAP to find the Grobner basis for A?
P.S.:Can GAP find the Grobner shirshov basis for A,too?
I hope to get some help from experts.
_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum

Reply via email to