The denom command finds the denominator of a rational function after it has been reduced. (See also Section 7.2.4.)