Algebraic computing in general relativity lecture notes from the First Brazilian School on Computer Algebra - MacCallum, M. A. H. (Clarendon Press, 1994)