REDUCE Symbolic Mode Primer

H. Melenk
Konrad–Zuse–Zentrum
für Informationstechnik Berlin
Takustrasse 7
14195 Berlin-Dahlem
Germany
Email: melenk@zib.de

1 Introduction
2 Very short course on RLISP
 2.1 What is RLISP
 2.2 Modes, function classes
 2.3 Evaluation model, symbols, and variables
 2.4 Variable types
 2.5 Symbols, numbers and strings
 2.6 Boolean values
 2.7 Programming with lists
 2.8 In-place operations
 2.9 Equal tests: Equality vs. Identity
 2.10 Properties, Flags
 2.11 Alists
 2.12 Vectors
3 Algebraic data formats and evaluation
 3.1 Prefix forms
 3.2 *SQ
 3.3 Composite forms
 3.4 Algebraic evaluator: reval, aeval, aeval*
4 Standard Forms, Standard Quotients
 4.1 Introduction
 4.2 Coefficients
 4.3 Generic arithmetic with domain elements
 4.4 Kernels, kernel order
 4.5 Standard form structure
 4.6 Operations on standard forms
 4.7 Reordering
 4.8 Standard Quotients
 4.9 Substitutions
 4.10 Useful facilities for standard forms
 4.11 Variant: non-expanded standard form
5 Communication between algebraic and symbolic modes
 5.1 Algebraic variables
 5.2 Calling symbolic routines from algebraic mode
 5.3 Statements, forms
 5.4 Printing and messages
6 Error management
 6.1 Issue an error message
 6.2 Catching errors
7 Compiling, modules, packages
 7.1 Program modules
 7.2 Packages
8 Coding suggestions
9 Appendix: Standard LISP extensions
Index