Is there a right way to implement anticommuting spinors so that it can work with Simplify, possibly algebraic functions like Expand, and possibly also numerical calculations?
I have a friend in the Physics department who has been asking me this for a few years, so it would really help him out. Thanks.
