=================================================================== RCS file: /home/cvs/OpenXM/doc/install.oxweave,v retrieving revision 1.2 retrieving revision 1.3 diff -u -p -r1.2 -r1.3 --- OpenXM/doc/install.oxweave 1999/12/15 05:53:04 1.2 +++ OpenXM/doc/install.oxweave 2000/01/07 22:23:04 1.3 @@ -1,11 +1,11 @@ -%% $OpenXM: OpenXM/doc/install.oxweave,v 1.1 1999/12/15 03:30:13 takayama Exp $ +%% $OpenXM: OpenXM/doc/install.oxweave,v 1.2 1999/12/15 05:53:04 takayama Exp $ OpenXM/doc/install.oxweave /*&jp -$B!z(B OpenXM $B%Q%C%1!<%8$N(B Make $BK!(B - FreeBSD 2.2.8, FreeBSD 3.3, Linux $B$GF0:n$9$k$b$N$H4|BT$7$F$^$9(B. - OpenXM, OpenXM_contrib, OpenXM_contrib2 $B$,I,MW$G$9(B. - cvs $B%3%_%C%?$N>l9g2<$KE83+$7$?>l9g(B, $B2<$KE83+$7$F$J$$>l9g$O(B OpenXM/rc/bashrc, OpenXM/rc/cshrc $B$r(B -$BE,Ev$KJQ99$7$F;HMQ$7$F$/$@$5$$(B. +OpenXM をホームの直下に展開してない場合は OpenXM/rc/bashrc, OpenXM/rc/cshrc を +適当に変更して使用してください. */ /*&eg If you have OpenXM in a different place, edit OpenXM/rc/bashrc or OpenXM/rc/cshrc properly. */ //&C -//&jp asir $B$NMxMQ$K$O(B key $B$,I,MW$G$9(B. $B0J2<$N%U%!%$%k$r8fMw$/$@$5$$(B. +//&jp asir の利用には key が必要です. 以下のファイルを御覧ください. //&eg You need key to use asir. See the following file: //&C OpenXM/lib/asir/asir_key //&C /*&jp -$BCm0U(B 1. -asir $B$GF|K\8l$N%X%k%W$rMxMQ$9$k$K$O(B, +注意 1. +asir で日本語のヘルプを利用するには, PAGER=jless export PAGER -$B$J$I$G(B, $BF|K\8l$r07$($k(B PAGER $B$r;XDj$9$kI,MW$,$"$k$+$b$7$l$^$;$s(B. -$BCm0U(B 2. -FreeBSD 3.3 $B$J$I$K$O(B, /usr/local/bin/javac $B$,$D$$$F$$$^$9(B. -$B$3$N(B javac $B$G$O(B, OpenXM/src/OpenMath $B0J2<$N%U%!%$%k$,%3%s%Q%$%k$G$-$^$;$s(B. +などで, 日本語を扱える PAGER を指定する必要があるかもしれません. +注意 2. +FreeBSD 3.3 などには, /usr/local/bin/javac がついています. +この javac では, OpenXM/src/OpenMath 以下のファイルがコンパイルできません. PATH=/usr/local/jdk1.1.8/bin:$PATH export PATH -$B$J$I$H$7$F(B, jdk $B$N(B javac $B$r%5!<%A%Q%9$N@h$N$[$&$X$b$C$F$$$/$h$&$K$7$F(B -$B$/$@$5$$(B. +などとして, jdk の javac をサーチパスの先のほうへもっていくようにして +ください. */ /*&jp -$B0J>e(B. $B0J2<$N;HMQNc$X?J$s$G2<$5$$(B. +以上. 以下の使用例へ進んで下さい. -$B!z(B(1) asir $B$N%^%K%e%"%k$O(B, - OpenXM_contrib2/asir2000/doc $B$N(B README $B$r8+$F$M(B. - (2) asir-contrib $B$N%^%K%e%"%k$O(B, - OpenXM/src/asir-contrib/packages/doc $B$G(B make $B$7$?$"$H(B, - ptex cman.texi ($BF|K\8l(B) - tex cman-eg.texi ($B1Q8l(B) - $B$9$l$P$h$m$7$$(B. - Online manual : ox_help(xxx) $B$rMxMQ$9$k$K$O(B, +★(1) asir のマニュアルは, + OpenXM_contrib2/asir2000/doc の README を見てね. + (2) asir-contrib のマニュアルは, + OpenXM/src/asir-contrib/packages/doc で make したあと, + ptex cman.texi (日本語) + tex cman-eg.texi (英語) + すればよろしい. + Online manual : ox_help(xxx) を利用するには, (cd OpenXM/src/asir-contrib/packages/doc ; make install-help) - $B$H$7$^$9(B. + とします. -$BCm0U(B: -$OpenXM_HOME/bin $B$N2<$N(B, fep, phc $B$O(B, $B$$$^$N$H$3$m(B -linux $BMQ$N%P%$%J%j$^$?$O%P%$%J%j$X$N%7%s%\%j%C%/%j%s%/$G$9(B. -Linux $B0J30$N>l9g$O%P%$%J%j$rF~$l49$($kI,MW$,$"$j$^$9(B. +注意: +$OpenXM_HOME/bin の下の, fep, phc は, いまのところ +linux 用のバイナリまたはバイナリへのシンボリックリンクです. +Linux 以外の場合はバイナリを入れ換える必要があります. -Solaris $B$G$N(B make $B$NLdBjE@$K$D$$$F$O(B, OpenXM/doc/OpenXM-FAQ-jp.txt -$B$r8+$F$/$@$5$$(B. +Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt +を見てください. ---------------- $B%$%s%9%H!<%k40N;(B --------------------------- +--------------- インストール完了 --------------------------- -$B!z;HMQNc(B +★使用例 -OpenXM $B$O(B X Window System $B>e$G$7$+F0:n$7$^$;$s(B. +OpenXM は X Window System 上でしか動作しません. -asir $B$rF0:n$5$;$k$K$O(B, key $B$,I,MW$G$9(B. -OpenXM/lib/asir/asir_key $B$N%3%a%s%H$r$_$F(B, key $B$r(B E-mail $B$G(B -$B$H$j$h$;$F2<$5$$(B. +asir を動作させるには, key が必要です. +OpenXM/lib/asir/asir_key のコメントをみて, key を E-mail で +とりよせて下さい. ----------------- Asir $B%/%i%$%"%s%H$N;H$$$+$?(B. ----------------- $BNc(B : asir $B$K(B kan/sm1 $B$rAH$_9~$`(B. +---------------- Asir クライアントの使いかた. +---------------- 例 : asir に kan/sm1 を組み込む. asir load("xm"); -P=sm1_start(); /* P $B$O%W%m%;%9HV9f(B */ +P=sm1_start(); /* P はプロセス番号 */ load("katsura"); -sm1_pgb(P,[katsura(4),[u0,u1,u2,u3,u4]]); /* sm1 $B$G%0%l%V%J4pDl$r7W;;(B */ +sm1_pgb(P,[katsura(4),[u0,u1,u2,u3,u4]]); /* sm1 でグレブナ基底を計算 */ ---------------- $BNc(B : asir $B$h$j(B gnuplot $B$r8F$S=P$9(B. +--------------- 例 : asir より gnuplot を呼び出す. asir load("xm"); P=gnuplot_start(); gnuplot(P,"plot tan(x); "); gnuplot(P,"splot sin(x)*cos(x); "); ---------------- $BNc(B : asir $B$h$j(B tigers $B$r8F$S=P$9(B. +--------------- 例 : asir より tigers を呼び出す. asir load("xm"); tigers_start(); B = tigers(0,[[1,1,1,1],[0,1,2,3]]); -length(B) $B$O(B 8 $B$G$9(B. $B$3$l$O(B, $B9TNs(B A = [[1,1,1,1],[0,1,2,3]] -$B$KIU?o$7$?(B, toric ideal I_A $B$N(B Grobner fan $B$,(B 8 $B$D$N(B maximal -dimensional fan $B$r;}$D$3$H$r0UL#$7$^$9(B. -A[i] $B$O(B i $BHVL\$N(B GB ($B%0%l%V%J4pDl(B)$B$G$9(B. -Binomial polynomial x^a-x^b $B$r(B [[a_1, ..., a_n],[b_1, ..., b_n]] $B$J$k7A<0$G(B -$BI=<($7$^$9(B. -$B$?$H$($P(B A[0]; +length(B) は 8 です. これは, 行列 A = [[1,1,1,1],[0,1,2,3]] +に付随した, toric ideal I_A の Grobner fan が 8 つの maximal +dimensional fan を持つことを意味します. +A[i] は i 番目の GB (グレブナ基底)です. +Binomial polynomial x^a-x^b を [[a_1, ..., a_n],[b_1, ..., b_n]] なる形式で +表示します. +たとえば A[0]; [[[1,0,1,0],[0,2,0,0]],[[1,0,0,1],[0,1,1,0]],[[0,1,0,1],[0,0,2,0]]] -$B$G$9$+$i(B, +ですから, x1 x3 - x2^2, x1 x4 - x2 x3, x2 x4 - x3^2 -$B$,(B GB $B$G$"$j(B, initial ideal $B$O(B +が GB であり, initial ideal は x1 x3 , x1 x4 , x2 x4 -$B$G@8@.$5$l$F$$$^$9(B. +で生成されています. ---------------------------------- sm1 (oxasir.sm1) run ; -(x^20-1). fctr pmat ; sm1 $B$h$j(B ox_asir $B$r8F$S=P$7$F0x?tJ,2r$5$;$k(B. +(x^20-1). fctr pmat ; sm1 より ox_asir を呼び出して因数分解させる. -[$BCx:n8"I=<((B] ($B8=:_%F%9%HHG$N$?$a>pJs$,40Hw$7$F$^$;$s(B) -$B$3$N%=%U%H%&%(%"$OF0:n$*$h$S$=$N7k2L$K$D$-(B, $B0l@Z$NJ]>Z$r$7$^$;$s(B. -$B%i%$%;%s%97ABV$K$D$$$F$O8=:_8!F$Cf$G$"$j$^$9(B. $BK!L3(Bcommitter $B$r(B -$BJg=8Cf(B. +[著作権表示] (現在テスト版のため情報が完備してません) +このソフトウエアは動作およびその結果につき, 一切の保証をしません. +ライセンス形態については現在検討中であります. 法務committer を +募集中. OpenXM : url http://www.math.kobe-u.ac.jp/openXM cvs cite : kerberos.math.kobe-u.ac.jp -sm1 : $B:nA0$G3JG<$5$l$F$$$^$9(B) +[OpenXM_HOME 下のファイルの構成] +lib/asir には, asir のライブラリ, ox_asir 本体 +(ox_asir.xxyyzz.os なる名前で格納されています) -lib/sm1 $B$O(B src/SSkan/Doc $B$X$N(B symbolic link -$B$G$"$j(B, sm1 $B$N%i%$%V%i%j%U%!%$%k$,3JG<$5$l$F$$$^$9(B. -lib/sm1/bin $B$K$O(B, binaryfiles +lib/sm1 は src/SSkan/Doc への symbolic link +であり, sm1 のライブラリファイルが格納されています. +lib/sm1/bin には, binaryfiles sm1, ox_sm1, ox, ox_log, ox_sm1_* -$B$X$N%7%s%\%j%C%/%j%s%/$,3JG<$5$l$^$9(B. -$B$3$N%7%s%\%j%C%/%j%s%/$O(B src/kxx $B$G(B make install $B$rA0$G8F$P$l$k$H$3$l$i$N%U%!%$%k$r%m!<%I(B.) + (ox_sm1_forAsir の定義ファイル, src/kxx/oxserver00.c + ox_sm1 が ox_sm1_forAsir という名前で呼ばれるとこれらのファイルをロード.) -asir $B$,(B ox_sm1_gnuplot $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B: +asir が ox_sm1_gnuplot を利用するのに必要なファイル: lib/asir/ox_launch - lib/sm1/bin/ox_sm1_gnuplot (ox_sm1 $B$X$N%j%s%/(B, ox_sm1_gnuplot $B$O(B fork $B$7$F(B - gnuplot_forox $B$rA0$G8F$P$l$k$H$3$l$i$N%U%!%$%k$r%m!<%I(B.) - bin/gnuplot_forox, bin/gnuplot_x11 (gnuplot $BK\BN(B, src/gnuplot*) + (ox_sm1_gnuplot の定義ファイル, src/kxx/oxserver00.c + ox_sm1 が ox_sm1_gnuplot という名前で呼ばれるとこれらのファイルをロード.) + bin/gnuplot_forox, bin/gnuplot_x11 (gnuplot 本体, src/gnuplot*) ---------------------------------------- -[$B3+H/> -binary file $B$O3F(B directory $B$N(B make install $B$K$h$j(B -OpenXM/bin $B$K%3%T!<$5$l$^$9$,(B, -debug $BMQ$K$$$A$$$A%3%T!<$9$k$N$OLLE]$J$N$G(B, -OpenXM/src/kan96xx $B$G(B make install2 -OpenXM/src/kxx $B$G(B make install2 -$B$r> +binary file は各 directory の make install により +OpenXM/bin にコピーされますが, +debug 用にいちいちコピーするのは面倒なので, +OpenXM/src/kan96xx で make install2 +OpenXM/src/kxx で make install2 +を実行すると, +OpenXM/bin/sm1, ox, ox_sm1, oxlog より, OpenXM/src/kan96xx/Kan/sm1 OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog -$B$X$N%7%s%\%j%C%/%j%s%/$,:n@.$5$l$^$9(B. +へのシンボリックリンクが作成されます. -[CVS$B%3%_%C%?MQ%a%b(B] -<< OpenXM $B%G%#%l%/%H%jG[I[HG$N:n@.J}K!(B >> +[CVSコミッタ用メモ] +<< OpenXM ディレクトリ配布版の作成方法 >> rcvs export -rHEAD OpenXM rcvs export -rHEAD OpenXM_contrib rcvs export -rHEAD OpenXM_contrib2 -$B$7$F(B, OpenXM, OpenXM_contrib, OpenXM_contrib2 $BA4BN$r(B tar+gzip. +して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip. */