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:
- REDUCE User's Manual [ HTML | PDF ] – a comprehensive guide to the REDUCE language and the supported packages. It can be accessed via the Help menu in the CSL REDUCE GUI (and in Run-REDUCE) [note on external linking];
- Switch Summary – an overview of the switches that control REDUCE.
- Working Directories – an overview of working directory support in PSL and CSL REDUCE.
- Unix-style Man Pages – details of commands for running REDUCE.
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
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