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?
