Title: On computing limits in a symbolic manipulation system