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

Diff for /OpenXM/doc/install.oxweave between version 1.5 and 1.48

version 1.5, 2000/01/18 12:41:13 version 1.48, 2004/02/03 23:36:09
Line 1 
Line 1 
 %% $OpenXM: OpenXM/doc/install.oxweave,v 1.4 2000/01/07 22:24:17 maekawa Exp $  %% $OpenXM: OpenXM/doc/install.oxweave,v 1.47 2003/09/03 00:20:39 takayama Exp $
 OpenXM/doc/install.oxweave  OpenXM/doc/install.oxweave
   
   /*&C
   
   OpenXM URL :  http://www.math.kobe-u.ac.jp/OpenXM
                 http://www.openxm.org
   
   */
   
 /*&jp  /*&jp
 ★ OpenXM パッケージの Make 法  
   FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます.  ------------ ソースからコンパイルしてインストールする方法 ----
    OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です.  (cd OpenXM/src ; make install)
    cvs コミッタの場合次のようにしてソースをとりよせます.               バイナリとライブラリとドキュメント類は
                OpenXM/bin, OpenXM/lib, OpenXM/doc
                にインストールされます.
   (cd OpenXM/rc ; make install)
                "asir", "sm1", ... などのシェルスクリプトが生成されて
                /usr/local/bin
                にコピーされます.
                この部分は root で実行してください.
   
 */  */
   
 /*&eg  /*&eg
 * How to make OpenXM package?  
  We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux.  OpenXM package : Getting started.
  Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2?  
  If you are a CVS committer, then you can get all sources as follows:  
   ----------- 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.
   
   
 */  */
 //&C  rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2  
 //&C  
 //&jp これらがそろっていたらあとは次のように入力するだけです.  /*&jp
 //&eg Check that you have these directories, then just type in the following commands  
   
   ------- 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
   
   ------- 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
   
   
   -----------  幾つか解説  ------------------
   
   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
   
   -----------  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, ...
       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
   
    cd OpenXM/src       cd OpenXM/rc
    make configure       make install
    make  
    make install  
   
 */  */
 /*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が,  /*&jp
 OpenXM/src/OpenMath のコンパイルおよび利用には  
 には, jdk (java 環境) が必要です.       /usr/local/bin でなく, home directory の bin にインストールしたい
        ときは, 次のように入力してください.
   
 */  */
 /*&eg In order to use and compile OpenXM/src/ox_math, you need Mathematica.  /*&eg
 In order to use and compile OpenXM/src/OpenMath,  
 you need jdk (java environment).      If you want to install them under the bin of your home directory,
       type in as follows.
   
 */  */
 /*&C  /*&C
   
      cd OpenXM/rc
      make install PREFIX=$HOME/bin
   
 */  */
   /*&C
   
      [Note] If you are Solaris user, you might have to type in like
        /usr/ccs/bin/make install PREFIX=$HOME/bin
   
   */
 /*&jp  /*&jp
   Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって  
   おきます.  Q. OpenXM/bin の下のファイルを直接実行できるようにしたい.
   A.
   OpenXM/bin の下のファイルを直接実行したい場合は, 以下の設定が必要です.
   
    # csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます.
   
 */  */
 /*&eg  /*&eg
  /usr/ccs/bin must be at the top of the command search path to compile  
  on Solaris.  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.
   
 */  */
 /*&  /*&C
   
       source OpenXM/rc/dot.cshrc
   
 */  */
 /*&jp  /*&jp
 ★ OpenXM パッケージの利用方法   # bash を利用してる場合, 次の行それぞれを ~/.bashrc および ~/.bash_profile
 OpenXM をホームの直下に展開した場合, 次のようにします.  の最後に加えます.
   
 */  */
 /*&eg  /*&eg
 * How to use the OpenXM package?   # Append the following lines to the end of  ~/.bashrc and ~/.bash_profile
 If you have OpenXM under your home directory, do as follows.       respectively when you are using bash as your shell.
   
 */  */
 /*&C  /*&C
   
     cp OpenXM/rc/asirrc ~/.asirrc      source OpenXM/rc/dot.bashrc             (.bashrc)
     source OpenXM/rc/bashrc (in case of bash)  
     source OpenXM/rc/cshrc  (in case of csh)  
   
       source ~/.bashrc                        (.bash_profile)
   
 */  */
   
   
 /*&jp  /*&jp
 OpenXM をホームの直下に展開してない場合は OpenXM/rc/bashrc, OpenXM/rc/cshrc を  Q. ox_asir を icon でスタートするには?
 適当に変更して使用してください.  A. 次の行を, .Xdefaults または, xrdb で読み込むファイルに書いておきます.
 */  */
 /*&eg  /*&eg
 If you have OpenXM in a different place, edit OpenXM/rc/bashrc or  Q. How to start ox_asir in the iconic mode?
 OpenXM/rc/cshrc properly.  A. Add the following line to .Xdefaults or a file you read by xrdb.
 */  */
 //&C  /*&C
 //&jp asir の利用には  key が必要です.  以下のファイルを御覧ください.  
 //&eg You need key to use asir.  See the following file:         ox_xterm*iconic: on
 //&C OpenXM/lib/asir/asir_key  
 //&C  */
   
 /*&jp  /*&jp
 注意 1.  
   Q. Make は無事終了しますが, 途中でエラーがでます.
   A.
   OS の標準添付の環境以外が必要なコンポーネントのコンパイルエラーは
   無視されます.
   次の modules は, OS の標準 distribution 以外に, さらに下に記したソフトを
   必要とします.
   */
   /*&eg
   
   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
   
   (1) OpenXM/bin/oxmath  :       Mathematica Version 3.x or 4.x
      (Mathematica server)         at /usr/local/Mathematica
       OpenXM/bin/math2ox          [ see http://www.wolfram.com ]
       Asir client functions  m_*
   (2) OpenXM/lib/OpenMath :   JDK
   
       Asir 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
   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.
   
   */
   
 [著作権表示]  /*&eg
 OpenXM/Copyright を御覧ください.  Q. I want to install only Risa/Asir.
   A.
      If you want to generate only Risa/Asir,  type in as follows.
   */
   /*&jp
   Q. Risa/Asir のみ install したい.
   A.
      Risa/Asir のみを生成したい場合は,  つぎのように入力します.
   */
   /*&C
   
 OpenXM : url http://www.math.kobe-u.ac.jp/OpenXM            (cd OpenXM/src ;  make install-asir)
          cvs cite : kerberos.math.kobe-u.ac.jp            (cd OpenXM/rc ; make )
 sm1 :  作者 Nobuki Takayama, url http://www.math.kobe-u.ac.jp/KAN,  
 asir :    作者  url  
          ライセンス形態   ??  
 gnuplot : 作者  url  
          ライセンス形態   GPL?  
 phc : 作者 Jan Verschelde,  url  
          ライセンス形態   ??  
 tigers : 作者 Birk Hubert,  url  
          ライセンス形態   ??  
   
 [OpenXM についての連絡先]  */
 takayama@math.sci.kobe-u.ac.jp  /*&eg
           Copy the shell script "asir" at OpenXM/rc in your search path, e.g.,
           /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.
   */
   /*&jp
           OpenXM/rc の下のシェルスクリプト "asir" をサーチパスにコピーして
           ください (たとえば, /usr/local/bin or ~/bin へ).
           または OpenXM/rc/dot.bashrc か OpenXM/rc/dot.cshrc を
           source コマンドで ~/.bashrc か ~/.cshrc より読み込んでください.
   */
   
 [OpenXM_HOME 下のファイルの構成]  /*&jp
   Q. OpenXM の下のファイル構成はどうなっていますか?
   A.
   [OpenXM 下のファイルの構成メモ]
 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 218  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 でコンパイルするには, 次が最低限必要です.
   (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
   Q. I cannot make on Solaris.
   A.
    There are a lot of troubles on Solaris for now.
    At least, the following two things are prerequisite.
   (1) Installation of gcc (http://www.gnu.org), [gnu file util] and  bison.
   (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
   */
   
   
Legend:
Removed from v.1.5  
changed lines
  Added in v.1.48
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>