[BACK]Return to install.oxweave CVS log [TXT][DIR] Up to [local] / OpenXM / doc

Diff for /OpenXM/doc/install.oxweave between version 1.38 and 1.50

version 1.38, 2000/09/25 07:12:41 version 1.50, 2008/02/18 06:36:12
Line 1 
Line 1 
 %% $OpenXM: OpenXM/doc/install.oxweave,v 1.37 2000/09/23 07:28:11 takayama Exp $  %% $OpenXM: OpenXM/doc/install.oxweave,v 1.49 2005/04/15 00:50:54 takayama Exp $
 OpenXM/doc/install.oxweave  OpenXM/doc/install.oxweave
   
 /*&C  /*&C
   
 OpenXM URL :  http://www.math.kobe-u.ac.jp/OpenXM  OpenXM URL :  http://www.math.kobe-u.ac.jp/OpenXM
               http://www.openxm.org                http://www.openxm.org
 Consult firstly the ERRATA section for your release on this web cite  
 for troubles.  
   
 OpenXM package : Getting started.  
   
 This document is for OpenXM version 1.1.3.  (Draft)  
   
 */  */
   
 /*&jp  /*&jp
 ★ OpenXM GENERIC パッケージの利用方法  
 この節では, OpenXM package binary distribution のインストール法を説明します.  
 ソースからインストールする場合は  
        ★ OpenXM パッケージの Make 法  
 を御覧下さい.  
 インストールに必要なシステムの仕様については, 動作環境を御覧ください.  
 */  
 /*&eg  
 ***** HOW TO INSTALL OpenXM GENERIC PACKAGE?  
 In this section, we will explain how to install OpenXM package binary  
 distribution.  
 If you build from the source, see the section  
       * How to make OpenXM package?  
 As to the required environment, see the section "System Requirement"  
 */  
 /*&jp  
   
 (1)  Tar ボールより次のようにしてディレクトリ OpenXM を取り出します.  ------------ ソースからコンパイルしてインストールする方法 ----
      OpenXM はどこにおいてもかまいません. ルートになってインストール  
      する必要もありません.  (cd OpenXM/src ; make install)
      できれば, /usr/local/OpenXM  においてほしいと思います.               バイナリとライブラリとドキュメント類は
                OpenXM/bin, OpenXM/lib, OpenXM/doc
                にインストールされます.
   (cd OpenXM/rc ; make install)
                "asir", "sm1", ... などのシェルスクリプトが生成されて
                /usr/local/bin
                にコピーされます.
                この部分は root で実行してください.
   
   なお一部のソースは ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc より
   OpenXM_dist に make 中に wget コマンドでダウンロードされます.
   したがって, make するときは
   インターネットに接続されている必要があります.
   
   ファイアウオール内でもし passive ftp が使えない場合は,
   環境変数 ftp_proxy を正しく設定すればうまくいく場合があるかもしれません.
   詳しくは wget のマニュアルを見てください.
   ダウンロードしたライブラリのソースは
   OpenXM_dist ( OpenXM と並列した場所です ) に格納されます.
   ここに手動で必要なライブラリのソースをおいとけば,  offline でも
   コンパイル可能です.
   
 */  */
   
 /*&eg  /*&eg
   
 (1)  Extract the directory OpenXM from the tar ball.  OpenXM package : Getting started.
      You can put the directory OpenXM at any place in the file system.  
      You do not need to be a root to install it.  
      We are happy if you put OpenXM at /usr/local/OpenXM  
   
 */  
 /*&C  
   
          tar xzvf OpenXM-shared.tgz  ----------- An instruction for a quick installation from the source code ---
          tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz  
   
   (cd OpenXM/src ;  make install)
                You will get binaries, libraries, and documents under
                OpenXM/bin, OpenXM/lib, OpenXM/doc
   (cd OpenXM/rc ; make install)
                Shell scripts to start "asir", "sm1", ... will be copied to
                /usr/local/bin
                This part should be executed as the root.
   
   
   Some sources are downloaded from ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc
   to OpenXM_dist during the make by the wget command.
   So, your machine must be accessible to the internet.
   
   If you are in a firewall and cannot use even the passive
   ftp, the environmental variable ftp_proxy may help you.
   See the document of wget.  All necessary library sources are downloaded in
   OpenXM_dist at the same level of OpenXM. If you are offline, please put
   all library sources necessary in this directory by hand.
   
 */  */
   
   
 /*&jp  /*&jp
 以下 (1) で生成されたディレクトリ OpenXM の絶対パスを /xxx/yyy/OpenXM  
 と書きます.  
   
   
   ------- Asir と kan だけで十分な場合
   (cd OpenXM/src ; make install-kan-ox ; make install-asir-contrib)
                OpenXM 版の Risa/Asir と kan/sm1 が生成インストールされます.
   (cd OpenXM/rc ; make install)
   
   -------------------------------------------
   asir-contrib 付きの Risa/Asir は OpenXM パッケージのメインクライアントです.
   Risa/asir はコマンド asir で起動できます.
   Risa/Asir および Asir-contrib のマニュアルは
   OpenXM/doc ディレクトリおよび http://www.openxm.org においてあります.
   
   
 */  */
   
   
 /*&eg  /*&eg
 In the sequel, we will denote the absolute path of the directory OpenXM  
 by /xxx/yyy/OpenXM.  
   
   ------- If you need only asir and kan,
   (cd OpenXM/src ; make install-asir2000 ; make install-k097 )
                You will get only asir and kan/sm1.
   (cd OpenXM/rc ; make install)
   
   -------------------------------------------
   Risa/Asir with asir-contrib is the main client system in the OpenXM project.
   You can start Risa/Asir by the command "asir", which is called
   OpenXM/Risa/Asir.
   It is build by (cd OpenXM/src ; make install-asir-contrib)
   The manual of Risa/Asir and Asir-contrib can be found in the
   OpenXM/doc directory and http://www.openxm.org
   
   
 */  */
   
 /*&jp  /*&jp
 (2) OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc,  
   
   -----------  幾つか解説  ------------------
   
   Q.  (cd OpenXM/rc ; make all) はなにをやるの?
   A.
       OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc,
     OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, 等の      OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, 等の
     ファイルを自動生成します.      ファイルを自動生成します.
     openxm, asir, oxmath などは OpenXM クライアントを起動するための      openxm, asir, oxmath などは OpenXM クライアントを起動するための
Line 70  by /xxx/yyy/OpenXM.
Line 118  by /xxx/yyy/OpenXM.
   
 */  */
 /*&eg  /*&eg
 (2) Generate  OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and  
   -----------  Some Tips ----------------------
   
   Q.   What is done by the command (cd OpenXM/rc ; make all) ?
   A.
       It generates  OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and
     OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, ...      OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, ...
     The files openxm, asir, oxmath are shell scripts to invoke OpenXM clients.      The files openxm, asir, oxmath are shell scripts to invoke OpenXM clients.
     If you want to install these shell scripts to /usr/local/bin,      If you want to install these shell scripts to /usr/local/bin,
Line 79  by /xxx/yyy/OpenXM.
Line 132  by /xxx/yyy/OpenXM.
 */  */
 /*&C  /*&C
   
      cd /xxx/yyy/OpenXM/rc       cd OpenXM/rc
      make install       make install
   
 */  */
Line 97  by /xxx/yyy/OpenXM.
Line 150  by /xxx/yyy/OpenXM.
 */  */
 /*&C  /*&C
   
    cd /xxx/yyy/OpenXM/rc     cd OpenXM/rc
    make install PREFIX=$HOME/bin     make install PREFIX=$HOME/bin
   
 */  */
Line 109  by /xxx/yyy/OpenXM.
Line 162  by /xxx/yyy/OpenXM.
 */  */
 /*&jp  /*&jp
   
   Q. OpenXM/bin の下のファイルを直接実行できるようにしたい.
   A.
 OpenXM/bin の下のファイルを直接実行したい場合は, 以下の設定が必要です.  OpenXM/bin の下のファイルを直接実行したい場合は, 以下の設定が必要です.
 OpenXM clients を実行するだけの場合は, (3), (3') は skip してください.  
   
 (3) csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます.   # csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます.
   
 */  */
 /*&eg  /*&eg
   
 If you want to execute binaries under OpenXM/bin, you need to perform  Q. I want to execute binaries under OpenXM/bin
 (3) and (3').  A.
 If you use only OpenXM clients, skip (3) and (3').  If you want to execute binaries under OpenXM/bin, you need to do
   the following.
   
 (3) Append the following line to the end of  ~/.cshrc when you are  
    # Append the following line to the end of  ~/.cshrc when you are
     using csh as your shell.      using csh as your shell.
   
 */  */
 /*&C  /*&C
   
     source /xxx/yyy/OpenXM/rc/dot.cshrc      source OpenXM/rc/dot.cshrc
   
 */  */
 /*&jp  /*&jp
 (3') bash を利用してる場合, 次の行それぞれを ~/.bashrc および ~/.bash_profile   # bash を利用してる場合, 次の行それぞれを ~/.bashrc および ~/.bash_profile
 の最後に加えます.  の最後に加えます.
   
 */  */
 /*&eg  /*&eg
 (3') Append the following lines to the end of  ~/.bashrc and ~/.bash_profile   # Append the following lines to the end of  ~/.bashrc and ~/.bash_profile
      respectively when you are using bash as your shell.       respectively when you are using bash as your shell.
   
 */  */
 /*&C  /*&C
   
     source /xxx/yyy/OpenXM/rc/dot.bashrc             (.bashrc)      source OpenXM/rc/dot.bashrc             (.bashrc)
   
     source ~/.bashrc                                 (.bash_profile)      source ~/.bashrc                        (.bash_profile)
   
 */  */
   
 /*&jp  
   
  (3) または (3') を終了したら, いったん logout して login しなおすか  
  または, source コマンドで, dot.bashrc または dot.csh を読み込んで下さい.  
   
 */  
 /*&eg  
   
    After finishing the step (3) or (3'), logout and login again,  
    or read dot.bashrc or dot.cshrc file by the source command.  
   
 */  
   
   
 /*&C  
   
           FAQ  
   
 */  
 /*&jp  /*&jp
 Q. OpenXM の asir OpenXM client を icon でスタートするには?  Q. ox_asir を icon でスタートするには?
 A. 次の行を, .Xdefaults または, xrdb で読み込むファイルに書いておきます.  A. 次の行を, .Xdefaults または, xrdb で読み込むファイルに書いておきます.
 */  */
 /*&eg  /*&eg
 Q. How to start asir OpenXM clients in the iconic mode?  Q. How to start ox_asir in the iconic mode?
 A. Add the following line to .Xdefaults or a file you read by xrdb.  A. Add the following line to .Xdefaults or a file you read by xrdb.
 */  */
 /*&C  /*&C
Line 180  A. Add the following line to .Xdefaults or a file you 
Line 218  A. Add the following line to .Xdefaults or a file you 
        ox_xterm*iconic: on         ox_xterm*iconic: on
   
 */  */
 /*&jp  
   
 ★ OpenXM FreeBSD binary パッケージのインストール方法  
      openxm-version.tgz  
    を ftp サイトより copy して,  
    root になって,  
      pkg_add openxm-version.tgz  
    OpenXM は /usr/local/OpenXM にインストールされます.  
    あとは, 上の (4) へ.  
    ここで version は OpenXM の version 番号で, たとえば,  
    2000, 3/20(Mon) 版は  1.1.2  
    pkg_add に失敗した場合は, /var のサイズを大きくしてやりなおして  
    みて下さい.  
   
    java および linux emulation が実行に必要です.  
    java が, サーチパスのなかにある必要がありますので,  
    たとえば,  
      set path=(/usr/local/jdk1.1.8 $path)  
      rehash  
    してから, pkg_add して下さい.  
    インストール終了後のメッセージにしたがい, 必要な設定を  
    おこなって下さい.  
   
    jdk は /usr/ports/lang/jdk よりインストールできます.  
    Linux emulation を有効にするには,  
     /etc/rc.conf に  
     linux_enable="YES"  
    と書き,  
    /usr/ports/emulators/linux_base を用いて, linux 用の共有ライブラリ等を  
    インストールしておきます.  
      (FreeBSD 3.x, 4.x)  
   
   
    /usr/local にインストールしなかった場合は,  
    (2) を実行して下さい.  
   
 */  
 /*&eg  
   
 ***** HOW TO INSTALL OpenXM FreeBSD binary package  
    Copy  
       openxm-version.tgz  
    from our ftp cite.  
    Become the super user and type  
       pkg_add openxm-version.tgz  
    OpenXM will be installed to /usr/local/OpenXM  
    Go to (4) above.  
    Here, version is the version number of OpenXM.  
    For example, the version number of the OpenXM of May 20 (Mon), 2000  
    is 1.1.2  
    If you fail "pkd_add", increase the size of /var  
   
    java and linux emulation are required to run OpenXM packages.  
    Java needs to be in the search path. So, for example, execute pkg_add  
    after  
      set path=(/usr/local/jdk1.1.8 $path)  
      rehash  
    Following the message of pkg_add after the installation,  
    set path.  
   
    jdk can be installed by /usr/ports/lang/jdk.  
    Add the line  
     linux_enable="YES"  
    to /etc/rc.conf and install shared libraries for linux  
    by /usr/ports/emulators/linux_base.  
    Then, you can emulate linux.  
   
    If you do not install under /usr/local,  
    goto (2).  
   
 */  
 /*&jp  /*&jp
   
 ★ OpenXM Redhat Package manager (Linux)  Q. Make は無事終了しますが, 途中でエラーがでます.
    binary パッケージのインストール方法  A.
       openxm-shared-version-suffix.noarch.rpm  OS の標準添付の環境以外が必要なコンポーネントのコンパイルエラーは
       openxm-binary-version-suffix.i386.rpm  無視されます.
    を ftp サイトより copy して,  
    root になって,  
      rpm -i  openxm-shared-version-suffix.noarch.rpm  
      rpm -i  openxm-binary-version-suffix.i386.rpm  
    OpenXM は /usr/local/OpenXM にインストールされます.  
    あとは, 上の (4) へ.  
    ここで version は OpenXM の version 番号で, たとえば,  
    2000, 3/20(Mon) 版は  1.1.2  
    suffix は, RPM 版の minor version number.  
   
    Debian を利用している場合, コマンド alien で, rpm 形式を deb 形式に  
    変換できます.  
   
    /usr/local の下へインストールしなかった場合は, (2) を実行して下さい.  
   
 */  
 /*&eg  
   
 ***** HOW TO INSTALL OpenXM by the redhat Package manager (Linux)  
    Copy  
       openxm-shared-version-suffix.noarch.rpm  
       openxm-binary-version-suffix.i386.rpm  
    from our ftp cite.  
    Become the super user and type  
      rpm -i  openxm-shared-version-suffix.noarch.rpm  
      rpm -i  openxm-binary-version-suffix.i386.rpm  
    OpenXM will be installed to /usr/local/OpenXM  
    Go to (4) above.  
    Here, version is the version number of OpenXM.  
    For example, the version number of the OpenXM of May 20 (Mon), 2000  
    is 1.1.2  
    suffix is the minor version number of the package.  
   
    If you are using debian, please use the command alien to translate  
    rpm to deb.  
   
    If you do not install under /usr/local, goto (2).  
   
   
 */  
   
 /*&C  
   
 ***** OpenXM client programs under OpenXM/bin or /usr/local/bin:  
    asir  
    oxmath  
    openxm sm1  
   
 ***** OpenXM server programs:  
    OpenXM/bin/ox_asir  
    OpenXM/bin/ox_sm1  
    OpenXM/bin/ox_math  
    OpenXM/lib/sm1/bin/ox_sm1_gnuplot  
    OpenXM/lib/sm1/bin/ox_sm1_phc  
    OpenXM/lib/sm1/bin/ox_sm1_tigers  
    OpenXM/lib/java-support/OMproxy.class  
   
 ***** QUALITY:  
  Experimental:  
    OpenXM/bin/k0,  OpenXM/bin/d0  
    Asir client functions:   m_* (Mathematica)  ,  om_*  (OpenMath)  
    OpenXM/lib/java-support/ *  
  70%  
    OpenXM/bin/ox_math,  OpenXM/bin/math2ox  
    OpenXM/bin/sm1, ox_sm1 on Linux libc6.  
   
 **** OpenXM server and client programs (under development)  
      included only in the source distribution  
    OpenXM/src/Macaulay2  ( M2 server and client )  
    OpenXM/src/ruby       ( Ruby client)  
   
 **** Utilities  
    OpenXM/doc/oxlib    ( how to link oxservers as libraries )  
   
 */  
 /*&C  
   
   
 */  
 /*&jp  
 ★ Java に関する注意:  
 注意 1.  
 OpenMath 用の OMproxy には現在のところ, jdk が必要です.  
 たとえば bash を利用している場合, .bashrc で  
 PATH=/usr/local/jdk1.1.8/bin:$PATH  
 export PATH  
 などとして, jdk の java, javac をサーチパスの先のほうへもっていくようにして  
 ください.  
 csh を利用している場合, .cshrc で  
 set path=(/usr/local/jdk1.1.8/bin $path)  
 として, jdk の java, javac をサーチパスにいれます.  
   
 jdk の入手先:  FreeBSD  --- /usr/ports/java/jdk を見てください.  
                Linux    --- http://java.sun.com/products/jdk/1.2/ja  
                             http://java.sun.com/j2se/1.3/ja  
   
 注意:  
 なお, Kaffe 1.0.b4 の java は, class BigInteger に method  
 toByteArray が含まれてないため, OpenMath モジュールでは使用できません.  
 */  
 /*&eg  
 ***** JAVA  
 In order to use OMproxy, asir client om_*,  
 you need to install JDK.  
 The bin dir of the JDK must be in yur search path.  
 For example, you need to add the following line  
 to your .chsrc when your shell is csh  
 set path=(/usr/local/jdk1.1.8/bin $path)  
 Bash users put the following line to .bashrc  
 PATH=/usr/local/jdk1.1.8/bin:$PATH  
 export PATH  
   
   
 Where can I get jdk? :  FreeBSD --- see /usr/ports/java/jdk  
                         Linux   --- http://java.sun.com/products/jdk/1.2/ja  
                                     http://java.sun.com/j2se/1.3/ja  
   
   
 Remark:  
 The Java interpreter of Kaffe 1.0.b4 does not contain the method  
 toByteArray in the class BigInteger.  
 So, it cannot be used for the OpenMath module.  
 */  
   
 /*&C  
   
   
   
   
 */  
 /*&jp  
 ★ 動作環境  
   
 */  
 /*&eg  
 ***** SYSTEM REQUIREMENTS  
   
 */  
 /*&C  
   
 OS:  FreeBSD 3.3, 3.4, 4.x (Intel CPU),  
      Linux systems (Intel CPU):  
          Most Linux with libc5 and with libc6 (glibc 2.x).  
   
      X window system is required.  
   
      Most part of the OpenXM package may work on other versions of  
      FreeBSD 3.x and Linux, but we have not yet tested.  
   
 */  
 /*&jp  
 次の modules は, OS の標準 distribution 以外に, さらに下に記したソフトを  次の modules は, OS の標準 distribution 以外に, さらに下に記したソフトを
 必要とします.  必要とします.
 */  */
 /*&eg  /*&eg
 The following modules require the listed softwares other than the standard  
 OS package.  Q. Make finishes, but it outputs errors.
   A.
   Compilation errors due to missing commands other than
   standard commands are ignored.
   The following modules require the listed software systems
   other than the standard OS package.
 */  */
 /*&C  /*&C
   
Line 421  OS package.
Line 243  OS package.
    (Mathematica server)         at /usr/local/Mathematica     (Mathematica server)         at /usr/local/Mathematica
     OpenXM/bin/math2ox          [ see http://www.wolfram.com ]      OpenXM/bin/math2ox          [ see http://www.wolfram.com ]
     Asir client functions  m_*      Asir client functions  m_*
 (2) OpenXM/lib/java-support :   JDK at /usr/local/jdk??  (2) OpenXM/lib/OpenMath :   JDK
                                 [ see the section on JAVA]  
     Asir client functions  om_*      Asir client functions  om_*
     sm1 client functions   om_*      sm1 client functions   om_*
 (3) PHC pack (OpenXM/bin/phc)  and  asir client functions  (3) PHC pack (OpenXM/bin/phc)  and  asir client functions phc_*
     phc_*  run only on linux (glib5).      phc_*  run only on linux.
     If you install the linux emulation^{note 1} on Free BSD, they run on      If you install the linux emulation on Free BSD, they run on
     FreeBSD, too.      FreeBSD, too.
     <note 1>      <note 1>
       Add linux_enable="YES" in /etc/rc.conf        Add linux_enable="YES" in /etc/rc.conf
       You need the following packages:        You need the following packages:
       pkg_info | grep linu        pkg_info | grep linu
       linux_base-5.2      The base set of packages needed in Linux mode        linux_base-*      The base set of packages needed in Linux mode
       linux_devtools-5.2  Packages needed for doing development in Linux mode        linux_devtools-*  Packages needed for doing development in Linux mode
   (4) The document generation requires
        latex, platex, tex, ptex, dvips, latex2html, texi2html, nkf
   
 */  */
   
   
 /*&jp  /*&jp
 日本語版の注意.  Q. asir の help message が変.
 注意 1.  A.
 asir で日本語のヘルプを利用するには,  asir で日本語のヘルプを利用するには,
 PAGER=jless  PAGER=jless
 export PAGER  export PAGER
 などで, 日本語を扱える PAGER を指定する必要があるかもしれません.  などで, 日本語を扱える PAGER を指定する必要があるかもしれません.
 */  */
   
 /*&eg  /*&C
   
 The installation is completed.  -----------------------------------------------------
   
 */  */
 /*&jp  
   
 以上.  
   
 */  
   
 /*&jp  /*&jp
 ★ 文書  Q. OpenXM パッケージの文書は？
   A.
   OpenXM パッケージでもっとも充実しているクライアントは,    OpenXM パッケージでもっとも充実しているクライアントは,
   asir です.    asir です.
   asir のつかいかたは    asir のつかいかたは
Line 482  The installation is completed. 
Line 301  The installation is completed. 
   これについては, OpenXM/doc/oxlib を御覧ください.    これについては, OpenXM/doc/oxlib を御覧ください.
   
   OpenXM 対応の, サーバ を作成するには, OpenXM/src/ox_toolkit    OpenXM 対応の, サーバ を作成するには, OpenXM/src/ox_toolkit
   が参考になるかもしれません. Java のクラスについては    を見てください. Java のクラスについては
   OpenXM/src/OpenMath が参考になるかもしれません.    OpenXM/src/OpenMath を見てください.
   
 */  */
 /*&eg  /*&eg
 ***** DOCUMENTS  Q. Where can I find documents of the OpenXM package.
   A.
   The best OpenXM client in the OpenXM package is now    The main OpenXM client in the OpenXM package is now
   asir.    asir.
   Documents on asir are    Documents on asir are
     OpenXM/doc/asir2000/man-eg.dvi      OpenXM/doc/asir2000/man-eg.dvi
Line 510  The installation is completed. 
Line 329  The installation is completed. 
   The asir can be used as a C library for polynomial manupulation.    The asir can be used as a C library for polynomial manupulation.
   See OpenXM/doc/oxlib.    See OpenXM/doc/oxlib.
   
   If you are interested in writing a server for OpenXM, please refer to    If you are interested in writing a server for OpenXM in C or Java,
     please refer to
   OpenXM/src/ox_toolkit and OpenXM/src/OpenMath.    OpenXM/src/ox_toolkit and OpenXM/src/OpenMath.
   
 */  */
   
   
 /*&eg  /*&eg
   Q. I want to install only Risa/Asir.
   A.
 ***** A QUICK TOUR OF OPENXM BY ASIR     If you want to generate only Risa/Asir,  type in as follows.
   
 */  */
 /*&jp  /*&jp
   Q. Risa/Asir のみ install したい.
   A.
 ★ ASIR による使用例     Risa/Asir のみを生成したい場合は,  つぎのように入力します.
   
   
 asir を動作させるには, key が必要です.  
 OpenXM/lib/asir/asir_key のコメントまたは起動時のメッセージをみて,  
 key を E-mail でとりよせて下さい.  
   
 */  */
 /*&C  /*&C
 ----------------   Call ox_sm1 from asir.  
 bash-2.03$ asir  
 This is Risa/Asir, Version 20000120.  
 Copyright (C) FUJITSU LABORATORIES LIMITED.  
 1994-1999. All rights reserved.  
 xm Version 20000116. ox_help(0); ox_help("keyword"); for help message  
 [269] sm1_genericAnn([x^3-y^2,[s,x,y]]);  
    /* The annihilating ideal of (x^3-y^2)^s */  
 [-2*y*dx-3*x^2*dy,2*x*dx+3*y*dy-6*s]  
   
             (cd OpenXM/src ;  make install-asir)
             (cd OpenXM/rc ; make )
   
 ---------------    Call gnuplot from asir.  
 bash-2.03$ asir  
 This is Risa/Asir, Version 20000120.  
 Copyright (C) FUJITSU LABORATORIES LIMITED.  
 1994-1999. All rights reserved.  
 xm Version 20000116. ox_help(0); ox_help("keyword"); for help message  
 [269] gnuplot("plot sin(x);");  
 0  
 [270]  
   
 */  */
   
 /*&jp  
   
 ★  sm1 クライアントの利用例  
   
 */  
 /*&eg  /*&eg
           Copy the shell script "asir" at OpenXM/rc in your search path, e.g.,
 ******  Example of the use of sm1 client          /usr/local/bin or ~/bin
           Or, read OpenXM/rc/dot.bashrc or OpenXM/rc/dot.bashrc by the source
           command from your ~/.bashrc or ~/.cshrc.
 */  */
   
 /*&C  
 --------------------------------------  call ox_asir from sm1  
 sm1  
 (oxasir.sm1) run  ;  
 [(x^20-y^20) (x,y)] fctr pmat ;     factorize x^20-y^20 by call ox_asir  
   
   
 */  
   
 /*&jp  /*&jp
 [著作権表示]          OpenXM/rc の下のシェルスクリプト "asir" をサーチパスにコピーして
 OpenXM/Copyright を御覧ください.          ください (たとえば, /usr/local/bin or ~/bin へ).
           または OpenXM/rc/dot.bashrc か OpenXM/rc/dot.cshrc を
           source コマンドで ~/.bashrc か ~/.cshrc より読み込んでください.
 */  */
 /*&eg  
 [COPYRIGHT]  
 See OpenXM/Copyright.  
 */  
   
 /*&eg  
   
   
   
 *****  TO COMPILE FROM A SOURCE *****  
   
 */  
 /*&jp  
   
   
 ★ OpenXM パッケージの Make 法  
   FreeBSD 3.x, FreeBSD 4.x, Linux で動作するものと期待してます.  
   (Linux glib6 では, いまのところ, /usr/include/features.h  
    で #define __FAVOR_BSD 1 してコンパイルする必要がありしたが,  
   一部のソースを  
   -D_BSD_SOURCE option をつけて gcc でコンパイルするように変えてます  
   (setjmp と sigsetjmp の問題, dirty trick) 現在では問題ありません. )  
   
    OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です.  
    ftp.math.kobe-u.ac.jp/OpenXM/1.1.3 より  
         openxm-1.1.3.tar.gz  
    を get して展開して下さい.  
         tar xzvf openxm-1.1.3.tar.gz  
   
    openxm-1.1.3/OpenXM    openxm-1.1.3/OpenXM_contrib  
    openxm-1.1.3/OpenXM_contrib2  
    が生成されます.  
   
    cvs コミッタの場合次のようにしてソースをとりよせます.  
 */  
 /*&eg  
 * How to make OpenXM package?  
  We have tested the OpenXM package on FreeBSD 3.x, FreeBSD 4.x, Linux.  
  (On Linux glib6, we needed to define  
    #define  __FAVOR_BSD 1  
  in /usr/include/features.h,  
  but now we are compiling some sources with -D_BSD_SOURCE  
  (setjmp vs sigsetjmp).  So, you do not need to make this change.)  
   
  Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2?  
  get  
         openxm-1.1.3.tar.gz  
  from ftp.math.kobe-u.ac.jp/OpenXM/1.1.3  
  Expand it by  
         tar xzvf openxm-1.1.3.tar.gz  
   
  Then, you will get  
    openxm-1.1.3/OpenXM    openxm-1.1.3/OpenXM_contrib  
    openxm-1.1.3/OpenXM_contrib2  
   
   
  If you are a CVS committer, then you can get all sources as follows:  
 */  
 //&C  rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2  
 //&C  
 //&jp これらがそろっていたらあとは次のように入力するだけです.  
 //&eg Check that you have these directories, then just type in the following commands  
 /*&C  
   
    cd OpenXM/src  
    make configure  
    make  
    make install  
   
 */  
 /*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が,  
 OpenXM/src/OpenMath のコンパイルおよび利用には  
 には, jdk (java 環境) が必要です.  
   
 Documents を生成するには,  tex, ptex (ascii 日本語 tex), dvips, texinfo,  
 texi2html, nkf, jlatex2html  
 が必要です. 詳しくは Makefiles を見て下さい.  
 Document は, binary distribution の OpenXM/doc, OpenXM/lib  
 より得るのが簡単です.  
 */  
 /*&eg In order to use and compile OpenXM/src/ox_math, you need Mathematica.  
 In order to use and compile OpenXM/src/OpenMath,  
 you need jdk (java environment).  
   
 In order to generate the full documentation including Japanese documents,  
 you need tex, ptex (ASCII Inc. Japanese tex), dvips, texinfo, texi2html,  
 nkf, jlatex2html.  See each Makefile.  
 The generated documents are in OpenXM/doc and OpenXM/lib  
 in the binary distribution.  
 If you do not like to install Japanese environment such as ptex,  
 type in R for the tex error prompt ? or  
 prepare empty shell scripts ptex and nkf.  
 */  
 /*&C  
   
 */  
   
 /*&eg  
 To run the system, you need to read OpenXM/rc/dot.cshrc or  
 OpenXM/rc/dot.bashrc by the source  
 command for setting proper environmental variable values.  
   
 By the commands  
          cd OpenXM/rc  
          make  
 you can generate dot.cshrc and dot.bashrc.  
 Read these file by the source command in your .cshrc  
 or .bashrc (or .bash_profile).  
 */  
 /*&jp  
 システムを動かすには, OpenXM/rc/dot.cshrc または  
 OpenXM/rc/dot.bashrc を source コマンドで  
 よみこみ環境変数の値を適切に設定する必要があります.  
   
 コマンド  
          cd OpenXM/rc  
          make  
 で dot.cshrc および dot.bashrc が生成されます.  
 これらのファイルを source コマンドで,  
 .cshrc または .bashrc (または .bash_profile) より読むようにして下さい.  
 */  
 /*&C  
   
 */  
   
 /*&jp  /*&jp
   Q. OpenXM の下のファイル構成はどうなっていますか?
   A.
 [OpenXM 下のファイルの構成メモ]  [OpenXM 下のファイルの構成メモ]
 lib/asir には, asir のライブラリ, ox_asir 本体  lib/asir には, asir のライブラリ, ox_asir 本体
   
Line 745  asir が ox_sm1_gnuplot を利用するのに必要なファイル:
Line 404  asir が ox_sm1_gnuplot を利用するのに必要なファイル:
     bin/gnuplot4ox,  bin/gnuplot_x11  (gnuplot 本体, src/gnuplot*)      bin/gnuplot4ox,  bin/gnuplot_x11  (gnuplot 本体, src/gnuplot*)
   
 ----------------------------------------  ----------------------------------------
 [開発者用メモ]  */
   
   /*&jp
   Q. debug するとき make install は面倒. (開発者向け)
   A.
 << sm1, ox_sm1, ox, oxlog の debug >>  << sm1, ox_sm1, ox, oxlog の debug >>
 binary file は各 directory の make install により  binary file は各 directory の make install により
 OpenXM/bin にコピーされますが,  OpenXM/bin にコピーされますが,
Line 759  OpenXM/src/kan96xx/Kan/sm1
Line 421  OpenXM/src/kan96xx/Kan/sm1
 OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog  OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog
 へのシンボリックリンクが作成されます.  へのシンボリックリンクが作成されます.
   
 [CVSコミッタ用メモ]  Q. <<  OpenXM ディレクトリ配布版の作成方法 >>
 <<  OpenXM ディレクトリ配布版の作成方法 >>  A.
   
 rcvs export -rHEAD OpenXM  rcvs export -rHEAD OpenXM
 rcvs export -rHEAD OpenXM_contrib  rcvs export -rHEAD OpenXM_contrib
 rcvs export -rHEAD OpenXM_contrib2  rcvs export -rHEAD OpenXM_contrib2
Line 772  cd OpenXM/src ; make generate-source-distribution
Line 435  cd OpenXM/src ; make generate-source-distribution
   
 */  */
 /*&jp  /*&jp
   Q. Solaris でコンパイルがうまくいきません.
 ★ Solaris に関する注意.  A.
 Solaris ではまだ問題が山積してます.  Solaris ではまだ問題が山積してます.
 Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt  Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt
 を見てください.  を見てください.
 Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって  Solaris でコンパイルするには, 次が最低限必要です.
 おきます.  (1) gcc をインストールする.
     http://www.gnu.org より Solaris 用 binary を入手できる.
    それから [gnu file util と] bison.
   (2) /usr/ccs/bin:/usr/local/bin:/usr/ucb
   をサーチパスの最初へもっていっておきます.
   C シェルなら
   setenv PATH=/usr/ccs/bin:/usr/local/bin:/usr/ucb:$PATH
   
   これは /usr/ccs/bin/make, /usr/ucb/install を利用する必要があるためです.
   
 */  */
 /*&eg  /*&eg
 ***** COMPILE ON SOLARIS  Q. I cannot make on Solaris.
   A.
  There are a lot of troubles on Solaris for now.   There are a lot of troubles on Solaris for now.
  At least,   At least, the following two things are prerequisite.
  /usr/ccs/bin must be at the top of the command search path to compile  (1) Installation of gcc (http://www.gnu.org), [gnu file util] and  bison.
  on Solaris.  (2) /usr/ccs/bin:/usr/ucb must be at the top of the command search path
      to compile on Solaris.  In case of C shell, type in
      setenv PATH=/usr/ccs/bin:/usr/local/bin:/usr/ucb:$PATH
      This is because our making procedure requires
      /usr/ccs/bin/make, /usr/ucb/install
 */  */
 /*&jp  
   
 ★ Redhat Linux 6.1 上でのコンパイル  
 m4-1.4 と autoconf-2.13 が必要.  
 (あらかじめはいっている,  autoconf は 2.12 でありこれは  
  gnuplot の make で不具合を生じます.)  
   
 */  
 /*&eg  
 ***** COMPILE ON Redhat Linux 6.1  
 m4-1.4 and autoconf-2.13 are required.  
 (Preinstalled autoconf is version 2.12. It causes a trouble when  
  you build gnuplot.)  
 */  
   
 /*&C  
   
 */  
Legend:
Removed from v.1.38  
changed lines
  Added in v.1.50
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>