===================================================================
RCS file: /home/cvs/OpenXM/doc/install.oxweave,v
retrieving revision 1.11
retrieving revision 1.20
diff -u -p -r1.11 -r1.20
--- OpenXM/doc/install.oxweave	2000/01/20 12:55:32	1.11
+++ OpenXM/doc/install.oxweave	2000/02/01 05:18:28	1.20
@@ -1,8 +1,10 @@
-%% $OpenXM: OpenXM/doc/install.oxweave,v 1.10 2000/01/20 09:06:08 takayama Exp $
+%% $OpenXM: OpenXM/doc/install.oxweave,v 1.19 2000/01/27 01:13:17 takayama Exp $
 OpenXM/doc/install.oxweave
 
 /*&C
 OpenXM URL :  http://www.math.kobe-u.ac.jp/OpenXM
+Consult firstly the ERRATA section for your release on this web cite
+for troubles.
 
 OpenXM package : Getting started.
 
@@ -21,13 +23,17 @@ As to the required environment, see the section "Syste
 /*&jp
 
 (1)  Tar ボールより次のようにしてディレクトリ OpenXM を取り出します.
-     OpenXM はどこにおいてもかまいません.
+     OpenXM はどこにおいてもかまいません. ルートになってインストール
+     する必要もありません.
+     できれば, /usr/local/OpenXM  においてほしいと思います.
      
 */
 /*&eg
 
 (1)  Extract the directory OpenXM from the tar ball.
      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
@@ -45,14 +51,16 @@ by /xxx/yyy/OpenXM.
 
 */
 /*&jp
-(2) 次のように入力して OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc 
+(2) 次のように入力して OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc,
+     OpenXM/rc/openxm
     ファイルを自動生成します.
     これらのファイルには, OpenXM/bin のファイルを実行するための
     環境変数が定義されています.
 
 */
 /*&eg
-(2) Generate  OpenXM/rc/dot.cshrc and OpenXM/rc/dot.bashrc
+(2) Generate  OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and 
+    OpenXM/rc/openxm
     by the following command.
     Environmental variables to execute commands in OpenXM/bin
     are defined in these files.
@@ -89,16 +97,53 @@ by /xxx/yyy/OpenXM.
 */
 /*&C
 
-    source /xxx/yyy/OpenXM/rc/dot.bash
+    source /xxx/yyy/OpenXM/rc/dot.bashrc
 
 */
 
+/*&jp
+
+ (3) または (3') を終了したら, いったん logout して login しなおすか
+ または, source コマンドで, dot.bashrc または dot.csh を読み込んで下さい.
+ (3)  または (3') をやらないという選択もあります.
+ この場合, シェルスクリプト 
+ OpenXM/rc/openxm を コマンドサーチパスに移し,
+ OpenXM/bin 以下の全てのコマンドの実行は, 
+    openxm コマンド名
+ という形で呼び出します.
+ たとえば,  openxm asir とか  openxm sm1 という形でよびだします.
+
+*/
+/*&eg 
+   
+   After finishing the step (3) or (3'), logout and login again,
+   or read dot.bashrc or dot.cshrc file by the source command.
+   You may skip the step (3) or (3').
+   In this case, move the shell script OpenXM/rc/openxm to your
+   command search path. To execute commands in OpenXM/bin,  type in
+       openxm command-name
+   For example,  "openxm asir"  starts asir and "openx sm1" starts sm1
+   with a proper setting of environmental variables.
+
+*/
+
+
 //&C 
-//&jp (4) asir の利用には  key が必要です.  以下のファイルを御覧ください.
-//&eg (4) You need key to use asir.  See the following file:
-//&C OpenXM/lib/asir/asir_key
+//&jp (4) asir の利用には  key が必要です.  
+//&eg (4) You need a key to use asir.  
 //&C  
+/*&jp 
+    asir の起動時のメッセージまたは OpenXM/lib/asir/asir_key を
+    参照して, key を取得して下さい (数秒しかかかりません).
 
+*/
+/*&eg
+    Please get the key by following the instruction from asir itself or
+    that in OpenXM/lib/asir/asir_key (it takes only a few seconds
+    to get the key).
+
+*/
+
 /*&C
 
 ***** QUALITY:
@@ -125,6 +170,10 @@ export PATH
 csh を利用している場合, .cshrc で
 set path=(/usr/local/jdk1.1.8/bin $path)
 として, jdk の java, javac をサーチパスにいれます.
+
+注意:
+なお, Kaffe 1.0.b4 の java は, class BigInteger に method
+toByteArray が含まれてないため, OpenMath モジュールでは使用できません.
 */
 /*&eg
 ***** JAVA
@@ -137,6 +186,11 @@ 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
+
+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
@@ -157,7 +211,7 @@ export PATH
 
 OS:  FreeBSD 3.3 (Intel CPU),  
      Linux systems (Intel CPU):
-         Plamo Linux on Linux 2.0.33, glibc5,  
+         Most Linux with libc5 and with libc6 (glibc 2.x).  
 
      X window system is required.
 
@@ -296,28 +350,18 @@ xm Version 20000116. ox_help(0); ox_help("keyword"); f
 [270] 
 
 */
-/*&jp
 
----------------    例 : asir より tigers を呼び出す.
-asir
-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 
-で生成されています.
+/*&jp 
+
+★  sm1 クライアントの利用例
+
 */
+/*&eg
 
+******  Example of the use of sm1 client
+
+*/
+
 /*&C
 --------------------------------------  call ox_asir from sm1
 sm1
@@ -349,8 +393,10 @@ See OpenXM/Copyright.
 ★ OpenXM パッケージの Make 法
   FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます.
   Linux glib6 では, いまのところ, /usr/include/features.h
-  で #define __FAVOR_BSD 1 してコンパイルする必要があります.
-  (setjmp と sigsetjmp の問題, dirty trick)
+  で #define __FAVOR_BSD 1 してコンパイルする必要がありしたが,
+  一部のソースを
+  -D_BSD_SOURCE option をつけて gcc でコンパイルするように変えてます
+  (setjmp と sigsetjmp の問題, dirty trick).
 
    OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です.
    cvs コミッタの場合次のようにしてソースをとりよせます.
@@ -358,10 +404,11 @@ See OpenXM/Copyright.
 /*&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 
+ On Linux glib6, we needed to define 
    #define  __FAVOR_BSD 1
- in /usr/include/features.h
- (setjmp vs sigsetjmp)
+ in /usr/include/features.h,
+ but now we are compiling some sources with -D_BSD_SOURCE
+ (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:
@@ -381,10 +428,25 @@ See 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.
+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