Date: 2020-10-07 18:10:00

Up | Next | Prev | PrevTail | Tail

## 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 speciﬁcally 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 ﬁles (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: Inﬁnitesimal symmetries of diﬀerential equations
16.3 ARNUM: An algebraic number package
16.4 ASSERT: Dynamic Veriﬁcation 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 Simpliﬁcations of Indexed Objects
16.12 CDE: A package for integrability of PDEs
16.13 CDIFF: A package for computations in geometry of Diﬀerential Equations
16.14 CGB: Computing Comprehensive Gröbner Bases
16.15 COEFF2: Computing Comprehensive Gröbner Bases
16.16 COMPACT: Package for compacting expressions
16.17 CRACK: Solving overdetermined systems of PDEs or ODEs
16.18 CVIT: Fast calculation of Dirac gamma matrix traces
16.19 DEFINT: A deﬁnite integration interface
16.20 DESIR: Diﬀerential linear homogeneous equation solutions in the neighborhood of irregular and regular singular points
16.21 DFPART: Derivatives of generic functions
16.22 DUMMY: Canonical form of expressions with dummy variables
16.23 EXCALC: A diﬀerential geometry package
16.24 FIDE: Finite diﬀerence method for partial diﬀerential equations
16.25 FPS: Automatic calculation of formal power series
16.26 GCREF: A Graph Cross Referencer
16.27 GENTRAN: A code generation package
16.28 GNUPLOT: Display of functions and surfaces
16.29 GROEBNER: A Gröbner basis package
16.30 GUARDIAN: Guarded Expressions in Practice
16.31 IDEALS: Arithmetic for polynomial ideals
16.32 INEQ: Support for solving inequalities
16.33 INVBASE: A package for computing involutive bases
16.34 LALR: A parser generator
16.35 LAPLACE: Laplace transforms
16.36 LIE: Functions for the classiﬁcation of real n-dimensional Lie algebras
16.37 LIMITS: A package for ﬁnding limits
16.38 LINALG: Linear algebra package
16.39 LISTVECOPS: Vector operations on lists
16.40 LPDO: Linear Partial Diﬀerential Operators
16.41 MODSR: Modular solve and roots
16.42 MRVLIMIT: A new exp-log limits package
16.43 NCPOLY: Non–commutative polynomial ideals
16.44 NORMFORM: Computation of matrix normal forms
16.45 NUMERIC: Solving numerical problems
16.46 ODESOLVE: Ordinary diﬀerential equations solver
16.47 ORTHOVEC: Manipulation of scalars and vectors
16.48 PHYSOP: Operator calculus in quantum theory
16.49 PM: A REDUCE pattern matcher
16.50 QHULL: Compute the complex hull
16.51 QSUM: Indeﬁnite and Deﬁnite Summation of q-hypergeometric Terms
16.52 RANDPOLY: A random polynomial generator
16.53 RATAPRX: Rational Approximations Package for REDUCE
16.54 RATINT: Integrate Rational Functions using the Minimal Algebraic Extension to the Constant Field
16.55 REACTEQN: Support for chemical reaction equation systems
16.56 REDLOG: Extend REDUCE to a computer logic system
16.57 RESET: Code to reset REDUCE to its initial state
16.58 RESIDUE: A residue package
16.59 RLFI: REDUCE LATEX formula interface
16.60 ROOTS: A REDUCE root ﬁnding package
16.61 RSOLVE: Rational/integer polynomial solvers
16.62 RTRACE: Tracing in REDUCE
16.63 SCOPE: REDUCE source code optimization package
16.64 SETS: A basic set theory package
16.65 SPARSE: Sparse Matrix Calculations
16.66 SPDE: Finding symmetry groups of PDE’s
16.67 SPECFN: Package for special functions
16.68 SPECFN2: Package for special special functions
16.69 SSTOOLS: Computations with supersymmetric algebraic and diﬀerential expressions
16.70 SUM: A package for series summation
16.71 SYMMETRY: Operations on symmetric matrices
16.72 TAYLOR: Manipulation of Taylor series
16.73 TPS: A extendible power series package
16.74 TRI: TeX REDUCE interface
16.75 TRIGD: Trigonometrical Functions with Degree Arguments
16.76 TRIGINT: Weierstrass substitution in REDUCE
16.77 TRIGSIMP: Simpliﬁcation and factorization of trigonometric and hyperbolic functions
16.78 TURTLE: Turtle Graphics Interface for REDUCE
16.79 WU: Wu algorithm for polynomial systems
16.80 XCOLOR: Color factor in some ﬁeld theories
16.81 XIDEAL: Gröbner Bases for exterior algebra
16.82 ZEILBERG: Indeﬁnite and deﬁnite summation
16.83 ZTRANS: Z-transform package

Up | Next | Prev | PrevTail | Front