buglist bug 7253: There are no library operations named 'when'

ch : Integer -> UnivariatePolynomial(x,FRAC(INT))
ch(0) == 1
ch(1) == x
ch(n) == 2 * x * ch(n-1) - ch(n-2) when n > 1
ch(2)