Software presented at the workshop "Quantitative Local Analysis of Nonlinear Systems Using Sum-of-Squares Decompositions" on June 9, 2009 at the American Controls Conference in St. Louis, Missouri.