Seol mar théacs é seo: On computing limits in a symbolic manipulation system /