Annotation of OpenXM/doc/install.oxweave, Revision 1.7
1.7 ! takayama 1: %% $OpenXM: OpenXM/doc/install.oxweave,v 1.6 2000/01/19 12:57:39 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
1.7 ! takayama 121: ***** SYSTEM REQUIREMENTS
1.6 takayama 122:
123: */
124: /*&C
125:
1.7 ! takayama 126: OS: FreeBSD 3.3,
! 127: Linux systems (Plamo Linux on Linux 2.0.33, glibc5, )
! 128:
! 129: X window system is required.
! 130:
! 131: Most part of the OpenXM package may work on other versions of
! 132: FreeBSD and Linux versions, but we have not yet tested.
1.6 takayama 133:
134: */
135: /*&jp
136: 次の module は, OS の標準 distribution 以外に, さらに下に記したソフトを
137: 必要とします.
138: */
139: /*&eg
140: The following modules require the listed softwares other than the standard
141: OS package.
142: */
143: /*&C
144:
145: (1) OpenXM/bin/ox_math : Mathematica Version 3.x or 4.x
146: (Mathematica server) at /usr/local/Mathematica
147: OpenXM/bin/math2ox [ see http://www.wolfram.com ]
148: Asir client functions m_*
149: (2) OpenXM/lib/java-support : JDK at /usr/local/jdk??
150: Asir client functions om_*
151: sm1 client functions om_*
1.7 ! takayama 152: (3) PHC pack (OpenXM/bin/phc) and asir client functions
! 153: phc_* run only on linux (glib5).
! 154: If you install the linux emulation on Free BSD, they run on
! 155: FreeBSD, too. (In this case, generate OpenXM/bin/phc by hand.)
1.6 takayama 156:
157: */
158:
159:
1.1 takayama 160: /*&jp
1.7 ! takayama 161: 日本語版の注意.
1.3 maekawa 162: 注意 1.
163: asir で日本語のヘルプを利用するには,
1.1 takayama 164: PAGER=jless
165: export PAGER
1.3 maekawa 166: などで, 日本語を扱える PAGER を指定する必要があるかもしれません.
1.1 takayama 167: */
1.7 ! takayama 168:
! 169: /*&eg
! 170:
! 171: The install is completed.
! 172:
! 173: */
! 174: /*&jp
! 175:
! 176: 以上.
! 177:
! 178: */
! 179:
1.1 takayama 180: /*&jp
1.7 ! takayama 181: ★ 文書
! 182:
! 183: OpenXM パッケージでもっとも充実しているクライアントは,
! 184: asir です.
! 185: asir のつかいかたは
! 186: OpenXM/doc/asir2000/man-jp.dvi
! 187: または OpenXM/doc/asir2000/html-jp の HTML ファイルを見て下さい.
! 188: asir 用 OpenXM クライアントライブラリのつかい方は,
! 189: OpenXM/doc/asir-contrib/cman-jp.dvi
! 190: を見て下さい. dvi の付くファイルは xdvi で見ることができます.
! 191:
! 192: OpenXM の設計の概要については,
! 193: OpenXM/doc/issac2000/issac2000.ps
! 194: を見て下さい.
! 195: ps の付くファイルは, ghostview で見ることができます.
! 196:
! 197: */
! 198: /*&eg
! 199: ***** DOCUMENTS
! 200:
! 201: The best OpenXM client in the OpenXM package is now
! 202: asir.
! 203: Documents on asir are
! 204: OpenXM/doc/asir2000/man-eg.dvi
! 205: OpenXM/doc/asir2000/html-eg (HTML)
! 206:
! 207: The file
! 208: OpenXM/doc/asir-contrib/cman-eg.dvi
! 209: is a document on OpenXM client libraries for asir.
1.1 takayama 210:
1.7 ! takayama 211: The design outline is described in
! 212: OpenXM/doc/issac2000/issac2000.ps
! 213:
! 214: Dvi files can be previewed by xdvi and
! 215: ps files can be previewed by ghostview.
! 216: */
1.1 takayama 217:
218:
1.7 ! takayama 219: /*&jp
1.3 maekawa 220: 注意:
221: $OpenXM_HOME/bin の下の, fep, phc は, いまのところ
222: linux 用のバイナリまたはバイナリへのシンボリックリンクです.
223: Linux 以外の場合はバイナリを入れ換える必要があります.
1.1 takayama 224:
225:
226:
1.3 maekawa 227: ★使用例
1.1 takayama 228:
1.3 maekawa 229: OpenXM は X Window System 上でしか動作しません.
1.1 takayama 230:
1.3 maekawa 231: asir を動作させるには, key が必要です.
232: OpenXM/lib/asir/asir_key のコメントをみて, key を E-mail で
233: とりよせて下さい.
1.1 takayama 234:
1.5 takayama 235: --------------------------------------------------
236: OpenXM クライアント : asir 入門
1.3 maekawa 237: ---------------- 例 : asir に kan/sm1 を組み込む.
1.1 takayama 238: asir
239: load("xm");
1.3 maekawa 240: P=sm1_start(); /* P はプロセス番号 */
1.1 takayama 241: load("katsura");
1.3 maekawa 242: sm1_pgb(P,[katsura(4),[u0,u1,u2,u3,u4]]); /* sm1 でグレブナ基底を計算 */
1.1 takayama 243:
1.3 maekawa 244: --------------- 例 : asir より gnuplot を呼び出す.
1.1 takayama 245: asir
246: load("xm");
247: P=gnuplot_start();
248: gnuplot(P,"plot tan(x); ");
249: gnuplot(P,"splot sin(x)*cos(x); ");
250:
1.3 maekawa 251: --------------- 例 : asir より tigers を呼び出す.
1.1 takayama 252: asir
253: load("xm");
254: tigers_start();
255: B = tigers(0,[[1,1,1,1],[0,1,2,3]]);
1.3 maekawa 256: length(B) は 8 です. これは, 行列 A = [[1,1,1,1],[0,1,2,3]]
257: に付随した, toric ideal I_A の Grobner fan が 8 つの maximal
258: dimensional fan を持つことを意味します.
259: A[i] は i 番目の GB (グレブナ基底)です.
260: Binomial polynomial x^a-x^b を [[a_1, ..., a_n],[b_1, ..., b_n]] なる形式で
261: 表示します.
262: たとえば A[0];
1.1 takayama 263: [[[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 264: ですから,
1.1 takayama 265: x1 x3 - x2^2, x1 x4 - x2 x3, x2 x4 - x3^2
1.3 maekawa 266: が GB であり, initial ideal は
1.1 takayama 267: x1 x3 , x1 x4 , x2 x4
1.3 maekawa 268: で生成されています.
1.1 takayama 269:
270: ----------------------------------
271: sm1
272: (oxasir.sm1) run ;
1.3 maekawa 273: (x^20-1). fctr pmat ; sm1 より ox_asir を呼び出して因数分解させる.
1.1 takayama 274:
275:
276:
1.5 takayama 277: [著作権表示]
278: OpenXM/Copyright を御覧ください.
1.6 takayama 279: */
280:
1.7 ! takayama 281: /*&C
! 282:
! 283:
! 284: */
1.6 takayama 285: /*&jp
286: ★ OpenXM パッケージの Make 法
287: FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます.
288: OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です.
289: cvs コミッタの場合次のようにしてソースをとりよせます.
290: */
291: /*&eg
292: * How to make OpenXM package?
293: We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux.
294: Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2?
295: If you are a CVS committer, then you can get all sources as follows:
296: */
297: //&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2
298: //&C
299: //&jp これらがそろっていたらあとは次のように入力するだけです.
300: //&eg Check that you have these directories, then just type in the following commands
301: /*&C
302:
303: cd OpenXM/src
304: make configure
305: make
306: make install
307:
308: */
309: /*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が,
310: OpenXM/src/OpenMath のコンパイルおよび利用には
311: には, jdk (java 環境) が必要です.
312: */
313: /*&eg In order to use and compile OpenXM/src/ox_math, you need Mathematica.
314: In order to use and compile OpenXM/src/OpenMath,
315: you need jdk (java environment).
316: */
317: /*&C
1.1 takayama 318:
1.6 takayama 319: */
320: /*&jp
321: Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって
322: おきます.
323: */
324: /*&eg
325: /usr/ccs/bin must be at the top of the command search path to compile
326: on Solaris.
327: */
1.1 takayama 328:
1.6 takayama 329: /*&jp
1.3 maekawa 330: [OpenXM についての連絡先]
1.1 takayama 331: takayama@math.sci.kobe-u.ac.jp
332:
1.3 maekawa 333: [OpenXM_HOME 下のファイルの構成]
334: lib/asir には, asir のライブラリ, ox_asir 本体
335: (ox_asir.xxyyzz.os なる名前で格納されています)
336:
337: lib/sm1 は src/SSkan/Doc への symbolic link
338: であり, sm1 のライブラリファイルが格納されています.
339: lib/sm1/bin には, binaryfiles
1.1 takayama 340: sm1, ox_sm1, ox, ox_log, ox_sm1_*
1.3 maekawa 341: へのシンボリックリンクが格納されます.
342: このシンボリックリンクは src/kxx で make install を実行することにより
343: 作成されます.
1.1 takayama 344:
1.3 maekawa 345: sm1 が ox_asir を利用するのに必要なファイル.
1.1 takayama 346: lib/asir/ox_asir,
347: lib/sm1/bin/ox, lib/sm1/bin/ox_log (src/kxx/ox, src/kxx/ox_log)
348: lib/sm1/ox.sm1, lib/sm1/oxasir.sm1
349:
1.3 maekawa 350: asir が ox_sm1_forAsir を利用するのに必要なファイル:
1.1 takayama 351: lib/asir/ox_launch
1.3 maekawa 352: lib/sm1/bin/ox_sm1_forAsir (ox_sm1 へのリンク)
1.1 takayama 353: lib/asir/xm
1.3 maekawa 354: lib/sm1/ 以下の *.sm1 なるすべての ライブラリファイル.
1.1 takayama 355: callsm1.sm1 callsm1b.sm1
1.3 maekawa 356: (ox_sm1_forAsir の定義ファイル, src/kxx/oxserver00.c
357: ox_sm1 が ox_sm1_forAsir という名前で呼ばれるとこれらのファイルをロード.)
1.1 takayama 358:
1.3 maekawa 359: asir が ox_sm1_gnuplot を利用するのに必要なファイル:
1.1 takayama 360: lib/asir/ox_launch
1.3 maekawa 361: lib/sm1/bin/ox_sm1_gnuplot (ox_sm1 へのリンク, ox_sm1_gnuplot は fork して
1.4 maekawa 362: gnuplot4ox を実行します.)
1.1 takayama 363: lib/asir/xm
364: lib/sm1/callsm1.sm1, lib/sm1/gnuplot.sm1
1.3 maekawa 365: (ox_sm1_gnuplot の定義ファイル, src/kxx/oxserver00.c
366: ox_sm1 が ox_sm1_gnuplot という名前で呼ばれるとこれらのファイルをロード.)
1.4 maekawa 367: bin/gnuplot4ox, bin/gnuplot_x11 (gnuplot 本体, src/gnuplot*)
1.1 takayama 368:
369: ----------------------------------------
1.3 maekawa 370: [開発者用メモ]
1.1 takayama 371:
1.3 maekawa 372: << sm1, ox_sm1, ox, oxlog の debug >>
373: binary file は各 directory の make install により
374: OpenXM/bin にコピーされますが,
375: debug 用にいちいちコピーするのは面倒なので,
376: OpenXM/src/kan96xx で make install2
377: OpenXM/src/kxx で make install2
378: を実行すると,
379: OpenXM/bin/sm1, ox, ox_sm1, oxlog より,
1.1 takayama 380: OpenXM/src/kan96xx/Kan/sm1
381: OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog
1.3 maekawa 382: へのシンボリックリンクが作成されます.
1.1 takayama 383:
1.3 maekawa 384: [CVSコミッタ用メモ]
385: << OpenXM ディレクトリ配布版の作成方法 >>
1.1 takayama 386: rcvs export -rHEAD OpenXM
387: rcvs export -rHEAD OpenXM_contrib
388: rcvs export -rHEAD OpenXM_contrib2
1.3 maekawa 389: して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip.
1.7 ! takayama 390: */
! 391:
! 392: /*&C
! 393:
! 394: */
! 395: /*&jp
! 396:
! 397: ★ Solaris に関する注意.
! 398: Solaris ではまだ問題が山積してます.
! 399: Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt
! 400: を見てください.
! 401:
! 402: */
! 403:
! 404: /*&C
! 405:
! 406: */
! 407: /*&jp
! 408: ★ Java に関する注意:
! 409: 注意 1.
! 410: OpenMath 用の OMproxy には現在のところ, jdk が必要です.
! 411: bash を利用している場合, .bashrc で
! 412: PATH=/usr/local/jdk1.1.8/bin:$PATH
! 413: export PATH
! 414: などとして, jdk の javac をサーチパスの先のほうへもっていくようにして
! 415: ください.
! 416: */
! 417: /*&eg
! 418: ***** JAVA
! 419: In order to use OMproxy, asir client om_*,
! 420: you need to install JDK.
! 421: The bin dir of the JDK must be in yur search path.
! 422: For example, you need to add the following line
! 423: to your .chsrc
! 424: set path=(/usr/local/jdk1.1.8/bin $path)
1.1 takayama 425: */
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