OpenXM/doc/install.oxweave - diff

Return to install.oxweave CVS log

Up to [local] / OpenXM / doc

Diff for /OpenXM/doc/install.oxweave between version 1.2 and 1.5

version 1.2, 1999/12/15 05:53:04

version 1.5, 2000/01/18 12:41:13

Line 1

%% $OpenXM: OpenXM/doc/install.oxweave,v 1.1 1999/12/15 03:30:13 takayama Exp $

%% $OpenXM: OpenXM/doc/install.oxweave,v 1.4 2000/01/07 22:24:17 maekawa Exp $

OpenXM/doc/install.oxweave

/*&jp

$B!z(B OpenXM $B%Q%C%1!<%8$N(B Make $BK!(B

★ OpenXM パッケージの Make 法

FreeBSD 2.2.8, FreeBSD 3.3, Linux $B$GF0:n$9$k$b$N$H4|BT$7$F$^$9(B.

FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます.

OpenXM, OpenXM_contrib, OpenXM_contrib2 $B$,I,MW$G$9(B.

OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です.

cvs $B%3%_%C%?$N>l9g<!$N$h$&$K$7$F%=!<%9$r$H$j$h$;$^$9(B.

cvs コミッタの場合次のようにしてソースをとりよせます.

/*&eg

* How to make OpenXM package?

Line 15 OpenXM/doc/install.oxweave

//&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2

//&C

//&jp $B$3$l$i$,$=$m$C$F$$$?$i$"$H$O<!$N$h$&$KF~NO$9$k$@$1$G$9(B.

//&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 $B$J$*(B, OpenXM/src/ox_math $B$NMxMQ$K$O(B Mathematica $B$,(B, OpenXM/src/OpenMath

/*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が,

$B$K$O(B, jdk (java $B4D6-(B) $B$,I,MW$G$9(B.

OpenXM/src/OpenMath のコンパイルおよび利用には

には, jdk (java 環境) が必要です.

/*&eg In order to use OpenXM/src/ox_math, you need Mathematica.

/*&eg In order to use and compile OpenXM/src/ox_math, you need Mathematica.

In order to use OpenXM/src/OpenMath, you need jdk (java environment).

In order to use and compile OpenXM/src/OpenMath,

you need jdk (java environment).

/*&C

/*&jp

$B!z(B OpenXM $B%Q%C%1!<%8$NMxMQJ}K!(B

Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって

OpenXM $B$r%[!<%`$ND>2<$KE83+$7$?>l9g(B, $B<!$N$h$&$K$7$^$9(B.

おきます.

/*&eg

/usr/ccs/bin must be at the top of the command search path to compile

on Solaris.

/*&

/*&jp

★ OpenXM パッケージの利用方法

OpenXM をホームの直下に展開した場合, 次のようにします.

/*&eg

* How to use the OpenXM package?

If you have OpenXM under your home directory, do as follows.

Line 49 If you have OpenXM under your home directory, do as fo

Line 63 If you have OpenXM under your home directory, do as fo

/*&jp

OpenXM $B$r%[!<%`$ND>2<$KE83+$7$F$J$$>l9g$O(B OpenXM/rc/bashrc, OpenXM/rc/cshrc $B$r(B

OpenXM をホームの直下に展開してない場合は OpenXM/rc/bashrc, OpenXM/rc/cshrc を

$BE,Ev$KJQ99$7$F;HMQ$7$F$/$@$5$$(B.

適当に変更して使用してください.

/*&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.

注意 1.

asir $B$GF|K\8l$N%X%k%W$rMxMQ$9$k$K$O(B,

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.

などで, 日本語を扱える PAGER を指定する必要があるかもしれません.

$BCm0U(B 2.

注意 2.

FreeBSD 3.3 $B$J$I$K$O(B, /usr/local/bin/javac $B$,$D$$$F$$$^$9(B.

OpenMath 用の OMproxy には現在のところ, jdk が必要です.

$B$3$N(B javac $B$G$O(B, OpenXM/src/OpenMath $B0J2<$N%U%!%$%k$,%3%s%Q%$%k$G$-$^$;$s(B.

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

などとして, jdk の javac をサーチパスの先のほうへもっていくようにして

$B$/$@$5$$(B.

ください.

/*&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,

★(1) asir のマニュアルは,

OpenXM_contrib2/asir2000/doc $B$N(B README $B$r8+$F$M(B.

OpenXM_contrib2/asir2000/doc の README を見てね.

(2) asir-contrib $B$N%^%K%e%"%k$O(B,

(2) asir-contrib のマニュアルは,

OpenXM/src/asir-contrib/packages/doc $B$G(B make $B$7$?$"$H(B,

OpenXM/src/asir-contrib/packages/doc で make したあと,

ptex cman.texi ($BF|K\8l(B)

ptex cman.texi (日本語)

tex cman-eg.texi ($B1Q8l(B)

tex cman-eg.texi (英語)

$B$9$l$P$h$m$7$$(B.

すればよろしい.

Online manual : ox_help(xxx) $B$rMxMQ$9$k$K$O(B,

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

$OpenXM_HOME/bin の下の, fep, phc は, いまのところ

linux $BMQ$N%P%$%J%j$^$?$O%P%$%J%j$X$N%7%s%\%j%C%/%j%s%/$G$9(B.

linux 用のバイナリまたはバイナリへのシンボリックリンクです.

Linux $B0J30$N>l9g$O%P%$%J%j$rF~$l49$($kI,MW$,$"$j$^$9(B.

Linux 以外の場合はバイナリを入れ換える必要があります.

Solaris $B$G$N(B make $B$NLdBjE@$K$D$$$F$O(B, OpenXM/doc/OpenXM-FAQ-jp.txt

Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt

$B$r8+$F$/$@$5$$(B.

を見てください.

--------------- $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.

asir を動作させるには, key が必要です.

OpenXM/lib/asir/asir_key $B$N%3%a%s%H$r$_$F(B, key $B$r(B E-mail $B$G(B

OpenXM/lib/asir/asir_key のコメントをみて, key を E-mail で

$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.

OpenXM クライアント : 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]]

length(B) は 8 です. これは, 行列 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

に付随した, toric ideal I_A の Grobner fan が 8 つの maximal

dimensional fan $B$r;}$D$3$H$r0UL#$7$^$9(B.

dimensional fan を持つことを意味します.

A[i] $B$O(B i $BHVL\$N(B GB ($B%0%l%V%J4pDl(B)$B$G$9(B.

A[i] は i 番目の GB (グレブナ基底)です.

Binomial polynomial x^a-x^b $B$r(B [[a_1, ..., a_n],[b_1, ..., b_n]] $B$J$k7A<0$G(B

Binomial polynomial x^a-x^b を [[a_1, ..., a_n],[b_1, ..., b_n]] なる形式で

$BI=<($7$^$9(B.

表示します.

$B$?$H$($P(B A[0];

たとえば 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.

OpenXM/Copyright を御覧ください.

$B%i%$%;%s%97ABV$K$D$$$F$O8=:_8!F$Cf$G$"$j$^$9(B. $BK!L3(Bcommitter $B$r(B

$BJg=8Cf(B.

OpenXM : url http://www.math.kobe-u.ac.jp/openXM

OpenXM : url http://www.math.kobe-u.ac.jp/OpenXM

cvs cite : kerberos.math.kobe-u.ac.jp

sm1 : $B:n<T(B Nobuki Takayama, url http://www.math.kobe-u.ac.jp/KAN,

sm1 : 作者 Nobuki Takayama, url http://www.math.kobe-u.ac.jp/KAN,

$B%i%$%;%s%97ABV(B GPL??

asir : 作者 url

asir : $B:n<T(B url

ライセンス形態 ??

$B%i%$%;%s%97ABV(B ??

gnuplot : 作者 url

gnuplot : $B:n<T(B url

ライセンス形態 GPL?

$B%i%$%;%s%97ABV(B GPL?

phc : 作者 Jan Verschelde, url

phc : $B:n<T(B Jan Verschelde, url

ライセンス形態 ??

$B%i%$%;%s%97ABV(B ??

tigers : 作者 Birk Hubert, url

tigers : $B:n<T(B Birk Hubert, url

ライセンス形態 ??

$B%i%$%;%s%97ABV(B ??

[OpenXM $B$K$D$$$F$NO"Mm@h(B]

[OpenXM についての連絡先]

takayama@math.sci.kobe-u.ac.jp

[OpenXM_HOME $B2<$N%U%!%$%k$N9=@.(B]

[OpenXM_HOME 下のファイルの構成]

lib/asir $B$K$O(B, asir $B$N%i%$%V%i%j(B, ox_asir $BK\BN(B

lib/asir には, asir のライブラリ, ox_asir 本体

(ox_asir.xxyyzz.os $B$J$kL>A0$G3JG<$5$l$F$$$^$9(B)

(ox_asir.xxyyzz.os なる名前で格納されています)

lib/sm1 $B$O(B src/SSkan/Doc $B$X$N(B symbolic link

lib/sm1 は src/SSkan/Doc への symbolic link

$B$G$"$j(B, sm1 $B$N%i%$%V%i%j%U%!%$%k$,3JG<$5$l$F$$$^$9(B.

であり, sm1 のライブラリファイルが格納されています.

lib/sm1/bin $B$K$O(B, binaryfiles

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$r<B9T$9$k$3$H$K$h$j(B

このシンボリックリンクは src/kxx で make install を実行することにより

$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/sm1/bin/ox, lib/sm1/bin/ox_log (src/kxx/ox, src/kxx/ox_log)

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/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/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

(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/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/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 install2

OpenXM/src/kxx $B$G(B make install2

OpenXM/src/kxx で make install2

$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/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_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.

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>