HowToUse

How to use Hyose

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.

REDUCE

  • Requires Version 20101007; later versions will not work.
  • In order to use REDUCE as a constraint solver, proceed as follows:
  1. 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:
        1. wget http://jaist.dl.sourceforge.net/project/reduce-algebra/reduce-algebra-20101007.tar.bz2
        2. bzip2 -dc reduce-algebra-20101007.tar.bz2 | tar xvf -
        3. cd reduce-algebra-20101007/
        4. Copy filepatch.txt to reduce-algebra-20101007/
        5. patch -d csl/cslbase/ < patch.txt
        6. ./configure --with-csl --without-gui
        7. make
      • an executable file will be built in /cslbuild/[OS-name]/csl/reduce .
  1. 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 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.

Attach file: filepatch.txt 250 download [Information]
Last-modified: 2017-03-02 (Thu) 02:41:11 (205d)