OpenXM/doc/install.oxweave - diff

Return to install.oxweave CVS log

Up to [local] / OpenXM / doc

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

-version 1.6, 2000/01/19 12:57:39
+version 1.12, 2000/01/21 03:19:17
 Line 1
 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.11 2000/01/20 12:55:32 takayama Exp $
  OpenXM/doc/install.oxweave
  /*&C
 Line 60  by /xxx/yyy/OpenXM.
 Line 60  by /xxx/yyy/OpenXM.
 Line 60  by /xxx/yyy/OpenXM.
  */
  /*&C
-      cd /xxx/yyy/OpenXM
+      cd /xxx/yyy/OpenXM/rc
       make
  */
 Line 95  by /xxx/yyy/OpenXM.
 Line 95  by /xxx/yyy/OpenXM.
 Line 95  by /xxx/yyy/OpenXM.
  //&C
  //&jp (4) asir の利用には  key が必要です.  以下のファイルを御覧ください.
- //&eg (5) You need key to use asir.  See the following file:
+ //&eg (4) 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:
+ ***** QUALITY:
+   the following modules and 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)
+    OpenXM/bin/sm1, ox_sm1 on Linux libc6.
  */
  /*&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 をサーチパスにいれます.
+ */
+ /*&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
+ */
+ /*&C
  */
  /*&jp
  ★ 動作環境
  */
  /*&eg
- ***** System Requirements
+ ***** SYSTEM REQUIREMENTS
  */
  /*&C
- OS:  FreeBSD 3.x,  Free BSD 2.8, Most Linux systems.
+ OS:  FreeBSD 3.3 (Intel CPU),
+      Linux systems (Intel CPU):
+          Plamo Linux on Linux 2.0.33, glibc5,
+      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
- 次の module は, OS の標準 distribution 以外に, さらに下に記したソフトを
+ 次の modules は, OS の標準 distribution 以外に, さらに下に記したソフトを
  必要とします.
  */
  /*&eg
-Line 141  OS package.
+Line 180  OS package.
 Line 141  OS package.
 Line 180  OS package.
      OpenXM/bin/math2ox          [ see http://www.wolfram.com ]
      Asir client functions  m_*
  (2) OpenXM/lib/java-support :   JDK at /usr/local/jdk??
+                                 [ see the section on JAVA]
      Asir client functions  om_*
      sm1 client functions   om_*
+ (3) PHC pack (OpenXM/bin/phc)  and  asir client functions
+     phc_*  run only on linux (glib5).
+     If you install the linux emulation^{note 1} 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-5.2      The base set of packages needed in Linux mode
+       linux_devtools-5.2  Packages needed for doing development in Linux mode
  */
  /*&jp
+ 日本語版の注意.
  注意 1.
  asir で日本語のヘルプを利用するには,
  PAGER=jless
  export PAGER
  などで, 日本語を扱える PAGER を指定する必要があるかもしれません.
- 注意 2.
- OpenMath 用の OMproxy には現在のところ, jdk が必要です.
- PATH=/usr/local/jdk1.1.8/bin:$PATH
- export PATH
- などとして, jdk の javac をサーチパスの先のほうへもっていくようにして
- ください.
  */
+ /*&eg
+ The installation is completed.
+ */
  /*&jp
- 以上.  以下の使用例へ進んで下さい.
+ 以上.
- ★(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)
-   とします.
- 注意:
+ /*&jp
- $OpenXM_HOME/bin の下の, fep, phc は, いまのところ
+ ★ 文書
- linux 用のバイナリまたはバイナリへのシンボリックリンクです.
- Linux 以外の場合はバイナリを入れ換える必要があります.
- Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt
+   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 で見ることができます.
- ★使用例
+ */
+ /*&eg
+ ***** DOCUMENTS
- OpenXM は X Window System 上でしか動作しません.
+   The best 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/doc/asir-contrib/cman-eg.dvi
+   is a document on OpenXM client libraries for asir.
+   The design outline is described in
+       OpenXM/doc/issac2000/issac2000.ps
+   Dvi files can be previewed by xdvi and
+   ps files  can be previewed by ghostview.
+ */
+ /*&eg
+ ***** A QUICK TOUR OF OPENXM BY ASIR
+ */
+ /*&jp
+ ★ ASIR による使用例
  asir を動作させるには, key が必要です.
- OpenXM/lib/asir/asir_key のコメントをみて, key を E-mail で
+ OpenXM/lib/asir/asir_key のコメントまたは起動時のメッセージをみて,
- とりよせて下さい.
+ key を E-mail でとりよせて下さい.
- --------------------------------------------------
+ */
- OpenXM クライアント : asir 入門
+ /*&C
- ----------------   例 : asir に kan/sm1  を組み込む.
+ ----------------   Call ox_sm1 from asir.
- asir
+ bash-2.03$ asir
- load("xm");
+ This is Risa/Asir, Version 20000120.
- P=sm1_start();    /* P はプロセス番号 */
+ Copyright (C) FUJITSU LABORATORIES LIMITED.
- load("katsura");
+-1999. All rights reserved.
- sm1_pgb(P,[katsura(4),[u0,u1,u2,u3,u4]]); /* sm1 でグレブナ基底を計算 */
+ 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]
- ---------------    例 : asir より gnuplot を呼び出す.
- asir
- load("xm");
- P=gnuplot_start();
- gnuplot(P,"plot  tan(x); ");
- gnuplot(P,"splot sin(x)*cos(x); ");
- ---------------    例 : asir より tigers を呼び出す.
+ ---------------    Call gnuplot from asir.
- asir
+ bash-2.03$ asir
- load("xm");
+ This is Risa/Asir, Version 20000120.
- tigers_start();
+ Copyright (C) FUJITSU LABORATORIES LIMITED.
- B = tigers(0,[[1,1,1,1],[0,1,2,3]]);
+-1999. All rights reserved.
- length(B) は 8 です.  これは, 行列 A = [[1,1,1,1],[0,1,2,3]]
+ xm Version 20000116. ox_help(0); ox_help("keyword"); for help message
- に付随した, toric ideal I_A の Grobner fan が 8 つの maximal
+ [269] gnuplot("plot sin(x);");
- dimensional fan を持つことを意味します.
- A[i] は i 番目の GB (グレブナ基底)です.
+ [270]
- 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
- で生成されています.
- ----------------------------------
+ */
+ /*&C
+ --------------------------------------  call ox_asir from sm1
  sm1
  (oxasir.sm1) run  ;
- (x^20-1). fctr pmat ;       sm1 より ox_asir を呼び出して因数分解させる.
+ [(x^20-y^20) (x,y)] fctr pmat ;     factorize x^20-y^20 by call ox_asir
+ */
+ /*&jp
  [著作権表示]
  OpenXM/Copyright を御覧ください.
  */
+ /*&eg
+ [COPYRIGHT]
+ See OpenXM/Copyright.
+ */
+ /*&eg
+ *****  TO COMPILE FROM A SOURCE *****
+ */
  /*&jp
  ★ OpenXM パッケージの Make 法
    FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます.
+   Linux glib6 では, いまのところ, /usr/include/features.h
+   で #define __FAVOR_BSD 1 してコンパイルする必要があります.
+   (setjmp と sigsetjmp の問題, dirty trick)
     OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です.
     cvs コミッタの場合次のようにしてソースをとりよせます.
  */
  /*&eg
  * How to make OpenXM package?
   We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux.
+  On Linux glib6, you need to define
+    #define  __FAVOR_BSD 1
+  in /usr/include/features.h
+  (setjmp vs sigsetjmp)
   Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2?
   If you are a CVS committer, then you can get all sources as follows:
  */
-Line 266  OpenXM/Copyright を御覧ください.
+Line 360  OpenXM/Copyright を御覧ください.
 Line 266  OpenXM/Copyright を御覧ください.
 Line 360  OpenXM/Copyright を御覧ください.
  /*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が,
  OpenXM/src/OpenMath のコンパイルおよび利用には
  には, jdk (java 環境) が必要です.
+ Documents を生成するには,  tex, ptex (ascii 日本語 tex), dvips, texinfo,
+ texi2html, nkf,
+ が必要です. 詳しくは 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. See each Makefile.
+ The generated documents are in OpenXM/doc and OpenXM/lib
+ in the binary distribution.
  */
  /*&C
  */
  /*&jp
-   Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって
-   おきます.
+   OpenXM_contrib2/asir2000 の配布を受けてない場合 (ソースライセンスを
+   富士通より受ける必要があります),
+   OpenXM/src/Makefile の各モジュール名 たとえば
+    make all-kan96xx
+   などと各モジュール名を指定してコンパイルして下さい.
  */
  /*&eg
-  /usr/ccs/bin must be at the top of the command search path to compile
-  on Solaris.
+   If you cannot get a source liscence of OpenXM_contrib2/asir2000
+   from Fujitsu labs,
+   compile each modules independently, e.g.,
+     make all-kan96xx
  */
  /*&jp
- [OpenXM についての連絡先]
- takayama@math.sci.kobe-u.ac.jp
- [OpenXM_HOME 下のファイルの構成]
+ [OpenXM 下のファイルの構成メモ]
  lib/asir には, asir のライブラリ, ox_asir 本体
- (ox_asir.xxyyzz.os なる名前で格納されています)
+ cd OpenXM/src/kxx ; make install-for-debug した場合,
  lib/sm1 は src/SSkan/Doc への symbolic link
  であり, sm1 のライブラリファイルが格納されています.
  lib/sm1/bin には, binaryfiles
      sm1, ox_sm1, ox,  ox_log, ox_sm1_*
  へのシンボリックリンクが格納されます.
- このシンボリックリンクは src/kxx で make install を実行することにより
+ このシンボリックリンクは src/kxx で make install-for-debug を実行することにより
  作成されます.
  sm1 が ox_asir を利用するのに必要なファイル.
-Line 330  asir が ox_sm1_gnuplot を利用するのに必要なファイル:
+Line 443  asir が ox_sm1_gnuplot を利用するのに必要なファイル:
 Line 330  asir が ox_sm1_gnuplot を利用するのに必要なファイル:
 Line 443  asir が ox_sm1_gnuplot を利用するのに必要なファイル:
  binary file は各 directory の make install により
  OpenXM/bin にコピーされますが,
  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/src/kan96xx/Kan/sm1
-Line 344  rcvs export -rHEAD OpenXM
+Line 457  rcvs export -rHEAD OpenXM
 Line 344  rcvs export -rHEAD OpenXM
 Line 457  rcvs export -rHEAD OpenXM
  rcvs export -rHEAD OpenXM_contrib
  rcvs export -rHEAD OpenXM_contrib2
  して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip.
+ */
+ /*&C
+ */
+ /*&jp
+ ★ Solaris に関する注意.
+ Solaris ではまだ問題が山積してます.
+ Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt
+ を見てください.
+ Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって
+ おきます.
+ */
+ /*&eg
+ ***** COMPILE ON SOLARIS
+  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.
+ */
+ /*&C
  */

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>