On 06/10/2015 06:08 PM, Souleiman omar hoche wrote: > I have to do this precisly: > > ->M:=(1/sqrt(2))*matrix([[1, 0, 0, 1], [0, 1, 1, 0], [0, 1, -1, 0], [1, 0, > 0, -1]]) > > ->N:=inverse(M) > > ->Y:=N*matrix([[y11*y11, y11*y12, y12*y11, y12*y12], [y11*y21, y11*y22, > y12*y21, y12*y22], [y21*y11, y21*y12, y22*y11, y22*y12], [y21*y21, y21*y22, > y22*y21, y22*y22]])*M > > ->relationrules:= > rule(y11*y11+y21*y21==1;y11*y11+y12*y12==1;y12*y12+y22*y22==1;y21*y21+y22*y22==1;y11*y12+y21*y22==0;y11*y21+y12*y22==0;y12*y11+y22*y21==0;y21*y11+y22*y12==0;y11*y22+y12*y21==sigma;y11*y22==y22*y11;y12*y21==y21*y12;y11*y12==-y12*y11;y21*y22==-y22*y21;y11*y21==-y21*y11;y22*y12==-y12*y22) > > -> map(c +-> relationrules c, Y) > > Until now the results of Fricas and the calculations i have made doesnt > coincide. And the problem is, i dont suggest to fricas that my > multiplication is not commutative. I want to learn how to do that and what > i understand with you is that i must create my own algebra an working on it. > > Thanks for reading my thoughts.
Thanks for your description. However, that is still not your *problem*, me thinks. What you have given is a number of steps from which I have to figure out that you want to get a matrix of polynomials in yij. Your hint that you are working on quantum groups (in another email) is good. I'm not working in this field, but I have the impression that your yij and their relations can be represented by matrices. That would probably already cover a description of the algebra of the yji's. My guess, you want to get relations in the yij as a result so the idea would then be to construct a algebra that implements the operations via matrix multiplication. I'm not yet sure whether you can uniquely recover the initial matrices for the yij's from a general matrix. So more details of the problem is welcome. What is your input and what do you want to achieve in the end? Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
