We present a new symbolic algebra package, written for Maple, for performin
g computations in the Geroch-Held-Penrose formalism. We demonstrate the ess
ential features and capabilities of our package by investigating Petrov-D v
acuum solutions of Einstein's field equations.