Annotation of OpenXM/doc/install.oxweave, Revision 1.6
1.6 ! takayama 1: %% $OpenXM: OpenXM/doc/install.oxweave,v 1.5 2000/01/18 12:41:13 takayama Exp $
1.1 takayama 2: OpenXM/doc/install.oxweave
3:
1.6 ! takayama 4: /*&C
! 5: OpenXM URL : http://www.math.kobe-u.ac.jp/OpenXM
! 6:
! 7: OpenXM package : Getting started.
! 8:
! 9: */
1.1 takayama 10: /*&jp
1.6 ! takayama 11: ★ OpenXM パッケージの利用方法
! 12: この節では, OpenXM package binary distribution のインストール法を説明します.
! 13: インストールに必要なシステムの仕様については, 動作環境を御覧ください.
1.1 takayama 14: */
15: /*&eg
1.6 ! takayama 16: ***** HOW TO USE OpenXM PACKAGE?
! 17: In this section, we will explain how to install OpenXM package binary
! 18: distribution.
! 19: As to the required environment, see the section "System Requirement"
! 20: */
! 21: /*&jp
! 22:
! 23: (1) Tar ボールより次のようにしてディレクトリ OpenXM を取り出します.
! 24: OpenXM はどこにおいてもかまいません.
! 25:
1.1 takayama 26: */
1.6 ! takayama 27: /*&eg
1.1 takayama 28:
1.6 ! takayama 29: (1) Extract the directory OpenXM from the tar ball.
! 30: You can put the directory OpenXM at any place in the file system.
1.2 takayama 31:
32: */
1.6 ! takayama 33: /*&C
! 34: tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz
! 35:
1.2 takayama 36: */
1.6 ! takayama 37: /*&jp
! 38: 以下 (1) で生成されたディレクトリ OpenXM の絶対パスを /xxx/yyy/OpenXM
! 39: と書きます.
! 40:
1.1 takayama 41: */
1.6 ! takayama 42: /*&eg
! 43: In the sequel, we will denote the absolute path of the directory OpenXM
! 44: by /xxx/yyy/OpenXM.
1.1 takayama 45:
46: */
47: /*&jp
1.6 ! takayama 48: (2) 次のように入力して OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc
! 49: ファイルを自動生成します.
! 50: これらのファイルには, OpenXM/bin のファイルを実行するための
! 51: 環境変数が定義されています.
! 52:
1.5 takayama 53: */
54: /*&eg
1.6 ! takayama 55: (2) Generate OpenXM/rc/dot.cshrc and OpenXM/rc/dot.bashrc
! 56: by the following command.
! 57: Environmental variables to execute commands in OpenXM/bin
! 58: are defined in these files.
! 59:
1.5 takayama 60: */
1.6 ! takayama 61: /*&C
! 62:
! 63: cd /xxx/yyy/OpenXM
! 64: make
1.5 takayama 65:
66: */
67: /*&jp
1.6 ! takayama 68: (3) csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます.
! 69:
1.1 takayama 70: */
71: /*&eg
1.6 ! takayama 72: (3) Append the following line to the end of ~/.cshrc when you are
! 73: using csh as your shell.
! 74:
1.1 takayama 75: */
76: /*&C
1.2 takayama 77:
1.6 ! takayama 78: source /xxx/yyy/OpenXM/rc/dot.cshrc
1.2 takayama 79:
1.1 takayama 80: */
81: /*&jp
1.6 ! takayama 82: (3') bash を利用してる場合, 次の行を ~/.bashrc の最後に加えます.
! 83:
1.1 takayama 84: */
85: /*&eg
1.6 ! takayama 86: (3') Append the following line to the end of ~/.bashrc when you are
! 87: using bash as your shell.
! 88:
! 89: */
! 90: /*&C
! 91:
! 92: source /xxx/yyy/OpenXM/rc/dot.bash
! 93:
1.1 takayama 94: */
1.6 ! takayama 95:
1.2 takayama 96: //&C
1.6 ! takayama 97: //&jp (4) asir の利用には key が必要です. 以下のファイルを御覧ください.
! 98: //&eg (5) You need key to use asir. See the following file:
1.2 takayama 99: //&C OpenXM/lib/asir/asir_key
100: //&C
1.6 ! takayama 101:
! 102: /*&C
! 103: QUALITY:
! 104: the following functions have still experimental qualities:
! 105: OpenXM/bin/k0, OpenXM/bin/d0
! 106: OpenXM/bin/ox_math, OpenXM/bin/math2ox
! 107: OpenXM/lib/java-support/ *
! 108: Asir client functions: m_* (Mathematica) , om_* (OpenMath)
! 109: */
! 110: /*&C
! 111:
! 112:
! 113:
! 114:
! 115: */
! 116: /*&jp
! 117: ★ 動作環境
! 118:
! 119: */
! 120: /*&eg
! 121: ***** System Requirements
! 122:
! 123: */
! 124: /*&C
! 125:
! 126: OS: FreeBSD 3.x, Free BSD 2.8, Most Linux systems.
! 127:
! 128: */
! 129: /*&jp
! 130: 次の module は, OS の標準 distribution 以外に, さらに下に記したソフトを
! 131: 必要とします.
! 132: */
! 133: /*&eg
! 134: The following modules require the listed softwares other than the standard
! 135: OS package.
! 136: */
! 137: /*&C
! 138:
! 139: (1) OpenXM/bin/ox_math : Mathematica Version 3.x or 4.x
! 140: (Mathematica server) at /usr/local/Mathematica
! 141: OpenXM/bin/math2ox [ see http://www.wolfram.com ]
! 142: Asir client functions m_*
! 143: (2) OpenXM/lib/java-support : JDK at /usr/local/jdk??
! 144: Asir client functions om_*
! 145: sm1 client functions om_*
! 146:
! 147: */
! 148:
! 149:
1.1 takayama 150: /*&jp
1.3 maekawa 151: 注意 1.
152: asir で日本語のヘルプを利用するには,
1.1 takayama 153: PAGER=jless
154: export PAGER
1.3 maekawa 155: などで, 日本語を扱える PAGER を指定する必要があるかもしれません.
156: 注意 2.
1.5 takayama 157: OpenMath 用の OMproxy には現在のところ, jdk が必要です.
1.1 takayama 158: PATH=/usr/local/jdk1.1.8/bin:$PATH
159: export PATH
1.3 maekawa 160: などとして, jdk の javac をサーチパスの先のほうへもっていくようにして
161: ください.
1.1 takayama 162: */
163: /*&jp
164:
1.3 maekawa 165: 以上. 以下の使用例へ進んで下さい.
1.1 takayama 166:
1.3 maekawa 167: ★(1) asir のマニュアルは,
168: OpenXM_contrib2/asir2000/doc の README を見てね.
169: (2) asir-contrib のマニュアルは,
170: OpenXM/src/asir-contrib/packages/doc で make したあと,
171: ptex cman.texi (日本語)
172: tex cman-eg.texi (英語)
173: すればよろしい.
174: Online manual : ox_help(xxx) を利用するには,
1.2 takayama 175: (cd OpenXM/src/asir-contrib/packages/doc ; make install-help)
1.3 maekawa 176: とします.
1.1 takayama 177:
1.3 maekawa 178: 注意:
179: $OpenXM_HOME/bin の下の, fep, phc は, いまのところ
180: linux 用のバイナリまたはバイナリへのシンボリックリンクです.
181: Linux 以外の場合はバイナリを入れ換える必要があります.
1.1 takayama 182:
1.3 maekawa 183: Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt
184: を見てください.
1.1 takayama 185:
1.3 maekawa 186: --------------- インストール完了 ---------------------------
1.1 takayama 187:
1.3 maekawa 188: ★使用例
1.1 takayama 189:
1.3 maekawa 190: OpenXM は X Window System 上でしか動作しません.
1.1 takayama 191:
1.3 maekawa 192: asir を動作させるには, key が必要です.
193: OpenXM/lib/asir/asir_key のコメントをみて, key を E-mail で
194: とりよせて下さい.
1.1 takayama 195:
1.5 takayama 196: --------------------------------------------------
197: OpenXM クライアント : asir 入門
1.3 maekawa 198: ---------------- 例 : asir に kan/sm1 を組み込む.
1.1 takayama 199: asir
200: load("xm");
1.3 maekawa 201: P=sm1_start(); /* P はプロセス番号 */
1.1 takayama 202: load("katsura");
1.3 maekawa 203: sm1_pgb(P,[katsura(4),[u0,u1,u2,u3,u4]]); /* sm1 でグレブナ基底を計算 */
1.1 takayama 204:
1.3 maekawa 205: --------------- 例 : asir より gnuplot を呼び出す.
1.1 takayama 206: asir
207: load("xm");
208: P=gnuplot_start();
209: gnuplot(P,"plot tan(x); ");
210: gnuplot(P,"splot sin(x)*cos(x); ");
211:
1.3 maekawa 212: --------------- 例 : asir より tigers を呼び出す.
1.1 takayama 213: asir
214: load("xm");
215: tigers_start();
216: B = tigers(0,[[1,1,1,1],[0,1,2,3]]);
1.3 maekawa 217: length(B) は 8 です. これは, 行列 A = [[1,1,1,1],[0,1,2,3]]
218: に付随した, toric ideal I_A の Grobner fan が 8 つの maximal
219: dimensional fan を持つことを意味します.
220: A[i] は i 番目の GB (グレブナ基底)です.
221: Binomial polynomial x^a-x^b を [[a_1, ..., a_n],[b_1, ..., b_n]] なる形式で
222: 表示します.
223: たとえば A[0];
1.1 takayama 224: [[[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 225: ですから,
1.1 takayama 226: x1 x3 - x2^2, x1 x4 - x2 x3, x2 x4 - x3^2
1.3 maekawa 227: が GB であり, initial ideal は
1.1 takayama 228: x1 x3 , x1 x4 , x2 x4
1.3 maekawa 229: で生成されています.
1.1 takayama 230:
231: ----------------------------------
232: sm1
233: (oxasir.sm1) run ;
1.3 maekawa 234: (x^20-1). fctr pmat ; sm1 より ox_asir を呼び出して因数分解させる.
1.1 takayama 235:
236:
237:
1.5 takayama 238: [著作権表示]
239: OpenXM/Copyright を御覧ください.
1.6 ! takayama 240: */
! 241:
! 242: /*&jp
! 243: ★ OpenXM パッケージの Make 法
! 244: FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます.
! 245: OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です.
! 246: cvs コミッタの場合次のようにしてソースをとりよせます.
! 247: */
! 248: /*&eg
! 249: * How to make OpenXM package?
! 250: We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux.
! 251: Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2?
! 252: If you are a CVS committer, then you can get all sources as follows:
! 253: */
! 254: //&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2
! 255: //&C
! 256: //&jp これらがそろっていたらあとは次のように入力するだけです.
! 257: //&eg Check that you have these directories, then just type in the following commands
! 258: /*&C
! 259:
! 260: cd OpenXM/src
! 261: make configure
! 262: make
! 263: make install
! 264:
! 265: */
! 266: /*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が,
! 267: OpenXM/src/OpenMath のコンパイルおよび利用には
! 268: には, jdk (java 環境) が必要です.
! 269: */
! 270: /*&eg In order to use and compile OpenXM/src/ox_math, you need Mathematica.
! 271: In order to use and compile OpenXM/src/OpenMath,
! 272: you need jdk (java environment).
! 273: */
! 274: /*&C
1.1 takayama 275:
1.6 ! takayama 276: */
! 277: /*&jp
! 278: Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって
! 279: おきます.
! 280: */
! 281: /*&eg
! 282: /usr/ccs/bin must be at the top of the command search path to compile
! 283: on Solaris.
! 284: */
1.1 takayama 285:
1.6 ! takayama 286: /*&jp
1.3 maekawa 287: [OpenXM についての連絡先]
1.1 takayama 288: takayama@math.sci.kobe-u.ac.jp
289:
1.3 maekawa 290: [OpenXM_HOME 下のファイルの構成]
291: lib/asir には, asir のライブラリ, ox_asir 本体
292: (ox_asir.xxyyzz.os なる名前で格納されています)
293:
294: lib/sm1 は src/SSkan/Doc への symbolic link
295: であり, sm1 のライブラリファイルが格納されています.
296: lib/sm1/bin には, binaryfiles
1.1 takayama 297: sm1, ox_sm1, ox, ox_log, ox_sm1_*
1.3 maekawa 298: へのシンボリックリンクが格納されます.
299: このシンボリックリンクは src/kxx で make install を実行することにより
300: 作成されます.
1.1 takayama 301:
1.3 maekawa 302: sm1 が ox_asir を利用するのに必要なファイル.
1.1 takayama 303: lib/asir/ox_asir,
304: lib/sm1/bin/ox, lib/sm1/bin/ox_log (src/kxx/ox, src/kxx/ox_log)
305: lib/sm1/ox.sm1, lib/sm1/oxasir.sm1
306:
1.3 maekawa 307: asir が ox_sm1_forAsir を利用するのに必要なファイル:
1.1 takayama 308: lib/asir/ox_launch
1.3 maekawa 309: lib/sm1/bin/ox_sm1_forAsir (ox_sm1 へのリンク)
1.1 takayama 310: lib/asir/xm
1.3 maekawa 311: lib/sm1/ 以下の *.sm1 なるすべての ライブラリファイル.
1.1 takayama 312: callsm1.sm1 callsm1b.sm1
1.3 maekawa 313: (ox_sm1_forAsir の定義ファイル, src/kxx/oxserver00.c
314: ox_sm1 が ox_sm1_forAsir という名前で呼ばれるとこれらのファイルをロード.)
1.1 takayama 315:
1.3 maekawa 316: asir が ox_sm1_gnuplot を利用するのに必要なファイル:
1.1 takayama 317: lib/asir/ox_launch
1.3 maekawa 318: lib/sm1/bin/ox_sm1_gnuplot (ox_sm1 へのリンク, ox_sm1_gnuplot は fork して
1.4 maekawa 319: gnuplot4ox を実行します.)
1.1 takayama 320: lib/asir/xm
321: lib/sm1/callsm1.sm1, lib/sm1/gnuplot.sm1
1.3 maekawa 322: (ox_sm1_gnuplot の定義ファイル, src/kxx/oxserver00.c
323: ox_sm1 が ox_sm1_gnuplot という名前で呼ばれるとこれらのファイルをロード.)
1.4 maekawa 324: bin/gnuplot4ox, bin/gnuplot_x11 (gnuplot 本体, src/gnuplot*)
1.1 takayama 325:
326: ----------------------------------------
1.3 maekawa 327: [開発者用メモ]
1.1 takayama 328:
1.3 maekawa 329: << sm1, ox_sm1, ox, oxlog の debug >>
330: binary file は各 directory の make install により
331: OpenXM/bin にコピーされますが,
332: debug 用にいちいちコピーするのは面倒なので,
333: OpenXM/src/kan96xx で make install2
334: OpenXM/src/kxx で make install2
335: を実行すると,
336: OpenXM/bin/sm1, ox, ox_sm1, oxlog より,
1.1 takayama 337: OpenXM/src/kan96xx/Kan/sm1
338: OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog
1.3 maekawa 339: へのシンボリックリンクが作成されます.
1.1 takayama 340:
1.3 maekawa 341: [CVSコミッタ用メモ]
342: << OpenXM ディレクトリ配布版の作成方法 >>
1.1 takayama 343: rcvs export -rHEAD OpenXM
344: rcvs export -rHEAD OpenXM_contrib
345: rcvs export -rHEAD OpenXM_contrib2
1.3 maekawa 346: して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip.
1.1 takayama 347: */
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