ARMA models provide a parsimonious and flexible mechanism for modeling the evolution of a time series. Some useful measures of these models (e.g., the autocorrelation function or the spectral density function) are tedious to compute by hand. This paper uses a computer algebra system, not...