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

Diff for /OpenXM/doc/install.oxweave between version 1.6 and 1.47

version 1.6, 2000/01/19 12:57:39 version 1.47, 2003/09/03 00:20:39
Line 1 
Line 1 
 %% $OpenXM: OpenXM/doc/install.oxweave,v 1.5 2000/01/18 12:41:13 takayama Exp $  %% $OpenXM: OpenXM/doc/install.oxweave,v 1.46 2003/02/14 03:32:44 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
   
   */
   
   /*&jp
   
   ------------ ソースからコンパイルしてインストールする方法 ----
   (cd OpenXM/src ; make install)
                バイナリとライブラリとドキュメント類は
                OpenXM/bin, OpenXM/lib, OpenXM/doc
                にインストールされます.
   (cd OpenXM/rc ; make install)
                "asir", "sm1", ... などのシェルスクリプトが生成されて
                /usr/local/bin
                にコピーされます.
                この部分は root で実行してください.
   
   */
   
   /*&eg
   
 OpenXM package : Getting started.  OpenXM package : Getting started.
   
   
   ----------- An instruction for a quick installation from the source code ---
   (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.
   
   
 */  */
   
   
 /*&jp  /*&jp
 ★ OpenXM パッケージの利用方法  
 この節では, OpenXM package binary distribution のインストール法を説明します.  
 インストールに必要なシステムの仕様については, 動作環境を御覧ください.  ------- 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
 ***** HOW TO USE OpenXM PACKAGE?  
 In this section, we will explain how to install OpenXM package binary  ------- If you need only asir and kan,
 distribution.  (cd OpenXM/src ; make install-asir2000 ; make install-k097 )
 As to the required environment, see the section "System Requirement"               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
   
 (1)  Tar ボールより次のようにしてディレクトリ OpenXM を取り出します.  
      OpenXM はどこにおいてもかまいません.  -----------  幾つか解説  ------------------
   
   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, asir, oxmath などは OpenXM クライアントを起動するための
       シエルスクリプトです. これらを /usr/local/bin にインストールするには
       次のように入力します.
   
 */  */
 /*&eg  /*&eg
   
 (1)  Extract the directory OpenXM from the tar ball.  -----------  Some Tips ----------------------
      You can put the directory OpenXM at any place in the file system.  
   
   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, ...
       The files openxm, asir, oxmath are shell scripts to invoke OpenXM clients.
       If you want to install these shell scripts to /usr/local/bin,
       type in as follows.
   
 */  */
 /*&C  /*&C
          tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz  
   
        cd OpenXM/rc
        make install
   
 */  */
 /*&jp  /*&jp
 以下 (1) で生成されたディレクトリ OpenXM の絶対パスを /xxx/yyy/OpenXM  
 と書きます.  
   
        /usr/local/bin でなく, home directory の bin にインストールしたい
        ときは, 次のように入力してください.
   
 */  */
 /*&eg  /*&eg
 In the sequel, we will denote the absolute path of the directory OpenXM  
 by /xxx/yyy/OpenXM.      If you want to install them under the bin of your home directory,
       type in as follows.
   
 */  */
 /*&jp  /*&C
 (2) 次のように入力して OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc  
     ファイルを自動生成します.  
     これらのファイルには, OpenXM/bin のファイルを実行するための  
     環境変数が定義されています.  
   
 */     cd OpenXM/rc
 /*&eg     make install PREFIX=$HOME/bin
 (2) Generate  OpenXM/rc/dot.cshrc and OpenXM/rc/dot.bashrc  
     by the following command.  
     Environmental variables to execute commands in OpenXM/bin  
     are defined in these files.  
   
 */  */
 /*&C  /*&C
   
      cd /xxx/yyy/OpenXM     [Note] If you are Solaris user, you might have to type in like
      make       /usr/ccs/bin/make install PREFIX=$HOME/bin
   
 */  */
 /*&jp  /*&jp
 (3) csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます.  
   
   Q. OpenXM/bin の下のファイルを直接実行できるようにしたい.
   A.
   OpenXM/bin の下のファイルを直接実行したい場合は, 以下の設定が必要です.
   
    # csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます.
   
 */  */
 /*&eg  /*&eg
 (3) Append the following line to the end of  ~/.cshrc when you are  
   Q. I want to execute binaries under OpenXM/bin
   A.
   If you want to execute binaries under OpenXM/bin, you need to do
   the following.
   
   
    # 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 を利用してる場合, 次の行それぞれを ~/.bashrc および ~/.bash_profile
   の最後に加えます.
   
 */  */
 /*&eg  /*&eg
 (3') Append the following line to the end of  ~/.bashrc when you are   # Append the following lines to the end of  ~/.bashrc and ~/.bash_profile
     using bash as your shell.       respectively when you are using bash as your shell.
   
 */  */
 /*&C  /*&C
   
     source /xxx/yyy/OpenXM/rc/dot.bash      source OpenXM/rc/dot.bashrc             (.bashrc)
   
 */      source ~/.bashrc                        (.bash_profile)
   
 //&C  
 //&jp (4) asir の利用には  key が必要です.  以下のファイルを御覧ください.  
 //&eg (5) You need key to use asir.  See the following file:  
 //&C OpenXM/lib/asir/asir_key  
 //&C  
   
 /*&C  
 QUALITY:  
   the following functions have still experimental qualities:  
    OpenXM/bin/k0,  OpenXM/bin/d0  
    OpenXM/bin/ox_math,  OpenXM/bin/math2ox  
    OpenXM/lib/java-support/ *  
    Asir client functions:   m_* (Mathematica)  ,  om_*  (OpenMath)  
 */  */
 /*&C  
   
   
   
   
 */  
 /*&jp  /*&jp
 ★ 動作環境  Q. ox_asir を icon でスタートするには?
   A. 次の行を, .Xdefaults または, xrdb で読み込むファイルに書いておきます.
 */  */
 /*&eg  /*&eg
 ***** System Requirements  Q. How to start ox_asir in the iconic mode?
   A. Add the following line to .Xdefaults or a file you read by xrdb.
 */  */
 /*&C  /*&C
   
 OS:  FreeBSD 3.x,  Free BSD 2.8, Most Linux systems.         ox_xterm*iconic: on
   
 */  */
   
 /*&jp  /*&jp
 次の module は, OS の標準 distribution 以外に, さらに下に記したソフトを  
   Q. Make は無事終了しますが, 途中でエラーがでます.
   A.
   OS の標準添付の環境以外が必要なコンポーネントのコンパイルエラーは
   無視されます.
   次の 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
   
 (1) OpenXM/bin/ox_math  :       Mathematica Version 3.x or 4.x  (1) OpenXM/bin/oxmath  :       Mathematica Version 3.x or 4.x
    (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
   
     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 phc_*
       phc_*  run only on linux.
       If you install the linux emulation on Free BSD, they run on
       FreeBSD, too.
       <note 1>
         Add linux_enable="YES" in /etc/rc.conf
         You need the following packages:
         pkg_info | grep linu
         linux_base-*      The base set of packages needed 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
 注意 1.  Q. asir の help message が変.
   A.
 asir で日本語のヘルプを利用するには,  asir で日本語のヘルプを利用するには,
 PAGER=jless  PAGER=jless
 export PAGER  export PAGER
 などで, 日本語を扱える PAGER を指定する必要があるかもしれません.  などで, 日本語を扱える PAGER を指定する必要があるかもしれません.
 注意 2.  
 OpenMath 用の OMproxy には現在のところ, jdk が必要です.  
 PATH=/usr/local/jdk1.1.8/bin:$PATH  
 export PATH  
 などとして, jdk の javac をサーチパスの先のほうへもっていくようにして  
 ください.  
 */  */
 /*&jp  
   
 以上.  以下の使用例へ進んで下さい.  /*&C
   
 ★(1) asir のマニュアルは,  -----------------------------------------------------
    OpenXM_contrib2/asir2000/doc の README を見てね.  
   (2) asir-contrib のマニュアルは,  
   OpenXM/src/asir-contrib/packages/doc で make したあと,  
   ptex cman.texi (日本語)  
   tex cman-eg.texi (英語)  
   すればよろしい.  
   Online manual : ox_help(xxx) を利用するには,  
    (cd OpenXM/src/asir-contrib/packages/doc ; make install-help)  
   とします.  
   
 注意:  */
 $OpenXM_HOME/bin の下の, fep, phc は, いまのところ  
 linux 用のバイナリまたはバイナリへのシンボリックリンクです.  
 Linux 以外の場合はバイナリを入れ換える必要があります.  
   
 Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt  /*&jp
 を見てください.  Q. OpenXM パッケージの文書は？
   A.
     OpenXM パッケージでもっとも充実しているクライアントは,
     asir です.
     asir のつかいかたは
           OpenXM/doc/asir2000/man-jp.dvi
          または OpenXM/doc/asir2000/html-jp の HTML ファイルを見て下さい.
     asir 用 OpenXM クライアントライブラリのつかい方は,
           OpenXM/doc/asir-contrib/cman-jp.dvi
     を見て下さい.  dvi の付くファイルは xdvi で見ることができます.
   
 ---------------  インストール完了 ---------------------------    OpenXM の設計の概要については,
         OpenXM/doc/issac2000/issac2000.ps
     を見て下さい.
     ps の付くファイルは, ghostview で見ることができます.
   
 ★使用例    Mathematica client については, OpenXM/doc/ox_math を御覧ください.
     sm1 client については, OpenXM/doc/kan96xx を御覧ください.
     asir は, 多項式処理用のライブラリとしてリンクできます.
     これについては, OpenXM/doc/oxlib を御覧ください.
   
 OpenXM は X Window System 上でしか動作しません.    OpenXM 対応の, サーバ を作成するには, OpenXM/src/ox_toolkit
     を見てください. Java のクラスについては
     OpenXM/src/OpenMath を見てください.
   
 asir を動作させるには, key が必要です.  */
 OpenXM/lib/asir/asir_key のコメントをみて, key を E-mail で  /*&eg
 とりよせて下さい.  Q. Where can I find documents of the OpenXM package.
   A.
     The main OpenXM client in the OpenXM package is now
     asir.
     Documents on asir are
       OpenXM/doc/asir2000/man-eg.dvi
       OpenXM/doc/asir2000/html-eg (HTML)
   
 --------------------------------------------------    The file
 OpenXM クライアント : asir 入門      OpenXM/doc/asir-contrib/cman-eg.dvi
 ----------------   例 : asir に kan/sm1  を組み込む.    is a document on OpenXM client libraries for asir.
 asir  
 load("xm");  
 P=sm1_start();    /* P はプロセス番号 */  
 load("katsura");  
 sm1_pgb(P,[katsura(4),[u0,u1,u2,u3,u4]]); /* sm1 でグレブナ基底を計算 */  
   
 ---------------    例 : asir より gnuplot を呼び出す.    The design outline is described in
 asir        OpenXM/doc/issac2000/issac2000.ps
 load("xm");  
 P=gnuplot_start();  
 gnuplot(P,"plot  tan(x); ");  
 gnuplot(P,"splot sin(x)*cos(x); ");  
   
 ---------------    例 : asir より tigers を呼び出す.    Dvi files can be previewed by xdvi and
 asir    ps files  can be previewed by ghostview.
 load("xm");  
 tigers_start();  
 B = tigers(0,[[1,1,1,1],[0,1,2,3]]);  
 length(B) は 8 です.  これは, 行列 A = [[1,1,1,1],[0,1,2,3]]  
 に付随した, toric ideal I_A の Grobner fan が 8 つの maximal  
 dimensional fan を持つことを意味します.  
 A[i] は i 番目の GB (グレブナ基底)です.  
 Binomial polynomial x^a-x^b を [[a_1, ..., a_n],[b_1, ..., b_n]] なる形式で  
 表示します.  
 たとえば A[0];  
 [[[1,0,1,0],[0,2,0,0]],[[1,0,0,1],[0,1,1,0]],[[0,1,0,1],[0,0,2,0]]]  
 ですから,  
 x1 x3 - x2^2, x1 x4 - x2 x3, x2 x4 - x3^2  
 が GB であり, initial ideal は  
 x1 x3 , x1 x4 , x2 x4  
 で生成されています.  
   
 ----------------------------------    As to Mathematica client, see OpenXM/doc/ox_math.
 sm1    As to sm1 client, see OpenXM/doc/kan96xx.
 (oxasir.sm1) run  ;    The asir can be used as a C library for polynomial manupulation.
 (x^20-1). fctr pmat ;       sm1 より ox_asir を呼び出して因数分解させる.    See OpenXM/doc/oxlib.
   
     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/Copyright を御覧ください.  
 */  */
   
 /*&jp  
 ★ OpenXM パッケージの Make 法  
   FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます.  
    OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です.  
    cvs コミッタの場合次のようにしてソースをとりよせます.  
 */  
 /*&eg  /*&eg
 * How to make OpenXM package?  Q. I want to install only Risa/Asir.
  We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux.  A.
  Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2?     If you want to generate only Risa/Asir,  type in as follows.
  If you are a CVS committer, then you can get all sources as follows:  
 */  */
 //&C  rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2  /*&jp
 //&C  Q. Risa/Asir のみ install したい.
 //&jp これらがそろっていたらあとは次のように入力するだけです.  A.
 //&eg Check that you have these directories, then just type in the following commands     Risa/Asir のみを生成したい場合は,  つぎのように入力します.
   */
 /*&C  /*&C
   
    cd OpenXM/src            (cd OpenXM/src ;  make install-asir)
    make configure            (cd OpenXM/rc ; make )
    make  
    make install  
   
 */  */
 /*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が,  /*&eg
 OpenXM/src/OpenMath のコンパイルおよび利用には          Copy the shell script "asir" at OpenXM/rc in your search path, e.g.,
 には, jdk (java 環境) が必要です.          /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.
 */  */
 /*&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).  
 */  
 /*&C  
   
 */  
 /*&jp  /*&jp
   Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって          OpenXM/rc の下のシェルスクリプト "asir" をサーチパスにコピーして
   おきます.          ください (たとえば, /usr/local/bin or ~/bin へ).
           または OpenXM/rc/dot.bashrc か OpenXM/rc/dot.cshrc を
           source コマンドで ~/.bashrc か ~/.cshrc より読み込んでください.
 */  */
 /*&eg  
  /usr/ccs/bin must be at the top of the command search path to compile  
  on Solaris.  
 */  
   
 /*&jp  /*&jp
 [OpenXM についての連絡先]  Q. OpenXM の下のファイル構成はどうなっていますか?
 takayama@math.sci.kobe-u.ac.jp  A.
   [OpenXM 下のファイルの構成メモ]
 [OpenXM_HOME 下のファイルの構成]  
 lib/asir には, asir のライブラリ, ox_asir 本体  lib/asir には, asir のライブラリ, ox_asir 本体
 (ox_asir.xxyyzz.os なる名前で格納されています)  
   
   cd OpenXM/src/kxx ; make install-for-debug した場合,
 lib/sm1 は src/SSkan/Doc への symbolic link  lib/sm1 は src/SSkan/Doc への symbolic link
 であり, sm1 のライブラリファイルが格納されています.  であり, sm1 のライブラリファイルが格納されています.
 lib/sm1/bin には, binaryfiles  lib/sm1/bin には, binaryfiles
     sm1, ox_sm1, ox,  ox_log, ox_sm1_*      sm1, ox_sm1, ox,  ox_log, ox_sm1_*
 へのシンボリックリンクが格納されます.  へのシンボリックリンクが格納されます.
 このシンボリックリンクは src/kxx で make install を実行することにより  このシンボリックリンクは src/kxx で make install-for-debug を実行することにより
 作成されます.  作成されます.
   
 sm1 が ox_asir を利用するのに必要なファイル.  sm1 が ox_asir を利用するのに必要なファイル.
Line 324  asir が ox_sm1_gnuplot を利用するのに必要なファイル:
Line 379  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 にコピーされますが,
 debug 用にいちいちコピーするのは面倒なので,  debug 用にいちいちコピーするのは面倒なので,
 OpenXM/src/kan96xx で make install2  OpenXM/src/kan96xx で make install-for-debug
 OpenXM/src/kxx で make install2  OpenXM/src/kxx で make install-for-debug
 を実行すると,  を実行すると,
 OpenXM/bin/sm1, ox, ox_sm1, oxlog より,  OpenXM/bin/sm1, ox, ox_sm1, oxlog より,
 OpenXM/src/kan96xx/Kan/sm1  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
   cd OpenXM/src ; make generate-source-distribution
 して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip.  して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip.
 */  */
   
   /*&C
   
   */
   /*&jp
   Q. Solaris でコンパイルがうまくいきません.
   A.
   Solaris ではまだ問題が山積してます.
   Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt
   を見てください.
   Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって
   おきます.
   
   */
   /*&eg
   Q. I cannot make on Solaris.
   A.
    There are a lot of troubles on Solaris for now.
    At least,
    /usr/ccs/bin must be at the top of the command search path to compile
    on Solaris.
   */
   
   
Legend:
Removed from v.1.6  
changed lines
  Added in v.1.47
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>