Annotation of OpenXM/doc/install.oxweave, Revision 1.3
1.3 ! maekawa 1: %% $OpenXM: OpenXM/doc/install.oxweave,v 1.2 1999/12/15 05:53:04 takayama 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 して
! 202: gnuplot_forox を実行します.)
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 という名前で呼ばれるとこれらのファイルをロード.)
! 207: bin/gnuplot_forox, 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: */
231:
232:
233:
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