Faster polynomial multiplication.
Accept more solutions from 'solve'.
More scalable rational reconstruction.
Replace 'Domain' by 'Type'.
add libraries for LaTeXed output in emacs mode
Faster check for guessPRec.
Improve guessing with allDegress.
Add 'Comparable' to XPOLY and Tensor domains.
More efficient coercion.
Make 'Complex(Integer)' into UniqueFactorizationDomain.