Singular

Dear members,

Assume I have a noncommutative algebra A with variables x(1), x(2),..., x(6) and a noncommutative subalgebra B of A generated by the elements p=x(1)*x(3), q=x(1)(2), t=x(1)*x(4)*x(5), r=x(2)*x(3)*x(6) and assume that I computed for example the bracket [p, r] by hand and I got the result
[p, r]= p*q*t*r - p*t^2+ r.

The problem when I use Singular to compute the same bracket [p, r], I got the result in the variables x(1), x(2),..., x(6) not in p,q,t,r.

My question: How can I make Singular give me the results of the bracket [p, r] in the elements p,q,t,r as I do it by hand?


It will take a lot of time if I do it by hand.

Hi,

there's a workaround to do what you want.
Your expression for q as x(1)(2) is not clear, I
interprete it as x(1)^2.

Dear Levandov,

Thank you a lot for your help.
But I couldn't use your idea for my computation. I think it doesn't work.
Let me explain exactly what I want to compute.
I have the algebra U(sl4) generated by the variables:
x(1), x(2), x(3), x(4), x(5), x(6), y(1), y(2), y(3), y(4), y(5), y(6), h(1), h(2), h(3).
And I have the subalgebra B generated by:
1, h(1), h(2), h(3), b(1)=x(1)*y(1), b(2)=x(2)*y(2), b(3)=x(3)*y(3), b(4)=x(4)*y(4), b(5)=x(5)*y(5), b(6)=x(6)*y(6), ... , b(20)=....
And I want to compute the element b(5)*b(1)?
If I do it by Singular:

>LIB "ncalg.lib";
>def a=makeUsl(4);
>setring a;
> poly b(1)=x(1)*y(1);
> poly b(5)=x(5)*y(5);
>b(5)* b(1);

The answer will be: x(1)*x(5)*y(1)*y(5)+x(6)*y(1)*y(5)-x(1)*x(5)*y(6)-x(6)*y(6)
which is correct answer but I want the answer to be in the elements of the subalgebra B (in b(1),..., b(20)). The answer suppose to be somthing like this:
b(5)*b(1)= b(1)*b(5)+h(3)*(b(9)-b(2))-h(1)*b(18) .... (not correct answer just to explain the idea)

If I use your idea above, I will get b(5)*b(1)=b(5)*b(1) which is not what I want.

any help please?