version 1.11, 2000/01/20 12:55:32 |
version 1.38, 2000/09/25 07:12:41 |
|
|
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.10 2000/01/20 09:06:08 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.37 2000/09/23 07:28: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 |
|
http://www.openxm.org |
|
Consult firstly the ERRATA section for your release on this web cite |
|
for troubles. |
|
|
OpenXM package : Getting started. |
OpenXM package : Getting started. |
|
|
|
This document is for OpenXM version 1.1.3. (Draft) |
|
|
*/ |
*/ |
/*&jp |
/*&jp |
¡ú OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤ÎÍøÍÑÊýË¡ |
¡ú OpenXM GENERIC ¥Ñ¥Ã¥±¡¼¥¸¤ÎÍøÍÑÊýË¡ |
¤³¤ÎÀá¤Ç¤Ï, OpenXM package binary distribution ¤Î¥¤¥ó¥¹¥È¡¼¥ëË¡¤òÀâÌÀ¤·¤Þ¤¹. |
¤³¤ÎÀá¤Ç¤Ï, OpenXM package binary distribution ¤Î¥¤¥ó¥¹¥È¡¼¥ëË¡¤òÀâÌÀ¤·¤Þ¤¹. |
|
¥½¡¼¥¹¤«¤é¥¤¥ó¥¹¥È¡¼¥ë¤¹¤ë¾ì¹ç¤Ï |
|
¡ú OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤Î Make Ë¡ |
|
¤ò¸æÍ÷²¼¤µ¤¤. |
¥¤¥ó¥¹¥È¡¼¥ë¤ËɬÍפʥ·¥¹¥Æ¥à¤Î»ÅÍͤˤĤ¤¤Æ¤Ï, Æ°ºî´Ä¶¤ò¸æÍ÷¤¯¤À¤µ¤¤. |
¥¤¥ó¥¹¥È¡¼¥ë¤ËɬÍפʥ·¥¹¥Æ¥à¤Î»ÅÍͤˤĤ¤¤Æ¤Ï, Æ°ºî´Ä¶¤ò¸æÍ÷¤¯¤À¤µ¤¤. |
*/ |
*/ |
/*&eg |
/*&eg |
***** HOW TO USE OpenXM PACKAGE? |
***** HOW TO INSTALL OpenXM GENERIC PACKAGE? |
In this section, we will explain how to install OpenXM package binary |
In this section, we will explain how to install OpenXM package binary |
distribution. |
distribution. |
|
If you build from the source, see the section |
|
* How to make OpenXM package? |
As to the required environment, see the section "System Requirement" |
As to the required environment, see the section "System Requirement" |
*/ |
*/ |
/*&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 |
|
|
|
tar xzvf OpenXM-shared.tgz |
tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz |
tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz |
|
|
*/ |
*/ |
Line 45 by /xxx/yyy/OpenXM. |
|
Line 61 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/rc/asir, OpenXM/rc/oxmath, Åù¤Î |
¤³¤ì¤é¤Î¥Õ¥¡¥¤¥ë¤Ë¤Ï, OpenXM/bin ¤Î¥Õ¥¡¥¤¥ë¤ò¼Â¹Ô¤¹¤ë¤¿¤á¤Î |
¥Õ¥¡¥¤¥ë¤ò¼«Æ°À¸À®¤·¤Þ¤¹. |
´Ä¶ÊÑ¿ô¤¬ÄêµÁ¤µ¤ì¤Æ¤¤¤Þ¤¹. |
openxm, asir, oxmath ¤Ê¤É¤Ï OpenXM ¥¯¥é¥¤¥¢¥ó¥È¤òµ¯Æ°¤¹¤ë¤¿¤á¤Î |
|
¥·¥¨¥ë¥¹¥¯¥ê¥×¥È¤Ç¤¹. ¤³¤ì¤é¤ò /usr/local/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 |
by the following command. |
OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, ... |
Environmental variables to execute commands in OpenXM/bin |
The files openxm, asir, oxmath are shell scripts to invoke OpenXM clients. |
are defined in these files. |
If you want to install these shell scripts to /usr/local/bin, |
|
type in as follows. |
|
|
*/ |
*/ |
/*&C |
/*&C |
|
|
cd /xxx/yyy/OpenXM/rc |
cd /xxx/yyy/OpenXM/rc |
make |
make install |
|
|
*/ |
*/ |
/*&jp |
/*&jp |
|
|
|
/usr/local/bin ¤Ç¤Ê¤¯, home directory ¤Î bin ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤·¤¿¤¤ |
|
¤È¤¤Ï, ¼¡¤Î¤è¤¦¤ËÆþÎϤ·¤Æ¤¯¤À¤µ¤¤. |
|
|
|
*/ |
|
/*&eg |
|
|
|
If you want to install them under the bin of your home directory, |
|
type in as follows. |
|
|
|
*/ |
|
/*&C |
|
|
|
cd /xxx/yyy/OpenXM/rc |
|
make install PREFIX=$HOME/bin |
|
|
|
*/ |
|
/*&C |
|
|
|
[Note] If you are Solaris user, you might have to type in like |
|
/usr/ccs/bin/make install PREFIX=$HOME/bin |
|
|
|
*/ |
|
/*&jp |
|
|
|
OpenXM/bin ¤Î²¼¤Î¥Õ¥¡¥¤¥ë¤òľÀܼ¹Ԥ·¤¿¤¤¾ì¹ç¤Ï, °Ê²¼¤ÎÀßÄ꤬ɬÍפǤ¹. |
|
OpenXM clients ¤ò¼Â¹Ô¤¹¤ë¤À¤±¤Î¾ì¹ç¤Ï, (3), (3') ¤Ï skip ¤·¤Æ¤¯¤À¤µ¤¤. |
|
|
(3) csh ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤ò ~/.cshrc ¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. |
(3) csh ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤ò ~/.cshrc ¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. |
|
|
*/ |
*/ |
/*&eg |
/*&eg |
|
|
|
If you want to execute binaries under OpenXM/bin, you need to perform |
|
(3) and (3'). |
|
If you use only OpenXM clients, skip (3) and (3'). |
|
|
(3) Append the following line to the end of ~/.cshrc when you are |
(3) Append the following line to the end of ~/.cshrc when you are |
using csh as your shell. |
using csh as your shell. |
|
|
Line 79 by /xxx/yyy/OpenXM. |
|
Line 131 by /xxx/yyy/OpenXM. |
|
|
|
*/ |
*/ |
/*&jp |
/*&jp |
(3') bash ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤ò ~/.bashrc ¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. |
(3') bash ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤½¤ì¤¾¤ì¤ò ~/.bashrc ¤ª¤è¤Ó ~/.bash_profile |
|
¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. |
|
|
*/ |
*/ |
/*&eg |
/*&eg |
(3') Append the following line to the end of ~/.bashrc when you are |
(3') Append the following lines to the end of ~/.bashrc and ~/.bash_profile |
using bash as your shell. |
respectively when you are using bash as your shell. |
|
|
*/ |
*/ |
/*&C |
/*&C |
|
|
source /xxx/yyy/OpenXM/rc/dot.bash |
source /xxx/yyy/OpenXM/rc/dot.bashrc (.bashrc) |
|
|
|
source ~/.bashrc (.bash_profile) |
|
|
*/ |
*/ |
|
|
//&C |
/*&jp |
//&jp (4) asir ¤ÎÍøÍÑ¤Ë¤Ï key ¤¬É¬ÍפǤ¹. °Ê²¼¤Î¥Õ¥¡¥¤¥ë¤ò¸æÍ÷¤¯¤À¤µ¤¤. |
|
//&eg (4) You need key to use asir. See the following file: |
|
//&C OpenXM/lib/asir/asir_key |
|
//&C |
|
|
|
|
(3) ¤Þ¤¿¤Ï (3') ¤ò½ªÎ»¤·¤¿¤é, ¤¤¤Ã¤¿¤ó logout ¤·¤Æ login ¤·¤Ê¤ª¤¹¤« |
|
¤Þ¤¿¤Ï, source ¥³¥Þ¥ó¥É¤Ç, dot.bashrc ¤Þ¤¿¤Ï dot.csh ¤òÆɤ߹þ¤ó¤Ç²¼¤µ¤¤. |
|
|
|
*/ |
|
/*&eg |
|
|
|
After finishing the step (3) or (3'), logout and login again, |
|
or read dot.bashrc or dot.cshrc file by the source command. |
|
|
|
*/ |
|
|
|
|
/*&C |
/*&C |
|
|
|
FAQ |
|
|
|
*/ |
|
/*&jp |
|
Q. OpenXM ¤Î asir OpenXM client ¤ò icon ¤Ç¥¹¥¿¡¼¥È¤¹¤ë¤Ë¤Ï? |
|
A. ¼¡¤Î¹Ô¤ò, .Xdefaults ¤Þ¤¿¤Ï, xrdb ¤ÇÆɤ߹þ¤à¥Õ¥¡¥¤¥ë¤Ë½ñ¤¤¤Æ¤ª¤¤Þ¤¹. |
|
*/ |
|
/*&eg |
|
Q. How to start asir OpenXM clients in the iconic mode? |
|
A. Add the following line to .Xdefaults or a file you read by xrdb. |
|
*/ |
|
/*&C |
|
|
|
ox_xterm*iconic: on |
|
|
|
*/ |
|
/*&jp |
|
|
|
¡ú OpenXM FreeBSD binary ¥Ñ¥Ã¥±¡¼¥¸¤Î¥¤¥ó¥¹¥È¡¼¥ëÊýË¡ |
|
openxm-version.tgz |
|
¤ò ftp ¥µ¥¤¥È¤è¤ê copy ¤·¤Æ, |
|
root ¤Ë¤Ê¤Ã¤Æ, |
|
pkg_add openxm-version.tgz |
|
OpenXM ¤Ï /usr/local/OpenXM ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤µ¤ì¤Þ¤¹. |
|
¤¢¤È¤Ï, ¾å¤Î (4) ¤Ø. |
|
¤³¤³¤Ç version ¤Ï OpenXM ¤Î version ÈÖ¹æ¤Ç, ¤¿¤È¤¨¤Ð, |
|
2000, 3/20(Mon) ÈÇ¤Ï 1.1.2 |
|
pkg_add ¤Ë¼ºÇÔ¤·¤¿¾ì¹ç¤Ï, /var ¤Î¥µ¥¤¥º¤òÂ礤¯¤·¤Æ¤ä¤ê¤Ê¤ª¤·¤Æ |
|
¤ß¤Æ²¼¤µ¤¤. |
|
|
|
java ¤ª¤è¤Ó linux emulation ¤¬¼Â¹Ô¤ËɬÍפǤ¹. |
|
java ¤¬, ¥µ¡¼¥Á¥Ñ¥¹¤Î¤Ê¤«¤Ë¤¢¤ëɬÍפ¬¤¢¤ê¤Þ¤¹¤Î¤Ç, |
|
¤¿¤È¤¨¤Ð, |
|
set path=(/usr/local/jdk1.1.8 $path) |
|
rehash |
|
¤·¤Æ¤«¤é, pkg_add ¤·¤Æ²¼¤µ¤¤. |
|
¥¤¥ó¥¹¥È¡¼¥ë½ªÎ»¸å¤Î¥á¥Ã¥»¡¼¥¸¤Ë¤·¤¿¤¬¤¤, ɬÍפÊÀßÄê¤ò |
|
¤ª¤³¤Ê¤Ã¤Æ²¼¤µ¤¤. |
|
|
|
jdk ¤Ï /usr/ports/lang/jdk ¤è¤ê¥¤¥ó¥¹¥È¡¼¥ë¤Ç¤¤Þ¤¹. |
|
Linux emulation ¤ò͸ú¤Ë¤¹¤ë¤Ë¤Ï, |
|
/etc/rc.conf ¤Ë |
|
linux_enable="YES" |
|
¤È½ñ¤, |
|
/usr/ports/emulators/linux_base ¤òÍѤ¤¤Æ, linux ÍѤζ¦Í¥é¥¤¥Ö¥é¥êÅù¤ò |
|
¥¤¥ó¥¹¥È¡¼¥ë¤·¤Æ¤ª¤¤Þ¤¹. |
|
(FreeBSD 3.x, 4.x) |
|
|
|
|
|
/usr/local ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤·¤Ê¤«¤Ã¤¿¾ì¹ç¤Ï, |
|
(2) ¤ò¼Â¹Ô¤·¤Æ²¼¤µ¤¤. |
|
|
|
*/ |
|
/*&eg |
|
|
|
***** HOW TO INSTALL OpenXM FreeBSD binary package |
|
Copy |
|
openxm-version.tgz |
|
from our ftp cite. |
|
Become the super user and type |
|
pkg_add openxm-version.tgz |
|
OpenXM will be installed to /usr/local/OpenXM |
|
Go to (4) above. |
|
Here, version is the version number of OpenXM. |
|
For example, the version number of the OpenXM of May 20 (Mon), 2000 |
|
is 1.1.2 |
|
If you fail "pkd_add", increase the size of /var |
|
|
|
java and linux emulation are required to run OpenXM packages. |
|
Java needs to be in the search path. So, for example, execute pkg_add |
|
after |
|
set path=(/usr/local/jdk1.1.8 $path) |
|
rehash |
|
Following the message of pkg_add after the installation, |
|
set path. |
|
|
|
jdk can be installed by /usr/ports/lang/jdk. |
|
Add the line |
|
linux_enable="YES" |
|
to /etc/rc.conf and install shared libraries for linux |
|
by /usr/ports/emulators/linux_base. |
|
Then, you can emulate linux. |
|
|
|
If you do not install under /usr/local, |
|
goto (2). |
|
|
|
*/ |
|
/*&jp |
|
|
|
¡ú OpenXM Redhat Package manager (Linux) |
|
binary ¥Ñ¥Ã¥±¡¼¥¸¤Î¥¤¥ó¥¹¥È¡¼¥ëÊýË¡ |
|
openxm-shared-version-suffix.noarch.rpm |
|
openxm-binary-version-suffix.i386.rpm |
|
¤ò ftp ¥µ¥¤¥È¤è¤ê copy ¤·¤Æ, |
|
root ¤Ë¤Ê¤Ã¤Æ, |
|
rpm -i openxm-shared-version-suffix.noarch.rpm |
|
rpm -i openxm-binary-version-suffix.i386.rpm |
|
OpenXM ¤Ï /usr/local/OpenXM ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤µ¤ì¤Þ¤¹. |
|
¤¢¤È¤Ï, ¾å¤Î (4) ¤Ø. |
|
¤³¤³¤Ç version ¤Ï OpenXM ¤Î version ÈÖ¹æ¤Ç, ¤¿¤È¤¨¤Ð, |
|
2000, 3/20(Mon) ÈÇ¤Ï 1.1.2 |
|
suffix ¤Ï, RPM ÈǤΠminor version number. |
|
|
|
Debian ¤òÍøÍѤ·¤Æ¤¤¤ë¾ì¹ç, ¥³¥Þ¥ó¥É alien ¤Ç, rpm ·Á¼°¤ò deb ·Á¼°¤Ë |
|
ÊÑ´¹¤Ç¤¤Þ¤¹. |
|
|
|
/usr/local ¤Î²¼¤Ø¥¤¥ó¥¹¥È¡¼¥ë¤·¤Ê¤«¤Ã¤¿¾ì¹ç¤Ï, (2) ¤ò¼Â¹Ô¤·¤Æ²¼¤µ¤¤. |
|
|
|
*/ |
|
/*&eg |
|
|
|
***** HOW TO INSTALL OpenXM by the redhat Package manager (Linux) |
|
Copy |
|
openxm-shared-version-suffix.noarch.rpm |
|
openxm-binary-version-suffix.i386.rpm |
|
from our ftp cite. |
|
Become the super user and type |
|
rpm -i openxm-shared-version-suffix.noarch.rpm |
|
rpm -i openxm-binary-version-suffix.i386.rpm |
|
OpenXM will be installed to /usr/local/OpenXM |
|
Go to (4) above. |
|
Here, version is the version number of OpenXM. |
|
For example, the version number of the OpenXM of May 20 (Mon), 2000 |
|
is 1.1.2 |
|
suffix is the minor version number of the package. |
|
|
|
If you are using debian, please use the command alien to translate |
|
rpm to deb. |
|
|
|
If you do not install under /usr/local, goto (2). |
|
|
|
|
|
*/ |
|
|
|
/*&C |
|
|
|
***** OpenXM client programs under OpenXM/bin or /usr/local/bin: |
|
asir |
|
oxmath |
|
openxm sm1 |
|
|
|
***** OpenXM server programs: |
|
OpenXM/bin/ox_asir |
|
OpenXM/bin/ox_sm1 |
|
OpenXM/bin/ox_math |
|
OpenXM/lib/sm1/bin/ox_sm1_gnuplot |
|
OpenXM/lib/sm1/bin/ox_sm1_phc |
|
OpenXM/lib/sm1/bin/ox_sm1_tigers |
|
OpenXM/lib/java-support/OMproxy.class |
|
|
***** QUALITY: |
***** QUALITY: |
the following modules and functions have still experimental qualities: |
Experimental: |
OpenXM/bin/k0, OpenXM/bin/d0 |
OpenXM/bin/k0, OpenXM/bin/d0 |
OpenXM/bin/ox_math, OpenXM/bin/math2ox |
|
OpenXM/lib/java-support/ * |
|
Asir client functions: m_* (Mathematica) , om_* (OpenMath) |
Asir client functions: m_* (Mathematica) , om_* (OpenMath) |
|
OpenXM/lib/java-support/ * |
|
70% |
|
OpenXM/bin/ox_math, OpenXM/bin/math2ox |
OpenXM/bin/sm1, ox_sm1 on Linux libc6. |
OpenXM/bin/sm1, ox_sm1 on Linux libc6. |
|
|
|
**** OpenXM server and client programs (under development) |
|
included only in the source distribution |
|
OpenXM/src/Macaulay2 ( M2 server and client ) |
|
OpenXM/src/ruby ( Ruby client) |
|
|
|
**** Utilities |
|
OpenXM/doc/oxlib ( how to link oxservers as libraries ) |
|
|
*/ |
*/ |
/*&C |
/*&C |
|
|
|
|
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 ¤ò¥µ¡¼¥Á¥Ñ¥¹¤Ë¤¤¤ì¤Þ¤¹. |
|
|
|
jdk ¤ÎÆþ¼êÀè: FreeBSD --- /usr/ports/java/jdk ¤ò¸«¤Æ¤¯¤À¤µ¤¤. |
|
Linux --- http://java.sun.com/products/jdk/1.2/ja |
|
http://java.sun.com/j2se/1.3/ja |
|
|
|
Ãí°Õ: |
|
¤Ê¤ª, 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 368 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 |
|
|
|
|
|
Where can I get jdk? : FreeBSD --- see /usr/ports/java/jdk |
|
Linux --- http://java.sun.com/products/jdk/1.2/ja |
|
http://java.sun.com/j2se/1.3/ja |
|
|
|
|
|
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 |
|
|
*/ |
*/ |
/*&C |
/*&C |
|
|
OS: FreeBSD 3.3 (Intel CPU), |
OS: FreeBSD 3.3, 3.4, 4.x (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. |
|
|
|
|
*/ |
*/ |
/*&C |
/*&C |
|
|
(1) OpenXM/bin/ox_math : Mathematica Version 3.x or 4.x |
(1) OpenXM/bin/oxmath : Mathematica Version 3.x or 4.x |
(Mathematica server) at /usr/local/Mathematica |
(Mathematica server) at /usr/local/Mathematica |
OpenXM/bin/math2ox [ see http://www.wolfram.com ] |
OpenXM/bin/math2ox [ see http://www.wolfram.com ] |
Asir client functions m_* |
Asir client functions m_* |
Line 234 The installation is completed. |
|
Line 476 The installation is completed. |
|
¤ò¸«¤Æ²¼¤µ¤¤. |
¤ò¸«¤Æ²¼¤µ¤¤. |
ps ¤ÎÉÕ¤¯¥Õ¥¡¥¤¥ë¤Ï, ghostview ¤Ç¸«¤ë¤³¤È¤¬¤Ç¤¤Þ¤¹. |
ps ¤ÎÉÕ¤¯¥Õ¥¡¥¤¥ë¤Ï, ghostview ¤Ç¸«¤ë¤³¤È¤¬¤Ç¤¤Þ¤¹. |
|
|
|
Mathematica client ¤Ë¤Ä¤¤¤Æ¤Ï, OpenXM/doc/ox_math ¤ò¸æÍ÷¤¯¤À¤µ¤¤. |
|
sm1 client ¤Ë¤Ä¤¤¤Æ¤Ï, OpenXM/doc/kan96xx ¤ò¸æÍ÷¤¯¤À¤µ¤¤. |
|
asir ¤Ï, ¿¹à¼°½èÍýÍѤΥ饤¥Ö¥é¥ê¤È¤·¤Æ¥ê¥ó¥¯¤Ç¤¤Þ¤¹. |
|
¤³¤ì¤Ë¤Ä¤¤¤Æ¤Ï, OpenXM/doc/oxlib ¤ò¸æÍ÷¤¯¤À¤µ¤¤. |
|
|
|
OpenXM Âбþ¤Î, ¥µ¡¼¥Ð ¤òºîÀ®¤¹¤ë¤Ë¤Ï, OpenXM/src/ox_toolkit |
|
¤¬»²¹Í¤Ë¤Ê¤ë¤«¤â¤·¤ì¤Þ¤»¤ó. Java ¤Î¥¯¥é¥¹¤Ë¤Ä¤¤¤Æ¤Ï |
|
OpenXM/src/OpenMath ¤¬»²¹Í¤Ë¤Ê¤ë¤«¤â¤·¤ì¤Þ¤»¤ó. |
|
|
*/ |
*/ |
/*&eg |
/*&eg |
***** DOCUMENTS |
***** DOCUMENTS |
Line 253 The installation is completed. |
|
Line 504 The installation is completed. |
|
|
|
Dvi files can be previewed by xdvi and |
Dvi files can be previewed by xdvi and |
ps files can be previewed by ghostview. |
ps files can be previewed by ghostview. |
|
|
|
As to Mathematica client, see OpenXM/doc/ox_math. |
|
As to sm1 client, see OpenXM/doc/kan96xx. |
|
The asir can be used as a C library for polynomial manupulation. |
|
See OpenXM/doc/oxlib. |
|
|
|
If you are interested in writing a server for OpenXM, please refer to |
|
OpenXM/src/ox_toolkit and OpenXM/src/OpenMath. |
|
|
*/ |
*/ |
|
|
|
|
Line 296 xm Version 20000116. ox_help(0); ox_help("keyword"); f |
|
Line 556 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 347 See OpenXM/Copyright. |
|
Line 597 See OpenXM/Copyright. |
|
|
|
|
|
¡ú OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤Î Make Ë¡ |
¡ú OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤Î Make Ë¡ |
FreeBSD 2.2.8, FreeBSD 3.3, Linux ¤ÇÆ°ºî¤¹¤ë¤â¤Î¤È´üÂÔ¤·¤Æ¤Þ¤¹. |
FreeBSD 3.x, FreeBSD 4.x, 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 ¤¬É¬ÍפǤ¹. |
|
ftp.math.kobe-u.ac.jp/OpenXM/1.1.3 ¤è¤ê |
|
openxm-1.1.3.tar.gz |
|
¤ò get ¤·¤ÆŸ³«¤·¤Æ²¼¤µ¤¤. |
|
tar xzvf openxm-1.1.3.tar.gz |
|
|
|
openxm-1.1.3/OpenXM openxm-1.1.3/OpenXM_contrib |
|
openxm-1.1.3/OpenXM_contrib2 |
|
¤¬À¸À®¤µ¤ì¤Þ¤¹. |
|
|
cvs ¥³¥ß¥Ã¥¿¤Î¾ì¹ç¼¡¤Î¤è¤¦¤Ë¤·¤Æ¥½¡¼¥¹¤ò¤È¤ê¤è¤»¤Þ¤¹. |
cvs ¥³¥ß¥Ã¥¿¤Î¾ì¹ç¼¡¤Î¤è¤¦¤Ë¤·¤Æ¥½¡¼¥¹¤ò¤È¤ê¤è¤»¤Þ¤¹. |
*/ |
*/ |
/*&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 3.x, FreeBSD 4.x, 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). So, you do not need to make this change.) |
|
|
Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? |
Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? |
|
get |
|
openxm-1.1.3.tar.gz |
|
from ftp.math.kobe-u.ac.jp/OpenXM/1.1.3 |
|
Expand it by |
|
tar xzvf openxm-1.1.3.tar.gz |
|
|
|
Then, you will get |
|
openxm-1.1.3/OpenXM openxm-1.1.3/OpenXM_contrib |
|
openxm-1.1.3/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: |
*/ |
*/ |
//&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2 |
//&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2 |
Line 381 See OpenXM/Copyright. |
|
Line 654 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, jlatex2html |
|
¤¬É¬ÍפǤ¹. ¾Ü¤·¤¯¤Ï 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, jlatex2html. 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 |
|
|
*/ |
*/ |
|
|
|
/*&eg |
|
To run the system, you need to read OpenXM/rc/dot.cshrc or |
|
OpenXM/rc/dot.bashrc by the source |
|
command for setting proper environmental variable values. |
|
|
|
By the commands |
|
cd OpenXM/rc |
|
make |
|
you can generate dot.cshrc and dot.bashrc. |
|
Read these file by the source command in your .cshrc |
|
or .bashrc (or .bash_profile). |
|
*/ |
/*&jp |
/*&jp |
|
¥·¥¹¥Æ¥à¤òÆ°¤«¤¹¤Ë¤Ï, OpenXM/rc/dot.cshrc ¤Þ¤¿¤Ï |
OpenXM_contrib2/asir2000 ¤ÎÇÛÉÛ¤ò¼õ¤±¤Æ¤Ê¤¤¾ì¹ç (¥½¡¼¥¹¥é¥¤¥»¥ó¥¹¤ò |
OpenXM/rc/dot.bashrc ¤ò source ¥³¥Þ¥ó¥É¤Ç |
ÉÙ»ÎÄ̤è¤ê¼õ¤±¤ëɬÍפ¬¤¢¤ê¤Þ¤¹), |
¤è¤ß¤³¤ß´Ä¶ÊÑ¿ô¤ÎÃͤòŬÀÚ¤ËÀßÄꤹ¤ëɬÍפ¬¤¢¤ê¤Þ¤¹. |
OpenXM/src/Makefile ¤Î³Æ¥â¥¸¥å¡¼¥ë̾ ¤¿¤È¤¨¤Ð |
|
make all-kan96xx |
|
¤Ê¤É¤È³Æ¥â¥¸¥å¡¼¥ë̾¤ò»ØÄꤷ¤Æ¥³¥ó¥Ñ¥¤¥ë¤·¤Æ²¼¤µ¤¤. |
|
|
|
|
¥³¥Þ¥ó¥É |
|
cd OpenXM/rc |
|
make |
|
¤Ç dot.cshrc ¤ª¤è¤Ó dot.bashrc ¤¬À¸À®¤µ¤ì¤Þ¤¹. |
|
¤³¤ì¤é¤Î¥Õ¥¡¥¤¥ë¤ò source ¥³¥Þ¥ó¥É¤Ç, |
|
.cshrc ¤Þ¤¿¤Ï .bashrc (¤Þ¤¿¤Ï .bash_profile) ¤è¤êÆɤà¤è¤¦¤Ë¤·¤Æ²¼¤µ¤¤. |
*/ |
*/ |
/*&eg |
/*&C |
|
|
If you cannot get a source liscence of OpenXM_contrib2/asir2000 |
|
from Fujitsu labs, |
|
compile each modules independently, e.g., |
|
make all-kan96xx |
|
|
|
*/ |
*/ |
|
|
Line 465 OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/k |
|
Line 764 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. |
*/ |
*/ |
|
|
Line 488 Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥ |
|
Line 788 Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥ |
|
/usr/ccs/bin must be at the top of the command search path to compile |
/usr/ccs/bin must be at the top of the command search path to compile |
on Solaris. |
on Solaris. |
*/ |
*/ |
|
/*&jp |
|
|
|
¡ú Redhat Linux 6.1 ¾å¤Ç¤Î¥³¥ó¥Ñ¥¤¥ë |
|
m4-1.4 ¤È autoconf-2.13 ¤¬É¬Í×. |
|
(¤¢¤é¤«¤¸¤á¤Ï¤¤¤Ã¤Æ¤¤¤ë, autoconf ¤Ï 2.12 ¤Ç¤¢¤ê¤³¤ì¤Ï |
|
gnuplot ¤Î make ¤ÇÉÔ¶ñ¹ç¤òÀ¸¤¸¤Þ¤¹.) |
|
|
|
*/ |
|
/*&eg |
|
***** COMPILE ON Redhat Linux 6.1 |
|
m4-1.4 and autoconf-2.13 are required. |
|
(Preinstalled autoconf is version 2.12. It causes a trouble when |
|
you build gnuplot.) |
|
*/ |
|
|
/*&C |
/*&C |
|
|