REDUCE IDE

REDUCE IDE is a GNU Emacs package that provides an Integrated Development Environment for REDUCE consisting of major modes for 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.

The user guide is available online in PDF and HTML, and included in the package in info format. Full source code is available from the /trunk/generic/emacs directory in the REDUCE subversion repository via a subversion client or directly using a web browser.

Latest release

REDUCE IDE version 1.12 (March 2024) See the README file and recent release notes for details.

Installation

Provided you are using GNU Emacs 24 or later, I recommend that you install the latest complete REDUCE IDE package, which includes documentation in GNU info format, as follows.

  1. Customize the Emacs user option package-archives to add a new archive with the URL https://reduce-algebra.sourceforge.io/reduce-ide/packages/. You can give this archive any name you like, such as reduce-ide. If the option package-archives is not immediately available then you can access it via the customization group package.
  2. Run the Emacs package manager, which is available as an item towards the bottom of the Options menu. (Or you can run the command list-packages.) This should show the latest available version of the package reduce-ide, which you can install by clicking on it and then clicking the Install button. Whenever you run the Emacs package manager in future it should show if there is a new version of reduce-ide available, and allow you to install it.

Installing the full package will automatically perform all necessary configuration and make REDUCE IDE ready to use (although you can customize REDUCE IDE if you wish). It should also install the documentation, so that if you start the Emacs info browser, REDUCE IDE should appear at the top of the Emacs topics (probably immediately above Emacs itself). You can browse info documentation in Emacs via the menu item Help / More Manuals / All Other Manuals (Info) or via the key sequence C-h i.

An alternative way to install the latest complete REDUCE IDE package is to open the REDUCE IDE packages directory in a web browser, download the latest reduce-ide package file (which will have a name of the form reduce-ide-version.tar), then run the Emacs command package-install-file and give it the full pathname of the reduce-ide package file you just downloaded.

Feedback is welcome.

Francis Wright