| version 1.1, 1999/12/15 03:30:13 |
version 1.31, 2000/04/03 05:59:01 |
|
|
| %% $OpenXM$ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.30 2000/03/17 03:22:01 takayama Exp $ |
| OpenXM/doc/install.oxweave |
OpenXM/doc/install.oxweave |
| |
|
| |
/*&C |
| |
OpenXM URL : http://www.math.kobe-u.ac.jp/OpenXM |
| |
Consult firstly the ERRATA section for your release on this web cite |
| |
for troubles. |
| |
|
| |
OpenXM package : Getting started. |
| |
|
| |
*/ |
| /*&jp |
/*&jp |
| $B!z(B OpenXM $B%Q%C%1!<%8$N(B Make $BK!(B |
★ OpenXM GENERIC パッケージの利用方法 |
| (FreeBSD 2.2.8, FreeBSD 3.3, Linux $B$GF0:n$9$k$b$N$H4|BT$7$F$^$9(B.) |
この節では, OpenXM package binary distribution のインストール法を説明します. |
| OpenXM, OpenXM_contrib, OpenXM_contrib2 $B$,I,MW$G$9(B. |
インストールに必要なシステムの仕様については, 動作環境を御覧ください. |
| cvs $B%3%_%C%?$N>l9g<!$N$h$&$K$7$F%=!<%9$r$H$j$h$;$^$9(B. |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| How to make OpenXM package? |
***** HOW TO INSTALL OpenXM GENERIC PACKAGE? |
| (We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux.) |
In this section, we will explain how to install OpenXM package binary |
| Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? |
distribution. |
| If you are a CVS committer, then you can get all sources as follows: |
As to the required environment, see the section "System Requirement" |
| */ |
*/ |
| //&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2 |
/*&jp |
| //&jp $B$3$l$i$,$=$m$C$F$$$?$i$"$H$O<!$N$h$&$KF~NO$9$k$@$1$G$9(B. |
|
| //&eg Check that you have these directories, then just type in the following commands |
(1) Tar ボールより次のようにしてディレクトリ OpenXM を取り出します. |
| |
OpenXM はどこにおいてもかまいません. ルートになってインストール |
| |
する必要もありません. |
| |
できれば, /usr/local/OpenXM においてほしいと思います. |
| |
|
| |
*/ |
| |
/*&eg |
| |
|
| |
(1) Extract the directory OpenXM from the tar ball. |
| |
You can put the directory OpenXM at any place in the file system. |
| |
You do not need to be a root to install it. |
| |
We are happy if you put OpenXM at /usr/local/OpenXM |
| |
|
| |
*/ |
| /*&C |
/*&C |
| |
|
| cd OpenXM/src |
tar xzvf OpenXM-shared.tgz |
| make configure |
tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz |
| make |
|
| */ |
*/ |
| |
/*&jp |
| |
以下 (1) で生成されたディレクトリ OpenXM の絶対パスを /xxx/yyy/OpenXM |
| |
と書きます. |
| |
|
| |
*/ |
| |
/*&eg |
| |
In the sequel, we will denote the absolute path of the directory OpenXM |
| |
by /xxx/yyy/OpenXM. |
| |
|
| |
*/ |
| |
/*&jp |
| |
(2) OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc, |
| |
OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, 等の |
| |
ファイルを自動生成します. |
| |
openxm, asir, oxmath などは OpenXM クライアントを起動するための |
| |
シエルスクリプトです. これらを /usr/local/bin にインストールするには |
| |
次のように入力します. |
| |
|
| |
*/ |
| |
/*&eg |
| |
(2) Generate OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and |
| |
OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, ... |
| |
The files openxm, asir, oxmath are shell scripts to invoke OpenXM clients. |
| |
If you want to install these shell scripts to /usr/local/bin, |
| |
type in as follows. |
| |
|
| |
*/ |
| /*&C |
/*&C |
| |
|
| |
cd /xxx/yyy/OpenXM/rc |
| |
make install |
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| $B!z(B OpenXM $B%Q%C%1!<%8$NMxMQJ}K!(B |
|
| OpenXM $B$r%[!<%`$ND>2<$KE83+$7$?>l9g(B, $B<!$N$h$&$K$7$^$9(B. |
/usr/local/bin でなく, home directory の bin にインストールしたい |
| |
ときは, 次のように入力してください. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| How to use the OpenXM package? |
|
| If you have OpenXM under your home directory, do as follows. |
If you want to install them under the bin of your home directory, |
| |
type in as follows. |
| |
|
| */ |
*/ |
| /*&C |
/*&C |
| cp OpenXM/rc/asirrc ~/.asirrc |
|
| source OpenXM/rc/bashrc (in case of bash) |
cd /xxx/yyy/OpenXM/rc |
| source OpenXM/rc/cshrc (in case of csh) |
make install PREFIX=$HOME/bin |
| |
|
| */ |
*/ |
| |
/*&C |
| |
|
| |
[Note] If you are Solaris user, you might have to type in like |
| |
/usr/ccs/bin/make install PREFIX=$HOME/bin |
| |
|
| |
*/ |
| /*&jp |
/*&jp |
| OpenXM $B$r%[!<%`$ND>2<$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/bin の下のファイルを直接実行したい場合は, 以下の設定が必要です. |
| |
OpenXM clients を実行するだけの場合は, (3), (3') は skip してください. |
| |
|
| |
(3) csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| If you have OpenXM in a different place, edit OpenXM/rc/bashrc or |
|
| OpenXM/rc/cshrc properly. |
If you want to execute binaries under OpenXM/bin, you need to perform |
| |
(3) and (3'). |
| |
If you use only OpenXM clients, skip (3) and (3'). |
| |
|
| |
(3) Append the following line to the end of ~/.cshrc when you are |
| |
using csh as your shell. |
| |
|
| */ |
*/ |
| |
/*&C |
| |
|
| |
source /xxx/yyy/OpenXM/rc/dot.cshrc |
| |
|
| |
*/ |
| /*&jp |
/*&jp |
| $BCm0U(B 1. |
(3') bash を利用してる場合, 次の行を ~/.bashrc の最後に加えます. |
| asir $B$GF|K\8l$N%X%k%W$rMxMQ$9$k$K$O(B, |
|
| PAGER=jless |
*/ |
| export PAGER |
/*&eg |
| $B$J$I$G(B, $BF|K\8l$r07$($k(B PAGER $B$r;XDj$9$kI,MW$,$"$k$+$b$7$l$^$;$s(B. |
(3') Append the following line to the end of ~/.bashrc when you are |
| $BCm0U(B 2. |
using bash as your shell. |
| 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. |
*/ |
| |
/*&C |
| |
|
| |
source /xxx/yyy/OpenXM/rc/dot.bashrc |
| |
|
| |
*/ |
| |
|
| |
/*&jp |
| |
|
| |
(3) または (3') を終了したら, いったん logout して login しなおすか |
| |
または, source コマンドで, dot.bashrc または dot.csh を読み込んで下さい. |
| |
|
| |
*/ |
| |
/*&eg |
| |
|
| |
After finishing the step (3) or (3'), logout and login again, |
| |
or read dot.bashrc or dot.cshrc file by the source command. |
| |
|
| |
*/ |
| |
|
| |
|
| |
//&C |
| |
//&jp (4) asir の利用には key が必要です. |
| |
//&eg (4) You need a key to use asir. |
| |
//&C |
| |
/*&jp |
| |
asir の起動時のメッセージまたは OpenXM/lib/asir/asir_key を |
| |
参照して, key を取得して下さい (数秒しかかかりません). |
| |
|
| |
Mail の利用ができて, /var/mail の下にメールを着信できれば, |
| |
/xxx/yyy/OpenXM/rc/fetch_asir_key |
| |
を実行することにより asir_key を自動で設定できます. |
| |
|
| |
FreeBSD の package, Redhat Package manager を利用している |
| |
場合は, /usr/local/OpenXM/lib/asir/asir_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). |
| |
|
| |
If you can get your mails under /var/mail, you can automatically set |
| |
your key by executing |
| |
/xxx/yyy/OpenXM/rc/fetch_asir_key |
| |
|
| |
If you install the OpenXM package by the pkg_add of FreeBSD or |
| |
the redhat package manager, the old key file |
| |
/usr/local/OpenXM/lib/asir/asir_key, if exists, is saved. |
| |
|
| |
*/ |
| |
/*&jp |
| |
|
| |
★ OpenXM FreeBSD binary パッケージのインストール方法 |
| |
openxm-version.tgz |
| |
を ftp サイトより copy して, |
| |
root になって, |
| |
pkg_add openxm-version.tgz |
| |
OpenXM は /usr/local/OpenXM にインストールされます. |
| |
あとは, 上の (4) へ. |
| |
ここで version は OpenXM の version 番号で, たとえば, |
| |
2000, 3/20(Mon) 版は 1.1.2 |
| |
|
| |
java および linux emulation が実行に必要です. |
| |
java が, サーチパスのなかにある必要がありますので, |
| |
たとえば, |
| |
set path=(/usr/local/jdk1.1.8 $path) |
| |
rehash |
| |
してから, pkg_add して下さい. |
| |
インストール終了後のメッセージにしたがい, 必要な設定を |
| |
おこなって下さい. |
| |
|
| |
/usr/local にインストールしなかった場合は, |
| |
(2) を実行して下さい. |
| |
|
| |
*/ |
| |
/*&eg |
| |
|
| |
***** HOW TO INSTALL OpenXM FreeBSD binary package |
| |
Copy |
| |
openxm-version.tgz |
| |
from our ftp cite. |
| |
Become the super user and type |
| |
pkg_add openxm-version.tgz |
| |
OpenXM will be installed to /usr/local/OpenXM |
| |
Go to (4) above. |
| |
Here, version is the version number of OpenXM. |
| |
For example, the version number of the OpenXM of May 20 (Mon), 2000 |
| |
is 1.1.2 |
| |
|
| |
java and linux emulation are required to run OpenXM packages. |
| |
Java needs to be in the search path. So, for example, execute pkg_add |
| |
after |
| |
set path=(/usr/local/jdk1.1.8 $path) |
| |
rehash |
| |
Following the message of pkg_add after the installation, |
| |
set asir_key and path. |
| |
If you do not install under /usr/local, |
| |
goto (2). |
| |
|
| |
*/ |
| |
/*&jp |
| |
|
| |
★ OpenXM Redhat Package manager (Linux) |
| |
binary パッケージのインストール方法 |
| |
openxm-shared-version-suffix.noarch.rpm |
| |
openxm-binary-version-suffix.i386.rpm |
| |
を ftp サイトより copy して, |
| |
root になって, |
| |
rpm -i openxm-shared-version-suffix.noarch.rpm |
| |
rpm -i openxm-binary-version-suffix.i386.rpm |
| |
OpenXM は /usr/local/OpenXM にインストールされます. |
| |
あとは, 上の (4) へ. |
| |
ここで version は OpenXM の version 番号で, たとえば, |
| |
2000, 3/20(Mon) 版は 1.1.2 |
| |
suffix は, RPM 版の minor version number. |
| |
|
| |
Debian を利用している場合, コマンド alien で, rpm 形式を deb 形式に |
| |
変換できます. |
| |
|
| |
/usr/local の下へインストールしなかった場合は, (2) を実行して下さい. |
| |
|
| |
*/ |
| |
/*&eg |
| |
|
| |
***** HOW TO INSTALL OpenXM by the redhat Package manager (Linux) |
| |
Copy |
| |
openxm-shared-version-suffix.noarch.rpm |
| |
openxm-binary-version-suffix.i386.rpm |
| |
from our ftp cite. |
| |
Become the super user and type |
| |
rpm -i openxm-shared-version-suffix.noarch.rpm |
| |
rpm -i openxm-binary-version-suffix.i386.rpm |
| |
OpenXM will be installed to /usr/local/OpenXM |
| |
Go to (4) above. |
| |
Here, version is the version number of OpenXM. |
| |
For example, the version number of the OpenXM of May 20 (Mon), 2000 |
| |
is 1.1.2 |
| |
suffix is the minor version number of the package. |
| |
|
| |
If you are using debian, please use the command alien to translate |
| |
rpm to deb. |
| |
|
| |
If you do not install under /usr/local, goto (2). |
| |
|
| |
|
| |
*/ |
| |
|
| |
/*&C |
| |
|
| |
***** OpenXM client programs under OpenXM/bin or /usr/local/bin: |
| |
asir |
| |
oxmath |
| |
openxm sm1 |
| |
|
| |
***** OpenXM server programs: |
| |
OpenXM/bin/ox_asir |
| |
OpenXM/bin/ox_sm1 |
| |
OpenXM/bin/ox_math |
| |
OpenXM/lib/sm1/bin/ox_sm1_gnuplot |
| |
OpenXM/lib/sm1/bin/ox_sm1_phc |
| |
OpenXM/lib/sm1/bin/ox_sm1_tigers |
| |
OpenXM/lib/java-support/OMproxy.class |
| |
|
| |
***** QUALITY: |
| |
Experimental: |
| |
OpenXM/bin/k0, OpenXM/bin/d0 |
| |
Asir client functions: m_* (Mathematica) , om_* (OpenMath) |
| |
OpenXM/lib/java-support/ * |
| |
70% |
| |
OpenXM/bin/ox_math, OpenXM/bin/math2ox |
| |
OpenXM/bin/sm1, ox_sm1 on Linux libc6. |
| |
*/ |
| |
/*&C |
| |
|
| |
|
| |
*/ |
| |
/*&jp |
| |
★ Java に関する注意: |
| |
注意 1. |
| |
OpenMath 用の OMproxy には現在のところ, jdk が必要です. |
| |
たとえば bash を利用している場合, .bashrc で |
| PATH=/usr/local/jdk1.1.8/bin:$PATH |
PATH=/usr/local/jdk1.1.8/bin:$PATH |
| export 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 |
などとして, jdk の java, javac をサーチパスの先のほうへもっていくようにして |
| $B$/$@$5$$(B. |
ください. |
| |
csh を利用している場合, .cshrc で |
| |
set path=(/usr/local/jdk1.1.8/bin $path) |
| |
として, jdk の java, javac をサーチパスにいれます. |
| |
|
| |
注意: |
| |
なお, Kaffe 1.0.b4 の java は, class BigInteger に method |
| |
toByteArray が含まれてないため, OpenMath モジュールでは使用できません. |
| */ |
*/ |
| |
/*&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 |
| |
|
| |
Remark: |
| |
The Java interpreter of Kaffe 1.0.b4 does not contain the method |
| |
toByteArray in the class BigInteger. |
| |
So, it cannot be used for the OpenMath module. |
| |
*/ |
| |
|
| |
/*&C |
| |
|
| |
|
| |
|
| |
|
| |
*/ |
| /*&jp |
/*&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. |
/*&C |
| (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. |
|
| |
|
| $BCm0U(B: |
OS: FreeBSD 3.3 (Intel CPU), |
| $OpenXM_HOME/bin $B$N2<$N(B, fep, phc $B$O(B, $B$$$^$N$H$3$m(B |
Linux systems (Intel CPU): |
| linux $BMQ$N%P%$%J%j$^$?$O%P%$%J%j$X$N%7%s%\%j%C%/%j%s%/$G$9(B. |
Most Linux with libc5 and with libc6 (glibc 2.x). |
| Linux $B0J30$N>l9g$O%P%$%J%j$rF~$l49$($kI,MW$,$"$j$^$9(B. |
|
| |
|
| Solaris $B$G$N(B make $B$NLdBjE@$K$D$$$F$O(B, OpenXM/doc/OpenXM-FAQ-jp.txt |
X window system is required. |
| $B$r8+$F$/$@$5$$(B. |
|
| |
|
| --------------- $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/oxmath : 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. |
| |
<note 1> |
| |
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. |
/*&jp |
| asir |
日本語版の注意. |
| load("xm"); |
注意 1. |
| P=gnuplot_start(); |
asir で日本語のヘルプを利用するには, |
| gnuplot(P,"plot tan(x); "); |
PAGER=jless |
| gnuplot(P,"splot sin(x)*cos(x); "); |
export PAGER |
| |
などで, 日本語を扱える PAGER を指定する必要があるかもしれません. |
| |
*/ |
| |
|
| --------------- $BNc(B : asir $B$h$j(B tigers $B$r8F$S=P$9(B. |
/*&eg |
| 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. |
|
| |
|
| ---------------------------------- |
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 で見ることができます. |
| |
|
| |
Mathematica client については, OpenXM/doc/ox_math を御覧ください. |
| |
sm1 client については, OpenXM/doc/kan96xx を御覧ください. |
| |
asir は, 多項式処理用のライブラリとしてリンクできます. |
| |
これについては, OpenXM/doc/oxlib を御覧ください. |
| |
|
| |
OpenXM 対応の, サーバ を作成するには, OpenXM/src/ox_toolkit |
| |
が参考になるかもしれません. Java のクラスについては |
| |
OpenXM/src/OpenMath が参考になるかもしれません. |
| |
|
| |
*/ |
| |
/*&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. |
| |
|
| |
As to Mathematica client, see OpenXM/doc/ox_math. |
| |
As to sm1 client, see OpenXM/doc/kan96xx. |
| |
The asir can be used as a C library for polynomial manupulation. |
| |
See OpenXM/doc/oxlib. |
| |
|
| |
If you are interested in writing a server for OpenXM, please refer to |
| |
OpenXM/src/ox_toolkit and OpenXM/src/OpenMath. |
| |
|
| |
*/ |
| |
|
| |
|
| |
/*&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 |
sm1 |
| (oxasir.sm1) run ; |
(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) |
/*&jp |
| $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 |
OpenXM/Copyright を御覧ください. |
| $BJg=8Cf(B. |
*/ |
| |
/*&eg |
| |
[COPYRIGHT] |
| |
See OpenXM/Copyright. |
| |
*/ |
| |
|
| OpenXM : url http://www.math.kobe-u.ac.jp/openXM |
/*&eg |
| cvs cite : kerberos.math.kobe-u.ac.jp |
|
| sm1 : $B:n<T(B Nobuki Takayama, url http://www.math.kobe-u.ac.jp/KAN, |
|
| $B%i%$%;%s%97ABV(B GPL?? |
|
| asir : $B:n<T(B url |
|
| $B%i%$%;%s%97ABV(B ?? |
|
| gnuplot : $B:n<T(B url |
|
| $B%i%$%;%s%97ABV(B GPL? |
|
| phc : $B:n<T(B Jan Verschelde, url |
|
| $B%i%$%;%s%97ABV(B ?? |
|
| tigers : $B:n<T(B Birk Hubert, url |
|
| $B%i%$%;%s%97ABV(B ?? |
|
| |
|
| [OpenXM $B$K$D$$$F$NO"Mm@h(B] |
|
| takayama@math.sci.kobe-u.ac.jp |
|
| |
|
| [OpenXM_HOME $B2<$N%U%!%$%k$N9=@.(B] |
|
| lib/asir $B$K$O(B, asir $B$N%i%$%V%i%j(B, ox_asir $BK\BN(B |
|
| (ox_asir.xxyyzz.os $B$J$kL>A0$G3JG<$5$l$F$$$^$9(B) |
|
| |
|
| lib/sm1 $B$O(B src/SSkan/Doc $B$X$N(B symbolic link |
***** TO COMPILE FROM A SOURCE ***** |
| $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 |
*/ |
| |
/*&jp |
| |
|
| |
|
| |
★ OpenXM パッケージの Make 法 |
| |
FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます. |
| |
Linux glib6 では, いまのところ, /usr/include/features.h |
| |
で #define __FAVOR_BSD 1 してコンパイルする必要がありしたが, |
| |
一部のソースを |
| |
-D_BSD_SOURCE option をつけて gcc でコンパイルするように変えてます |
| |
(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, we needed to define |
| |
#define __FAVOR_BSD 1 |
| |
in /usr/include/features.h, |
| |
but now we are compiling some sources with -D_BSD_SOURCE |
| |
(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. |
| |
If you do not like to install Japanese environment such as ptex, |
| |
type in R for the tex error prompt ? or |
| |
prepare empty shell scripts ptex and nkf. |
| |
*/ |
| |
/*&C |
| |
|
| |
*/ |
| |
/*&jp |
| |
|
| |
OpenXM_contrib2/asir2000 の配布を受けてない場合 (ソースライセンスを |
| |
富士通より受ける必要があります), |
| |
OpenXM/src/Makefile の各モジュール名 たとえば |
| |
make all-kan96xx |
| |
などと各モジュール名を指定してコンパイルして下さい. |
| |
|
| |
または |
| |
OpenXM/src/asir2000 の Makefile を Makefile.forSkip に置き換えて |
| |
下さい. |
| |
|
| |
*/ |
| |
/*&eg |
| |
|
| |
If you cannot get a source liscence of OpenXM_contrib2/asir2000 |
| |
from Fujitsu labs, |
| |
compile each modules independently, e.g., |
| |
make all-kan96xx |
| |
|
| |
Or, replace Makefile by Makefile.forSkip in OpenXM/src/asir2000. |
| |
|
| |
*/ |
| |
|
| |
/*&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_* |
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$r<B9T$9$k$3$H$K$h$j(B |
このシンボリックリンクは src/kxx で make install-for-debug を実行することにより |
| $B:n@.$5$l$^$9(B. |
作成されます. |
| |
|
| sm1 $B$,(B ox_asir $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B. |
sm1 が ox_asir を利用するのに必要なファイル. |
| lib/asir/ox_asir, |
lib/asir/ox_asir, |
| lib/sm1/bin/ox, lib/sm1/bin/ox_log (src/kxx/ox, src/kxx/ox_log) |
lib/sm1/bin/ox, lib/sm1/bin/ox_log (src/kxx/ox, src/kxx/ox_log) |
| lib/sm1/ox.sm1, lib/sm1/oxasir.sm1 |
lib/sm1/ox.sm1, lib/sm1/oxasir.sm1 |
| |
|
| asir $B$,(B ox_sm1_forAsir $B$rMxMQ$9$k$N$KI,MW$J%U%!%$%k(B: |
asir が ox_sm1_forAsir を利用するのに必要なファイル: |
| lib/asir/ox_launch |
lib/asir/ox_launch |
| lib/sm1/bin/ox_sm1_forAsir (ox_sm1 $B$X$N%j%s%/(B) |
lib/sm1/bin/ox_sm1_forAsir (ox_sm1 へのリンク) |
| lib/asir/xm |
lib/asir/xm |
| lib/sm1/ $B0J2<$N(B *.sm1 $B$J$k$9$Y$F$N(B $B%i%$%V%i%j%U%!%$%k(B. |
lib/sm1/ 以下の *.sm1 なるすべての ライブラリファイル. |
| callsm1.sm1 callsm1b.sm1 |
callsm1.sm1 callsm1b.sm1 |
| (ox_sm1_forAsir $B$NDj5A%U%!%$%k(B, src/kxx/oxserver00.c |
(ox_sm1_forAsir の定義ファイル, src/kxx/oxserver00.c |
| ox_sm1 $B$,(B ox_sm1_forAsir $B$H$$$&L>A0$G8F$P$l$k$H$3$l$i$N%U%!%$%k$r%m!<%I(B.) |
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/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 |
lib/sm1/bin/ox_sm1_gnuplot (ox_sm1 へのリンク, ox_sm1_gnuplot は fork して |
| gnuplot_forox $B$r<B9T$7$^$9(B.) |
gnuplot4ox を実行します.) |
| lib/asir/xm |
lib/asir/xm |
| lib/sm1/callsm1.sm1, lib/sm1/gnuplot.sm1 |
lib/sm1/callsm1.sm1, lib/sm1/gnuplot.sm1 |
| (ox_sm1_gnuplot $B$NDj5A%U%!%$%k(B, src/kxx/oxserver00.c |
(ox_sm1_gnuplot の定義ファイル, src/kxx/oxserver00.c |
| ox_sm1 $B$,(B ox_sm1_gnuplot $B$H$$$&L>A0$G8F$P$l$k$H$3$l$i$N%U%!%$%k$r%m!<%I(B.) |
ox_sm1 が ox_sm1_gnuplot という名前で呼ばれるとこれらのファイルをロード.) |
| bin/gnuplot_forox, bin/gnuplot_x11 (gnuplot $BK\BN(B, src/gnuplot*) |
bin/gnuplot4ox, bin/gnuplot_x11 (gnuplot 本体, src/gnuplot*) |
| |
|
| ---------------------------------------- |
---------------------------------------- |
| [$B3+H/<TMQ%a%b(B] |
[開発者用メモ] |
| |
|
| << sm1, ox_sm1, ox, oxlog $B$N(B debug >> |
<< sm1, ox_sm1, ox, oxlog の debug >> |
| binary file $B$O3F(B directory $B$N(B make install $B$K$h$j(B |
binary file は各 directory の make install により |
| OpenXM/bin $B$K%3%T!<$5$l$^$9$,(B, |
OpenXM/bin にコピーされますが, |
| debug $BMQ$K$$$A$$$A%3%T!<$9$k$N$OLLE]$J$N$G(B, |
debug 用にいちいちコピーするのは面倒なので, |
| OpenXM/src/kan96xx $B$G(B make install2 |
OpenXM/src/kan96xx で make install-for-debug |
| OpenXM/src/kxx $B$G(B make install2 |
OpenXM/src/kxx で make install-for-debug |
| $B$r<B9T$9$k$H(B, |
を実行すると, |
| OpenXM/bin/sm1, ox, ox_sm1, oxlog $B$h$j(B, |
OpenXM/bin/sm1, ox, ox_sm1, oxlog より, |
| OpenXM/src/kan96xx/Kan/sm1 |
OpenXM/src/kan96xx/Kan/sm1 |
| OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog |
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] |
[CVSコミッタ用メモ] |
| << OpenXM $B%G%#%l%/%H%jG[I[HG$N:n@.J}K!(B >> |
<< OpenXM ディレクトリ配布版の作成方法 >> |
| rcvs export -rHEAD OpenXM |
rcvs export -rHEAD OpenXM |
| rcvs export -rHEAD OpenXM_contrib |
rcvs export -rHEAD OpenXM_contrib |
| rcvs export -rHEAD OpenXM_contrib2 |
rcvs export -rHEAD OpenXM_contrib2 |
| $B$7$F(B, OpenXM, OpenXM_contrib, OpenXM_contrib2 $BA4BN$r(B tar+gzip. |
cd OpenXM/src ; make generate-source-distribution |
| |
して, 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. |
| |
*/ |
| |
/*&jp |
| |
|
| |
★ Redhat Linux 6.1 上でのコンパイル |
| |
m4-1.4 と autoconf-2.13 が必要. |
| |
(あらかじめはいっている, autoconf は 2.12 でありこれは |
| |
gnuplot の make で不具合を生じます.) |
| |
|
| |
*/ |
| |
/*&eg |
| |
***** COMPILE ON Redhat Linux 6.1 |
| |
m4-1.4 and autoconf-2.13 are required. |
| |
(Preinstalled autoconf is version 2.12. It causes a trouble when |
| |
you build gnuplot.) |
| |
*/ |
| |
|
| |
/*&C |
| |
|
| |
*/ |
![[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