Annotation of OpenXM/doc/install.oxweave, Revision 1.9
1.9 ! takayama 1: %% $OpenXM: OpenXM/doc/install.oxweave,v 1.8 2000/01/20 07:25:25 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.9 ! takayama 382:
! 383: */
! 384: /*&jp
! 385:
! 386: OpenXM_contrib2/asir2000 の配布を受けてない場合 (ソースライセンスを
! 387: 富士通より受ける必要があります),
! 388: OpenXM/src/Makefile の各モジュール名 たとえば
! 389: make all-kan96xx
! 390: などと各モジュール名を指定してコンパイルして下さい.
! 391:
! 392: */
! 393: /*&eg
! 394:
! 395: If you cannot get a source liscence of OpenXM_contrib2/asir2000
! 396: from Fujitsu labs,
! 397: compile each modules independently, e.g.,
! 398: make all-kan96xx
1.1 takayama 399:
1.6 takayama 400: */
1.1 takayama 401:
1.6 takayama 402: /*&jp
1.1 takayama 403:
1.8 takayama 404: [OpenXM 下のファイルの構成メモ]
1.3 maekawa 405: lib/asir には, asir のライブラリ, ox_asir 本体
406:
1.8 takayama 407: cd OpenXM/src/kxx ; make install-for-debug した場合,
1.3 maekawa 408: lib/sm1 は src/SSkan/Doc への symbolic link
409: であり, sm1 のライブラリファイルが格納されています.
410: lib/sm1/bin には, binaryfiles
1.1 takayama 411: sm1, ox_sm1, ox, ox_log, ox_sm1_*
1.3 maekawa 412: へのシンボリックリンクが格納されます.
1.8 takayama 413: このシンボリックリンクは src/kxx で make install-for-debug を実行することにより
1.3 maekawa 414: 作成されます.
1.1 takayama 415:
1.3 maekawa 416: sm1 が ox_asir を利用するのに必要なファイル.
1.1 takayama 417: lib/asir/ox_asir,
418: lib/sm1/bin/ox, lib/sm1/bin/ox_log (src/kxx/ox, src/kxx/ox_log)
419: lib/sm1/ox.sm1, lib/sm1/oxasir.sm1
420:
1.3 maekawa 421: asir が ox_sm1_forAsir を利用するのに必要なファイル:
1.1 takayama 422: lib/asir/ox_launch
1.3 maekawa 423: lib/sm1/bin/ox_sm1_forAsir (ox_sm1 へのリンク)
1.1 takayama 424: lib/asir/xm
1.3 maekawa 425: lib/sm1/ 以下の *.sm1 なるすべての ライブラリファイル.
1.1 takayama 426: callsm1.sm1 callsm1b.sm1
1.3 maekawa 427: (ox_sm1_forAsir の定義ファイル, src/kxx/oxserver00.c
428: ox_sm1 が ox_sm1_forAsir という名前で呼ばれるとこれらのファイルをロード.)
1.1 takayama 429:
1.3 maekawa 430: asir が ox_sm1_gnuplot を利用するのに必要なファイル:
1.1 takayama 431: lib/asir/ox_launch
1.3 maekawa 432: lib/sm1/bin/ox_sm1_gnuplot (ox_sm1 へのリンク, ox_sm1_gnuplot は fork して
1.4 maekawa 433: gnuplot4ox を実行します.)
1.1 takayama 434: lib/asir/xm
435: lib/sm1/callsm1.sm1, lib/sm1/gnuplot.sm1
1.3 maekawa 436: (ox_sm1_gnuplot の定義ファイル, src/kxx/oxserver00.c
437: ox_sm1 が ox_sm1_gnuplot という名前で呼ばれるとこれらのファイルをロード.)
1.4 maekawa 438: bin/gnuplot4ox, bin/gnuplot_x11 (gnuplot 本体, src/gnuplot*)
1.1 takayama 439:
440: ----------------------------------------
1.3 maekawa 441: [開発者用メモ]
1.1 takayama 442:
1.3 maekawa 443: << sm1, ox_sm1, ox, oxlog の debug >>
444: binary file は各 directory の make install により
445: OpenXM/bin にコピーされますが,
446: debug 用にいちいちコピーするのは面倒なので,
1.8 takayama 447: OpenXM/src/kan96xx で make install-for-debug
448: OpenXM/src/kxx で make install-for-debug
1.3 maekawa 449: を実行すると,
450: OpenXM/bin/sm1, ox, ox_sm1, oxlog より,
1.1 takayama 451: OpenXM/src/kan96xx/Kan/sm1
452: OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog
1.3 maekawa 453: へのシンボリックリンクが作成されます.
1.1 takayama 454:
1.3 maekawa 455: [CVSコミッタ用メモ]
456: << OpenXM ディレクトリ配布版の作成方法 >>
1.1 takayama 457: rcvs export -rHEAD OpenXM
458: rcvs export -rHEAD OpenXM_contrib
459: rcvs export -rHEAD OpenXM_contrib2
1.3 maekawa 460: して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip.
1.7 takayama 461: */
462:
463: /*&C
464:
465: */
466: /*&jp
467:
468: ★ Solaris に関する注意.
469: Solaris ではまだ問題が山積してます.
470: Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt
471: を見てください.
1.8 takayama 472: Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって
473: おきます.
1.7 takayama 474:
475: */
1.8 takayama 476: /*&eg
477: ***** COMPILE ON SOLARIS
478: There are a lot of troubles on Solaris for now.
479: At least,
480: /usr/ccs/bin must be at the top of the command search path to compile
481: on Solaris.
482: */
483:
1.7 takayama 484:
485: /*&C
486:
1.1 takayama 487: */
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