Revision as of 23:29, 23 November 2010 by Thomas-sturm (Talk | contribs)

Jump to: navigation, search

The SourceForge repository contains several versions of REDUCE, including the complete sources for both REDUCE and the underlying Lisp systems.

Compiled Versions

There are several compiled versions available for download. To obtain one of these, go to the project homepage at SourceForge, click on the white Download link at the right of the page near the top, and then click on reduce-algebra under "Package." You will then see several instances of the available binaries. Please use the latest version if that meets your needs. Otherwise, click on the other links, and a variety of versions will be displayed. Hopefully one of these will meet your needs. The relevant files are there in some archive format suitable for your architecture. Among them should be a REDUCE executable.

Complete Sources and Supporting Files

If none of the above versions meets your needs, or you are interested a newer version containing the latest features, please download the complete sources and compile yourself.

For this you need the "subversion" program svn. If you don't have this, you will need to obtain it from somewhere. Once that is available, you can say

svn co reduce-algebra

This will download all relevant files to a sub-directory reduce-algebra. To create the necessary executables, go

cd reduce-algebra/trunk

Depending on which underlying Lisp you want to have available, pick one of the following options:

./configure --with-csl
./configure --with-psl

You can configure for both the Lisps but you have to use separate configure commands for this.

Finally type


After compilation a suitable executable redcsl or redpsl (with a .bat extension for Windows) will be found in the trunk/bin subdirectory.

There is no make install for installing things somewhere else in your filetree. We recommend to add trunk/bin to your PATH.

Required Packages for CSL Reduce Compilation on Linux

These are the Ubuntu packages, necessary for building CSL Reduce on Ubuntu 10.04:

  • g++
  • libx11-dev
  • libxft-dev
  • libxext-dev
  • libncurses5-dev

So the required line before building is:

sudo apt-get install g++ libx11-dev libxft-dev libxext-dev libncurses5-dev

We expect other Linux distributions to be very similar about this.

Known Problems

The first and most important thing to say here is that if you have any problems then please report them, eg via the sourceforge bug tracker. Unless we know exactly what problems are - and for choice have compact examples that reproduce them - we are not even liable to start trying to fix them! So the proper place to find a list of "Known Problems" is the Bug Tracker where (if you persist in working through the sourceforge interface) you can find all the bugs that have been reported to us since the Open Source release was made, together with annotations showing which we believe have been fixed.

If you check out a full copy of Reduce from subversion or collect the source package you should find a directory called buglist that contains some information about other issues. Some of these may in fact have been sorted out since, and our policy should be to migrate from a directory like this to use of the bug tracker.

Other queries from users will appear on the newsgroup or forum so if you have a problem you may wish to check those to see if your problem is one that has arisen before (and if anybody has found a work-around).

If you are able to suggest a resolution to any bug or are interested in working on one of them consider posting to the developer's forum.

With the CSL version, there were some glitches with the mathematical prettyprinting of expressions in early releases, and some people view the exact spacing in the mathematical display as not being fully to their taste. Since it is relativly new code there may be additional problems, but unless you report them they will not get looked at. If you need turn this feature off while waiting for a resolution to some particular problem that you find you can say off fancy; in REDUCE.

There are some keyboard problems with the CSL window-based version on MacOS X with certain localized keyboards. It appears that many other X-windows based applications have had difficulty with the MacOS X server in the context of non-US keyboards, and so at present we do not have reason to believe that this is anything that can be sensibly corrected within Reduce! If you are having problems with this version, or generally prefer a command-line version, you can use CSL REDUCE in command-line mode via the option -w.

At present for a collection of reasons to messy to discuss here there are no PSL pre-built downloads provided via the sourceforge setup. The obtina a PSL-based version of Reduce you must fetch source (probably preferably using subversion) and run the build process for yourself. You may of course check back with us every month or two to see if this situation has changed.

You might find that the frontend of PSL REDUCE on non-Windows systems is not very user-friendly. Consider using Redfront.

If you have a shared file-space and you connect to it from a variery of machines that have different architectures or that run different operating systems or operating system releases then you may find it helpfile to read the bin/README file that explains how it is arranged that for all the main parts of Reduce you can at least almost survive without having to put too much thought into the potential systam clashes. The main trick is that you will need to run eg bin/redpsl-s rather than bin/redpsl (etc) and system startup will be marginally slower for you.


Redfront is a terminal-based frontend for REDUCE using the editline library, which is similar to the GNU readline. For compiling Redfront, go

cd trunk/generic/redfront
make install

After this, you will find suitable executable rfcsl and rfpsl in trunk/bin.