Annotation of OpenXM/doc/install.oxweave, Revision 1.8
1.8 ! takayama 1: %% $OpenXM: OpenXM/doc/install.oxweave,v 1.7 2000/01/20 03:14:07 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:
1.8 ! takayama 63: cd /xxx/yyy/OpenXM/rc
1.6 takayama 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
1.8 ! takayama 103:
! 104: ***** QUALITY:
! 105: the following modules and functions have still experimental qualities:
1.6 takayama 106: OpenXM/bin/k0, OpenXM/bin/d0
107: OpenXM/bin/ox_math, OpenXM/bin/math2ox
108: OpenXM/lib/java-support/ *
109: Asir client functions: m_* (Mathematica) , om_* (OpenMath)
110: */
111: /*&C
112:
113:
1.8 ! takayama 114: */
! 115: /*&jp
! 116: ★ Java に関する注意:
! 117: 注意 1.
! 118: OpenMath 用の OMproxy には現在のところ, jdk が必要です.
! 119: たとえば bash を利用している場合, .bashrc で
! 120: PATH=/usr/local/jdk1.1.8/bin:$PATH
! 121: export PATH
! 122: などとして, jdk の javac をサーチパスの先のほうへもっていくようにして
! 123: ください.
! 124: */
! 125: /*&eg
! 126: ***** JAVA
! 127: In order to use OMproxy, asir client om_*,
! 128: you need to install JDK.
! 129: The bin dir of the JDK must be in yur search path.
! 130: For example, you need to add the following line
! 131: to your .chsrc
! 132: set path=(/usr/local/jdk1.1.8/bin $path)
! 133: */
! 134:
! 135: /*&C
! 136:
! 137:
1.6 takayama 138:
139:
140: */
141: /*&jp
142: ★ 動作環境
143:
144: */
145: /*&eg
1.7 takayama 146: ***** SYSTEM REQUIREMENTS
1.6 takayama 147:
148: */
149: /*&C
150:
1.7 takayama 151: OS: FreeBSD 3.3,
152: Linux systems (Plamo Linux on Linux 2.0.33, glibc5, )
153:
154: X window system is required.
155:
156: Most part of the OpenXM package may work on other versions of
1.8 ! takayama 157: FreeBSD and Linux, but we have not yet tested.
1.6 takayama 158:
159: */
160: /*&jp
1.8 ! takayama 161: 次の modules は, OS の標準 distribution 以外に, さらに下に記したソフトを
1.6 takayama 162: 必要とします.
163: */
164: /*&eg
165: The following modules require the listed softwares other than the standard
166: OS package.
167: */
168: /*&C
169:
170: (1) OpenXM/bin/ox_math : Mathematica Version 3.x or 4.x
171: (Mathematica server) at /usr/local/Mathematica
172: OpenXM/bin/math2ox [ see http://www.wolfram.com ]
173: Asir client functions m_*
174: (2) OpenXM/lib/java-support : JDK at /usr/local/jdk??
1.8 ! takayama 175: [ see the section on JAVA]
1.6 takayama 176: Asir client functions om_*
177: sm1 client functions om_*
1.7 takayama 178: (3) PHC pack (OpenXM/bin/phc) and asir client functions
179: phc_* run only on linux (glib5).
1.8 ! takayama 180: If you install the linux emulation^{note 1} on Free BSD, they run on
! 181: FreeBSD, too.
! 182: <note 1>
! 183: Add linux_enable="YES" in /etc/rc.conf
! 184: You need the following packages:
! 185: pkg_info | grep linu
! 186: linux_base-5.2 The base set of packages needed in Linux mode
! 187: linux_devtools-5.2 Packages needed for doing development in Linux mode
1.6 takayama 188:
189: */
190:
191:
1.1 takayama 192: /*&jp
1.7 takayama 193: 日本語版の注意.
1.3 maekawa 194: 注意 1.
195: asir で日本語のヘルプを利用するには,
1.1 takayama 196: PAGER=jless
197: export PAGER
1.3 maekawa 198: などで, 日本語を扱える PAGER を指定する必要があるかもしれません.
1.1 takayama 199: */
1.7 takayama 200:
201: /*&eg
202:
1.8 ! takayama 203: The installation is completed.
1.7 takayama 204:
205: */
206: /*&jp
207:
208: 以上.
209:
210: */
211:
1.1 takayama 212: /*&jp
1.7 takayama 213: ★ 文書
214:
215: OpenXM パッケージでもっとも充実しているクライアントは,
216: asir です.
217: asir のつかいかたは
218: OpenXM/doc/asir2000/man-jp.dvi
219: または OpenXM/doc/asir2000/html-jp の HTML ファイルを見て下さい.
220: asir 用 OpenXM クライアントライブラリのつかい方は,
221: OpenXM/doc/asir-contrib/cman-jp.dvi
222: を見て下さい. dvi の付くファイルは xdvi で見ることができます.
223:
224: OpenXM の設計の概要については,
225: OpenXM/doc/issac2000/issac2000.ps
226: を見て下さい.
227: ps の付くファイルは, ghostview で見ることができます.
228:
229: */
230: /*&eg
231: ***** DOCUMENTS
232:
233: The best OpenXM client in the OpenXM package is now
234: asir.
235: Documents on asir are
236: OpenXM/doc/asir2000/man-eg.dvi
237: OpenXM/doc/asir2000/html-eg (HTML)
238:
239: The file
240: OpenXM/doc/asir-contrib/cman-eg.dvi
241: is a document on OpenXM client libraries for asir.
1.1 takayama 242:
1.7 takayama 243: The design outline is described in
244: OpenXM/doc/issac2000/issac2000.ps
245:
246: Dvi files can be previewed by xdvi and
247: ps files can be previewed by ghostview.
248: */
1.1 takayama 249:
250:
1.8 ! takayama 251: /*&eg
! 252:
! 253:
! 254: ***** A QUICK TOUR OF OPENXM BY ASIR
! 255:
! 256: */
1.7 takayama 257: /*&jp
1.1 takayama 258:
259:
1.8 ! takayama 260: ★ ASIR による使用例
1.1 takayama 261:
262:
1.3 maekawa 263: asir を動作させるには, key が必要です.
1.8 ! takayama 264: OpenXM/lib/asir/asir_key のコメントまたは起動時のメッセージをみて,
! 265: key を E-mail でとりよせて下さい.
1.1 takayama 266:
1.8 ! takayama 267: */
! 268: /*&C
! 269: ---------------- Call ox_sm1 from asir.
! 270: bash-2.03$ asir
! 271: This is Risa/Asir, Version 20000120.
! 272: Copyright (C) FUJITSU LABORATORIES LIMITED.
! 273: 1994-1999. All rights reserved.
! 274: xm Version 20000116. ox_help(0); ox_help("keyword"); for help message
! 275: [269] sm1_genericAnn([x^3-y^2,[s,x,y]]);
! 276: /* The annihilating ideal of (x^3-y^2)^s */
! 277: [-2*y*dx-3*x^2*dy,2*x*dx+3*y*dy-6*s]
! 278:
! 279:
! 280: --------------- Call gnuplot from asir.
! 281: bash-2.03$ asir
! 282: This is Risa/Asir, Version 20000120.
! 283: Copyright (C) FUJITSU LABORATORIES LIMITED.
! 284: 1994-1999. All rights reserved.
! 285: xm Version 20000116. ox_help(0); ox_help("keyword"); for help message
! 286: [269] gnuplot("plot sin(x);");
! 287: 0
! 288: [270]
1.1 takayama 289:
1.8 ! takayama 290: */
! 291: /*&jp
1.1 takayama 292:
1.3 maekawa 293: --------------- 例 : asir より tigers を呼び出す.
1.1 takayama 294: asir
295: load("xm");
296: tigers_start();
297: B = tigers(0,[[1,1,1,1],[0,1,2,3]]);
1.3 maekawa 298: length(B) は 8 です. これは, 行列 A = [[1,1,1,1],[0,1,2,3]]
299: に付随した, toric ideal I_A の Grobner fan が 8 つの maximal
300: dimensional fan を持つことを意味します.
301: A[i] は i 番目の GB (グレブナ基底)です.
302: Binomial polynomial x^a-x^b を [[a_1, ..., a_n],[b_1, ..., b_n]] なる形式で
303: 表示します.
304: たとえば A[0];
1.1 takayama 305: [[[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 306: ですから,
1.1 takayama 307: x1 x3 - x2^2, x1 x4 - x2 x3, x2 x4 - x3^2
1.3 maekawa 308: が GB であり, initial ideal は
1.1 takayama 309: x1 x3 , x1 x4 , x2 x4
1.3 maekawa 310: で生成されています.
1.8 ! takayama 311: */
1.1 takayama 312:
1.8 ! takayama 313: /*&C
! 314: -------------------------------------- call ox_asir from sm1
1.1 takayama 315: sm1
316: (oxasir.sm1) run ;
1.8 ! takayama 317: [(x^20-y^20) (x,y)] fctr pmat ; factorize x^20-y^20 by call ox_asir
1.1 takayama 318:
319:
1.8 ! takayama 320: */
1.1 takayama 321:
1.8 ! takayama 322: /*&jp
1.5 takayama 323: [著作権表示]
324: OpenXM/Copyright を御覧ください.
1.6 takayama 325: */
1.8 ! takayama 326: /*&eg
! 327: [COPYRIGHT]
! 328: See OpenXM/Copyright.
! 329: */
! 330:
! 331: /*&eg
! 332:
1.6 takayama 333:
1.7 takayama 334:
1.8 ! takayama 335: ***** TO COMPILE FROM A SOURCE *****
1.7 takayama 336:
337: */
1.6 takayama 338: /*&jp
1.8 ! takayama 339:
! 340:
1.6 takayama 341: ★ OpenXM パッケージの Make 法
342: FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます.
1.8 ! takayama 343: Linux glib6 では, いまのところ, /usr/include/features.h
! 344: で #define __FAVOR_BSD 1 してコンパイルする必要があります.
! 345: (setjmp と sigsetjmp の問題, dirty trick)
! 346:
1.6 takayama 347: OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です.
348: cvs コミッタの場合次のようにしてソースをとりよせます.
349: */
350: /*&eg
351: * How to make OpenXM package?
352: We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux.
1.8 ! takayama 353: On Linux glib6, you need to define
! 354: #define __FAVOR_BSD 1
! 355: in /usr/include/features.h
! 356: (setjmp vs sigsetjmp)
! 357:
1.6 takayama 358: Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2?
359: If you are a CVS committer, then you can get all sources as follows:
360: */
361: //&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2
362: //&C
363: //&jp これらがそろっていたらあとは次のように入力するだけです.
364: //&eg Check that you have these directories, then just type in the following commands
365: /*&C
366:
367: cd OpenXM/src
368: make configure
369: make
370: make install
371:
372: */
373: /*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が,
374: OpenXM/src/OpenMath のコンパイルおよび利用には
375: には, jdk (java 環境) が必要です.
376: */
377: /*&eg In order to use and compile OpenXM/src/ox_math, you need Mathematica.
378: In order to use and compile OpenXM/src/OpenMath,
379: you need jdk (java environment).
380: */
381: /*&C
1.1 takayama 382:
1.6 takayama 383: */
1.1 takayama 384:
1.6 takayama 385: /*&jp
1.1 takayama 386:
1.8 ! takayama 387: [OpenXM 下のファイルの構成メモ]
1.3 maekawa 388: lib/asir には, asir のライブラリ, ox_asir 本体
389:
1.8 ! takayama 390: cd OpenXM/src/kxx ; make install-for-debug した場合,
1.3 maekawa 391: lib/sm1 は src/SSkan/Doc への symbolic link
392: であり, sm1 のライブラリファイルが格納されています.
393: lib/sm1/bin には, binaryfiles
1.1 takayama 394: sm1, ox_sm1, ox, ox_log, ox_sm1_*
1.3 maekawa 395: へのシンボリックリンクが格納されます.
1.8 ! takayama 396: このシンボリックリンクは src/kxx で make install-for-debug を実行することにより
1.3 maekawa 397: 作成されます.
1.1 takayama 398:
1.3 maekawa 399: sm1 が ox_asir を利用するのに必要なファイル.
1.1 takayama 400: lib/asir/ox_asir,
401: lib/sm1/bin/ox, lib/sm1/bin/ox_log (src/kxx/ox, src/kxx/ox_log)
402: lib/sm1/ox.sm1, lib/sm1/oxasir.sm1
403:
1.3 maekawa 404: asir が ox_sm1_forAsir を利用するのに必要なファイル:
1.1 takayama 405: lib/asir/ox_launch
1.3 maekawa 406: lib/sm1/bin/ox_sm1_forAsir (ox_sm1 へのリンク)
1.1 takayama 407: lib/asir/xm
1.3 maekawa 408: lib/sm1/ 以下の *.sm1 なるすべての ライブラリファイル.
1.1 takayama 409: callsm1.sm1 callsm1b.sm1
1.3 maekawa 410: (ox_sm1_forAsir の定義ファイル, src/kxx/oxserver00.c
411: ox_sm1 が ox_sm1_forAsir という名前で呼ばれるとこれらのファイルをロード.)
1.1 takayama 412:
1.3 maekawa 413: asir が ox_sm1_gnuplot を利用するのに必要なファイル:
1.1 takayama 414: lib/asir/ox_launch
1.3 maekawa 415: lib/sm1/bin/ox_sm1_gnuplot (ox_sm1 へのリンク, ox_sm1_gnuplot は fork して
1.4 maekawa 416: gnuplot4ox を実行します.)
1.1 takayama 417: lib/asir/xm
418: lib/sm1/callsm1.sm1, lib/sm1/gnuplot.sm1
1.3 maekawa 419: (ox_sm1_gnuplot の定義ファイル, src/kxx/oxserver00.c
420: ox_sm1 が ox_sm1_gnuplot という名前で呼ばれるとこれらのファイルをロード.)
1.4 maekawa 421: bin/gnuplot4ox, bin/gnuplot_x11 (gnuplot 本体, src/gnuplot*)
1.1 takayama 422:
423: ----------------------------------------
1.3 maekawa 424: [開発者用メモ]
1.1 takayama 425:
1.3 maekawa 426: << sm1, ox_sm1, ox, oxlog の debug >>
427: binary file は各 directory の make install により
428: OpenXM/bin にコピーされますが,
429: debug 用にいちいちコピーするのは面倒なので,
1.8 ! takayama 430: OpenXM/src/kan96xx で make install-for-debug
! 431: OpenXM/src/kxx で make install-for-debug
1.3 maekawa 432: を実行すると,
433: OpenXM/bin/sm1, ox, ox_sm1, oxlog より,
1.1 takayama 434: OpenXM/src/kan96xx/Kan/sm1
435: OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog
1.3 maekawa 436: へのシンボリックリンクが作成されます.
1.1 takayama 437:
1.3 maekawa 438: [CVSコミッタ用メモ]
439: << OpenXM ディレクトリ配布版の作成方法 >>
1.1 takayama 440: rcvs export -rHEAD OpenXM
441: rcvs export -rHEAD OpenXM_contrib
442: rcvs export -rHEAD OpenXM_contrib2
1.3 maekawa 443: して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip.
1.7 takayama 444: */
445:
446: /*&C
447:
448: */
449: /*&jp
450:
451: ★ Solaris に関する注意.
452: Solaris ではまだ問題が山積してます.
453: Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt
454: を見てください.
1.8 ! takayama 455: Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって
! 456: おきます.
1.7 takayama 457:
458: */
1.8 ! takayama 459: /*&eg
! 460: ***** COMPILE ON SOLARIS
! 461: There are a lot of troubles on Solaris for now.
! 462: At least,
! 463: /usr/ccs/bin must be at the top of the command search path to compile
! 464: on Solaris.
! 465: */
! 466:
1.7 takayama 467:
468: /*&C
469:
1.1 takayama 470: */
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