Let $A$ be a noncommutative finitely generated algebra with a finitely generated set of relations. Moreover, assume that $A$ is finite dimensional as a vector space. 


What I want to know is, can Mathematica (or any other package) be used to find the dimension of $A$ given only the generators of $A$ and the generators of the set of relations? Or, even better, can Mathematica (or any other package) be used to find a basis of $A$ given only the generators of $A$ and the generators of the set of relations?


Basic examples would be particularily helpful.



Basis of a Finite Dimensional Algebra with a Finitely Generated Relation Set By Computer
As it was mentioned in my comment, you can use [GAP](http://www.gap-system.org/) and the noncommutative Gröbner bases package [gbnp](http://mathdox.org/products/gbnp/), written by Arjeh M. Cohen and Jan Willem Knopper. 


Here you have an **example**:


Assume that you want to compute the dimension and a basis for the algebra $A$ with generators $a,b,c$ and relations 
$a^2 =b^2=c^2=0$, 
$ab + ca + bc = 0$ and $ba + cb + ac = 0$.


(This algebra is related to Schubert calculus and it was first 
discovered by Fomin and Kirillov, see [MR1667680 (2001a:05152)](http://www.ams.org/mathscinet-getitem?mr=1667680).)



```
gap> LoadPackage("gbnp");
-----------------------------------------------------------------------------
Loading  GBNP 0.9.5 (Non-commutative Gröbner bases)
by A.M. Cohen (http://www.win.tue.nl/~amc) and
   D.A.H. Gijsbers (D.A.H.Gijsbers@tue.nl).
-----------------------------------------------------------------------------
true
gap> A := FreeAssociativeAlgebraWithOne(Rationals, "a", "b", "c");;
gap> a := A.a;;
gap> b := A.b;;
gap> c := A.c;;
gap> rels := [a^2, b^2, c^2, a*b+c*a+b*c, b*a+c*b+a*c];;
gap> K := GP2NPList(rels);;                             
gap> G := SGrobner(K);;
gap> Display(DimQA(G,3));
12
gap> PrintNPList(BaseQA(G, 3, 0));
 1 
 a 
 b 
 c 
 ab 
 ac 
 ba 
 bc 
 aba 
 abc 
 bac 
 abac 

```

Here is the complete reference related to this algebra:


Fomin, Sergey; Kirillov, Anatol N. Quadratic algebras, Dunkl elements, and Schubert calculus. Advances in geometry, 147--182, Progr. Math., 172, Birkhäuser Boston, Boston, MA, 1999. [MR1667680 (2001a:05152)](http://www.ams.org/mathscinet-getitem?mr=1667680).)


