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.
-
Customize the Emacs user option
package-archives
to add a new archive with the URLhttps://reduce-algebra.sourceforge.io/reduce-ide/packages/
. You can give this archive any name you like, such asreduce-ide
. If the optionpackage-archives
is not immediately available then you can access it via the customization grouppackage
. -
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 packagereduce-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 ofreduce-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