[Go to site: main page, start]



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:

  • Additional Documentation – for packages not covered in the REDUCE manual;
  • 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
  CONLAW: Find Conservation Laws for Differential Equations
  CRACK: Solving Overdetermined Systems of ODEs or PDEs
  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
  MATHML: REDUCE-MathML Interface
  MATHMLOM: REDUCE OpenMath/MathML Interface
  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
  SUSY2: Supersymmetric Functions and Algebra of Supersymmetric Operators
  SYMMETRY: Operations on Symmetric Matrices
  TRI: TeX REDUCE Interface
  TRIGD: Trigonometrical Functions with Degree Arguments
  TRIGINT: Weierstraß Substitution in REDUCE
  V3TOOLS: Computations with Polynomials of Scalar Vector Products
  WITH: Local Switch Settings
  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

Page last modified on Tuesday 16th June 2026.

All information available through this web site is Copyright © Anthony C. Hearn and the REDUCE developers 2009–2026. All Rights Reserved.

Please report broken links (both in-coming and out-going), other errors or suggestions for improvement to webmaster.

This web site is built using PHP and Bootstrap. It should be valid XHTML5.

Microsoft Internet Explorer does not display this web site correctly; please use a current web browser.