Loading [MathJax]/jax/output/HTML-CSS/jax.js
Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

asked 3 years ago

tolga gravatar image

How do we define commutation relations?

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?