HowToUse
How to use Hyose †
- Download Hyrose from the Download page and follow the instructions in How to use computer algebra software below. Then the system should be ready to use.
How to use computer algebra software †
- 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.
Mathematica †
- 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.
- That is, if Mathematica is invoked by the "math" command, Hyrose will work.
REDUCE †
- 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 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 .
- Windows
- 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 -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 invoke a server (example):
How to check available options †
- 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.
Last-modified: 2017-03-02 (Thu) 02:41:11 (2605d)