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.