version 1.21, 2000/02/01 10:14:11 |
version 1.34, 2000/09/05 11:57:04 |
|
|
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.20 2000/02/01 05:18:28 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.33 2000/09/05 08:24:34 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 |
Consult firstly the ERRATA section for your release on this web cite |
for troubles. |
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 ¤Î¥¤¥ó¥¹¥È¡¼¥ëË¡¤òÀâÌÀ¤·¤Þ¤¹. |
¥¤¥ó¥¹¥È¡¼¥ë¤ËɬÍפʥ·¥¹¥Æ¥à¤Î»ÅÍͤˤĤ¤¤Æ¤Ï, Æ°ºî´Ä¶¤ò¸æÍ÷¤¯¤À¤µ¤¤. |
¥¤¥ó¥¹¥È¡¼¥ë¤ËɬÍפʥ·¥¹¥Æ¥à¤Î»ÅÍͤˤĤ¤¤Æ¤Ï, Æ°ºî´Ä¶¤ò¸æÍ÷¤¯¤À¤µ¤¤. |
*/ |
*/ |
/*&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. |
As to the required environment, see the section "System Requirement" |
As to the required environment, see the section "System Requirement" |
Line 37 As to the required environment, see the section "Syste |
|
Line 40 As to the required environment, see the section "Syste |
|
|
|
*/ |
*/ |
/*&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 51 by /xxx/yyy/OpenXM. |
|
Line 56 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/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, Åù¤Î |
¥Õ¥¡¥¤¥ë¤ò¼«Æ°À¸À®¤·¤Þ¤¹. |
¥Õ¥¡¥¤¥ë¤ò¼«Æ°À¸À®¤·¤Þ¤¹. |
¤³¤ì¤é¤Î¥Õ¥¡¥¤¥ë¤Ë¤Ï, OpenXM/bin ¤Î¥Õ¥¡¥¤¥ë¤ò¼Â¹Ô¤¹¤ë¤¿¤á¤Î |
openxm, asir, oxmath ¤Ê¤É¤Ï OpenXM ¥¯¥é¥¤¥¢¥ó¥È¤òµ¯Æ°¤¹¤ë¤¿¤á¤Î |
´Ä¶ÊÑ¿ô¤¬ÄêµÁ¤µ¤ì¤Æ¤¤¤Þ¤¹. |
¥·¥¨¥ë¥¹¥¯¥ê¥×¥È¤Ç¤¹. ¤³¤ì¤é¤ò /usr/local/bin ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤¹¤ë¤Ë¤Ï |
|
¼¡¤Î¤è¤¦¤ËÆþÎϤ·¤Þ¤¹. |
|
|
*/ |
*/ |
/*&eg |
/*&eg |
(2) Generate OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and |
(2) Generate OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and |
OpenXM/rc/openxm |
OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, ... |
by the following command. |
The files openxm, asir, oxmath are shell scripts to invoke OpenXM clients. |
Environmental variables to execute commands in OpenXM/bin |
If you want to install these shell scripts to /usr/local/bin, |
are defined in these files. |
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 105 by /xxx/yyy/OpenXM. |
|
Line 144 by /xxx/yyy/OpenXM. |
|
|
|
(3) ¤Þ¤¿¤Ï (3') ¤ò½ªÎ»¤·¤¿¤é, ¤¤¤Ã¤¿¤ó logout ¤·¤Æ login ¤·¤Ê¤ª¤¹¤« |
(3) ¤Þ¤¿¤Ï (3') ¤ò½ªÎ»¤·¤¿¤é, ¤¤¤Ã¤¿¤ó logout ¤·¤Æ login ¤·¤Ê¤ª¤¹¤« |
¤Þ¤¿¤Ï, source ¥³¥Þ¥ó¥É¤Ç, dot.bashrc ¤Þ¤¿¤Ï dot.csh ¤òÆɤ߹þ¤ó¤Ç²¼¤µ¤¤. |
¤Þ¤¿¤Ï, source ¥³¥Þ¥ó¥É¤Ç, dot.bashrc ¤Þ¤¿¤Ï dot.csh ¤òÆɤ߹þ¤ó¤Ç²¼¤µ¤¤. |
(3) ¤Þ¤¿¤Ï (3') ¤ò¤ä¤é¤Ê¤¤¤È¤¤¤¦ÁªÂò¤â¤¢¤ê¤Þ¤¹. |
|
¤³¤Î¾ì¹ç, ¥·¥§¥ë¥¹¥¯¥ê¥×¥È |
|
OpenXM/rc/openxm ¤ò ¥³¥Þ¥ó¥É¥µ¡¼¥Á¥Ñ¥¹¤Ë°Ü¤·, |
|
OpenXM/bin °Ê²¼¤ÎÁ´¤Æ¤Î¥³¥Þ¥ó¥É¤Î¼Â¹Ô¤Ï, |
|
openxm ¥³¥Þ¥ó¥É̾ |
|
¤È¤¤¤¦·Á¤Ç¸Æ¤Ó½Ð¤·¤Þ¤¹. |
|
¤¿¤È¤¨¤Ð, openxm asir ¤È¤« openxm sm1 ¤È¤¤¤¦·Á¤Ç¤è¤Ó¤À¤·¤Þ¤¹. |
|
|
|
*/ |
*/ |
/*&eg |
/*&eg |
|
|
After finishing the step (3) or (3'), logout and login again, |
After finishing the step (3) or (3'), logout and login again, |
or read dot.bashrc or dot.cshrc file by the source command. |
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 ¤¬É¬ÍפǤ¹. |
|
//&eg (4) You need a key to use asir. |
|
//&C |
|
/*&jp |
|
asir ¤Îµ¯Æ°»þ¤Î¥á¥Ã¥»¡¼¥¸¤Þ¤¿¤Ï OpenXM/lib/asir/asir_key ¤ò |
|
»²¾È¤·¤Æ, key ¤ò¼èÆÀ¤·¤Æ²¼¤µ¤¤ (¿ôÉä·¤«¤«¤«¤ê¤Þ¤»¤ó). |
|
|
|
|
FAQ |
|
|
*/ |
*/ |
|
/*&jp |
|
Q. OpenXM ¤Î asir OpenXM client ¤ò icon ¤Ç¥¹¥¿¡¼¥È¤¹¤ë¤Ë¤Ï? |
|
A. ¼¡¤Î¹Ô¤ò, .Xdefaults ¤Þ¤¿¤Ï, xrdb ¤ÇÆɤ߹þ¤à¥Õ¥¡¥¤¥ë¤Ë½ñ¤¤¤Æ¤ª¤¤Þ¤¹. |
|
*/ |
/*&eg |
/*&eg |
Please get the key by following the instruction from asir itself or |
Q. How to start asir OpenXM clients in the iconic mode? |
that in OpenXM/lib/asir/asir_key (it takes only a few seconds |
A. Add the following line to .Xdefaults or a file you read by xrdb. |
to get the key). |
*/ |
|
/*&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 |
|
|
|
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 |
|
|
|
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 |
/*&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. |
*/ |
*/ |
/*&C |
/*&C |
Line 171 csh ¤òÍøÍѤ·¤Æ¤¤¤ë¾ì¹ç, .cshrc ¤Ç |
|
Line 329 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 --- |
|
|
Ãí°Õ: |
Ãí°Õ: |
¤Ê¤ª, Kaffe 1.0.b4 ¤Î java ¤Ï, class BigInteger ¤Ë method |
¤Ê¤ª, Kaffe 1.0.b4 ¤Î java ¤Ï, class BigInteger ¤Ë method |
toByteArray ¤¬´Þ¤Þ¤ì¤Æ¤Ê¤¤¤¿¤á, OpenMath ¥â¥¸¥å¡¼¥ë¤Ç¤Ï»ÈÍѤǤ¤Þ¤»¤ó. |
toByteArray ¤¬´Þ¤Þ¤ì¤Æ¤Ê¤¤¤¿¤á, OpenMath ¥â¥¸¥å¡¼¥ë¤Ç¤Ï»ÈÍѤǤ¤Þ¤»¤ó. |
Line 187 Bash users put the following line to .bashrc |
|
Line 348 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 --- |
|
|
Remark: |
Remark: |
The Java interpreter of Kaffe 1.0.b4 does not contain the method |
The Java interpreter of Kaffe 1.0.b4 does not contain the method |
toByteArray in the class BigInteger. |
toByteArray in the class BigInteger. |
Line 209 So, it cannot be used for the OpenMath module. |
|
Line 374 So, it cannot be used for the OpenMath module. |
|
*/ |
*/ |
/*&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): |
Most Linux with libc5 and with libc6 (glibc 2.x). |
Most Linux with libc5 and with libc6 (glibc 2.x). |
|
|
|
|
*/ |
*/ |
/*&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 288 The installation is completed. |
|
Line 453 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 307 The installation is completed. |
|
Line 481 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 451 prepare empty shell scripts ptex and nkf. |
|
Line 634 prepare empty shell scripts ptex and nkf. |
|
/*&C |
/*&C |
|
|
*/ |
*/ |
/*&jp |
|
|
|
OpenXM_contrib2/asir2000 ¤ÎÇÛÉÛ¤ò¼õ¤±¤Æ¤Ê¤¤¾ì¹ç (¥½¡¼¥¹¥é¥¤¥»¥ó¥¹¤ò |
|
ÉÙ»ÎÄ̤è¤ê¼õ¤±¤ëɬÍפ¬¤¢¤ê¤Þ¤¹), |
|
OpenXM/src/Makefile ¤Î³Æ¥â¥¸¥å¡¼¥ë̾ ¤¿¤È¤¨¤Ð |
|
make all-kan96xx |
|
¤Ê¤É¤È³Æ¥â¥¸¥å¡¼¥ë̾¤ò»ØÄꤷ¤Æ¥³¥ó¥Ñ¥¤¥ë¤·¤Æ²¼¤µ¤¤. |
|
|
|
*/ |
|
/*&eg |
|
|
|
If you cannot get a source liscence of OpenXM_contrib2/asir2000 |
|
from Fujitsu labs, |
|
compile each modules independently, e.g., |
|
make all-kan96xx |
|
|
|
*/ |
|
|
|
/*&jp |
/*&jp |
|
|
[OpenXM ²¼¤Î¥Õ¥¡¥¤¥ë¤Î¹½À®¥á¥â] |
[OpenXM ²¼¤Î¥Õ¥¡¥¤¥ë¤Î¹½À®¥á¥â] |
Line 551 Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥ |
|
Line 717 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 |
|
|