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