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