Text this: Algebraic computing in general relativity