Artifact f72d016f30210b327618879e2f2be3f85f8717250182e8713b96515128b6486b:
- Executable file
r37/doc/util/r37.out
— part of check-in
[f2fda60abd]
at
2011-09-02 18:13:33
on branch master
— Some historical releases purely for archival purposes
git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 37300) [annotate] [blame] [check-ins using] [more...]
\BOOKMARK [-1]{part.1}{REDUCE User's Manual}{} \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}{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\366b-ner 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: nslq-hypergeometric sums}{part.2} \BOOKMARK [1]{section.63.1}{Elementary nslq-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}{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}{Appendix}{} \BOOKMARK [0]{chapter.A}{Reserved Identifiers}{part.4}