| version 1.11, 2000/01/20 12:55:32 |
version 1.22, 2000/02/04 08:46:08 |
|
|
| %% $OpenXM: OpenXM/doc/install.oxweave,v 1.10 2000/01/20 09:06:08 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.21 2000/02/01 10:14:11 takayama Exp $ |
| OpenXM/doc/install.oxweave |
OpenXM/doc/install.oxweave |
| |
|
| /*&C |
/*&C |
| OpenXM URL : http://www.math.kobe-u.ac.jp/OpenXM |
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. |
OpenXM package : Getting started. |
| |
|
| Line 21 As to the required environment, see the section "Syste |
|
| Line 23 As to the required environment, see the section "Syste |
|
| /*&jp |
/*&jp |
| |
|
| (1) Tar ボールより次のようにしてディレクトリ OpenXM を取り出します. |
(1) Tar ボールより次のようにしてディレクトリ OpenXM を取り出します. |
| OpenXM はどこにおいてもかまいません. |
OpenXM はどこにおいてもかまいません. ルートになってインストール |
| |
する必要もありません. |
| |
できれば, /usr/local/OpenXM においてほしいと思います. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| |
|
| (1) Extract the directory OpenXM from the tar ball. |
(1) Extract the directory OpenXM from the tar ball. |
| You can put the directory OpenXM at any place in the file system. |
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 |
| Line 45 by /xxx/yyy/OpenXM. |
|
| Line 51 by /xxx/yyy/OpenXM. |
|
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| (2) 次のように入力して OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc |
(2) 次のように入力して OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc, |
| |
OpenXM/rc/openxm |
| ファイルを自動生成します. |
ファイルを自動生成します. |
| これらのファイルには, OpenXM/bin のファイルを実行するための |
これらのファイルには, OpenXM/bin のファイルを実行するための |
| 環境変数が定義されています. |
環境変数が定義されています. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| (2) Generate OpenXM/rc/dot.cshrc and OpenXM/rc/dot.bashrc |
(2) Generate OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and |
| |
OpenXM/rc/openxm |
| by the following command. |
by the following command. |
| Environmental variables to execute commands in OpenXM/bin |
Environmental variables to execute commands in OpenXM/bin |
| are defined in these files. |
are defined in these files. |
| Line 89 by /xxx/yyy/OpenXM. |
|
| Line 97 by /xxx/yyy/OpenXM. |
|
| */ |
*/ |
| /*&C |
/*&C |
| |
|
| source /xxx/yyy/OpenXM/rc/dot.bash |
source /xxx/yyy/OpenXM/rc/dot.bashrc |
| |
|
| */ |
*/ |
| |
|
| |
/*&jp |
| |
|
| |
(3) または (3') を終了したら, いったん logout して login しなおすか |
| |
または, source コマンドで, dot.bashrc または dot.csh を読み込んで下さい. |
| |
(3) または (3') をやらないという選択もあります. |
| |
この場合, シェルスクリプト |
| |
OpenXM/rc/openxm を コマンドサーチパスに移し, |
| |
OpenXM/bin 以下の全てのコマンドの実行は, |
| |
openxm コマンド名 |
| |
という形で呼び出します. |
| |
たとえば, openxm asir とか openxm sm1 という形でよびだします. |
| |
|
| |
*/ |
| |
/*&eg |
| |
|
| |
After finishing the step (3) or (3'), logout and login again, |
| |
or read dot.bashrc or dot.cshrc file by the source command. |
| |
You may skip the step (3) or (3'). |
| |
In this case, move the shell script OpenXM/rc/openxm to your |
| |
command search path. To execute commands in OpenXM/bin, type in |
| |
openxm command-name |
| |
For example, "openxm asir" starts asir and "openx sm1" starts sm1 |
| |
with a proper setting of environmental variables. |
| |
|
| |
*/ |
| |
|
| |
|
| //&C |
//&C |
| //&jp (4) asir の利用には key が必要です. 以下のファイルを御覧ください. |
//&jp (4) asir の利用には key が必要です. |
| //&eg (4) You need key to use asir. See the following file: |
//&eg (4) You need a key to use asir. |
| //&C OpenXM/lib/asir/asir_key |
|
| //&C |
//&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 |
/*&C |
| |
|
| ***** QUALITY: |
***** QUALITY: |
|
|
| csh を利用している場合, .cshrc で |
csh を利用している場合, .cshrc で |
| set path=(/usr/local/jdk1.1.8/bin $path) |
set path=(/usr/local/jdk1.1.8/bin $path) |
| として, jdk の java, javac をサーチパスにいれます. |
として, jdk の java, javac をサーチパスにいれます. |
| |
|
| |
注意: |
| |
なお, Kaffe 1.0.b4 の java は, class BigInteger に method |
| |
toByteArray が含まれてないため, OpenMath モジュールでは使用できません. |
| */ |
*/ |
| /*&eg |
/*&eg |
| ***** JAVA |
***** JAVA |
| Line 137 set path=(/usr/local/jdk1.1.8/bin $path) |
|
| Line 186 set path=(/usr/local/jdk1.1.8/bin $path) |
|
| Bash users put the following line to .bashrc |
Bash users put the following line to .bashrc |
| PATH=/usr/local/jdk1.1.8/bin:$PATH |
PATH=/usr/local/jdk1.1.8/bin:$PATH |
| export 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 |
/*&C |
|
|
| |
|
| OS: FreeBSD 3.3 (Intel CPU), |
OS: FreeBSD 3.3 (Intel CPU), |
| Linux systems (Intel CPU): |
Linux systems (Intel CPU): |
| Plamo Linux on Linux 2.0.33, glibc5, |
Most Linux with libc5 and with libc6 (glibc 2.x). |
| |
|
| X window system is required. |
X window system is required. |
| |
|
| Line 296 xm Version 20000116. ox_help(0); ox_help("keyword"); f |
|
| Line 350 xm Version 20000116. ox_help(0); ox_help("keyword"); f |
|
| [270] |
[270] |
| |
|
| */ |
*/ |
| /*&jp |
|
| |
|
| --------------- 例 : asir より tigers を呼び出す. |
/*&jp |
| asir |
|
| load("xm"); |
★ sm1 クライアントの利用例 |
| tigers_start(); |
|
| B = tigers(0,[[1,1,1,1],[0,1,2,3]]); |
|
| 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]]] |
|
| ですから, |
|
| x1 x3 - x2^2, x1 x4 - x2 x3, x2 x4 - x3^2 |
|
| が GB であり, initial ideal は |
|
| x1 x3 , x1 x4 , x2 x4 |
|
| で生成されています. |
|
| */ |
*/ |
| |
/*&eg |
| |
|
| |
****** Example of the use of sm1 client |
| |
|
| |
*/ |
| |
|
| /*&C |
/*&C |
| -------------------------------------- call ox_asir from sm1 |
-------------------------------------- call ox_asir from sm1 |
| sm1 |
sm1 |
| Line 349 See OpenXM/Copyright. |
|
| Line 393 See OpenXM/Copyright. |
|
| ★ OpenXM パッケージの Make 法 |
★ OpenXM パッケージの Make 法 |
| FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます. |
FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます. |
| Linux glib6 では, いまのところ, /usr/include/features.h |
Linux glib6 では, いまのところ, /usr/include/features.h |
| で #define __FAVOR_BSD 1 してコンパイルする必要があります. |
で #define __FAVOR_BSD 1 してコンパイルする必要がありしたが, |
| (setjmp と sigsetjmp の問題, dirty trick) |
一部のソースを |
| |
-D_BSD_SOURCE option をつけて gcc でコンパイルするように変えてます |
| |
(setjmp と sigsetjmp の問題, dirty trick). |
| |
|
| OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です. |
OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です. |
| cvs コミッタの場合次のようにしてソースをとりよせます. |
cvs コミッタの場合次のようにしてソースをとりよせます. |
| Line 358 See OpenXM/Copyright. |
|
| Line 404 See OpenXM/Copyright. |
|
| /*&eg |
/*&eg |
| * How to make OpenXM package? |
* How to make OpenXM package? |
| We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux. |
We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux. |
| On Linux glib6, you need to define |
On Linux glib6, we needed to define |
| #define __FAVOR_BSD 1 |
#define __FAVOR_BSD 1 |
| in /usr/include/features.h |
in /usr/include/features.h, |
| (setjmp vs sigsetjmp) |
but now we are compiling some sources with -D_BSD_SOURCE |
| |
(setjmp vs sigsetjmp). |
| |
|
| Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? |
Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? |
| If you are a CVS committer, then you can get all sources as follows: |
If you are a CVS committer, then you can get all sources as follows: |
| Line 381 See OpenXM/Copyright. |
|
| Line 428 See OpenXM/Copyright. |
|
| /*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が, |
/*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が, |
| OpenXM/src/OpenMath のコンパイルおよび利用には |
OpenXM/src/OpenMath のコンパイルおよび利用には |
| には, jdk (java 環境) が必要です. |
には, 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. |
/*&eg In order to use and compile OpenXM/src/ox_math, you need Mathematica. |
| In order to use and compile OpenXM/src/OpenMath, |
In order to use and compile OpenXM/src/OpenMath, |
| you need jdk (java environment). |
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 |
/*&C |
| |
|
| Line 397 you need jdk (java environment). |
|
| Line 459 you need jdk (java environment). |
|
| make all-kan96xx |
make all-kan96xx |
| などと各モジュール名を指定してコンパイルして下さい. |
などと各モジュール名を指定してコンパイルして下さい. |
| |
|
| |
または |
| |
OpenXM/src/asir2000 の Makefile を Makefile.forSkip に置き換えて |
| |
下さい. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| |
|
| Line 405 you need jdk (java environment). |
|
| Line 471 you need jdk (java environment). |
|
| compile each modules independently, e.g., |
compile each modules independently, e.g., |
| make all-kan96xx |
make all-kan96xx |
| |
|
| |
Or, replace Makefile by Makefile.forSkip in OpenXM/src/asir2000. |
| |
|
| */ |
*/ |
| |
|
| /*&jp |
/*&jp |
| Line 465 OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/k |
|
| Line 533 OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/k |
|
| 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 |
| |
cd OpenXM/src ; make generate-source-distribution |
| して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip. |
して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip. |
| */ |
*/ |
| |
|
![[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