I need to write some reduce code to perform coalgebra/bialgebra
calculations. I would like to be able to construct abstract (tensor) products
in which * is a tensor product, A_n and B_n are unspecified non-commuting
operators and A and C are 2x2 matrices. In practice A_n, B_n, ... depend on parameters.
In particular I need to be able to
do algebra with these, for example
(A_n* A)(B_n*C)=(A_n B_n)*(AC)
in which * is again a tensor procuct, and AC is the matrix product of A and C.
I have tried various things, all of which fail or cause stack overflows.
Do you have any suggestions?
% coproducts in lowest dim'l rep
% this fails
for all i let for all j let dA(i)*dA(j)=(An(i)*An(j))*(A2*A2);
Any suggestions would be welcome.
Regards, Jeff Schmidt