## Software for Combinatorial Algebra sought

I am looking for software which helps me do straightforward tasks in combinatorial algebra. Let me give an example of what I mean by a straightforward task:

I have two graded (generally noncommutative!) algebras $A$ and $B$ given by generators and homogeneous relations. Given two graded algebra homomorphisms $f,g:A\to B$ which are given by their values on the generators. I want to be able, for every fixed $n\in\mathbb N$, to know whether the kernel of $A$ in degree $n$ is contained in the kernel of $B$ in degree $n$.

This is a completely elementary linear-algebraic problem, in the sense that no GrÃ¶bner bases are required (because everything is graded), so it shouldn't be hard to do for a computer. I would like to be able to do this and many similar tasks with the least possible amount of work. In particular, I don't want to have to write scripts that translate my problem into linear algebra in order to feed them to the software (that should be done by the software), and I don't want to have to install experimental and undocumented extensions/libraries. I am not sure whether Singular does all I want in the commutative case, but it's certainly the right direction. Plural (the noncommutative algebra module of Singular) is not the right direction.

-
Have you looked into Sage? – Alexander Woo Jan 24 2012 at 3:32
I think GAP can be useful here. gap-system.org – Lyosha Jan 24 2012 at 5:36
Let me mention: mathoverflow.net/questions/85400/… – Alexander Chervov Jan 24 2012 at 5:52
Thanks, I'll look into both (but I can't say I want to have to do anything with GAP again...) - which libraries are closest to what I want? – darij grinberg Jan 24 2012 at 8:31
I think Magma algebra system is useful for your question. Also it has a combinatorics and linear algebra packages. – Shahrooz Jan 24 2012 at 11:04