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

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

version 1.3, 2000/01/07 22:23:04

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

★ 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

Line 24 OpenXM/doc/install.oxweave

make

/*&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 が, OpenXM/src/OpenMath

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

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

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

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

Line 34 In order to use OpenXM/src/OpenMath, you need jdk (jav

/*&jp

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

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

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

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

/*&eg

* How to use the OpenXM package?

Line 49 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.

FreeBSD 3.3 などには, /usr/local/bin/javac がついています.

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

この 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

などとして, 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.

---------------- Asir クライアントの使いかた.

---------------- $BNc(B : asir $B$K(B kan/sm1 $B$rAH$_9~$`(B.

---------------- 例 : 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.

このソフトウエアは動作およびその結果につき, 一切の保証をしません.

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

ライセンス形態については現在検討中であります. 法務committer を

$BJg=8Cf(B.

募集中.

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

ライセンス形態 GPL??

asir : $B:n<T(B url

asir : 作者 url

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

ライセンス形態 ??

gnuplot : $B:n<T(B url

gnuplot : 作者 url

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

ライセンス形態 GPL?

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

phc : 作者 Jan Verschelde, url

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

ライセンス形態 ??

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

tigers : 作者 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.)

gnuplot_forox を実行します.)

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