Expand,
Factor,
Apart (modified) — now thread over equations as well as lists
AlgebraicNumber — implicit representation of a general algebraic number
FullSimplify (modified) — now supports general equational theorem proving
PossibleZeroQ — new heuristic test for zeros
Normalize,
Orthogonalize — normalize, orthogonalize families of functions