#contents
**How to use Hyose [#m6fa7d1d]
- Download Hyrose from the [[Download]] page and follow the instructions in [[How to use computer algebra software>#solver]] below. Then the system should be ready to use.
&aname(solver);
**How to use computer algebra software [#b97233c4]
- At present, Hyrose uses Mathematica or REDUCE for constraint solving.
- To use them, please follow the instructions below and specify the software by the [[solver option>#option_solver]].
-- [[Mathematica>#mathematica]]
-- [[REDUCE>#uaff7ba0]]
&aname(mathematica);
***Mathematica [#gfad719f]
- Requires version 7 or up. Version 8 is recommended.
-- We have seen models that can be solved only with Mathematica 8. (2011/12/21)
- Hyrose can be used if Mathematica can be located.
-- That is, if Mathematica is invoked by the "math" command, Hyrose will work.
--- If a command name other than "math" is used, change the command name after the linkname in the "--mathlink" option.
--- HIDE allows you to specify the Mathematica execution file also.
***REDUCE [#n5d5c35f]
- Requires Version 20101007; later versions will not work.
- In order to use REDUCE as a constraint solver, proceed as follows:
+ Installing REDUCE
-- Windows
--- Download the source code (reduce-windows64-20101007.zip OR reduce-windows32-20101007.zip) from sourceforge and unzip it.
--- In order to run the 64-bit version, a DLL contained in the bin/ folder of mingw-w64-gcc-4.6.3-runtime-2.0.1-shared-ada-20120322.7z .
-- Linux
--- Download the source code (reduce-algebra-20101007.tar.bz2) from sourceforge and create an executable.
--- To circumvent the performance bottleneck caused by 'sleep' in socket communicatino, apply the following patch:
>
+ wget http://jaist.dl.sourceforge.net/project/reduce-algebra/reduce-algebra-20101007.tar.bz2
+ bzip2 -dc reduce-algebra-20101007.tar.bz2 | tar xvf -
+ cd reduce-algebra-20101007/
+ Copy &ref(patch.txt); to reduce-algebra-20101007/
+ patch -d csl/cslbase/ < patch.txt
+ ./configure --with-csl --without-gui
+ make
<
--- an executable file will be built in /cslbuild/[OS-name]/csl/reduce .
+ How to run Hyrose with REDUCE
-- The shellscript sr.sh in the directory of the HydLa executable will invoke Hyrose as well as RECUDE.
-- Set the path of the REDUCE executable in the [REDUCE_PATH] field.
-- In Windows, invoke Hyrose under Cygwin.
--- For example, if REDUCE is unzipped at C:\reduce-i686-pc-windows-20101007\, [REDUCE_PATH] should be set to /cygdrive/c/reduce-i686-pc-windows-20101007/.
-- Example
> sh sr.sh examples/bouncing_particle.hydla -s r -t 1
> sh sr.sh examples/bouncing_particle.hydla -t 1
<
-- Since the REDUCE server on Linux supports asynchronous communication, Hyrose can be invoked without sr.sh if the REDUCE server is running background.
--- How to invoke a server (example):
> [REDUCE_PATH]/reduce -w -F- &
<
** How to check available options [#u38dcd42]
- If "-h" or "--help" options are specified, Hyrose displays the list of available options.
-- We are sorry for some options may be not implemented, because this project is work in progress.
