Documentation

REDUCE includes considerable documentation, not only for the core system, but also for the many application packages included in the release. The main documentation is included in a standard REDUCE installation; it is available on Microsoft Windows via the Start menu and on other platforms in /usr/share/doc/reduce. (The documentation for REDUCE 3.8, the last commercial version of REDUCE released in 2004, is also still available for historical interest.)

For all users:

For advanced users:

  • Inside Reduce – how to build REDUCE, the structure of the REDUCE source code, and some low-level programming features;
  • Symbolic Mode Primer [ HTML | PDF ] – an introduction to programming in the REDUCE implementation language, RLISP, which is Standard Lisp with REDUCE (essentially ALGOL 60) syntax;
  • Standard Lisp Report [ HTML | PDF ] – defines Standard Lisp, the dialect of Lisp assumed by REDUCE;
  • PSL Users Manual [ HTML | PDF ] – documents Portable Standard Lisp, the original implementation of Standard Lisp;
  • CSL Reference – documents Codemist Standard Lisp, a later implementation of Standard Lisp.

The following documents for the user-contributed packages are dynamically generated links into the HTML version of the REDUCE User's Manual.

User Contributed Packages
  APPLYSYM: Infinitesimal Symmetries of Differential Equations
  ASSIST: Useful Utilities for Various Applications
  ATENSOR: A REDUCE Program for Tensor Simplification
  AVECTOR: A Vector Algebra and Calculus Package
  BIBASIS: A Package for Calculating Boolean Involutive Bases
  BOOLEAN: A Package for Boolean Algebra
  CALI: A Package for Computational Commutative Algebra
  CAMAL: Calculations in Celestial Mechanics
  CANTENS: A Package for Manipulations and Simplifications of Indexed Objects
  CDE: A Package for Integrability of PDEs
  CDIFF: A Package for Computations in Geometry of Differential Equations
  CGB: Computing Comprehensive Gröbner Bases
  COEFF2: A Variant of the coeff Operator
  CRACK: Solving Overdetermined Systems of PDEs or ODEs
  DESIR: Differential Linear Homogeneous Equation Solutions in the Neighborhood of Irregular and Regular Singular Points
  DFPART: Derivatives of Generic Functions
  DUMMY: Canonical Form of Expressions
with Dummy Variables

  EDS: A Package for Exterior Differential Systems
  ELLIPFN: A Package for Elliptic Functions and Integrals
  EXCALC: A Differential Geometry Package
  FIDE: Finite Difference Method for Partial Differential Equations
  GCREF: A Graph Cross Referencer
  GENTRAN: A Code Generation Package
  GRINDER: Calculation of three-loop diagrams in Heavy Quark Effective Theory
  GROEBNER: A Gröbner Basis Package
  GUARDIAN: Guarded Expressions in Practice
  IDEALS: Arithmetic for Polynomial Ideals
  INVBASE: A Package for Computing Involutive Bases
  LALR: A Parser Generator
  LAPLACE: Laplace Transforms
  LIE: Functions for the Classification of Real \(n\)-Dimensional Lie Algebras
  LINALG: Linear Algebra Package
  LISTVECOPS: Vector Operations on Lists
  LPDO: Linear Partial Differential Operators
  MRVLIMIT: A New Exp-Log Limits Package
  NCPOLY: Non-commutative Polynomial Ideals
  NORMFORM: Computation of
Matrix Normal Forms

  ODESOLVE: Ordinary Differential Equation Solver
  ORTHOVEC: Manipulation of Scalars and Vectors
  PHYSOP: Operator Calculus in Quantum Theory
  PM: A REDUCE Pattern Matcher
  QHULL: Compute the Complex Hull
  QSUM: Indefinite and Definite Summation of q-Hypergeometric Terms
  RANDPOLY: A Random Polynomial Generator
  RATAPRX: Rational Approximations Package for REDUCE
  RATINT: Integrate Rational Functions using the Minimal Algebraic Extension to the Constant Field
  REACTEQN: Support for Chemical Reaction Equation Systems
  REDLOG: Extend REDUCE to a Computer Logic System
  RLFI: REDUCE LaTeX Formula Interface
  SCOPE: REDUCE Source Code Optimization Package
  SETS: A Basic Set Theory Package
  SPARSE: Sparse Matrix Calculations
  SPDE: Finding Symmetry Groups of PDEs
  SPECFN: Package for Special Functions
  SPECFN2: Package for Special Special Functions
  SSTOOLS: Computations with Supersymmetric Algebraic and Differential Expressions
  SUM: A Package for Series Summation
  SYMMETRY: Operations on Symmetric Matrices
  TRI: TeX REDUCE Interface
  TRIGD: Trigonometrical Functions with Degree Arguments
  TRIGINT: Weierstraß Substitution in REDUCE
  WU: Wu Algorithm for Polynomial Systems
  XCOLOR: Color Factor in some Field Theories
  XIDEAL: Gröbner Bases for Exterior Algebra
  ZEILBERG: Indefinite and Definite Summation
  ZTRANS: Z-Transform Package