Hi Justin,
basically you're given say the generators x,y over some field K
and three relations, xy + yx + ... = 0, f(x)=0, g(y) = 0.
The classical way to input such an algebra is
1) define the algebra, say A, in x,y with the relation xy + yx + ... = 0 (with, say,
ncalg command)
2) compute a two-sided Groebner basis of the ideal in A,
generated by polynomials f(x), g(y):
Code:
poly f = ...; poly g = ...;
ideal Q = f,g;
Q = twostd(Q);
Here it would be interesting to see what Q gives
3) pass to the factor algebra modulo Q
Code:
qring q = Q;
If you have further problems, please send me some examples you're playing with to levandov at mathematik.uni-kl.de
Best regards.
Viktor