52Note that with REDUCE Version 3.5 we use the global operator summinstead of sumto denote the sum.