Documentation

REDUCE includes considerable documentation, not only for the core system, but also for the many application packages included in the release. The main documentation is included in a standard REDUCE installation; it is available on Microsoft Windows via the Start menu and on other platforms in /usr/share/doc/reduce. (The documentation for REDUCE 3.8, the last commercial version of REDUCE released in 2004, is also still available for historical interest.)

For all users:

• REDUCE User's Manual [ HTML | PDF ] – a comprehensive guide to the REDUCE language and the supported packages. It can be accessed via the Help menu in the CSL REDUCE GUI (and in Run-REDUCE) [note on external linking];
• Switch Summary – an overview of the switches that control REDUCE.
• Working Directories – an overview of working directory support in PSL and CSL REDUCE.
• Unix-style Man Pages – details of commands for running REDUCE.

For advanced users:

• Inside Reduce – how to build REDUCE, the structure of the REDUCE source code, and some low-level programming features;
• Symbolic Mode Primer [ HTML | PDF ] – an introduction to programming in the REDUCE implementation language, RLISP, which is Standard Lisp with REDUCE (essentially ALGOL 60) syntax;
• Standard Lisp Report [ HTML | PDF ] – defines Standard Lisp, the dialect of Lisp assumed by REDUCE;
• PSL Users Manual [ HTML | PDF ] – documents Portable Standard Lisp, the original implementation of Standard Lisp;
• CSL Reference – documents Codemist Standard Lisp, a later implementation of Standard Lisp.

The following documents for the user-contributed packages are dynamically generated links into the HTML version of the REDUCE User's Manual.