Text this: The Hensel lemma in algebraic manipulation /