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