Ok. Consider the example of the 2*2 square matrix : « matrix([[a*log(sin x)-2*log(x), log(x)+log(y)], [log(x)-log(y), 3*log(x)-4*log(x+3)+log(y)]]) » and the rules : «logrules:=rule(log(x)+log(y)==log(x*y); log(x)-log(y)==log(x/y);y*log(x)==log(x^y)) ». If, i put : « f:=a*log(sin x)-2*log(x) » and use the command « logrules f », i obtain : « log(sin^{a}(x)/x^2) ».
But if i use the command « logrules M », i obtain : « There are no library operations named logrules
Use HyperDoc Browse or issue
)what op logrules
to learn if there is any operation containing " logrules " in its
name.
Cannot find a definition or applicable library operation named
logrules with argument type(s)
Matrix(Expression(Integer))
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need. ».
Is it possible to simplify the matrix M in one shot? Idest all the elements of the matrix M in one shot?
Thanks in advance.
Sorry, i forgot to precise that : «M:=matrix([[a*log(sin x)-2*log(x), log(x)+log(y)],[log(x)-7*log(y), 3*log(x)-4log(x+3)+log(y)]]) ».
In my rules for the simplification of my matrix 4*4, there a lot of expression of the type « y11*y12==-y12*y11 », in fact the place of the yij (in the first position or in the second position, there are commuting only if all the indice are different) is important but i remark that for fricas it is the same.
Here are my rules : « yjk*yjl=-yjl*yjk for k ≠ l;ykj*ylj=-ylj*ykj for k ≠ l; yjk*ylm=ylm*yjk for j ≠ l and k ≠ m».
Fricas dont make the difference between the two position, what can i do to force fricas to make the difference ?
Thanks in advance.