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