Pure-spinor-in-AdS5-Mathematica Mathematica program for computations of pure spinor string theory in AdS5 times S5 This program can perform manipulate Casismir identities and check if a given expression is Q-closed.