Annotation of OpenXM/doc/histrical-doc/install.oxweave.199912xx, Revision 1.1
1.1 ! takayama 1: %% $OpenXM$
! 2:
! 3:
! 4: /*&
! 5:
! 6: */
! 7: /*&jp
! 8: ★ OpenXM パッケージの利用方法
! 9: OpenXM をホームの直下に展開した場合, 次のようにします.
! 10: */
! 11: /*&eg
! 12: * How to use the OpenXM package?
! 13: If you have OpenXM under your home directory, do as follows.
! 14: */
! 15: /*&C
! 16:
! 17: cp OpenXM/rc/asirrc ~/.asirrc
! 18: source OpenXM/rc/bashrc (in case of bash)
! 19: source OpenXM/rc/cshrc (in case of csh)
! 20:
! 21: */
! 22: /*&jp
! 23: OpenXM をホームの直下に展開してない場合は OpenXM/rc/bashrc, OpenXM/rc/cshrc を
! 24: 適当に変更して使用してください.
! 25: */
! 26: /*&eg
! 27: If you have OpenXM in a different place, edit OpenXM/rc/bashrc or
! 28: OpenXM/rc/cshrc properly.
! 29: */
! 30: //&C
! 31: //&jp asir の利用には key が必要です. 以下のファイルを御覧ください.
! 32: //&eg You need key to use asir. See the following file:
! 33: //&C OpenXM/lib/asir/asir_key
! 34: //&C
! 35: /*&jp
! 36: 注意 1.
! 37: asir で日本語のヘルプを利用するには,
! 38: PAGER=jless
! 39: export PAGER
! 40: などで, 日本語を扱える PAGER を指定する必要があるかもしれません.
! 41: 注意 2.
! 42: OpenMath 用の OMproxy には現在のところ, jdk が必要です.
! 43: PATH=/usr/local/jdk1.1.8/bin:$PATH
! 44: export PATH
! 45: などとして, jdk の javac をサーチパスの先のほうへもっていくようにして
! 46: ください.
! 47: */
! 48: /*&jp
! 49:
! 50: 以上. 以下の使用例へ進んで下さい.
! 51:
! 52: ★(1) asir のマニュアルは,
! 53: OpenXM_contrib2/asir2000/doc の README を見てね.
! 54: (2) asir-contrib のマニュアルは,
! 55: OpenXM/src/asir-contrib/packages/doc で make したあと,
! 56: ptex cman.texi (日本語)
! 57: tex cman-eg.texi (英語)
! 58: すればよろしい.
! 59: Online manual : ox_help(xxx) を利用するには,
! 60: (cd OpenXM/src/asir-contrib/packages/doc ; make install-help)
! 61: とします.
! 62:
! 63: 注意:
! 64: $OpenXM_HOME/bin の下の, fep, phc は, いまのところ
! 65: linux 用のバイナリまたはバイナリへのシンボリックリンクです.
! 66: Linux 以外の場合はバイナリを入れ換える必要があります.
! 67:
! 68: Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt
! 69: を見てください.
! 70:
! 71: --------------- インストール完了 ---------------------------
! 72:
! 73: ★使用例
! 74:
! 75: OpenXM は X Window System 上でしか動作しません.
! 76:
! 77: asir を動作させるには, key が必要です.
! 78: OpenXM/lib/asir/asir_key のコメントをみて, key を E-mail で
! 79: とりよせて下さい.
! 80:
! 81: --------------------------------------------------
! 82: OpenXM クライアント : asir 入門
! 83: ---------------- 例 : asir に kan/sm1 を組み込む.
! 84: asir
! 85: load("xm");
! 86: P=sm1_start(); /* P はプロセス番号 */
! 87: load("katsura");
! 88: sm1_pgb(P,[katsura(4),[u0,u1,u2,u3,u4]]); /* sm1 でグレブナ基底を計算 */
! 89:
! 90: --------------- 例 : asir より gnuplot を呼び出す.
! 91: asir
! 92: load("xm");
! 93: P=gnuplot_start();
! 94: gnuplot(P,"plot tan(x); ");
! 95: gnuplot(P,"splot sin(x)*cos(x); ");
! 96:
! 97: --------------- 例 : asir より tigers を呼び出す.
! 98: asir
! 99: load("xm");
! 100: tigers_start();
! 101: B = tigers(0,[[1,1,1,1],[0,1,2,3]]);
! 102: length(B) は 8 です. これは, 行列 A = [[1,1,1,1],[0,1,2,3]]
! 103: に付随した, toric ideal I_A の Grobner fan が 8 つの maximal
! 104: dimensional fan を持つことを意味します.
! 105: A[i] は i 番目の GB (グレブナ基底)です.
! 106: Binomial polynomial x^a-x^b を [[a_1, ..., a_n],[b_1, ..., b_n]] なる形式で
! 107: 表示します.
! 108: たとえば A[0];
! 109: [[[1,0,1,0],[0,2,0,0]],[[1,0,0,1],[0,1,1,0]],[[0,1,0,1],[0,0,2,0]]]
! 110: ですから,
! 111: x1 x3 - x2^2, x1 x4 - x2 x3, x2 x4 - x3^2
! 112: が GB であり, initial ideal は
! 113: x1 x3 , x1 x4 , x2 x4
! 114: で生成されています.
! 115:
! 116: ----------------------------------
! 117: sm1
! 118: (oxasir.sm1) run ;
! 119: (x^20-1). fctr pmat ; sm1 より ox_asir を呼び出して因数分解させる.
! 120:
! 121:
! 122:
! 123: [著作権表示]
! 124: OpenXM/Copyright を御覧ください.
! 125:
! 126: OpenXM : url http://www.math.kobe-u.ac.jp/OpenXM
! 127: cvs cite : kerberos.math.kobe-u.ac.jp
! 128: sm1 : 作者 Nobuki Takayama, url http://www.math.kobe-u.ac.jp/KAN,
! 129: asir : 作者 url
! 130: ライセンス形態 ??
! 131: gnuplot : 作者 url
! 132: ライセンス形態 GPL?
! 133: phc : 作者 Jan Verschelde, url
! 134: ライセンス形態 ??
! 135: tigers : 作者 Birk Hubert, url
! 136: ライセンス形態 ??
! 137:
! 138: /*&jp
! 139: ★ OpenXM パッケージの Make 法
! 140: FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます.
! 141: OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です.
! 142: cvs コミッタの場合次のようにしてソースをとりよせます.
! 143: */
! 144: /*&eg
! 145: * How to make OpenXM package?
! 146: We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux.
! 147: Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2?
! 148: If you are a CVS committer, then you can get all sources as follows:
! 149: */
! 150: //&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2
! 151: //&C
! 152: //&jp これらがそろっていたらあとは次のように入力するだけです.
! 153: //&eg Check that you have these directories, then just type in the following commands
! 154: /*&C
! 155:
! 156: cd OpenXM/src
! 157: make configure
! 158: make
! 159: make install
! 160:
! 161: */
! 162: /*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が,
! 163: OpenXM/src/OpenMath のコンパイルおよび利用には
! 164: には, jdk (java 環境) が必要です.
! 165: */
! 166: /*&eg In order to use and compile OpenXM/src/ox_math, you need Mathematica.
! 167: In order to use and compile OpenXM/src/OpenMath,
! 168: you need jdk (java environment).
! 169: */
! 170: /*&C
! 171:
! 172: */
! 173: /*&jp
! 174: Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって
! 175: おきます.
! 176: */
! 177: /*&eg
! 178: /usr/ccs/bin must be at the top of the command search path to compile
! 179: on Solaris.
! 180: */
! 181:
! 182: /*&jp
! 183: [OpenXM についての連絡先]
! 184: takayama@math.sci.kobe-u.ac.jp
! 185:
! 186: [OpenXM_HOME 下のファイルの構成]
! 187: lib/asir には, asir のライブラリ, ox_asir 本体
! 188: (ox_asir.xxyyzz.os なる名前で格納されています)
! 189:
! 190: lib/sm1 は src/SSkan/Doc への symbolic link
! 191: であり, sm1 のライブラリファイルが格納されています.
! 192: lib/sm1/bin には, binaryfiles
! 193: sm1, ox_sm1, ox, ox_log, ox_sm1_*
! 194: へのシンボリックリンクが格納されます.
! 195: このシンボリックリンクは src/kxx で make install を実行することにより
! 196: 作成されます.
! 197:
! 198: sm1 が ox_asir を利用するのに必要なファイル.
! 199: lib/asir/ox_asir,
! 200: lib/sm1/bin/ox, lib/sm1/bin/ox_log (src/kxx/ox, src/kxx/ox_log)
! 201: lib/sm1/ox.sm1, lib/sm1/oxasir.sm1
! 202:
! 203: asir が ox_sm1_forAsir を利用するのに必要なファイル:
! 204: lib/asir/ox_launch
! 205: lib/sm1/bin/ox_sm1_forAsir (ox_sm1 へのリンク)
! 206: lib/asir/xm
! 207: lib/sm1/ 以下の *.sm1 なるすべての ライブラリファイル.
! 208: callsm1.sm1 callsm1b.sm1
! 209: (ox_sm1_forAsir の定義ファイル, src/kxx/oxserver00.c
! 210: ox_sm1 が ox_sm1_forAsir という名前で呼ばれるとこれらのファイルをロード.)
! 211:
! 212: asir が ox_sm1_gnuplot を利用するのに必要なファイル:
! 213: lib/asir/ox_launch
! 214: lib/sm1/bin/ox_sm1_gnuplot (ox_sm1 へのリンク, ox_sm1_gnuplot は fork して
! 215: gnuplot4ox を実行します.)
! 216: lib/asir/xm
! 217: lib/sm1/callsm1.sm1, lib/sm1/gnuplot.sm1
! 218: (ox_sm1_gnuplot の定義ファイル, src/kxx/oxserver00.c
! 219: ox_sm1 が ox_sm1_gnuplot という名前で呼ばれるとこれらのファイルをロード.)
! 220: bin/gnuplot4ox, bin/gnuplot_x11 (gnuplot 本体, src/gnuplot*)
! 221:
! 222: ----------------------------------------
! 223: [開発者用メモ]
! 224:
! 225: << sm1, ox_sm1, ox, oxlog の debug >>
! 226: binary file は各 directory の make install により
! 227: OpenXM/bin にコピーされますが,
! 228: debug 用にいちいちコピーするのは面倒なので,
! 229: OpenXM/src/kan96xx で make install2
! 230: OpenXM/src/kxx で make install2
! 231: を実行すると,
! 232: OpenXM/bin/sm1, ox, ox_sm1, oxlog より,
! 233: OpenXM/src/kan96xx/Kan/sm1
! 234: OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog
! 235: へのシンボリックリンクが作成されます.
! 236:
! 237: [CVSコミッタ用メモ]
! 238: << OpenXM ディレクトリ配布版の作成方法 >>
! 239: rcvs export -rHEAD OpenXM
! 240: rcvs export -rHEAD OpenXM_contrib
! 241: rcvs export -rHEAD OpenXM_contrib2
! 242: して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip.
! 243: */
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to install.oxweave.199912xx CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc / histrical-doc