16 User Contributed Packages

The complete REDUCE system includes a number of packages contributed by users that are provided as a service to the user community. Questions regarding these packages should be directed to their individual authors.

All such packages have been precompiled as part of the installation process. However, many must be specifically loaded before they can be used. (Those that are loaded automatically are so noted in their description.) You should also consult the user notes for your particular implementation for further information on whether this is necessary. If it is, the relevant command is LOAD_PACKAGE, which takes a list of one or more package names as argument, for example:

        load_package algint;

although this syntax may vary from implementation to implementation.

Nearly all these packages come with separate documentation and test files (except those noted here that have no additional documentation), which is included, along with the source of the package, in the REDUCE system distribution. These items should be studied for any additional details on the use of a particular package.

The packages available in the current release of REDUCE are as follows:

 16.1 ALGINT: Integration of square roots
 16.2 APPLYSYM: Infinitesimal symmetries of differential equations
 16.3 ARNUM: An algebraic number package
 16.4 ASSERT: Dynamic Verification of Assertions on Function Types
 16.5 ASSIST: Useful utilities for various applications
 16.6 AVECTOR: A vector algebra and calculus package
 16.7 BIBASIS: A Package for Calculating Boolean Involutive Bases
 16.8 BOOLEAN: A package for boolean algebra
 16.9 CALI: A package for computational commutative algebra
 16.10 CAMAL: Calculations in celestial mechanics
 16.11 CANTENS: A Package for Manipulations and Simplifications of Indexed Objects
 16.12 CDE: A package for integrability of PDEs
 16.13 CDIFF: A package for computations in geometry of Differential Equations
 16.14 CGB: Computing Comprehensive Gröbner Bases
 16.15 COMPACT: Package for compacting expressions
 16.16 CRACK: Solving overdetermined systems of PDEs or ODEs
 16.17 CVIT: Fast calculation of Dirac gamma matrix traces
 16.18 DEFINT: A definite integration interface
 16.19 DESIR: Differential linear homogeneous equation solutions in the neighborhood of irregular and regular singular points
 16.20 DFPART: Derivatives of generic functions
 16.21 DUMMY: Canonical form of expressions with dummy variables
 16.22 EXCALC: A differential geometry package
 16.23 FIDE: Finite difference method for partial differential equations
 16.24 FPS: Automatic calculation of formal power series
 16.25 GCREF: A Graph Cross Referencer
 16.26 GENTRAN: A code generation package
 16.27 GNUPLOT: Display of functions and surfaces
 16.28 GROEBNER: A Gröbner basis package
 16.29 GUARDIAN: Guarded Expressions in Practice
 16.30 IDEALS: Arithmetic for polynomial ideals
 16.31 INEQ: Support for solving inequalities
 16.32 INVBASE: A package for computing involutive bases
 16.33 LALR: A parser generator
 16.34 LAPLACE: Laplace transforms
 16.35 LIE: Functions for the classification of real n-dimensional Lie algebras
 16.36 LIMITS: A package for finding limits
 16.37 LINALG: Linear algebra package
 16.38 LISTVECOPS: Vector operations on lists
 16.39 LPDO: Linear Partial Differential Operators
 16.40 MODSR: Modular solve and roots
 16.41 NCPOLY: Non–commutative polynomial ideals
 16.42 NORMFORM: Computation of matrix normal forms
 16.43 NUMERIC: Solving numerical problems
 16.44 ODESOLVE: Ordinary differential equations solver
 16.45 ORTHOVEC: Manipulation of scalars and vectors
 16.46 PHYSOP: Operator calculus in quantum theory
 16.47 PM: A REDUCE pattern matcher
 16.48 POLYDIV: Enhanced Polynomial Division
 16.49 QSUM: Indefinite and Definite Summation of q-hypergeometric Terms
 16.50 RANDPOLY: A random polynomial generator
 16.51 RATAPRX: Rational Approximations Package for REDUCE
 16.52 REACTEQN: Support for chemical reaction equation systems
 16.53 REDLOG: Extend REDUCE to a computer logic system
 16.54 RESET: Code to reset REDUCE to its initial state
 16.55 RESIDUE: A residue package
 16.56 RLFI: REDUCE LATEX formula interface
 16.57 ROOTS: A REDUCE root finding package
 16.58 RSOLVE: Rational/integer polynomial solvers
 16.59 RTRACE: Tracing in REDUCE
 16.60 SCOPE: REDUCE source code optimization package
 16.61 SETS: A basic set theory package
 16.62 SPARSE: Sparse Matrix Calculations
 16.63 SPDE: Finding symmetry groups of PDE’s
 16.64 SPECFN: Package for special functions
 16.65 SPECFN2: Package for special special functions
 16.66 SSTOOLS: Computations with supersymmetric algebraic and differential expressions
 16.67 SUM: A package for series summation
 16.68 SYMMETRY: Operations on symmetric matrices
 16.69 TAYLOR: Manipulation of Taylor series
 16.70 TPS: A truncated power series package
 16.71 TRI: TeX REDUCE interface
 16.72 TRIGSIMP: Simplification and factorization of trigonometric and hyperbolic functions
 16.73 TURTLE: Turtle Graphics Interface for REDUCE
 16.74 WU: Wu algorithm for polynomial systems
 16.75 XCOLOR: Color factor in some field theories
 16.76 XIDEAL: Gröbner Bases for exterior algebra
 16.77 ZEILBERG: Indefinite and definite summation
 16.78 ZTRANS: Z-transform package