version 1.10, 2000/01/20 09:06:08 |
version 1.12, 2000/01/21 03:19:17 |
|
|
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.9 2000/01/20 08:21:50 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 |
|
|
|
|
*/ |
*/ |
/*&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 294 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 379 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 |
|
|