| version 1.9, 2000/01/20 08:21:50 |
version 1.12, 2000/01/21 03:19:17 |
|
|
| %% $OpenXM: OpenXM/doc/install.oxweave,v 1.8 2000/01/20 07:25:25 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.11 2000/01/20 12:55:32 takayama Exp $ |
| OpenXM/doc/install.oxweave |
OpenXM/doc/install.oxweave |
| |
|
| /*&C |
/*&C |
| Line 95 by /xxx/yyy/OpenXM. |
|
| Line 95 by /xxx/yyy/OpenXM. |
|
| |
|
| //&C |
//&C |
| //&jp (4) asir の利用には key が必要です. 以下のファイルを御覧ください. |
//&jp (4) asir の利用には key が必要です. 以下のファイルを御覧ください. |
| //&eg (5) You need key to use asir. See the following file: |
//&eg (4) You need key to use asir. See the following file: |
| //&C OpenXM/lib/asir/asir_key |
//&C OpenXM/lib/asir/asir_key |
| //&C |
//&C |
| |
|
| Line 107 by /xxx/yyy/OpenXM. |
|
| Line 107 by /xxx/yyy/OpenXM. |
|
| OpenXM/bin/ox_math, OpenXM/bin/math2ox |
OpenXM/bin/ox_math, OpenXM/bin/math2ox |
| OpenXM/lib/java-support/ * |
OpenXM/lib/java-support/ * |
| Asir client functions: m_* (Mathematica) , om_* (OpenMath) |
Asir client functions: m_* (Mathematica) , om_* (OpenMath) |
| |
OpenXM/bin/sm1, ox_sm1 on Linux libc6. |
| */ |
*/ |
| /*&C |
/*&C |
| |
|
| Line 119 OpenMath 用の OMproxy には現在のところ, jdk が必要です |
|
| Line 120 OpenMath 用の OMproxy には現在のところ, jdk が必要です |
|
| たとえば bash を利用している場合, .bashrc で |
たとえば bash を利用している場合, .bashrc で |
| PATH=/usr/local/jdk1.1.8/bin:$PATH |
PATH=/usr/local/jdk1.1.8/bin:$PATH |
| export PATH |
export PATH |
| などとして, jdk の javac をサーチパスの先のほうへもっていくようにして |
などとして, jdk の java, javac をサーチパスの先のほうへもっていくようにして |
| ください. |
ください. |
| |
csh を利用している場合, .cshrc で |
| |
set path=(/usr/local/jdk1.1.8/bin $path) |
| |
として, jdk の java, javac をサーチパスにいれます. |
| */ |
*/ |
| /*&eg |
/*&eg |
| ***** JAVA |
***** JAVA |
| Line 128 In order to use OMproxy, asir client om_*, |
|
| Line 132 In order to use OMproxy, asir client om_*, |
|
| you need to install JDK. |
you need to install JDK. |
| The bin dir of the JDK must be in yur search path. |
The bin dir of the JDK must be in yur search path. |
| For example, you need to add the following line |
For example, you need to add the following line |
| to your .chsrc |
to your .chsrc when your shell is csh |
| set path=(/usr/local/jdk1.1.8/bin $path) |
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 |
/*&C |
| Line 148 set path=(/usr/local/jdk1.1.8/bin $path) |
|
| Line 155 set path=(/usr/local/jdk1.1.8/bin $path) |
|
| */ |
*/ |
| /*&C |
/*&C |
| |
|
| OS: FreeBSD 3.3, |
OS: FreeBSD 3.3 (Intel CPU), |
| Linux systems (Plamo Linux on Linux 2.0.33, glibc5, ) |
Linux systems (Intel CPU): |
| |
Plamo Linux on Linux 2.0.33, glibc5, |
| |
|
| X window system is required. |
X window system is required. |
| |
|
| Most part of the OpenXM package may work on other versions of |
Most part of the OpenXM package may work on other versions of |
| FreeBSD and Linux, but we have not yet tested. |
FreeBSD 3.x and Linux, but we have not yet tested. |
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| Line 288 xm Version 20000116. ox_help(0); ox_help("keyword"); f |
|
| Line 296 xm Version 20000116. ox_help(0); ox_help("keyword"); f |
|
| [270] |
[270] |
| |
|
| */ |
*/ |
| /*&jp |
|
| |
|
| --------------- 例 : asir より tigers を呼び出す. |
|
| asir |
|
| load("xm"); |
|
| 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 |
|
| で生成されています. |
|
| */ |
|
| |
|
| /*&C |
/*&C |
| -------------------------------------- call ox_asir from sm1 |
-------------------------------------- call ox_asir from sm1 |
| sm1 |
sm1 |
| Line 373 See OpenXM/Copyright. |
|
| Line 360 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. |
| */ |
*/ |
| /*&C |
/*&C |
| |
|