1
General Discussion / Re: Installation of REDUCE SUITE
« on: January 05, 2019, 10:43:42 am »
Hi Xiang-Jun
Many thanks for your quick reply. these are my results. What is your suggestion for me?
1- code "which Perl": the result was "/cygdrive/d/Strawberry/perl/bin/perl"
2- code "perl ./bin/REDUCE_Suite_setup": the result was
$ perl ./bin/REDUCE_Suite_setup
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
To install the REDUCE Suite, do as follows:
(0) Download the Suite from http://reducesuite.bussemakerlab.org/.
Note that you *must* register and log in to see the download page.
Assuming your downloaded tarball is on Mac OS X:
REDUCE-Suite-v2.2-macosx-intel.tar.gz
(1) tar zxvf REDUCE-Suite-v2.2-macosx-intel.tar.gz
This will create a directory named REDUCE-Suite-v2.2/
(2) cd REDUCE-Suite-v2.2/
You are now in the REDUCE-Suite-v2.2/ directory
(3) cd src
>>> [optional] ONLY IF you compile REDUCE Suite from source <<<
(3a) make
(3b) cd ../ # back to REDUCE-Suite-v2.2/, as with step (2)
(4) bin/REDUCE_Suite_setup
To run the REDUCE Suite, you need to set up the followings:
o the environment variable REDUCE_SUITE
o add $REDUCE_SUITE/bin to your command line search path
for your 'bash' shell, please add the following into ~/.bashrc:
--------------------------------------------------------------
export REDUCE_SUITE='C:/cygwin/home/USER/REDUCE-Suite-v2.2'
export PATH='C:/cygwin/home/USER/REDUCE-Suite-v2.2/bin':$PATH
--------------------------------------------------------------
and then *logout* and *login again* to see the effects.
(alternatively, you may run the commoand: source ~/.bashrc)
(5) type MatrixREDUCE -h
LogoGenerator -h
HTMLSummary -h
etc. for command-line help and worked examples
(6) Note: to use HTMLSummary for the summary page, you need to install
GhostScript. See $REDUCE_SUITE/config/pkg_settings.cfg for
setting path to the command 'gs'. LogoGenerator generates
the logo image in EPS format, and uses 'gs' to convert EPS
into PDF, PNG, or JPG. Additionally, with ImageMagick, you
can also get the logo image in GIF.
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Many thanks for your quick reply. these are my results. What is your suggestion for me?
1- code "which Perl": the result was "/cygdrive/d/Strawberry/perl/bin/perl"
2- code "perl ./bin/REDUCE_Suite_setup": the result was
$ perl ./bin/REDUCE_Suite_setup
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
To install the REDUCE Suite, do as follows:
(0) Download the Suite from http://reducesuite.bussemakerlab.org/.
Note that you *must* register and log in to see the download page.
Assuming your downloaded tarball is on Mac OS X:
REDUCE-Suite-v2.2-macosx-intel.tar.gz
(1) tar zxvf REDUCE-Suite-v2.2-macosx-intel.tar.gz
This will create a directory named REDUCE-Suite-v2.2/
(2) cd REDUCE-Suite-v2.2/
You are now in the REDUCE-Suite-v2.2/ directory
(3) cd src
>>> [optional] ONLY IF you compile REDUCE Suite from source <<<
(3a) make
(3b) cd ../ # back to REDUCE-Suite-v2.2/, as with step (2)
(4) bin/REDUCE_Suite_setup
To run the REDUCE Suite, you need to set up the followings:
o the environment variable REDUCE_SUITE
o add $REDUCE_SUITE/bin to your command line search path
for your 'bash' shell, please add the following into ~/.bashrc:
--------------------------------------------------------------
export REDUCE_SUITE='C:/cygwin/home/USER/REDUCE-Suite-v2.2'
export PATH='C:/cygwin/home/USER/REDUCE-Suite-v2.2/bin':$PATH
--------------------------------------------------------------
and then *logout* and *login again* to see the effects.
(alternatively, you may run the commoand: source ~/.bashrc)
(5) type MatrixREDUCE -h
LogoGenerator -h
HTMLSummary -h
etc. for command-line help and worked examples
(6) Note: to use HTMLSummary for the summary page, you need to install
GhostScript. See $REDUCE_SUITE/config/pkg_settings.cfg for
setting path to the command 'gs'. LogoGenerator generates
the logo image in EPS format, and uses 'gs' to convert EPS
into PDF, PNG, or JPG. Additionally, with ImageMagick, you
can also get the logo image in GIF.
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++