[GAP Forum] Can GAP find Grobner basis for Noncmmutative algebras?

[君]

Hello,Jan!
I want to know that if the gbnp package can be used to find the Grobner bases for noncommutative associative algebras,such as
A=K<a,b|aba-b,bab-a>,can you use the package to find the normal forms of A? And what is the program?Thank you for your help!
Regards,
dearmj<br><br>在2010-04-12 23:44:41，"Jan Willem Knopper" <jknopper at win.tue.nl> 写道：
>Max Horn wrote:
>> 
>> Am 12.04.2010 um 15:48 schrieb 君:
>> 
>> > Hello，Max！Could you tell me where I can download the  GBNP package ?Or can you give me a link?
>> 
>> GBNP is not yet an accepted or even deposited GAP package, but there is a link to it on <http://www.gap-system.org/Packages/undep.html> pointing to <http://www.win.tue.nl/~amc/pub/grobner/>. Newer versions are much better and nicer, and I hope it will be released in the not to distant future, but that is of course up to its authors :).
>> 
>Hello 君,
>
>You might be interested to know that a newer version can be found at
>http://mathdox.org/gbnp/ . A direct link to download it is
>http://mathdox.org/products/gbnp/GBNP-1.0.tar.gz
>
>If you have any problems or questions, feel free to mail me,
>
>Regards,
>
>Jan Willem Knopper