REDUCE - PSL

Help
Sathej
2010-09-18
2012-11-20
  • Sathej
    Sathej
    2010-09-18

    Posting in short some pointers that seemed to have worked for me in installing PSL based REDUCE. I was having quite some difficulty in installing REDUCE for purposes of using DAISY (that requires a PSL version of REDUCE). Things took a while but seem to have got sorted out now. I use a Windows Vista OS. One primarily needs Cygwin and an svn package (for subversion) to install REDUCE - PSL on Windows. The standard installation of Cygwin does not build REDUCE well and one additionally needs packages.Broadly speaking, the instructions at http://reduce-algebra.com/downloading.htm are very helpful. The tentative list of packages needed along with Cygwin given at http://reduce-algebra.sourceforge.net/windows.html and pointers from Arthur Norman finally seem to have worked in getting things sorted.

    Just posting this here hoping it would be of some use to people stuck similarly.

    Sathej