REDUCE IDE

The current version of REDUCE IDE is available from SourceForge and is being updated for use with GNU Emacs 23/24 and Open Source REDUCE. I have left this obsolete version here in case the current version does not work with old versions of Emacs and/or REDUCE.

REDUCE IDE is a package that provides an Integrated Development Environment for the REDUCE computer algebra system within the GNU Emacs editor.  Its two major components are Emacs Lisp libraries that provide major modes for respectively editing REDUCE source code and running a command-line version of REDUCE in an Emacs window.  Many of the facilities require that Emacs is running under a GUI such as Microsoft Windows, or the X Window System under some flavour of UNIX or Linux.  My recent development and use has been mainly with NTEmacs under Microsoft Windows (95 and NT).

A 30-page user's guide is available in various formats (all generated from the same GNU texinfo source file):

• HTML (currently a single large file) is convenient for browsing via the web;
• PDF is convenient for printing but can also be browsed via the web (although the current version does not provide any links or other navigation facilities);
• GNU info is convenient for browsing within Emacs;
• DVI is also available.

A README file provides further technical details.  Full source code is available.  The distributed files can be accessed individually via a directory listing, or the complete package (consisting of all the files available individually) can be downloaded as one gzip'd tar file.

The package includes a semi-automatic installer, but this is a new facility that is not yet reliable.  It may need to be run at least twice, and some correction by hand may be needed, so at present it may be safest to ignore it and install by hand.  I hope to fix this soon.

REDUCE IDE requires GNU Emacs version 20, preferably 20.4 or later.  There is currently no explicit support for XEmacs, although I might add that later.

This package is still under (sporadic) development, and feedback is welcome.