; ; $Id$ ; README ------ A parser for univariate polynomials (into OpenMath).