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

Annotation of OpenXM/doc/install.oxweave, Revision 1.4

1.4     ! maekawa     1: %% $OpenXM: OpenXM/doc/install.oxweave,v 1.3 2000/01/07 22:23:04 maekawa Exp $
1.1       takayama    2: OpenXM/doc/install.oxweave
                      3:
                      4: /*&jp
1.3       maekawa     5: ★ OpenXM パッケージの Make 法
                      6:   FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます.
                      7:    OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です.
                      8:    cvs コミッタの場合次のようにしてソースをとりよせます.
1.1       takayama    9: */
                     10: /*&eg
1.2       takayama   11: * How to make OpenXM package?
                     12:  We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux.
1.1       takayama   13:  Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2?
                     14:  If you are a CVS committer, then you can get all sources as follows:
                     15: */
                     16: //&C  rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2
1.2       takayama   17: //&C
1.3       maekawa    18: //&jp これらがそろっていたらあとは次のように入力するだけです.
1.1       takayama   19: //&eg Check that you have these directories, then just type in the following commands
                     20: /*&C
                     21:
                     22:    cd OpenXM/src
                     23:    make configure
                     24:    make
1.2       takayama   25:
                     26: */
1.3       maekawa    27: /*&jp なお, OpenXM/src/ox_math の利用には Mathematica が, OpenXM/src/OpenMath
                     28: には, jdk (java 環境) が必要です.
1.2       takayama   29: */
                     30: /*&eg In order to use OpenXM/src/ox_math, you need Mathematica.
                     31: In order to use OpenXM/src/OpenMath, you need jdk (java environment).
1.1       takayama   32: */
                     33: /*&C
                     34:
                     35: */
                     36: /*&jp
1.3       maekawa    37: ★ OpenXM パッケージの利用方法
                     38: OpenXM をホームの直下に展開した場合, 次のようにします.
1.1       takayama   39: */
                     40: /*&eg
1.2       takayama   41: * How to use the OpenXM package?
1.1       takayama   42: If you have OpenXM under your home directory, do as follows.
                     43: */
                     44: /*&C
1.2       takayama   45:
1.1       takayama   46:     cp OpenXM/rc/asirrc ~/.asirrc
                     47:     source OpenXM/rc/bashrc (in case of bash)
                     48:     source OpenXM/rc/cshrc  (in case of csh)
1.2       takayama   49:
1.1       takayama   50: */
                     51: /*&jp
1.3       maekawa    52: OpenXM をホームの直下に展開してない場合は OpenXM/rc/bashrc, OpenXM/rc/cshrc を
                     53: 適当に変更して使用してください.
1.1       takayama   54: */
                     55: /*&eg
                     56: If you have OpenXM in a different place, edit OpenXM/rc/bashrc or
                     57: OpenXM/rc/cshrc properly.
                     58: */
1.2       takayama   59: //&C
1.3       maekawa    60: //&jp asir の利用には  key が必要です.  以下のファイルを御覧ください.
1.2       takayama   61: //&eg You need key to use asir.  See the following file:
                     62: //&C OpenXM/lib/asir/asir_key
                     63: //&C
1.1       takayama   64: /*&jp
1.3       maekawa    65: 注意 1.
                     66: asir で日本語のヘルプを利用するには,
1.1       takayama   67: PAGER=jless
                     68: export PAGER
1.3       maekawa    69: などで, 日本語を扱える PAGER を指定する必要があるかもしれません.
                     70: 注意 2.
                     71: FreeBSD 3.3 などには, /usr/local/bin/javac がついています.
                     72: この javac では, OpenXM/src/OpenMath 以下のファイルがコンパイルできません.
1.1       takayama   73: PATH=/usr/local/jdk1.1.8/bin:$PATH
                     74: export PATH
1.3       maekawa    75: などとして, jdk の javac をサーチパスの先のほうへもっていくようにして
                     76: ください.
1.1       takayama   77: */
                     78: /*&jp
                     79:
1.3       maekawa    80: 以上.  以下の使用例へ進んで下さい.
1.1       takayama   81:
1.3       maekawa    82: ★(1) asir のマニュアルは,
                     83:    OpenXM_contrib2/asir2000/doc の README を見てね.
                     84:   (2) asir-contrib のマニュアルは,
                     85:   OpenXM/src/asir-contrib/packages/doc で make したあと,
                     86:   ptex cman.texi (日本語)
                     87:   tex cman-eg.texi (英語)
                     88:   すればよろしい.
                     89:   Online manual : ox_help(xxx) を利用するには,
1.2       takayama   90:    (cd OpenXM/src/asir-contrib/packages/doc ; make install-help)
1.3       maekawa    91:   とします.
1.1       takayama   92:
1.3       maekawa    93: 注意:
                     94: $OpenXM_HOME/bin の下の, fep, phc は, いまのところ
                     95: linux 用のバイナリまたはバイナリへのシンボリックリンクです.
                     96: Linux 以外の場合はバイナリを入れ換える必要があります.
1.1       takayama   97:
1.3       maekawa    98: Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt
                     99: を見てください.
1.1       takayama  100:
1.3       maekawa   101: ---------------  インストール完了 ---------------------------
1.1       takayama  102:
1.3       maekawa   103: ★使用例
1.1       takayama  104:
1.3       maekawa   105: OpenXM は X Window System 上でしか動作しません.
1.1       takayama  106:
1.3       maekawa   107: asir を動作させるには, key が必要です.
                    108: OpenXM/lib/asir/asir_key のコメントをみて, key を E-mail で
                    109: とりよせて下さい.
1.1       takayama  110:
1.3       maekawa   111: ----------------  Asir クライアントの使いかた.
                    112: ----------------   例 : asir に kan/sm1  を組み込む.
1.1       takayama  113: asir
                    114: load("xm");
1.3       maekawa   115: P=sm1_start();    /* P はプロセス番号 */
1.1       takayama  116: load("katsura");
1.3       maekawa   117: sm1_pgb(P,[katsura(4),[u0,u1,u2,u3,u4]]); /* sm1 でグレブナ基底を計算 */
1.1       takayama  118:
1.3       maekawa   119: ---------------    例 : asir より gnuplot を呼び出す.
1.1       takayama  120: asir
                    121: load("xm");
                    122: P=gnuplot_start();
                    123: gnuplot(P,"plot  tan(x); ");
                    124: gnuplot(P,"splot sin(x)*cos(x); ");
                    125:
1.3       maekawa   126: ---------------    例 : asir より tigers を呼び出す.
1.1       takayama  127: asir
                    128: load("xm");
                    129: tigers_start();
                    130: B = tigers(0,[[1,1,1,1],[0,1,2,3]]);
1.3       maekawa   131: length(B) は 8 です.  これは, 行列 A = [[1,1,1,1],[0,1,2,3]]
                    132: に付随した, toric ideal I_A の Grobner fan が 8 つの maximal
                    133: dimensional fan を持つことを意味します.
                    134: A[i] は i 番目の GB (グレブナ基底)です.
                    135: Binomial polynomial x^a-x^b を [[a_1, ..., a_n],[b_1, ..., b_n]] なる形式で
                    136: 表示します.
                    137: たとえば A[0];
1.1       takayama  138: [[[1,0,1,0],[0,2,0,0]],[[1,0,0,1],[0,1,1,0]],[[0,1,0,1],[0,0,2,0]]]
1.3       maekawa   139: ですから,
1.1       takayama  140: x1 x3 - x2^2, x1 x4 - x2 x3, x2 x4 - x3^2
1.3       maekawa   141: が GB であり, initial ideal は
1.1       takayama  142: x1 x3 , x1 x4 , x2 x4
1.3       maekawa   143: で生成されています.
1.1       takayama  144:
                    145: ----------------------------------
                    146: sm1
                    147: (oxasir.sm1) run  ;
1.3       maekawa   148: (x^20-1). fctr pmat ;       sm1 より ox_asir を呼び出して因数分解させる.
1.1       takayama  149:
                    150:
                    151:
1.3       maekawa   152: [著作権表示] (現在テスト版のため情報が完備してません)
                    153: このソフトウエアは動作およびその結果につき, 一切の保証をしません.
                    154: ライセンス形態については現在検討中であります.  法務committer を
                    155: 募集中.
1.1       takayama  156:
                    157: OpenXM : url http://www.math.kobe-u.ac.jp/openXM
                    158:          cvs cite : kerberos.math.kobe-u.ac.jp
1.3       maekawa   159: sm1 :  作者 Nobuki Takayama, url http://www.math.kobe-u.ac.jp/KAN,
                    160:        ライセンス形態   GPL??
                    161: asir :    作者  url
                    162:          ライセンス形態   ??
                    163: gnuplot : 作者  url
                    164:          ライセンス形態   GPL?
                    165: phc : 作者 Jan Verschelde,  url
                    166:          ライセンス形態   ??
                    167: tigers : 作者 Birk Hubert,  url
                    168:          ライセンス形態   ??
1.1       takayama  169:
1.3       maekawa   170: [OpenXM についての連絡先]
1.1       takayama  171: takayama@math.sci.kobe-u.ac.jp
                    172:
1.3       maekawa   173: [OpenXM_HOME 下のファイルの構成]
                    174: lib/asir には, asir のライブラリ, ox_asir 本体
                    175: (ox_asir.xxyyzz.os なる名前で格納されています)
                    176:
                    177: lib/sm1 は src/SSkan/Doc への symbolic link
                    178: であり, sm1 のライブラリファイルが格納されています.
                    179: lib/sm1/bin には, binaryfiles
1.1       takayama  180:     sm1, ox_sm1, ox,  ox_log, ox_sm1_*
1.3       maekawa   181: へのシンボリックリンクが格納されます.
                    182: このシンボリックリンクは src/kxx で make install を実行することにより
                    183: 作成されます.
1.1       takayama  184:
1.3       maekawa   185: sm1 が ox_asir を利用するのに必要なファイル.
1.1       takayama  186:    lib/asir/ox_asir,
                    187:    lib/sm1/bin/ox, lib/sm1/bin/ox_log  (src/kxx/ox, src/kxx/ox_log)
                    188:    lib/sm1/ox.sm1, lib/sm1/oxasir.sm1
                    189:
1.3       maekawa   190: asir が ox_sm1_forAsir を利用するのに必要なファイル:
1.1       takayama  191:    lib/asir/ox_launch
1.3       maekawa   192:    lib/sm1/bin/ox_sm1_forAsir (ox_sm1 へのリンク)
1.1       takayama  193:    lib/asir/xm
1.3       maekawa   194:    lib/sm1/ 以下の *.sm1 なるすべての ライブラリファイル.
1.1       takayama  195:      callsm1.sm1 callsm1b.sm1
1.3       maekawa   196:      (ox_sm1_forAsir の定義ファイル, src/kxx/oxserver00.c
                    197:       ox_sm1 が ox_sm1_forAsir という名前で呼ばれるとこれらのファイルをロード.)
1.1       takayama  198:
1.3       maekawa   199: asir が ox_sm1_gnuplot を利用するのに必要なファイル:
1.1       takayama  200:     lib/asir/ox_launch
1.3       maekawa   201:     lib/sm1/bin/ox_sm1_gnuplot (ox_sm1 へのリンク, ox_sm1_gnuplot は fork して
1.4     ! maekawa   202:                                 gnuplot4ox を実行します.)
1.1       takayama  203:     lib/asir/xm
                    204:     lib/sm1/callsm1.sm1, lib/sm1/gnuplot.sm1
1.3       maekawa   205:      (ox_sm1_gnuplot の定義ファイル, src/kxx/oxserver00.c
                    206:       ox_sm1 が ox_sm1_gnuplot という名前で呼ばれるとこれらのファイルをロード.)
1.4     ! maekawa   207:     bin/gnuplot4ox,  bin/gnuplot_x11  (gnuplot 本体, src/gnuplot*)
1.1       takayama  208:
                    209: ----------------------------------------
1.3       maekawa   210: [開発者用メモ]
1.1       takayama  211:
1.3       maekawa   212: << sm1, ox_sm1, ox, oxlog の debug >>
                    213: binary file は各 directory の make install により
                    214: OpenXM/bin にコピーされますが,
                    215: debug 用にいちいちコピーするのは面倒なので,
                    216: OpenXM/src/kan96xx で make install2
                    217: OpenXM/src/kxx で make install2
                    218: を実行すると,
                    219: OpenXM/bin/sm1, ox, ox_sm1, oxlog より,
1.1       takayama  220: OpenXM/src/kan96xx/Kan/sm1
                    221: OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog
1.3       maekawa   222: へのシンボリックリンクが作成されます.
1.1       takayama  223:
1.3       maekawa   224: [CVSコミッタ用メモ]
                    225: <<  OpenXM ディレクトリ配布版の作成方法 >>
1.1       takayama  226: rcvs export -rHEAD OpenXM
                    227: rcvs export -rHEAD OpenXM_contrib
                    228: rcvs export -rHEAD OpenXM_contrib2
1.3       maekawa   229: して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip.
1.1       takayama  230: */

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