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
- [GAP Forum] Can GAP find Grobner basis for Noncmmutative algebras... 君