Hi guys, i created a procedure to produce the commutator lie bracket, for the lie algebra
so basically commutator(x,y)=x&*y-y&*x
where x and y are not commutative. But there is a problem when i add constants into the mix, like a*x, a is treated as a variable. So i wonder if within the simplify function, there is a way to set certain variables/constants to be commutative or to declare a variable as a constant variable.
If more information is needed check down here
I am attempting to output the results of a derivation map D
so say we have 2 elements of the lie algebra, x and y, and L is spanned by x and y,
D(x)=ax+by and D(y)=cx+dy, where a,b,c,d are constants,
so basically linear combinations of the 2 elements. Now when i place Dx into my commutator bracket, the result should be
commutator(Dx,y)=commutator(cx+dy,y) and since the commutator is bilinear (that means [x+y,z]=[x,z]+[y,z] and [ax,z]=a[x,z])
but i don't get this result.