
Abstract
This document provides the user with a description of the algebraic programming system
REDUCE. The capabilities of this system include:
- expansion and ordering of polynomials and rational functions,
- substitutions and pattern matching in a wide variety of forms,
- automatic and user controlled simplification of expressions,
- calculations with symbolic matrices,
- arbitrary precision integer and real arithmetic,
- facilities for defining new functions and extending program syntax,
- analytic differentiation and integration,
- factorization of polynomials,
- facilities for the solution of a variety of algebraic equations,
- facilities for the output of expressions in a variety of formats,
- facilities for generating numerical programs from symbolic input,
- Dirac matrix calculations of interest to high energy physicists.