I was trying to use the LeviCivita in the physics package to type the left side of the following equation and let maple compute the right side, where it considers the totally antisymmetric tensor identity which reduces to 4 Kronckers. Then the Kroneckers disappear and give rise to the right hand side. But I don't know how to tell maple to do this. There is also another Levi_Civita command in the tensor package.
Is it possible to let maple solve such an identity symbolically.