Brendan Guilfoyle,PhD, Institute of Technology Tralee, Irland Using the Computer Algebra System REDUCE in general relativity