=================================================================== RCS file: /home/cvs/OpenXM/doc/install.oxweave,v retrieving revision 1.8 retrieving revision 1.23 diff -u -p -r1.8 -r1.23 --- OpenXM/doc/install.oxweave 2000/01/20 07:25:25 1.8 +++ OpenXM/doc/install.oxweave 2000/03/09 11:30:36 1.23 @@ -1,19 +1,21 @@ -%% $OpenXM: OpenXM/doc/install.oxweave,v 1.7 2000/01/20 03:14:07 takayama Exp $ +%% $OpenXM: OpenXM/doc/install.oxweave,v 1.22 2000/02/04 08:46:08 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. */ /*&jp -★ OpenXM パッケージの利用方法 +★ OpenXM GENERIC パッケージの利用方法 この節では, OpenXM package binary distribution のインストール法を説明します. インストールに必要なシステムの仕様については, 動作環境を御覧ください. */ /*&eg -***** HOW TO USE OpenXM PACKAGE? +***** HOW TO INSTALL OpenXM GENERIC PACKAGE? In this section, we will explain how to install OpenXM package binary distribution. As to the required environment, see the section "System Requirement" @@ -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,30 +51,66 @@ by /xxx/yyy/OpenXM. */ /*&jp -(2) 次のように入力して OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc - ファイルを自動生成します. - これらのファイルには, OpenXM/bin のファイルを実行するための - 環境変数が定義されています. +(2) 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 -(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. +(2) Generate 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 cd /xxx/yyy/OpenXM/rc - make + make install */ /*&jp + + /usr/local/bin でなく, home directory の bin にインストールしたい + ときは, 次のように入力してください. + +*/ +/*&eg + + If you want to install them under the bin of your home directory, + type in as follows. + +*/ +/*&C + + cd /xxx/yyy/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 + +OpenXM/bin の下のファイルを直接実行したい場合は, 以下の設定が必要です. +OpenXM clients を実行するだけの場合は, (3), (3') は skip してください. + (3) csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます. */ /*&eg + +If you want to execute binaries under OpenXM/bin, you need to perform +(3) and (3'). +If you use only OpenXM clients, skip (3) and (3'). + (3) Append the following line to the end of ~/.cshrc when you are using csh as your shell. @@ -89,16 +131,48 @@ 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 を読み込んで下さい. + +*/ +/*&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 -//&jp (4) asir の利用には key が必要です. 以下のファイルを御覧ください. -//&eg (5) 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 を取得して下さい (数秒しかかかりません). + Mail の利用ができて, /var/mail の下にメールを着信できれば, + /xxx/yyy/OpenXM/rc/fetch_asir_key + を実行することにより asir_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). + + If you can get your mails under /var/mail, you can automatically set + your key by executing + /xxx/yyy/OpenXM/rc/fetch_asir_key + +*/ + /*&C ***** QUALITY: @@ -107,6 +181,7 @@ by /xxx/yyy/OpenXM. 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 @@ -119,8 +194,15 @@ OpenMath 用の OMproxy には現在のところ, jdk が必要です たとえば bash を利用している場合, .bashrc で PATH=/usr/local/jdk1.1.8/bin:$PATH export PATH -などとして, jdk の javac をサーチパスの先のほうへもっていくようにして +などとして, jdk の java, javac をサーチパスの先のほうへもっていくようにして ください. +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 @@ -128,8 +210,16 @@ 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 +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 + +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 @@ -148,13 +238,14 @@ set path=(/usr/local/jdk1.1.8/bin $path) */ /*&C -OS: FreeBSD 3.3, - Linux systems (Plamo Linux on Linux 2.0.33, glibc5, ) +OS: FreeBSD 3.3 (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 and Linux, but we have not yet tested. + FreeBSD 3.x and Linux, but we have not yet tested. */ /*&jp @@ -288,28 +379,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 @@ -341,8 +422,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 コミッタの場合次のようにしてソースをとりよせます. @@ -350,10 +433,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: @@ -373,15 +457,53 @@ 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 */ +/*&jp + + OpenXM_contrib2/asir2000 の配布を受けてない場合 (ソースライセンスを + 富士通より受ける必要があります), + OpenXM/src/Makefile の各モジュール名 たとえば + make all-kan96xx + などと各モジュール名を指定してコンパイルして下さい. + または + OpenXM/src/asir2000 の Makefile を Makefile.forSkip に置き換えて + 下さい. + +*/ +/*&eg + + If you cannot get a source liscence of OpenXM_contrib2/asir2000 + from Fujitsu labs, + compile each modules independently, e.g., + make all-kan96xx + + Or, replace Makefile by Makefile.forSkip in OpenXM/src/asir2000. + +*/ + /*&jp [OpenXM 下のファイルの構成メモ] @@ -440,6 +562,7 @@ OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/k rcvs export -rHEAD OpenXM rcvs export -rHEAD OpenXM_contrib rcvs export -rHEAD OpenXM_contrib2 +cd OpenXM/src ; make generate-source-distribution して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip. */