An Algebraic Solution to the Problem of Collision Detection for Rigid Polyhedral Objects