reduce-historical/r38/doc/util/r38.out

\BOOKMARK [-1][-]{part.1}{I REDUCE User's Manual}{}
\BOOKMARK [0][-]{chapter*.2}{Abstract}{part.1}
\BOOKMARK [0][-]{chapter.1}{Introductory Information}{part.1}
\BOOKMARK [0][-]{chapter.2}{Structure of Programs}{part.1}
\BOOKMARK [1][-]{section.2.1}{The REDUCE Standard Character Set}{chapter.2}
\BOOKMARK [1][-]{section.2.2}{Numbers}{chapter.2}
\BOOKMARK [1][-]{section.2.3}{Identifiers}{chapter.2}
\BOOKMARK [1][-]{section.2.4}{Variables}{chapter.2}
\BOOKMARK [1][-]{section.2.5}{Strings}{chapter.2}
\BOOKMARK [1][-]{section.2.6}{Comments}{chapter.2}
\BOOKMARK [1][-]{section.2.7}{Operators}{chapter.2}
\BOOKMARK [0][-]{chapter.3}{Expressions}{part.1}
\BOOKMARK [1][-]{section.3.1}{Scalar Expressions}{chapter.3}
\BOOKMARK [1][-]{section.3.2}{Integer Expressions}{chapter.3}
\BOOKMARK [1][-]{section.3.3}{Boolean Expressions}{chapter.3}
\BOOKMARK [1][-]{section.3.4}{Equations}{chapter.3}
\BOOKMARK [1][-]{section.3.5}{Proper Statements as Expressions}{chapter.3}
\BOOKMARK [0][-]{chapter.4}{Lists}{part.1}
\BOOKMARK [1][-]{section.4.1}{Operations on Lists}{chapter.4}
\BOOKMARK [2][-]{subsection.4.1.1}{LIST}{section.4.1}
\BOOKMARK [2][-]{subsection.4.1.2}{FIRST}{section.4.1}
\BOOKMARK [2][-]{subsection.4.1.3}{SECOND}{section.4.1}
\BOOKMARK [2][-]{subsection.4.1.4}{THIRD}{section.4.1}
\BOOKMARK [2][-]{subsection.4.1.5}{REST}{section.4.1}
\BOOKMARK [2][-]{subsection.4.1.6}{. \(Cons\) Operator}{section.4.1}
\BOOKMARK [2][-]{subsection.4.1.7}{APPEND}{section.4.1}
\BOOKMARK [2][-]{subsection.4.1.8}{REVERSE}{section.4.1}
\BOOKMARK [2][-]{subsection.4.1.9}{List Arguments of Other Operators}{section.4.1}
\BOOKMARK [2][-]{subsection.4.1.10}{Caveats and Examples}{section.4.1}
\BOOKMARK [0][-]{chapter.5}{Statements}{part.1}
\BOOKMARK [1][-]{section.5.1}{Assignment Statements}{chapter.5}
\BOOKMARK [2][-]{subsection.5.1.1}{Set Statement}{section.5.1}
\BOOKMARK [1][-]{section.5.2}{Group Statements}{chapter.5}
\BOOKMARK [1][-]{section.5.3}{Conditional Statements}{chapter.5}
\BOOKMARK [1][-]{section.5.4}{FOR Statements}{chapter.5}
\BOOKMARK [1][-]{section.5.5}{WHILE \203DO}{chapter.5}
\BOOKMARK [1][-]{section.5.6}{REPEAT \203UNTIL}{chapter.5}
\BOOKMARK [1][-]{section.5.7}{Compound Statements}{chapter.5}
\BOOKMARK [2][-]{subsection.5.7.1}{Compound Statements with GO TO}{section.5.7}
\BOOKMARK [2][-]{subsection.5.7.2}{Labels and GO TO Statements}{section.5.7}
\BOOKMARK [2][-]{subsection.5.7.3}{RETURN Statements}{section.5.7}
\BOOKMARK [0][-]{chapter.6}{Commands and Declarations}{part.1}
\BOOKMARK [1][-]{section.6.1}{Array Declarations}{chapter.6}
\BOOKMARK [1][-]{section.6.2}{Mode Handling Declarations}{chapter.6}
\BOOKMARK [1][-]{section.6.3}{END}{chapter.6}
\BOOKMARK [1][-]{section.6.4}{BYE Command}{chapter.6}
\BOOKMARK [1][-]{section.6.5}{SHOWTIME Command}{chapter.6}
\BOOKMARK [1][-]{section.6.6}{DEFINE Command}{chapter.6}
\BOOKMARK [0][-]{chapter.7}{Built-in Prefix Operators}{part.1}
\BOOKMARK [1][-]{section.7.1}{Numerical Operators}{chapter.7}
\BOOKMARK [2][-]{subsection.7.1.1}{ABS}{section.7.1}
\BOOKMARK [2][-]{subsection.7.1.2}{CEILING}{section.7.1}
\BOOKMARK [2][-]{subsection.7.1.3}{CONJ}{section.7.1}
\BOOKMARK [2][-]{subsection.7.1.4}{FACTORIAL}{section.7.1}
\BOOKMARK [2][-]{subsection.7.1.5}{FIX}{section.7.1}
\BOOKMARK [2][-]{subsection.7.1.6}{FLOOR}{section.7.1}
\BOOKMARK [2][-]{subsection.7.1.7}{IMPART}{section.7.1}
\BOOKMARK [2][-]{subsection.7.1.8}{MAX/MIN}{section.7.1}
\BOOKMARK [2][-]{subsection.7.1.9}{NEXTPRIME}{section.7.1}
\BOOKMARK [2][-]{subsection.7.1.10}{RANDOM}{section.7.1}
\BOOKMARK [2][-]{subsection.7.1.11}{RANDOM\137NEW\137SEED}{section.7.1}
\BOOKMARK [2][-]{subsection.7.1.12}{REPART}{section.7.1}
\BOOKMARK [2][-]{subsection.7.1.13}{ROUND}{section.7.1}
\BOOKMARK [2][-]{subsection.7.1.14}{SIGN}{section.7.1}
\BOOKMARK [1][-]{section.7.2}{Mathematical Functions}{chapter.7}
\BOOKMARK [1][-]{section.7.3}{DF Operator}{chapter.7}
\BOOKMARK [2][-]{subsection.7.3.1}{Adding Differentiation Rules}{section.7.3}
\BOOKMARK [1][-]{section.7.4}{INT Operator}{chapter.7}
\BOOKMARK [2][-]{subsection.7.4.1}{Options}{section.7.4}
\BOOKMARK [2][-]{subsection.7.4.2}{Advanced Use}{section.7.4}
\BOOKMARK [2][-]{subsection.7.4.3}{References}{section.7.4}
\BOOKMARK [1][-]{section.7.5}{LENGTH Operator}{chapter.7}
\BOOKMARK [1][-]{section.7.6}{MAP Operator}{chapter.7}
\BOOKMARK [1][-]{section.7.7}{MKID Operator}{chapter.7}
\BOOKMARK [1][-]{section.7.8}{PF Operator}{chapter.7}
\BOOKMARK [1][-]{section.7.9}{SELECT Operator}{chapter.7}
\BOOKMARK [1][-]{section.7.10}{SOLVE Operator}{chapter.7}
\BOOKMARK [2][-]{subsection.7.10.1}{Handling of Undetermined Solutions}{section.7.10}
\BOOKMARK [2][-]{subsection.7.10.2}{Solutions of Equations Involving Cubics and Quartics}{section.7.10}
\BOOKMARK [2][-]{subsection.7.10.3}{Other Options}{section.7.10}
\BOOKMARK [2][-]{subsection.7.10.4}{Parameters and Variable Dependency}{section.7.10}
\BOOKMARK [1][-]{section.7.11}{Even and Odd Operators}{chapter.7}
\BOOKMARK [1][-]{section.7.12}{Linear Operators}{chapter.7}
\BOOKMARK [1][-]{section.7.13}{Non-Commuting Operators}{chapter.7}
\BOOKMARK [1][-]{section.7.14}{Symmetric and Antisymmetric Operators}{chapter.7}
\BOOKMARK [1][-]{section.7.15}{Declaring New Prefix Operators}{chapter.7}
\BOOKMARK [1][-]{section.7.16}{Declaring New Infix Operators}{chapter.7}
\BOOKMARK [1][-]{section.7.17}{Creating/Removing Variable Dependency}{chapter.7}
\BOOKMARK [0][-]{chapter.8}{Display and Structuring of Expressions}{part.1}
\BOOKMARK [1][-]{section.8.1}{Kernels}{chapter.8}
\BOOKMARK [1][-]{section.8.2}{The Expression Workspace}{chapter.8}
\BOOKMARK [1][-]{section.8.3}{Output of Expressions}{chapter.8}
\BOOKMARK [2][-]{subsection.8.3.1}{LINELENGTH Operator}{section.8.3}
\BOOKMARK [2][-]{subsection.8.3.2}{Output Declarations}{section.8.3}
\BOOKMARK [2][-]{subsection.8.3.3}{Output Control Switches}{section.8.3}
\BOOKMARK [2][-]{subsection.8.3.4}{WRITE Command}{section.8.3}
\BOOKMARK [2][-]{subsection.8.3.5}{Suppression of Zeros}{section.8.3}
\BOOKMARK [2][-]{subsection.8.3.6}{FORTRAN Style Output Of Expressions}{section.8.3}
\BOOKMARK [2][-]{subsection.8.3.7}{Saving Expressions for Later Use as Input}{section.8.3}
\BOOKMARK [2][-]{subsection.8.3.8}{Displaying Expression Structure}{section.8.3}
\BOOKMARK [1][-]{section.8.4}{Changing the Internal Order of Variables}{chapter.8}
\BOOKMARK [1][-]{section.8.5}{Obtaining Parts of Algebraic Expressions}{chapter.8}
\BOOKMARK [2][-]{subsection.8.5.1}{COEFF Operator}{section.8.5}
\BOOKMARK [2][-]{subsection.8.5.2}{COEFFN Operator}{section.8.5}
\BOOKMARK [2][-]{subsection.8.5.3}{PART Operator}{section.8.5}
\BOOKMARK [2][-]{subsection.8.5.4}{Substituting for Parts of Expressions}{section.8.5}
\BOOKMARK [0][-]{chapter.9}{Polynomials and Rationals}{part.1}
\BOOKMARK [1][-]{section.9.1}{Controlling the Expansion of Expressions}{chapter.9}
\BOOKMARK [1][-]{section.9.2}{Factorization of Polynomials}{chapter.9}
\BOOKMARK [1][-]{section.9.3}{Cancellation of Common Factors}{chapter.9}
\BOOKMARK [2][-]{subsection.9.3.1}{Determining the GCD of Two Polynomials}{section.9.3}
\BOOKMARK [1][-]{section.9.4}{Working with Least Common Multiples}{chapter.9}
\BOOKMARK [1][-]{section.9.5}{Controlling Use of Common Denominators}{chapter.9}
\BOOKMARK [1][-]{section.9.6}{REMAINDER Operator}{chapter.9}
\BOOKMARK [1][-]{section.9.7}{RESULTANT Operator}{chapter.9}
\BOOKMARK [1][-]{section.9.8}{DECOMPOSE Operator}{chapter.9}
\BOOKMARK [1][-]{section.9.9}{INTERPOL operator}{chapter.9}
\BOOKMARK [1][-]{section.9.10}{Obtaining Parts of Polynomials and Rationals}{chapter.9}
\BOOKMARK [2][-]{subsection.9.10.1}{DEG Operator}{section.9.10}
\BOOKMARK [2][-]{subsection.9.10.2}{DEN Operator}{section.9.10}
\BOOKMARK [2][-]{subsection.9.10.3}{LCOF Operator}{section.9.10}
\BOOKMARK [2][-]{subsection.9.10.4}{LPOWER Operator}{section.9.10}
\BOOKMARK [2][-]{subsection.9.10.5}{LTERM Operator}{section.9.10}
\BOOKMARK [2][-]{subsection.9.10.6}{MAINVAR Operator}{section.9.10}
\BOOKMARK [2][-]{subsection.9.10.7}{NUM Operator}{section.9.10}
\BOOKMARK [2][-]{subsection.9.10.8}{REDUCT Operator}{section.9.10}
\BOOKMARK [1][-]{section.9.11}{Polynomial Coefficient Arithmetic}{chapter.9}
\BOOKMARK [2][-]{subsection.9.11.1}{Rational Coefficients in Polynomials}{section.9.11}
\BOOKMARK [2][-]{subsection.9.11.2}{Real Coefficients in Polynomials}{section.9.11}
\BOOKMARK [2][-]{subsection.9.11.3}{Modular Number Coefficients in Polynomials}{section.9.11}
\BOOKMARK [2][-]{subsection.9.11.4}{Complex Number Coefficients in Polynomials}{section.9.11}
\BOOKMARK [0][-]{chapter.10}{Substitution Commands}{part.1}
\BOOKMARK [1][-]{section.10.1}{SUB Operator}{chapter.10}
\BOOKMARK [1][-]{section.10.2}{LET Rules}{chapter.10}
\BOOKMARK [2][-]{subsection.10.2.1}{FOR ALL \203LET}{section.10.2}
\BOOKMARK [2][-]{subsection.10.2.2}{FOR ALL \203SUCH THAT \203LET}{section.10.2}
\BOOKMARK [2][-]{subsection.10.2.3}{Removing Assignments and Substitution Rules}{section.10.2}
\BOOKMARK [2][-]{subsection.10.2.4}{Overlapping LET Rules}{section.10.2}
\BOOKMARK [2][-]{subsection.10.2.5}{Substitutions for General Expressions}{section.10.2}
\BOOKMARK [1][-]{section.10.3}{Rule Lists}{chapter.10}
\BOOKMARK [1][-]{section.10.4}{Asymptotic Commands}{chapter.10}
\BOOKMARK [0][-]{chapter.11}{File Handling Commands}{part.1}
\BOOKMARK [1][-]{section.11.1}{IN Command}{chapter.11}
\BOOKMARK [1][-]{section.11.2}{OUT Command}{chapter.11}
\BOOKMARK [1][-]{section.11.3}{SHUT Command}{chapter.11}
\BOOKMARK [0][-]{chapter.12}{Commands for Interactive Use}{part.1}
\BOOKMARK [1][-]{section.12.1}{Referencing Previous Results}{chapter.12}
\BOOKMARK [1][-]{section.12.2}{Interactive Editing}{chapter.12}
\BOOKMARK [1][-]{section.12.3}{Interactive File Control}{chapter.12}
\BOOKMARK [0][-]{chapter.13}{Matrix Calculations}{part.1}
\BOOKMARK [1][-]{section.13.1}{MAT Operator}{chapter.13}
\BOOKMARK [1][-]{section.13.2}{Matrix Variables}{chapter.13}
\BOOKMARK [1][-]{section.13.3}{Matrix Expressions}{chapter.13}
\BOOKMARK [1][-]{section.13.4}{Operators with Matrix Arguments}{chapter.13}
\BOOKMARK [2][-]{subsection.13.4.1}{DET Operator}{section.13.4}
\BOOKMARK [2][-]{subsection.13.4.2}{MATEIGEN Operator}{section.13.4}
\BOOKMARK [2][-]{subsection.13.4.3}{TP Operator}{section.13.4}
\BOOKMARK [2][-]{subsection.13.4.4}{Trace Operator}{section.13.4}
\BOOKMARK [2][-]{subsection.13.4.5}{Matrix Cofactors}{section.13.4}
\BOOKMARK [2][-]{subsection.13.4.6}{NULLSPACE Operator}{section.13.4}
\BOOKMARK [2][-]{subsection.13.4.7}{RANK Operator}{section.13.4}
\BOOKMARK [1][-]{section.13.5}{Matrix Assignments}{chapter.13}
\BOOKMARK [1][-]{section.13.6}{Evaluating Matrix Elements}{chapter.13}
\BOOKMARK [0][-]{chapter.14}{Procedures}{part.1}
\BOOKMARK [1][-]{section.14.1}{Procedure Heading}{chapter.14}
\BOOKMARK [1][-]{section.14.2}{Procedure Body}{chapter.14}
\BOOKMARK [1][-]{section.14.3}{Using LET Inside Procedures}{chapter.14}
\BOOKMARK [1][-]{section.14.4}{LET Rules as Procedures}{chapter.14}
\BOOKMARK [1][-]{section.14.5}{REMEMBER Statement}{chapter.14}
\BOOKMARK [0][-]{chapter.15}{User Contributed Packages}{part.1}
\BOOKMARK [0][-]{chapter.16}{Symbolic Mode}{part.1}
\BOOKMARK [1][-]{section.16.1}{Symbolic Infix Operators}{chapter.16}
\BOOKMARK [1][-]{section.16.2}{Symbolic Expressions}{chapter.16}
\BOOKMARK [1][-]{section.16.3}{Quoted Expressions}{chapter.16}
\BOOKMARK [1][-]{section.16.4}{Lambda Expressions}{chapter.16}
\BOOKMARK [1][-]{section.16.5}{Symbolic Assignment Statements}{chapter.16}
\BOOKMARK [1][-]{section.16.6}{FOR EACH Statement}{chapter.16}
\BOOKMARK [1][-]{section.16.7}{Symbolic Procedures}{chapter.16}
\BOOKMARK [1][-]{section.16.8}{Standard Lisp Equivalent of Reduce Input}{chapter.16}
\BOOKMARK [1][-]{section.16.9}{Communicating with Algebraic Mode}{chapter.16}
\BOOKMARK [2][-]{subsection.16.9.1}{Passing Algebraic Mode Values to Symbolic Mode}{section.16.9}
\BOOKMARK [2][-]{subsection.16.9.2}{Passing Symbolic Mode Values to Algebraic Mode}{section.16.9}
\BOOKMARK [2][-]{subsection.16.9.3}{Complete Example}{section.16.9}
\BOOKMARK [2][-]{subsection.16.9.4}{Defining Procedures for Intermode Communication}{section.16.9}
\BOOKMARK [1][-]{section.16.10}{Rlisp '88}{chapter.16}
\BOOKMARK [1][-]{section.16.11}{References}{chapter.16}
\BOOKMARK [0][-]{chapter.17}{Calculations in High Energy Physics}{part.1}
\BOOKMARK [1][-]{section.17.1}{High Energy Physics Operators}{chapter.17}
\BOOKMARK [2][-]{subsection.17.1.1}{. \(Cons\) Operator}{section.17.1}
\BOOKMARK [2][-]{subsection.17.1.2}{G Operator for Gamma Matrices}{section.17.1}
\BOOKMARK [2][-]{subsection.17.1.3}{EPS Operator}{section.17.1}
\BOOKMARK [1][-]{section.17.2}{Vector Variables}{chapter.17}
\BOOKMARK [1][-]{section.17.3}{Additional Expression Types}{chapter.17}
\BOOKMARK [2][-]{subsection.17.3.1}{Vector Expressions}{section.17.3}
\BOOKMARK [2][-]{subsection.17.3.2}{Dirac Expressions}{section.17.3}
\BOOKMARK [1][-]{section.17.4}{Trace Calculations}{chapter.17}
\BOOKMARK [1][-]{section.17.5}{Mass Declarations}{chapter.17}
\BOOKMARK [1][-]{section.17.6}{Example}{chapter.17}
\BOOKMARK [1][-]{section.17.7}{Extensions to More Than Four Dimensions}{chapter.17}
\BOOKMARK [0][-]{chapter.18}{REDUCE and Rlisp Utilities}{part.1}
\BOOKMARK [1][-]{section.18.1}{The Standard Lisp Compiler}{chapter.18}
\BOOKMARK [1][-]{section.18.2}{Fast Loading Code Generation Program}{chapter.18}
\BOOKMARK [1][-]{section.18.3}{The Standard Lisp Cross Reference Program}{chapter.18}
\BOOKMARK [2][-]{subsection.18.3.1}{Restrictions}{section.18.3}
\BOOKMARK [2][-]{subsection.18.3.2}{Usage}{section.18.3}
\BOOKMARK [2][-]{subsection.18.3.3}{Options}{section.18.3}
\BOOKMARK [1][-]{section.18.4}{Prettyprinting Reduce Expressions}{chapter.18}
\BOOKMARK [1][-]{section.18.5}{Prettyprinting Standard Lisp S-Expressions}{chapter.18}
\BOOKMARK [0][-]{chapter.19}{Maintaining REDUCE}{part.1}
\BOOKMARK [-1][-]{part.2}{II Additional REDUCE Documentation}{}
\BOOKMARK [0][-]{chapter.20}{ALGINT: Integration of square roots}{part.2}
\BOOKMARK [0][-]{chapter.21}{APPLYSYM: Infinitesimal symmetries}{part.2}
\BOOKMARK [0][-]{chapter.22}{ARNUM: An algebraic number package}{part.2}
\BOOKMARK [1][-]{section.22.1}{DEFPOLY}{chapter.22}
\BOOKMARK [1][-]{section.22.2}{SPLIT\137FIELD}{chapter.22}
\BOOKMARK [0][-]{chapter.23}{ASSIST: Various Useful Utilities}{part.2}
\BOOKMARK [1][-]{section.23.1}{Control of Switches}{chapter.23}
\BOOKMARK [1][-]{section.23.2}{Manipulation of the List Structure}{chapter.23}
\BOOKMARK [1][-]{section.23.3}{The Bag Structure and its Associated Functions}{chapter.23}
\BOOKMARK [1][-]{section.23.4}{Sets and their Manipulation Functions}{chapter.23}
\BOOKMARK [1][-]{section.23.5}{General Purpose Utility Functions}{chapter.23}
\BOOKMARK [1][-]{section.23.6}{Properties and Flags}{chapter.23}
\BOOKMARK [1][-]{section.23.7}{Control Functions}{chapter.23}
\BOOKMARK [1][-]{section.23.8}{Handling of Polynomials}{chapter.23}
\BOOKMARK [1][-]{section.23.9}{Handling of Transcendental Functions}{chapter.23}
\BOOKMARK [1][-]{section.23.10}{Coercion from lists to arrays and converse}{chapter.23}
\BOOKMARK [1][-]{section.23.11}{Handling of n--dimensional Vectors}{chapter.23}
\BOOKMARK [1][-]{section.23.12}{Handling of Grassmann Operators}{chapter.23}
\BOOKMARK [1][-]{section.23.13}{Handling of Matrices}{chapter.23}
\BOOKMARK [0][-]{chapter.24}{ATENSOR: Tensor Simplification}{part.2}
\BOOKMARK [1][-]{section.24.1}{Basic tensors and tensor expressions}{chapter.24}
\BOOKMARK [1][-]{section.24.2}{Operators for tensors}{chapter.24}
\BOOKMARK [1][-]{section.24.3}{Switches}{chapter.24}
\BOOKMARK [0][-]{chapter.25}{AVECTOR: Vector Algebra}{part.2}
\BOOKMARK [1][-]{section.25.1}{Vector declaration and initialisation}{chapter.25}
\BOOKMARK [1][-]{section.25.2}{Vector algebra}{chapter.25}
\BOOKMARK [1][-]{section.25.3}{Vector calculus}{chapter.25}
\BOOKMARK [1][-]{section.25.4}{Volume and Line Integration}{chapter.25}
\BOOKMARK [0][-]{chapter.26}{BOOLEAN: A package for boolean algebra}{part.2}
\BOOKMARK [1][-]{section.26.1}{Entering boolean expressions}{chapter.26}
\BOOKMARK [1][-]{section.26.2}{Normal forms}{chapter.26}
\BOOKMARK [1][-]{section.26.3}{Evaluation of a boolean expression}{chapter.26}
\BOOKMARK [0][-]{chapter.27}{CALI: Commutative Algebra}{part.2}
\BOOKMARK [0][-]{chapter.28}{CAMAL: Celestial Mechanics}{part.2}
\BOOKMARK [1][-]{section.28.1}{Operators for Fourier Series}{chapter.28}
\BOOKMARK [1][-]{section.28.2}{A Short Example}{chapter.28}
\BOOKMARK [0][-]{chapter.29}{CGB: Comprehensive Gr\366bner Bases}{part.2}
\BOOKMARK [1][-]{section.29.1}{Introduction}{chapter.29}
\BOOKMARK [1][-]{section.29.2}{Using the REDLOG Package}{chapter.29}
\BOOKMARK [1][-]{section.29.3}{Term Ordering Mode}{chapter.29}
\BOOKMARK [1][-]{section.29.4}{CGB: Comprehensive Gr\366bner Basis}{chapter.29}
\BOOKMARK [1][-]{section.29.5}{GSYS: Gr\366bner System}{chapter.29}
\BOOKMARK [2][-]{subsection.29.5.1}{Switch CGBGEN: Only the Generic Case}{section.29.5}
\BOOKMARK [1][-]{section.29.6}{GSYS2CGB: Gr\366bner System to CGB}{chapter.29}
\BOOKMARK [1][-]{section.29.7}{Switch CGBREAL: Computing over the Real Numbers}{chapter.29}
\BOOKMARK [1][-]{section.29.8}{Switches}{chapter.29}
\BOOKMARK [0][-]{chapter.30}{CHANGEVR: Change of Variables in DEs}{part.2}
\BOOKMARK [1][-]{section.30.1}{An example: the 2-D Laplace Equation}{chapter.30}
\BOOKMARK [0][-]{chapter.31}{COMPACT: Compacting expressions}{part.2}
\BOOKMARK [0][-]{chapter.32}{CRACK: Overdetermined systems of DEs}{part.2}
\BOOKMARK [0][-]{chapter.33}{CVIT:Dirac gamma matrix traces}{part.2}
\BOOKMARK [0][-]{chapter.34}{DEFINT: Definite Integration for REDUCE}{part.2}
\BOOKMARK [0][-]{chapter.35}{DESIR: Linear Homogeneous DEs}{part.2}
\BOOKMARK [0][-]{chapter.36}{DFPART: Derivatives of generic functions}{part.2}
\BOOKMARK [1][-]{section.36.1}{Generic Functions}{chapter.36}
\BOOKMARK [1][-]{section.36.2}{Partial Derivatives}{chapter.36}
\BOOKMARK [1][-]{section.36.3}{Substitutions}{chapter.36}
\BOOKMARK [0][-]{chapter.37}{DUMMY: Expressions with dummy vars}{part.2}
\BOOKMARK [0][-]{chapter.38}{EDS: Exterior differential systems}{part.2}
\BOOKMARK [1][-]{section.38.1}{Introduction}{chapter.38}
\BOOKMARK [1][-]{section.38.2}{Data Structures and Concepts}{chapter.38}
\BOOKMARK [2][-]{subsection.38.2.1}{EDS}{section.38.2}
\BOOKMARK [2][-]{subsection.38.2.2}{Coframing}{section.38.2}
\BOOKMARK [2][-]{subsection.38.2.3}{Systems and background coframing}{section.38.2}
\BOOKMARK [2][-]{subsection.38.2.4}{Integral elements}{section.38.2}
\BOOKMARK [2][-]{subsection.38.2.5}{Properties and normal form}{section.38.2}
\BOOKMARK [1][-]{section.38.3}{The EDS Package}{chapter.38}
\BOOKMARK [2][-]{subsection.38.3.1}{Constructing EDS objects}{section.38.3}
\BOOKMARK [2][-]{subsection.38.3.2}{Inspecting EDS objects}{section.38.3}
\BOOKMARK [2][-]{subsection.38.3.3}{Manipulating EDS objects}{section.38.3}
\BOOKMARK [2][-]{subsection.38.3.4}{Analysing and Testing exterior systems}{section.38.3}
\BOOKMARK [2][-]{subsection.38.3.5}{Switches}{section.38.3}
\BOOKMARK [2][-]{subsection.38.3.6}{Auxilliary functions}{section.38.3}
\BOOKMARK [2][-]{subsection.38.3.7}{Experimental Functions}{section.38.3}
\BOOKMARK [0][-]{chapter.39}{EXCALC: Differential Geometry}{part.2}
\BOOKMARK [1][-]{section.39.1}{Declarations}{chapter.39}
\BOOKMARK [1][-]{section.39.2}{Exterior Multiplication}{chapter.39}
\BOOKMARK [1][-]{section.39.3}{Partial Differentiation}{chapter.39}
\BOOKMARK [1][-]{section.39.4}{Exterior Differentiation}{chapter.39}
\BOOKMARK [1][-]{section.39.5}{Inner Product}{chapter.39}
\BOOKMARK [1][-]{section.39.6}{Lie Derivative}{chapter.39}
\BOOKMARK [1][-]{section.39.7}{Hodge-* Duality Operator}{chapter.39}
\BOOKMARK [1][-]{section.39.8}{Variational Derivative}{chapter.39}
\BOOKMARK [1][-]{section.39.9}{Handling of Indices}{chapter.39}
\BOOKMARK [1][-]{section.39.10}{Metric Structures}{chapter.39}
\BOOKMARK [1][-]{section.39.11}{Riemannian Connections}{chapter.39}
\BOOKMARK [1][-]{section.39.12}{Ordering and Structuring}{chapter.39}
\BOOKMARK [0][-]{chapter.40}{FIDE: Finite differences for PDEs}{part.2}
\BOOKMARK [0][-]{chapter.41}{FPS: Formal power series}{part.2}
\BOOKMARK [0][-]{chapter.42}{GENTRAN: A code generation package}{part.2}
\BOOKMARK [1][-]{section.42.1}{Simple Use}{chapter.42}
\BOOKMARK [1][-]{section.42.2}{Precision}{chapter.42}
\BOOKMARK [2][-]{subsection.42.2.1}{The EVAL Function}{section.42.2}
\BOOKMARK [2][-]{subsection.42.2.2}{The :=: Operator}{section.42.2}
\BOOKMARK [2][-]{subsection.42.2.3}{The ::= Operator}{section.42.2}
\BOOKMARK [2][-]{subsection.42.2.4}{The ::=: Operator}{section.42.2}
\BOOKMARK [1][-]{section.42.3}{Explicit Type Declarations}{chapter.42}
\BOOKMARK [1][-]{section.42.4}{Expression Segmentation}{chapter.42}
\BOOKMARK [1][-]{section.42.5}{Template Processing}{chapter.42}
\BOOKMARK [1][-]{section.42.6}{Output Redirection}{chapter.42}
\BOOKMARK [0][-]{chapter.43}{GEOMETRY: Plane geometry}{part.2}
\BOOKMARK [1][-]{section.43.1}{Introduction}{chapter.43}
\BOOKMARK [1][-]{section.43.2}{Basic Data Types and Constructors}{chapter.43}
\BOOKMARK [1][-]{section.43.3}{Procedures}{chapter.43}
\BOOKMARK [1][-]{section.43.4}{Examples}{chapter.43}
\BOOKMARK [0][-]{chapter.44}{GNUPLOT: Plotting Functions}{part.2}
\BOOKMARK [0][-]{chapter.45}{GROEBNER: A Gr\366bner basis package}{part.2}
\BOOKMARK [1][-]{section.45.1}{}{chapter.45}
\BOOKMARK [2][-]{subsection.45.1.1}{Term Ordering}{section.45.1}
\BOOKMARK [1][-]{section.45.2}{The Basic Operators}{chapter.45}
\BOOKMARK [2][-]{subsection.45.2.1}{Term Ordering Mode}{section.45.2}
\BOOKMARK [2][-]{subsection.45.2.2}{GROEBNER: Calculation of a Gr\366bner Basis}{section.45.2}
\BOOKMARK [2][-]{subsection.45.2.3}{GZERODIM?: Test of dim= 0}{section.45.2}
\BOOKMARK [2][-]{subsection.45.2.4}{GDIMENSION, GINDEPENDENT\137SETS}{section.45.2}
\BOOKMARK [2][-]{subsection.45.2.5}{GLEXCONVERT: Conversion to a Lexical Base}{section.45.2}
\BOOKMARK [2][-]{subsection.45.2.6}{GROEBNERF: Factorizing Gr\366bner Bases}{section.45.2}
\BOOKMARK [2][-]{subsection.45.2.7}{GREDUCE, PREDUCE: Reduction of Polynomials}{section.45.2}
\BOOKMARK [1][-]{section.45.3}{Ideal Decomposition \046 Equation System Solving}{chapter.45}
\BOOKMARK [0][-]{chapter.46}{IDEALS: Arithmetic for polynomial ideals}{part.2}
\BOOKMARK [1][-]{section.46.1}{Initialization}{chapter.46}
\BOOKMARK [1][-]{section.46.2}{Bases}{chapter.46}
\BOOKMARK [2][-]{subsection.46.2.1}{Operators}{section.46.2}
\BOOKMARK [0][-]{chapter.47}{INEQ: Support for solving inequalities}{part.2}
\BOOKMARK [0][-]{chapter.48}{INVBASE: Involutive Bases}{part.2}
\BOOKMARK [1][-]{section.48.1}{The Basic Operators}{chapter.48}
\BOOKMARK [2][-]{subsection.48.1.1}{Term Ordering}{section.48.1}
\BOOKMARK [2][-]{subsection.48.1.2}{Computing Involutive Bases}{section.48.1}
\BOOKMARK [0][-]{chapter.49}{LAPLACE: Laplace transforms etc.}{part.2}
\BOOKMARK [0][-]{chapter.50}{LIE: Classification of Lie algebras}{part.2}
\BOOKMARK [1][-]{section.50.1}{liendmc1}{chapter.50}
\BOOKMARK [1][-]{section.50.2}{lie1234}{chapter.50}
\BOOKMARK [0][-]{chapter.51}{LIMITS: A package for finding limits}{part.2}
\BOOKMARK [1][-]{section.51.1}{Normal entry points}{chapter.51}
\BOOKMARK [1][-]{section.51.2}{Direction-dependent limits}{chapter.51}
\BOOKMARK [0][-]{chapter.52}{LINALG: Linear algebra package}{part.2}
\BOOKMARK [1][-]{section.52.1}{Introduction}{chapter.52}
\BOOKMARK [2][-]{subsection.52.1.1}{Basic matrix handling}{section.52.1}
\BOOKMARK [2][-]{subsection.52.1.2}{Constructors}{section.52.1}
\BOOKMARK [2][-]{subsection.52.1.3}{High level algorithms}{section.52.1}
\BOOKMARK [2][-]{subsection.52.1.4}{Predicates}{section.52.1}
\BOOKMARK [1][-]{section.52.2}{Explanations}{chapter.52}
\BOOKMARK [1][-]{section.52.3}{Basic matrix handling}{chapter.52}
\BOOKMARK [1][-]{section.52.4}{Constructors}{chapter.52}
\BOOKMARK [1][-]{section.52.5}{Higher Algorithms}{chapter.52}
\BOOKMARK [1][-]{section.52.6}{Fast Linear Algebra}{chapter.52}
\BOOKMARK [0][-]{chapter.53}{MATHML : MathML Interface for REDUCE }{part.2}
\BOOKMARK [0][-]{chapter.54}{MODSR: Modular solve and roots}{part.2}
\BOOKMARK [0][-]{chapter.55}{MRVLIMIT: Limits of ``exp-log'' functions}{part.2}
\BOOKMARK [0][-]{chapter.56}{NCPOLY: Ideals in non--comm case}{part.2}
\BOOKMARK [1][-]{section.56.1}{Setup, Cleanup}{chapter.56}
\BOOKMARK [1][-]{section.56.2}{Left and right ideals}{chapter.56}
\BOOKMARK [1][-]{section.56.3}{Gr\366bner bases}{chapter.56}
\BOOKMARK [1][-]{section.56.4}{Left or right polynomial division}{chapter.56}
\BOOKMARK [1][-]{section.56.5}{Left or right polynomial reduction}{chapter.56}
\BOOKMARK [1][-]{section.56.6}{Factorisation}{chapter.56}
\BOOKMARK [1][-]{section.56.7}{Output of expressions}{chapter.56}
\BOOKMARK [0][-]{chapter.57}{NORMFORM: matrix normal forms}{part.2}
\BOOKMARK [1][-]{section.57.1}{Smithex}{chapter.57}
\BOOKMARK [1][-]{section.57.2}{Smithex\137int}{chapter.57}
\BOOKMARK [1][-]{section.57.3}{Frobenius}{chapter.57}
\BOOKMARK [1][-]{section.57.4}{Ratjordan}{chapter.57}
\BOOKMARK [1][-]{section.57.5}{Jordansymbolic}{chapter.57}
\BOOKMARK [1][-]{section.57.6}{Jordan}{chapter.57}
\BOOKMARK [0][-]{chapter.58}{NUMERIC: Solving numerical problems}{part.2}
\BOOKMARK [1][-]{section.58.1}{Syntax}{chapter.58}
\BOOKMARK [2][-]{subsection.58.1.1}{Intervals, Starting Points}{section.58.1}
\BOOKMARK [2][-]{subsection.58.1.2}{Accuracy Control}{section.58.1}
\BOOKMARK [1][-]{section.58.2}{Minima}{chapter.58}
\BOOKMARK [1][-]{section.58.3}{Roots of Functions/ Solutions of Equations}{chapter.58}
\BOOKMARK [1][-]{section.58.4}{Integrals}{chapter.58}
\BOOKMARK [1][-]{section.58.5}{Ordinary Differential Equations}{chapter.58}
\BOOKMARK [1][-]{section.58.6}{Bounds of a Function}{chapter.58}
\BOOKMARK [1][-]{section.58.7}{Chebyshev Curve Fitting}{chapter.58}
\BOOKMARK [1][-]{section.58.8}{General Curve Fitting}{chapter.58}
\BOOKMARK [1][-]{section.58.9}{Function Bases}{chapter.58}
\BOOKMARK [0][-]{chapter.59}{ODESOLVE: Ordinary differential eqns}{part.2}
\BOOKMARK [1][-]{section.59.1}{Use}{chapter.59}
\BOOKMARK [1][-]{section.59.2}{Commentary}{chapter.59}
\BOOKMARK [0][-]{chapter.60}{ORTHOVEC: scalars and vectors}{part.2}
\BOOKMARK [1][-]{section.60.1}{Initialisation}{chapter.60}
\BOOKMARK [1][-]{section.60.2}{Input-Output}{chapter.60}
\BOOKMARK [1][-]{section.60.3}{Algebraic Operations}{chapter.60}
\BOOKMARK [1][-]{section.60.4}{Differential Operations}{chapter.60}
\BOOKMARK [1][-]{section.60.5}{Integral Operations}{chapter.60}
\BOOKMARK [0][-]{chapter.61}{PHYSOP: Operator Calculus}{part.2}
\BOOKMARK [1][-]{section.61.1}{The NONCOM2 Package}{chapter.61}
\BOOKMARK [1][-]{section.61.2}{The PHYSOP package}{chapter.61}
\BOOKMARK [2][-]{subsection.61.2.1}{Type declaration commands}{section.61.2}
\BOOKMARK [2][-]{subsection.61.2.2}{Ordering of operators in an expression}{section.61.2}
\BOOKMARK [2][-]{subsection.61.2.3}{Arithmetic operations on operators}{section.61.2}
\BOOKMARK [2][-]{subsection.61.2.4}{Special functions}{section.61.2}
\BOOKMARK [0][-]{chapter.62}{PM: A REDUCE pattern matcher}{part.2}
\BOOKMARK [1][-]{section.62.1}{The Match Function}{chapter.62}
\BOOKMARK [1][-]{section.62.2}{Qualified Matching}{chapter.62}
\BOOKMARK [1][-]{section.62.3}{Substituting for replacements}{chapter.62}
\BOOKMARK [1][-]{section.62.4}{Programming with Patterns}{chapter.62}
\BOOKMARK [0][-]{chapter.63}{QSUM: q-hypergeometric sums}{part.2}
\BOOKMARK [1][-]{section.63.1}{Elementary q-Functions}{chapter.63}
\BOOKMARK [1][-]{section.63.2}{The QGOSPER operator}{chapter.63}
\BOOKMARK [1][-]{section.63.3}{The QSUMRECURSION operator}{chapter.63}
\BOOKMARK [1][-]{section.63.4}{Global Variables and Switches}{chapter.63}
\BOOKMARK [0][-]{chapter.64}{RANDPOLY: Random polynomials}{part.2}
\BOOKMARK [1][-]{section.64.1}{Optional arguments}{chapter.64}
\BOOKMARK [1][-]{section.64.2}{Advanced use of RANDPOLY}{chapter.64}
\BOOKMARK [1][-]{section.64.3}{Examples}{chapter.64}
\BOOKMARK [0][-]{chapter.65}{RATAPRX: Rational Approximations}{part.2}
\BOOKMARK [1][-]{section.65.1}{}{chapter.65}
\BOOKMARK [2][-]{subsection.65.1.1}{Periodic Representation}{section.65.1}
\BOOKMARK [2][-]{subsection.65.1.2}{Continued Fractions}{section.65.1}
\BOOKMARK [2][-]{subsection.65.1.3}{Pad\351 Approximation}{section.65.1}
\BOOKMARK [0][-]{chapter.66}{REACTEQN: Chemical reaction equations}{part.2}
\BOOKMARK [0][-]{chapter.67}{REDLOG: Logic System}{part.2}
\BOOKMARK [1][-]{section.67.1}{Introduction}{chapter.67}
\BOOKMARK [2][-]{subsection.67.1.1}{Contexts}{section.67.1}
\BOOKMARK [2][-]{subsection.67.1.2}{Overview}{section.67.1}
\BOOKMARK [1][-]{section.67.2}{Context Selection}{chapter.67}
\BOOKMARK [1][-]{section.67.3}{Format and Handling of Formulas}{chapter.67}
\BOOKMARK [2][-]{subsection.67.3.1}{First-order Operators}{section.67.3}
\BOOKMARK [2][-]{subsection.67.3.2}{OFSF Operators}{section.67.3}
\BOOKMARK [2][-]{subsection.67.3.3}{DVFSF Operators}{section.67.3}
\BOOKMARK [2][-]{subsection.67.3.4}{ACFSF Operators}{section.67.3}
\BOOKMARK [2][-]{subsection.67.3.5}{Extended Built-in Commands}{section.67.3}
\BOOKMARK [2][-]{subsection.67.3.6}{Global Switches}{section.67.3}
\BOOKMARK [1][-]{section.67.4}{Simplification}{chapter.67}
\BOOKMARK [2][-]{subsection.67.4.1}{Standard Simplifier}{section.67.4}
\BOOKMARK [2][-]{subsection.67.4.2}{Tableau Simplifier}{section.67.4}
\BOOKMARK [2][-]{subsection.67.4.3}{Gr\366bner Simplifier}{section.67.4}
\BOOKMARK [1][-]{section.67.5}{Normal Forms}{chapter.67}
\BOOKMARK [2][-]{subsection.67.5.1}{Boolean Normal Forms}{section.67.5}
\BOOKMARK [2][-]{subsection.67.5.2}{Miscellaneous Normal Forms}{section.67.5}
\BOOKMARK [1][-]{section.67.6}{Quantifier Elimination and Variants}{chapter.67}
\BOOKMARK [2][-]{subsection.67.6.1}{Quantifier Elimination}{section.67.6}
\BOOKMARK [2][-]{subsection.67.6.2}{Generic Quantifier Elimination}{section.67.6}
\BOOKMARK [2][-]{subsection.67.6.3}{Linear Optimization}{section.67.6}
\BOOKMARK [0][-]{chapter.68}{RESET: Reset REDUCE to its initial state}{part.2}
\BOOKMARK [0][-]{chapter.69}{RESIDUE: A residue package}{part.2}
\BOOKMARK [0][-]{chapter.70}{RLFI: REDUCE LaTeX formula interface}{part.2}
\BOOKMARK [0][-]{chapter.71}{ROOTS: A REDUCE root finding package}{part.2}
\BOOKMARK [1][-]{section.71.1}{Top Level Functions}{chapter.71}
\BOOKMARK [2][-]{subsection.71.1.1}{Functions that refer to real roots only}{section.71.1}
\BOOKMARK [2][-]{subsection.71.1.2}{Functions that return both real and complex roots}{section.71.1}
\BOOKMARK [2][-]{subsection.71.1.3}{Other top level functions}{section.71.1}
\BOOKMARK [1][-]{section.71.2}{Switches Used in Input}{chapter.71}
\BOOKMARK [1][-]{section.71.3}{Root Package Switches}{chapter.71}
\BOOKMARK [0][-]{chapter.72}{RSOLVE: Rational polynomial solver}{part.2}
\BOOKMARK [1][-]{section.72.1}{Examples}{chapter.72}
\BOOKMARK [0][-]{chapter.73}{SCOPE: Source code optimisation package}{part.2}
\BOOKMARK [0][-]{chapter.74}{SETS: A basic set theory package}{part.2}
\BOOKMARK [1][-]{section.74.1}{Infix operator precedence}{chapter.74}
\BOOKMARK [1][-]{section.74.2}{Explicit set representation and MKSET}{chapter.74}
\BOOKMARK [1][-]{section.74.3}{Union and intersection}{chapter.74}
\BOOKMARK [1][-]{section.74.4}{Symbolic set expressions}{chapter.74}
\BOOKMARK [1][-]{section.74.5}{Set difference}{chapter.74}
\BOOKMARK [1][-]{section.74.6}{Predicates on sets}{chapter.74}
\BOOKMARK [2][-]{subsection.74.6.1}{Set membership}{section.74.6}
\BOOKMARK [2][-]{subsection.74.6.2}{Set inclusion}{section.74.6}
\BOOKMARK [2][-]{subsection.74.6.3}{Set equality}{section.74.6}
\BOOKMARK [0][-]{chapter.75}{SPARSE: Sparse Matrices}{part.2}
\BOOKMARK [1][-]{section.75.1}{Introduction}{chapter.75}
\BOOKMARK [1][-]{section.75.2}{Sparse Matrix Calculations}{chapter.75}
\BOOKMARK [1][-]{section.75.3}{Linear Algebra Package for Sparse Matrices}{chapter.75}
\BOOKMARK [2][-]{subsection.75.3.1}{Basic matrix handling}{section.75.3}
\BOOKMARK [2][-]{subsection.75.3.2}{Constructors}{section.75.3}
\BOOKMARK [2][-]{subsection.75.3.3}{High level algorithms}{section.75.3}
\BOOKMARK [2][-]{subsection.75.3.4}{Predicates}{section.75.3}
\BOOKMARK [0][-]{chapter.76}{SPDE: Symmetry groups of PDE's}{part.2}
\BOOKMARK [1][-]{section.76.1}{System Functions and Variables}{chapter.76}
\BOOKMARK [0][-]{chapter.77}{SPECFN: Package for special functions}{part.2}
\BOOKMARK [1][-]{section.77.1}{Simplification and Approximation}{chapter.77}
\BOOKMARK [1][-]{section.77.2}{Constants}{chapter.77}
\BOOKMARK [1][-]{section.77.3}{Functions}{chapter.77}
\BOOKMARK [0][-]{chapter.78}{SPECFN2: Special special functions}{part.2}
\BOOKMARK [1][-]{section.78.1}{REDUCE operator HYPERGEOMETRIC}{chapter.78}
\BOOKMARK [1][-]{section.78.2}{Enlarging the HYPERGEOMETRIC operator}{chapter.78}
\BOOKMARK [0][-]{chapter.79}{SUM: A package for series summation}{part.2}
\BOOKMARK [0][-]{chapter.80}{SUSY2: Super Symmetry}{part.2}
\BOOKMARK [1][-]{section.80.1}{Operators}{chapter.80}
\BOOKMARK [2][-]{subsection.80.1.1}{Operators for constructing Objects}{section.80.1}
\BOOKMARK [2][-]{subsection.80.1.2}{Commands}{section.80.1}
\BOOKMARK [1][-]{section.80.2}{Options}{chapter.80}
\BOOKMARK [0][-]{chapter.81}{SYMMETRY: Symmetric matrices}{part.2}
\BOOKMARK [1][-]{section.81.1}{Operators for linear representations}{chapter.81}
\BOOKMARK [1][-]{section.81.2}{Display Operators}{chapter.81}
\BOOKMARK [0][-]{chapter.82}{TAYLOR: Manipulation of Taylor series}{part.2}
\BOOKMARK [0][-]{chapter.83}{TPS: A truncated power series package}{part.2}
\BOOKMARK [1][-]{section.83.1}{Basic Truncated Power Series}{chapter.83}
\BOOKMARK [2][-]{subsection.83.1.1}{PS Operator}{section.83.1}
\BOOKMARK [2][-]{subsection.83.1.2}{PSORDLIM Operator}{section.83.1}
\BOOKMARK [1][-]{section.83.2}{Controlling Power Series}{chapter.83}
\BOOKMARK [2][-]{subsection.83.2.1}{PSTERM Operator}{section.83.2}
\BOOKMARK [2][-]{subsection.83.2.2}{PSORDER Operator}{section.83.2}
\BOOKMARK [2][-]{subsection.83.2.3}{PSSETORDER Operator}{section.83.2}
\BOOKMARK [2][-]{subsection.83.2.4}{PSDEPVAR Operator}{section.83.2}
\BOOKMARK [2][-]{subsection.83.2.5}{PSEXPANSIONPT operator}{section.83.2}
\BOOKMARK [2][-]{subsection.83.2.6}{PSFUNCTION Operator}{section.83.2}
\BOOKMARK [2][-]{subsection.83.2.7}{PSCHANGEVAR Operator}{section.83.2}
\BOOKMARK [2][-]{subsection.83.2.8}{PSREVERSE Operator}{section.83.2}
\BOOKMARK [2][-]{subsection.83.2.9}{PSCOMPOSE Operator}{section.83.2}
\BOOKMARK [2][-]{subsection.83.2.10}{PSSUM Operator}{section.83.2}
\BOOKMARK [2][-]{subsection.83.2.11}{Arithmetic Operations}{section.83.2}
\BOOKMARK [2][-]{subsection.83.2.12}{Differentiation}{section.83.2}
\BOOKMARK [1][-]{section.83.3}{Restrictions and Known Bugs}{chapter.83}
\BOOKMARK [0][-]{chapter.84}{TRI: TeX REDUCE interface}{part.2}
\BOOKMARK [1][-]{section.84.1}{Switches for TRI}{chapter.84}
\BOOKMARK [2][-]{subsection.84.1.1}{Adding Translations}{section.84.1}
\BOOKMARK [1][-]{section.84.2}{Examples of Use}{chapter.84}
\BOOKMARK [0][-]{chapter.85}{TRIGSIMP: Trigonometric simplification}{part.2}
\BOOKMARK [1][-]{section.85.1}{Simplifiying trigonometric expressions}{chapter.85}
\BOOKMARK [1][-]{section.85.2}{Factorising trigonometric expressions}{chapter.85}
\BOOKMARK [1][-]{section.85.3}{GCDs of trigonometric expressions}{chapter.85}
\BOOKMARK [0][-]{chapter.86}{WU: Wu algorithm for poly systems}{part.2}
\BOOKMARK [0][-]{chapter.87}{XCOLOR: Color factor in gauge theory}{part.2}
\BOOKMARK [0][-]{chapter.88}{XIDEAL: Gr\366bner for exterior algebra}{part.2}
\BOOKMARK [1][-]{section.88.1}{Operators}{chapter.88}
\BOOKMARK [1][-]{section.88.2}{Switches}{chapter.88}
\BOOKMARK [1][-]{section.88.3}{Examples}{chapter.88}
\BOOKMARK [0][-]{chapter.89}{ZEILBERG: Indef \046 definite summation}{part.2}
\BOOKMARK [1][-]{section.89.1}{The GOSPER summation operator}{chapter.89}
\BOOKMARK [1][-]{section.89.2}{EXTENDED\137GOSPER operator}{chapter.89}
\BOOKMARK [1][-]{section.89.3}{SUMRECURSION operator}{chapter.89}
\BOOKMARK [1][-]{section.89.4}{HYPERRECURSION operator}{chapter.89}
\BOOKMARK [1][-]{section.89.5}{HYPERSUM operator}{chapter.89}
\BOOKMARK [1][-]{section.89.6}{SUMTOHYPER operator}{chapter.89}
\BOOKMARK [1][-]{section.89.7}{Simplification Operators}{chapter.89}
\BOOKMARK [0][-]{chapter.90}{ZTRANS: Z-transform package}{part.2}
\BOOKMARK [-1][-]{part.3}{III Standard Lisp Report}{}
\BOOKMARK [0][-]{chapter.91}{The Standard Lisp Report}{part.3}
\BOOKMARK [1][-]{section.91.1}{Introduction}{chapter.91}
\BOOKMARK [1][-]{section.91.2}{Preliminaries}{chapter.91}
\BOOKMARK [2][-]{subsection.91.2.1}{Primitive Data Types}{section.91.2}
\BOOKMARK [2][-]{subsection.91.2.2}{Classes of Primitive Data Types}{section.91.2}
\BOOKMARK [2][-]{subsection.91.2.3}{Structures}{section.91.2}
\BOOKMARK [2][-]{subsection.91.2.4}{Function Descriptions}{section.91.2}
\BOOKMARK [2][-]{subsection.91.2.5}{Function Types}{section.91.2}
\BOOKMARK [2][-]{subsection.91.2.6}{Error and Warning Messages}{section.91.2}
\BOOKMARK [2][-]{subsection.91.2.7}{Comments}{section.91.2}
\BOOKMARK [1][-]{section.91.3}{Functions}{chapter.91}
\BOOKMARK [2][-]{subsection.91.3.1}{Elementary Predicates}{section.91.3}
\BOOKMARK [2][-]{subsection.91.3.2}{Functions on Dotted-Pairs}{section.91.3}
\BOOKMARK [2][-]{subsection.91.3.3}{Identifiers}{section.91.3}
\BOOKMARK [2][-]{subsection.91.3.4}{Property List Functions}{section.91.3}
\BOOKMARK [2][-]{subsection.91.3.5}{Function Definition}{section.91.3}
\BOOKMARK [2][-]{subsection.91.3.6}{Variables and Bindings}{section.91.3}
\BOOKMARK [2][-]{subsection.91.3.7}{Program Feature Functions}{section.91.3}
\BOOKMARK [2][-]{subsection.91.3.8}{Error Handling}{section.91.3}
\BOOKMARK [2][-]{subsection.91.3.9}{Vectors}{section.91.3}
\BOOKMARK [2][-]{subsection.91.3.10}{Boolean Functions and Conditionals}{section.91.3}
\BOOKMARK [2][-]{subsection.91.3.11}{Arithmetic Functions}{section.91.3}
\BOOKMARK [2][-]{subsection.91.3.12}{MAP Composite Functions}{section.91.3}
\BOOKMARK [2][-]{subsection.91.3.13}{Composite Functions}{section.91.3}
\BOOKMARK [2][-]{subsection.91.3.14}{The Interpreter}{section.91.3}
\BOOKMARK [2][-]{subsection.91.3.15}{Input and Output}{section.91.3}
\BOOKMARK [2][-]{subsection.91.3.16}{LISP Reader}{section.91.3}
\BOOKMARK [1][-]{section.91.4}{System GLOBAL Variables}{chapter.91}
\BOOKMARK [1][-]{section.91.5}{The Extended Syntax}{chapter.91}
\BOOKMARK [2][-]{subsection.91.5.1}{Definition}{section.91.5}
\BOOKMARK [2][-]{subsection.91.5.2}{The Extended Syntax Rules}{section.91.5}
\BOOKMARK [-1][-]{part.4}{IV Appendix}{}
\BOOKMARK [0][-]{appendix.A}{Reserved Identifiers}{part.4}
\BOOKMARK [0][-]{appendix.A}{Index}{part.4}