=================================================================== RCS file: /home/cvs/OpenXM/install.txt,v retrieving revision 1.6 retrieving revision 1.26 diff -u -p -r1.6 -r1.26 --- OpenXM/install.txt 1999/11/11 10:58:44 1.6 +++ OpenXM/install.txt 2004/02/23 11:38:36 1.26 @@ -1,208 +1,55 @@ -%% $OpenXM: OpenXM/install.txt,v 1.5 1999/10/30 20:47:56 maekawa Exp $ -OpenXM/install.txt in Japanese -As to English version see install.eg.txt +%% $OpenXM: OpenXM/install.txt,v 1.25 2004/02/13 02:28:55 takayama Exp $ -★ OpenXM パッケージの Make 法 - (FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます.) - cd OpenXM/src - make configure - make +The OpenXM package is a package of mathematical software systems. +They are integrated with the OpenXM protocols. +The OpenXM protocol provides an infrastructure for free, or open source +mathematical software systems. -★ OpenXM パッケージ( pari と asir を含む) の Make 法 2. - (FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます.) - cd OpenXM/src - make -f Makefile.pari-asir configure - make -f Makefile.pari-asir +As to installation procedures, + see doc/install-en.txt in English +and + see doc/install-ja.txt in Japanese. +These files will be generated from install.oxweave by + cd doc + make +in the source distribution. -★ OpenXM パッケージの利用方法 -OpenXM をホームの直下に展開した場合, -[3]で解説した .asirrc をかけば, あとは -bash の場合なら, source OpenXM/rc/bashrc -csh の場合なら, source OpenXM/rccshrc -を実行すればすべての環境設定が終了します. -以上. 以下の使用例へ進んで下さい. +As to the licence of OpenXM, see the directory Copyright (BSD, Fujitsu, ...). +We understand that you agree with our licence when you started "make". +If you provide binaries generated to "users", you need to let users know +that we understand that once an user starts our system, he/she agrees +with our licence. -そうでない場合は以下のように設定する必要があります. +-------- 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 +or (cd OpenXM/rc ; make ) + and include dot.bashrc or dot.cshrc generated from your .bashrc or .cshrc + by the command source; source dot.bashrc or source dot.cshrc. -[1] 環境変数 OpenXM_HOME の設定. -setenv OpenXM_HOME OpenXMへのパス (Cシェル, tcsh の場合) -または -OpenXM_HOME = OpenXMへのパス (sh, bash の場合) -export OpenXM_HOME -で openXM のホームディレクトリを指定します. -たとえば, - OpenXM_HOME = /home/nobuki/OpenXM - export OpenXM_HOME +------- 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) -[2] +------- Generating html/ps documents under OpenXM/doc +After installation, +(cd OpenXM/src ; make install-document) -[3] -~/.asirrc に -load("gr")$ -load("primdec")$ -end$ -と書いておく. +------------------------------------------- +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 -[4] (または [5]) -環境変数を設定することにより, [5] のように/usr/local へリンクをはれなくてもOK. -[a] ASIR_LIBDIR=$OpenXM_HOME/lib/asir -[b] LOAD_SM1_PATH=$OpenXM_HOME/lib/sm1 -[c] $OpenXM_HOME/bin をコマンドサーチバスに加える. -csh の場合 : set path=($OpenXM_HOME/bin $path) - rehash -bash の場合 : PATH=$OpenXM_HOME/bin:$PATH - export PATH -(LOAD_K_PATH ) -または -[5] -以下のように, シンボリックリンクをはって下さい. - -ln -s $OpenXM_HOME/lib/asir /usr/local/lib/asir -ln -s $OpenXM_HOME/lib/sm1 /usr/local/lib/sm1 - -* Open XM 対応 gnuplot を利用したい場合, -$OpenXM_HOME/bin のしたの gnuplot_x11 へコマンドサーチパスからリンクをはります. -たとえば -ln -s OpenXM_HOME/bin/gnuplot_x11 /usr/local/bin -$OpenXM_HOME/bin/gnuplot_x11 自体を移動するとただしく動作しないので注意. -* asir を利用したい場合, -$OpenXM_HOME/bin のしたの asir へコマンドサーチパスからリンクをはります. -* sm1 を利用したい場合, -$OpenXM_HOME/bin のしたの sm1 へコマンドサーチパスからリンクをはります. - - -$OpenXM_HOME/bin の下の, fep, phc, asir は, いまのところ -linux 用のバイナリまたはバイナリへのシンボリックリンクです. -Linux 以外の場合はバイナリを入れ換える必要があります. - ---------------- インストール完了 --------------------------- - -★使用例 - -OpenXM は X-window 上でしか動作しません. - ----------------- Asir クライアントの使いかた. ----------------- 例 : asir に kan/sm1 を組み込む. -asir -load("xm"); -P=sm1_start(); /* P はプロセス番号 */ -load("katsura"); -sm1_pgb(P,[katsura(4),[u0,u1,u2,u3,u4]]); /* sm1 でグレブナ基底を計算 */ - ---------------- 例 : asir より gnuplot を呼び出す. -asir -load("xm"); -P=gnuplot_start(); -gnuplot(P,"plot tan(x); "); -gnuplot(P,"splot sin(x)*cos(x); "); - ---------------- 例 : 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 -で生成されています. - ----------------------------------- -sm1 -(oxasir.sm1) run ; -(x^20-1). fctr pmat ; sm1 より ox_asir を呼び出して因数分解させる. - - - -[著作権表示] (現在テスト版のため情報が完備してません) -このソフトウエアは動作およびその結果につき, 一切の保証をしません. -ライセンス形態については現在検討中であります. - -OpenXM : url http://www.math.kobe-u.ac.jp/openXM - cvs cite : kerberos.kobe-u.ac.jp -sm1 : 作者 Nobuki Takayama, url http://www.math.kobe-u.ac.jp/KAN, - ライセンス形態 GPL -asir : 作者 url - ライセンス形態 ?? -gnuplot : 作者 url - ライセンス形態 GPL -phc : 作者 Jan Verschelde, url - ライセンス形態 ?? -tigers : 作者 Birk Hubert, url - ライセンス形態 ?? - - -[OpenXM_HOME 下のファイルの構成] -lib/asir には, asir のライブラリ, ox_asir 本体 -(ox_asir.xxyyzz.os なる名前で格納されています) - -lib/sm1 は src/SSkan/Doc への symbolic link -であり, sm1 のライブラリファイルが格納されています. -lib/sm1/bin には, binaryfiles - sm1, ox_sm1, ox, ox_log, ox_sm1_* -へのシンボリックリンクが格納されます. -このシンボリックリンクは src/kxx で make install を実行することにより -作成されます. - -sm1 が ox_asir を利用するのに必要なファイル. - lib/asir/ox_asir, - lib/sm1/bin/ox, lib/sm1/bin/ox_log (src/kxx/ox, src/kxx/ox_log) - lib/sm1/ox.sm1, lib/sm1/oxasir.sm1 - -asir が ox_sm1_forAsir を利用するのに必要なファイル: - lib/asir/ox_launch - lib/sm1/bin/ox_sm1_forAsir (ox_sm1 へのリンク) - lib/asir/xm - lib/sm1/*.sm1 の全ての cohom ライブラリファイル. - callsm1.sm1 callsm1b.sm1 - (ox_sm1_forAsir の定義ファイル, src/kxx/oxserver00.c - ox_sm1 が ox_sm1_forAsir という名前で呼ばれるとこれらのファイルをロード.) - -asir が ox_sm1_gnuplot を利用するのに必要なファイル: - lib/asir/ox_launch - lib/sm1/bin/ox_sm1_gnuplot (ox_sm1 へのリンク, ox_sm1_gnuplot は fork して - gnuplot_forox を実行します.) - lib/asir/xm - lib/sm1/callsm1.sm1, lib/sm1/gnuplot.sm1 - (ox_sm1_gnuplot の定義ファイル, src/kxx/oxserver00.c - ox_sm1 が ox_sm1_gnuplot という名前で呼ばれるとこれらのファイルをロード.) - bin/gnuplot_forox, bin/gnuplot_x11 (gnuplot 本体, src/gnuplot*) - - - ----------------------------------------- -[開発者用メモ] -<< openXM ディレクトリ配布版の作成方法. >> -cd OpenXM/src -make clean -OpenXM 全体を tar すればよろしい. - -<< sm1, ox_sm1, ox, oxlog の debug >> -binary file は各 directory の make install により -OpenXM/bin にコピーされますが, -debug 用にいちいちコピーするのは面倒なので, -OpenXM/src/kan96xx で make install2 -OpenXM/src/kxx で make install2 -を実行すると, -OpenXM/bin/sm1, ox, ox_sm1, oxlog より, -OpenXM/src/kan96xx/Kan/sm1 -OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog -へのシンボリックリンクが作成されます. - -[CVSコミッタ用メモ] -<< openXM ディレクトリ配布版の作成方法 Part.2 >> -rcvs export -rHEAD OpenXM -して, OpenXM 全体を tar+gzip.