Dear Mike what about the non-commutative part of Singular (formerly known as "Plural")?
Certainly Singular can do non-commutative Groebner bases (one-sided or two-sided). I mainly use it to compute cohomology rings of finite p- groups in Sage (work in progress). So what i need are graded commutative algebras, which can be nicely expressed using Singular's "SuperCommutative" rings (see http://www.singular.uni-kl.de/Manual/3-0-4/sing_517.htm#SEC569). It works very well for me. > > It may come as no surprise, but Magma is probably the best software > > now in this area. I don't know concrete benchmarks, but i would be surprized if Singular wouldn't be as good as Magma in computing non-commutative Groebner bases. > I did a bit of playing around with the GAP package GBNP. It is pretty > nice, but the interface is a little clunky. What about a non-commutative version of LibSingular? As far as i understand, it would allow to do things directly without an interface. However, i don't know how difficult a "LibPlural" would be to obtain. Singular-Plural has one disadvantage though: It can not deal with free algebras. You need a PBW-basis (see http://www.singular.uni-kl.de/Manual/3-0-4/sing_417.htm#SEC457). Yours sincerely Simon --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/ -~----------~----~----~----~------~----~------~--~---
