=================================================================== RCS file: /home/cvs/OpenXM/doc/install.oxweave,v retrieving revision 1.1 retrieving revision 1.13 diff -u -p -r1.1 -r1.13 --- OpenXM/doc/install.oxweave 1999/12/15 03:30:13 1.1 +++ OpenXM/doc/install.oxweave 2000/01/21 08:23:44 1.13 @@ -1,216 +1,511 @@ -%% $OpenXM$ +%% $OpenXM: OpenXM/doc/install.oxweave,v 1.12 2000/01/21 03:19:17 takayama Exp $ OpenXM/doc/install.oxweave +/*&C +OpenXM URL : http://www.math.kobe-u.ac.jp/OpenXM + +OpenXM package : Getting started. + +*/ /*&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. +(3') bash を利用してる場合, 次の行を ~/.bashrc の最後に加えます. + */ /*&eg -If you have OpenXM in a different place, edit OpenXM/rc/bashrc or -OpenXM/rc/cshrc properly. +(3') Append the following line to the end of ~/.bashrc when you are + using bash as your shell. + */ +/*&C + + source /xxx/yyy/OpenXM/rc/dot.bash + +*/ + +//&C +//&jp (4) asir の利用には key が必要です. +//&eg (4) You need a key to use asir. +//&C +/*&jp + asir の起動時のメッセージまたは OpenXM/lib/asir/asir_key を + 参照して, key を取得して下さい (数秒しかかかりません). + +*/ +/*&eg + Please get the key by following the instruction from asir itself or + that in OpenXM/lib/asir/asir_key (it takes only a few seconds + to get the key). + +*/ + +/*&C + +***** QUALITY: + the following modules and functions have still experimental qualities: + OpenXM/bin/k0, OpenXM/bin/d0 + OpenXM/bin/ox_math, OpenXM/bin/math2ox + OpenXM/lib/java-support/ * + Asir client functions: m_* (Mathematica) , om_* (OpenMath) + OpenXM/bin/sm1, ox_sm1 on Linux libc6. +*/ +/*&C + + +*/ /*&jp -$BCm0U(B 1. -asir $B$GF|K\8l$N%X%k%W$rMxMQ$9$k$K$O(B, -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. +★ Java に関する注意: +注意 1. +OpenMath 用の OMproxy には現在のところ, jdk が必要です. +たとえば bash を利用している場合, .bashrc で 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 の java, javac をサーチパスの先のほうへもっていくようにして +ください. +csh を利用している場合, .cshrc で +set path=(/usr/local/jdk1.1.8/bin $path) +として, jdk の java, javac をサーチパスにいれます. */ +/*&eg +***** JAVA +In order to use OMproxy, asir client om_*, +you need to install JDK. +The bin dir of the JDK must be in yur search path. +For example, you need to add the following line +to your .chsrc when your shell is csh +set path=(/usr/local/jdk1.1.8/bin $path) +Bash users put the following line to .bashrc +PATH=/usr/local/jdk1.1.8/bin:$PATH +export PATH +*/ + +/*&C + + + + +*/ /*&jp +★ 動作環境 -$B0J>e(B. $B0J2<$N;HMQNc$X?J$s$G2<$5$$(B. +*/ +/*&eg +***** SYSTEM REQUIREMENTS -$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$O8=:_0l;~E*$K$D$+$($^$;$s(B. +*/ +/*&C -$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. +OS: FreeBSD 3.3 (Intel CPU), + Linux systems (Intel CPU): + Plamo Linux on Linux 2.0.33, glibc5, -Solaris $B$G$N(B make $B$NLdBjE@$K$D$$$F$O(B, OpenXM/doc/OpenXM-FAQ-jp.txt -$B$r8+$F$/$@$5$$(B. + X window system is required. ---------------- $B%$%s%9%H!<%k40N;(B --------------------------- + Most part of the OpenXM package may work on other versions of + FreeBSD 3.x and Linux, but we have not yet tested. -$B!z;HMQNc(B +*/ +/*&jp +次の modules は, OS の標準 distribution 以外に, さらに下に記したソフトを +必要とします. +*/ +/*&eg +The following modules require the listed softwares other than the standard +OS package. +*/ +/*&C -OpenXM $B$O(B X Window System $B>e$G$7$+F0:n$7$^$;$s(B. +(1) OpenXM/bin/ox_math : Mathematica Version 3.x or 4.x + (Mathematica server) at /usr/local/Mathematica + OpenXM/bin/math2ox [ see http://www.wolfram.com ] + Asir client functions m_* +(2) OpenXM/lib/java-support : JDK at /usr/local/jdk?? + [ see the section on JAVA] + Asir client functions om_* + sm1 client functions om_* +(3) PHC pack (OpenXM/bin/phc) and asir client functions + phc_* run only on linux (glib5). + If you install the linux emulation^{note 1} on Free BSD, they run on + FreeBSD, too. + + Add linux_enable="YES" in /etc/rc.conf + You need the following packages: + pkg_info | grep linu + linux_base-5.2 The base set of packages needed in Linux mode + linux_devtools-5.2 Packages needed for doing development in Linux mode -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 $B%/%i%$%"%s%H$N;H$$$+$?(B. ----------------- $BNc(B : asir $B$K(B kan/sm1 $B$rAH$_9~$`(B. -asir -load("xm"); -P=sm1_start(); /* P $B$O%W%m%;%9HV9f(B */ -load("katsura"); -sm1_pgb(P,[katsura(4),[u0,u1,u2,u3,u4]]); /* sm1 $B$G%0%l%V%J4pDl$r7W;;(B */ ---------------- $BNc(B : asir $B$h$j(B gnuplot $B$r8F$S=P$9(B. -asir -load("xm"); -P=gnuplot_start(); -gnuplot(P,"plot tan(x); "); -gnuplot(P,"splot sin(x)*cos(x); "); +/*&jp +日本語版の注意. +注意 1. +asir で日本語のヘルプを利用するには, +PAGER=jless +export PAGER +などで, 日本語を扱える PAGER を指定する必要があるかもしれません. +*/ ---------------- $BNc(B : asir $B$h$j(B tigers $B$r8F$S=P$9(B. -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]; -[[[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 -x1 x3 , x1 x4 , x2 x4 -$B$G@8@.$5$l$F$$$^$9(B. +/*&eg ----------------------------------- +The installation is completed. + +*/ +/*&jp + +以上. + +*/ + +/*&jp +★ 文書 + + OpenXM パッケージでもっとも充実しているクライアントは, + asir です. + asir のつかいかたは + OpenXM/doc/asir2000/man-jp.dvi + または OpenXM/doc/asir2000/html-jp の HTML ファイルを見て下さい. + asir 用 OpenXM クライアントライブラリのつかい方は, + OpenXM/doc/asir-contrib/cman-jp.dvi + を見て下さい. dvi の付くファイルは xdvi で見ることができます. + + OpenXM の設計の概要については, + OpenXM/doc/issac2000/issac2000.ps + を見て下さい. + ps の付くファイルは, ghostview で見ることができます. + +*/ +/*&eg +***** DOCUMENTS + + The best OpenXM client in the OpenXM package is now + asir. + Documents on asir are + OpenXM/doc/asir2000/man-eg.dvi + OpenXM/doc/asir2000/html-eg (HTML) + + The file + OpenXM/doc/asir-contrib/cman-eg.dvi + is a document on OpenXM client libraries for asir. + + The design outline is described in + OpenXM/doc/issac2000/issac2000.ps + + Dvi files can be previewed by xdvi and + ps files can be previewed by ghostview. +*/ + + +/*&eg + + +***** A QUICK TOUR OF OPENXM BY ASIR + +*/ +/*&jp + + +★ ASIR による使用例 + + +asir を動作させるには, key が必要です. +OpenXM/lib/asir/asir_key のコメントまたは起動時のメッセージをみて, +key を E-mail でとりよせて下さい. + +*/ +/*&C +---------------- Call ox_sm1 from asir. +bash-2.03$ asir +This is Risa/Asir, Version 20000120. +Copyright (C) FUJITSU LABORATORIES LIMITED. +1994-1999. All rights reserved. +xm Version 20000116. ox_help(0); ox_help("keyword"); for help message +[269] sm1_genericAnn([x^3-y^2,[s,x,y]]); + /* The annihilating ideal of (x^3-y^2)^s */ +[-2*y*dx-3*x^2*dy,2*x*dx+3*y*dy-6*s] + + +--------------- Call gnuplot from asir. +bash-2.03$ asir +This is Risa/Asir, Version 20000120. +Copyright (C) FUJITSU LABORATORIES LIMITED. +1994-1999. All rights reserved. +xm Version 20000116. ox_help(0); ox_help("keyword"); for help message +[269] gnuplot("plot sin(x);"); +0 +[270] + +*/ + +/*&jp + +★ sm1 クライアントの利用例 + +*/ +/*&eg + +****** Example of the use of sm1 client + +*/ + +/*&C +-------------------------------------- call ox_asir from sm1 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-y^20) (x,y)] fctr pmat ; factorize x^20-y^20 by call 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. +/*&jp +[著作権表示] +OpenXM/Copyright を御覧ください. +*/ +/*&eg +[COPYRIGHT] +See OpenXM/Copyright. +*/ -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) -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 +***** TO COMPILE FROM A SOURCE ***** + +*/ +/*&jp + + +★ OpenXM パッケージの Make 法 + FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます. + Linux glib6 では, いまのところ, /usr/include/features.h + で #define __FAVOR_BSD 1 してコンパイルする必要があります. + (setjmp と sigsetjmp の問題, dirty trick) + + OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です. + cvs コミッタの場合次のようにしてソースをとりよせます. +*/ +/*&eg +* How to make OpenXM package? + We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux. + On Linux glib6, you need to define + #define __FAVOR_BSD 1 + in /usr/include/features.h + (setjmp vs sigsetjmp) + + Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? + If you are a CVS committer, then you can get all sources as follows: +*/ +//&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2 +//&C +//&jp これらがそろっていたらあとは次のように入力するだけです. +//&eg Check that you have these directories, then just type in the following commands +/*&C + + cd OpenXM/src + make configure + make + make install + +*/ +/*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が, +OpenXM/src/OpenMath のコンパイルおよび利用には +には, jdk (java 環境) が必要です. + +Documents を生成するには, tex, ptex (ascii 日本語 tex), dvips, texinfo, +texi2html, nkf, +が必要です. 詳しくは Makefiles を見て下さい. +Document は, binary distribution の OpenXM/doc, OpenXM/lib +より得るのが簡単です. +*/ +/*&eg In order to use and compile OpenXM/src/ox_math, you need Mathematica. +In order to use and compile OpenXM/src/OpenMath, +you need jdk (java environment). + +In order to generate the full documentation including Japanese documents, +you need tex, ptex (ASCII Inc. Japanese tex), dvips, texinfo, texi2html, +nkf. See each Makefile. +The generated documents are in OpenXM/doc and OpenXM/lib +in the binary distribution. +*/ +/*&C + +*/ +/*&jp + + OpenXM_contrib2/asir2000 の配布を受けてない場合 (ソースライセンスを + 富士通より受ける必要があります), + OpenXM/src/Makefile の各モジュール名 たとえば + make all-kan96xx + などと各モジュール名を指定してコンパイルして下さい. + +*/ +/*&eg + + If you cannot get a source liscence of OpenXM_contrib2/asir2000 + from Fujitsu labs, + compile each modules independently, e.g., + make all-kan96xx + +*/ + +/*&jp + +[OpenXM 下のファイルの構成メモ] +lib/asir には, asir のライブラリ, ox_asir 本体 + +cd OpenXM/src/kxx ; make install-for-debug した場合, +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/gnuplot4ox, 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 install-for-debug +OpenXM/src/kxx で make install-for-debug +を実行すると, +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. */ +/*&C +*/ +/*&jp +★ Solaris に関する注意. +Solaris ではまだ問題が山積してます. +Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt +を見てください. +Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって +おきます. + +*/ +/*&eg +***** COMPILE ON SOLARIS + There are a lot of troubles on Solaris for now. + At least, + /usr/ccs/bin must be at the top of the command search path to compile + on Solaris. +*/ + + +/*&C + +*/