Text this: Computational aspects of polynomial identities /