2004/03/14 Fixed power() so that it recognizes constant powers. Added
TODO List. Finished testSM(): new requirements in TODO.

2004/03/13 Added change log on esteemed advice of Steffen Müller. Made
yet another attempt to stop polynomialDivide() from producing an
infinite series as a representation of a single term. Most of
mathematics seems to erupt from the division of one polynomial by
another.

I am carefully studying SM's work. Started testSM() to see whether I can
reproduce his results.  Have reached test11.