Let us say I have the following commutation relations for an algebra:
[J0,J1]=J2
[J0,J2]=−J1
[J1,J2]=2J0
I would like to define these commutation relations and do manipulations with them. For example, I would like to calculate
[J0,[J0,J1]]+[[J1,J2],J1].
How do (or, can) we do this in SageMath?
Bonus question: Can we find the Casimir operator for this algebra in SageMath?