version 1.24, 2000/03/11 08:07:16 |
version 1.46, 2003/02/14 03:32:44 |
|
|
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.23 2000/03/09 11:30:36 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.45 2002/03/02 01:00:23 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 |
http://www.openxm.org |
for troubles. |
|
|
|
OpenXM package : Getting started. |
|
|
|
*/ |
*/ |
|
|
/*&jp |
/*&jp |
¡ú OpenXM GENERIC ¥Ñ¥Ã¥±¡¼¥¸¤ÎÍøÍÑÊýË¡ |
|
¤³¤ÎÀá¤Ç¤Ï, OpenXM package binary distribution ¤Î¥¤¥ó¥¹¥È¡¼¥ëË¡¤òÀâÌÀ¤·¤Þ¤¹. |
|
¥¤¥ó¥¹¥È¡¼¥ë¤ËɬÍפʥ·¥¹¥Æ¥à¤Î»ÅÍͤˤĤ¤¤Æ¤Ï, Æ°ºî´Ä¶¤ò¸æÍ÷¤¯¤À¤µ¤¤. |
|
*/ |
|
/*&eg |
|
***** HOW TO INSTALL OpenXM GENERIC PACKAGE? |
|
In this section, we will explain how to install OpenXM package binary |
|
distribution. |
|
As to the required environment, see the section "System Requirement" |
|
*/ |
|
/*&jp |
|
|
|
(1) Tar ¥Ü¡¼¥ë¤è¤ê¼¡¤Î¤è¤¦¤Ë¤·¤Æ¥Ç¥£¥ì¥¯¥È¥ê OpenXM ¤ò¼è¤ê½Ð¤·¤Þ¤¹. |
------------ ¥½¡¼¥¹¤«¤é¥³¥ó¥Ñ¥¤¥ë¤·¤Æ¥¤¥ó¥¹¥È¡¼¥ë¤¹¤ëÊýË¡ ---- |
OpenXM ¤Ï¤É¤³¤Ë¤ª¤¤¤Æ¤â¤«¤Þ¤¤¤Þ¤»¤ó. ¥ë¡¼¥È¤Ë¤Ê¤Ã¤Æ¥¤¥ó¥¹¥È¡¼¥ë |
(cd OpenXM/src ; make configure ; make install) |
¤¹¤ëɬÍפ⤢¤ê¤Þ¤»¤ó. |
¥Ð¥¤¥Ê¥ê¤È¥é¥¤¥Ö¥é¥ê¤È¥É¥¥å¥á¥ó¥ÈÎà¤Ï |
¤Ç¤¤ì¤Ð, /usr/local/OpenXM ¤Ë¤ª¤¤¤Æ¤Û¤·¤¤¤È»×¤¤¤Þ¤¹. |
OpenXM/bin, OpenXM/lib, OpenXM/doc |
|
¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤µ¤ì¤Þ¤¹. |
|
(cd OpenXM/rc ; make install) |
|
"asir", "sm1", ... ¤Ê¤É¤Î¥·¥§¥ë¥¹¥¯¥ê¥×¥È¤¬À¸À®¤µ¤ì¤Æ |
|
/usr/local/bin |
|
¤Ë¥³¥Ô¡¼¤µ¤ì¤Þ¤¹. |
|
¤³¤ÎÉôʬ¤Ï root ¤Ç¼Â¹Ô¤·¤Æ¤¯¤À¤µ¤¤. |
|
|
*/ |
*/ |
|
|
/*&eg |
/*&eg |
|
|
(1) Extract the directory OpenXM from the tar ball. |
OpenXM package : Getting started. |
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 |
|
|
|
tar xzvf OpenXM-shared.tgz |
----------- An instruction for a quick installation from the source code --- |
tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz |
(cd OpenXM/src ; make configure ; make install) |
|
You will get binaries, libraries, and documents under |
|
OpenXM/bin, OpenXM/lib, OpenXM/doc |
|
(cd OpenXM/rc ; make install) |
|
Shell scripts to start "asir", "sm1", ... will be copied to |
|
/usr/local/bin |
|
This part should be executed as the root. |
|
|
|
|
*/ |
*/ |
|
|
|
|
/*&jp |
/*&jp |
°Ê²¼ (1) ¤ÇÀ¸À®¤µ¤ì¤¿¥Ç¥£¥ì¥¯¥È¥ê OpenXM ¤ÎÀäÂХѥ¹¤ò /xxx/yyy/OpenXM |
|
¤È½ñ¤¤Þ¤¹. |
|
|
|
|
|
|
------- Asir ¤È kan ¤À¤±¤Ç½½Ê¬¤Ê¾ì¹ç |
|
(cd OpenXM/src ; make install-kan-ox ; make install-asir-contrib) |
|
OpenXM ÈǤΠRisa/Asir ¤È kan/sm1 ¤¬À¸À®¥¤¥ó¥¹¥È¡¼¥ë¤µ¤ì¤Þ¤¹. |
|
(cd OpenXM/rc ; make install) |
|
|
|
------------------------------------------- |
|
asir-contrib ÉÕ¤¤Î Risa/Asir ¤Ï OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤Î¥á¥¤¥ó¥¯¥é¥¤¥¢¥ó¥È¤Ç¤¹. |
|
Risa/asir ¤Ï¥³¥Þ¥ó¥É asir ¤Çµ¯Æ°¤Ç¤¤Þ¤¹. |
|
Risa/Asir ¤ª¤è¤Ó Asir-contrib ¤Î¥Þ¥Ë¥å¥¢¥ë¤Ï |
|
OpenXM/doc ¥Ç¥£¥ì¥¯¥È¥ê¤ª¤è¤Ó http://www.openxm.org ¤Ë¤ª¤¤¤Æ¤¢¤ê¤Þ¤¹. |
|
|
|
|
*/ |
*/ |
|
|
|
|
/*&eg |
/*&eg |
In the sequel, we will denote the absolute path of the directory OpenXM |
|
by /xxx/yyy/OpenXM. |
|
|
|
|
------- If you need only asir and kan, |
|
(cd OpenXM/src ; make install-kan-ox ; make install-asir-contrib) |
|
You will get only asir (OpenXM version) and kan/sm1. |
|
(cd OpenXM/rc ; make install) |
|
|
|
------------------------------------------- |
|
Risa/Asir with asir-contrib is the main client system in the OpenXM project. |
|
You can start Risa/Asir by the command "asir". |
|
The manual of Risa/Asir and Asir-contrib can be found in the |
|
OpenXM/doc directory and http://www.openxm.org |
|
|
|
|
*/ |
*/ |
|
|
/*&jp |
/*&jp |
(2) OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc, |
|
|
|
|
----------- ´ö¤Ä¤«²òÀâ ------------------ |
|
|
|
Q. (cd OpenXM/rc ; make all) ¤Ï¤Ê¤Ë¤ò¤ä¤ë¤Î? |
|
A. |
|
OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc, |
OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, Åù¤Î |
OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, Åù¤Î |
¥Õ¥¡¥¤¥ë¤ò¼«Æ°À¸À®¤·¤Þ¤¹. |
¥Õ¥¡¥¤¥ë¤ò¼«Æ°À¸À®¤·¤Þ¤¹. |
openxm, asir, oxmath ¤Ê¤É¤Ï OpenXM ¥¯¥é¥¤¥¢¥ó¥È¤òµ¯Æ°¤¹¤ë¤¿¤á¤Î |
openxm, asir, oxmath ¤Ê¤É¤Ï OpenXM ¥¯¥é¥¤¥¢¥ó¥È¤òµ¯Æ°¤¹¤ë¤¿¤á¤Î |
Line 62 by /xxx/yyy/OpenXM. |
|
Line 91 by /xxx/yyy/OpenXM. |
|
|
|
*/ |
*/ |
/*&eg |
/*&eg |
(2) Generate OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and |
|
|
----------- Some Tips ---------------------- |
|
|
|
Q. What is done by the command (cd OpenXM/rc ; make all) ? |
|
A. |
|
It generates OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and |
OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, ... |
OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, ... |
The files openxm, asir, oxmath are shell scripts to invoke OpenXM clients. |
The files openxm, asir, oxmath are shell scripts to invoke OpenXM clients. |
If you want to install these shell scripts to /usr/local/bin, |
If you want to install these shell scripts to /usr/local/bin, |
Line 71 by /xxx/yyy/OpenXM. |
|
Line 105 by /xxx/yyy/OpenXM. |
|
*/ |
*/ |
/*&C |
/*&C |
|
|
cd /xxx/yyy/OpenXM/rc |
cd OpenXM/rc |
make install |
make install |
|
|
*/ |
*/ |
Line 89 by /xxx/yyy/OpenXM. |
|
Line 123 by /xxx/yyy/OpenXM. |
|
*/ |
*/ |
/*&C |
/*&C |
|
|
cd /xxx/yyy/OpenXM/rc |
cd OpenXM/rc |
make install PREFIX=$HOME/bin |
make install PREFIX=$HOME/bin |
|
|
*/ |
*/ |
Line 101 by /xxx/yyy/OpenXM. |
|
Line 135 by /xxx/yyy/OpenXM. |
|
*/ |
*/ |
/*&jp |
/*&jp |
|
|
|
Q. OpenXM/bin ¤Î²¼¤Î¥Õ¥¡¥¤¥ë¤òľÀܼ¹ԤǤ¤ë¤è¤¦¤Ë¤·¤¿¤¤. |
|
A. |
OpenXM/bin ¤Î²¼¤Î¥Õ¥¡¥¤¥ë¤òľÀܼ¹Ԥ·¤¿¤¤¾ì¹ç¤Ï, °Ê²¼¤ÎÀßÄ꤬ɬÍפǤ¹. |
OpenXM/bin ¤Î²¼¤Î¥Õ¥¡¥¤¥ë¤òľÀܼ¹Ԥ·¤¿¤¤¾ì¹ç¤Ï, °Ê²¼¤ÎÀßÄ꤬ɬÍפǤ¹. |
OpenXM clients ¤ò¼Â¹Ô¤¹¤ë¤À¤±¤Î¾ì¹ç¤Ï, (3), (3') ¤Ï skip ¤·¤Æ¤¯¤À¤µ¤¤. |
|
|
|
(3) csh ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤ò ~/.cshrc ¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. |
# csh ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤ò ~/.cshrc ¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. |
|
|
*/ |
*/ |
/*&eg |
/*&eg |
|
|
If you want to execute binaries under OpenXM/bin, you need to perform |
Q. I want to execute binaries under OpenXM/bin |
(3) and (3'). |
A. |
If you use only OpenXM clients, skip (3) and (3'). |
If you want to execute binaries under OpenXM/bin, you need to do |
|
the following. |
|
|
(3) Append the following line to the end of ~/.cshrc when you are |
|
|
# Append the following line to the end of ~/.cshrc when you are |
using csh as your shell. |
using csh as your shell. |
|
|
*/ |
*/ |
/*&C |
/*&C |
|
|
source /xxx/yyy/OpenXM/rc/dot.cshrc |
source OpenXM/rc/dot.cshrc |
|
|
*/ |
*/ |
/*&jp |
/*&jp |
(3') bash ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤ò ~/.bashrc ¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. |
# bash ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤½¤ì¤¾¤ì¤ò ~/.bashrc ¤ª¤è¤Ó ~/.bash_profile |
|
¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. |
|
|
*/ |
*/ |
/*&eg |
/*&eg |
(3') Append the following line to the end of ~/.bashrc when you are |
# 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.bashrc |
source OpenXM/rc/dot.bashrc (.bashrc) |
|
|
*/ |
source ~/.bashrc (.bash_profile) |
|
|
/*&jp |
|
|
|
(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 |
|
//&jp (4) asir ¤ÎÍøÍÑ¤Ë¤Ï key ¤¬É¬ÍפǤ¹. |
|
//&eg (4) You need a key to use asir. |
|
//&C |
|
/*&jp |
|
asir ¤Îµ¯Æ°»þ¤Î¥á¥Ã¥»¡¼¥¸¤Þ¤¿¤Ï OpenXM/lib/asir/asir_key ¤ò |
|
»²¾È¤·¤Æ, key ¤ò¼èÆÀ¤·¤Æ²¼¤µ¤¤ (¿ôÉä·¤«¤«¤«¤ê¤Þ¤»¤ó). |
|
|
|
Mail ¤ÎÍøÍѤ¬¤Ç¤¤Æ, /var/mail ¤Î²¼¤Ë¥á¡¼¥ë¤òÃå¿®¤Ç¤¤ì¤Ð, |
|
/xxx/yyy/OpenXM/rc/fetch_asir_key |
|
¤ò¼Â¹Ô¤¹¤ë¤³¤È¤Ë¤è¤ê asir_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). |
|
|
|
If you can get your mails under /var/mail, you can automatically set |
|
your key by executing |
|
/xxx/yyy/OpenXM/rc/fetch_asir_key |
|
|
|
*/ |
|
|
|
/*&C |
|
|
|
***** QUALITY: |
|
the following modules and functions have still experimental qualities: |
|
OpenXM/bin/k0, OpenXM/bin/d0 |
|
OpenXM/bin/ox_math, OpenXM/bin/math2ox |
|
OpenXM/lib/java-support/ * |
|
Asir client functions: m_* (Mathematica) , om_* (OpenMath) |
|
OpenXM/bin/sm1, ox_sm1 on Linux libc6. |
|
*/ |
|
/*&C |
|
|
|
|
|
*/ |
|
/*&jp |
/*&jp |
¡ú Java ¤Ë´Ø¤¹¤ëÃí°Õ: |
Q. ox_asir ¤ò icon ¤Ç¥¹¥¿¡¼¥È¤¹¤ë¤Ë¤Ï? |
Ãí°Õ 1. |
A. ¼¡¤Î¹Ô¤ò, .Xdefaults ¤Þ¤¿¤Ï, xrdb ¤ÇÆɤ߹þ¤à¥Õ¥¡¥¤¥ë¤Ë½ñ¤¤¤Æ¤ª¤¤Þ¤¹. |
OpenMath ÍѤΠOMproxy ¤Ë¤Ï¸½ºß¤Î¤È¤³¤í, jdk ¤¬É¬ÍפǤ¹. |
|
¤¿¤È¤¨¤Ð bash ¤òÍøÍѤ·¤Æ¤¤¤ë¾ì¹ç, .bashrc ¤Ç |
|
PATH=/usr/local/jdk1.1.8/bin:$PATH |
|
export PATH |
|
¤Ê¤É¤È¤·¤Æ, jdk ¤Î java, javac ¤ò¥µ¡¼¥Á¥Ñ¥¹¤ÎÀè¤Î¤Û¤¦¤Ø¤â¤Ã¤Æ¤¤¤¯¤è¤¦¤Ë¤·¤Æ |
|
¤¯¤À¤µ¤¤. |
|
csh ¤òÍøÍѤ·¤Æ¤¤¤ë¾ì¹ç, .cshrc ¤Ç |
|
set path=(/usr/local/jdk1.1.8/bin $path) |
|
¤È¤·¤Æ, jdk ¤Î java, javac ¤ò¥µ¡¼¥Á¥Ñ¥¹¤Ë¤¤¤ì¤Þ¤¹. |
|
|
|
Ãí°Õ: |
|
¤Ê¤ª, Kaffe 1.0.b4 ¤Î java ¤Ï, class BigInteger ¤Ë method |
|
toByteArray ¤¬´Þ¤Þ¤ì¤Æ¤Ê¤¤¤¿¤á, OpenMath ¥â¥¸¥å¡¼¥ë¤Ç¤Ï»ÈÍѤǤ¤Þ¤»¤ó. |
|
*/ |
*/ |
/*&eg |
/*&eg |
***** JAVA |
Q. How to start ox_asir in the iconic mode? |
In order to use OMproxy, asir client om_*, |
A. Add the following line to .Xdefaults or a file you read by xrdb. |
you need to install JDK. |
|
The bin dir of the JDK must be in yur search path. |
|
For example, you need to add the following line |
|
to your .chsrc when your shell is csh |
|
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 |
|
|
|
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 |
|
|
|
ox_xterm*iconic: on |
|
|
|
|
|
|
*/ |
*/ |
/*&jp |
|
¡ú Æ°ºî´Ä¶ |
|
|
|
*/ |
|
/*&eg |
|
***** SYSTEM REQUIREMENTS |
|
|
|
*/ |
|
/*&C |
|
|
|
OS: FreeBSD 3.3 (Intel CPU), |
|
Linux systems (Intel CPU): |
|
Most Linux with libc5 and with libc6 (glibc 2.x). |
|
|
|
X window system is required. |
|
|
|
Most part of the OpenXM package may work on other versions of |
|
FreeBSD 3.x and Linux, but we have not yet tested. |
|
|
|
*/ |
|
/*&jp |
/*&jp |
|
|
|
Q. Make ¤Ï̵»ö½ªÎ»¤·¤Þ¤¹¤¬, ÅÓÃæ¤Ç¥¨¥é¡¼¤¬¤Ç¤Þ¤¹. |
|
A. |
|
OS ¤Îɸ½àźÉդδĶ°Ê³°¤¬É¬Íפʥ³¥ó¥Ý¡¼¥Í¥ó¥È¤Î¥³¥ó¥Ñ¥¤¥ë¥¨¥é¡¼¤Ï |
|
̵»ë¤µ¤ì¤Þ¤¹. |
¼¡¤Î modules ¤Ï, OS ¤Îɸ½à distribution °Ê³°¤Ë, ¤µ¤é¤Ë²¼¤Ëµ¤·¤¿¥½¥Õ¥È¤ò |
¼¡¤Î modules ¤Ï, OS ¤Îɸ½à distribution °Ê³°¤Ë, ¤µ¤é¤Ë²¼¤Ëµ¤·¤¿¥½¥Õ¥È¤ò |
ɬÍפȤ·¤Þ¤¹. |
ɬÍפȤ·¤Þ¤¹. |
*/ |
*/ |
/*&eg |
/*&eg |
The following modules require the listed softwares other than the standard |
|
OS package. |
Q. Make finishes, but it outputs errors. |
|
A. |
|
Compilation errors due to missing commands other than |
|
standard commands are ignored. |
|
The following modules require the listed software systems |
|
other than the standard OS package. |
*/ |
*/ |
/*&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_* |
(2) OpenXM/lib/java-support : JDK at /usr/local/jdk?? |
(2) OpenXM/lib/OpenMath : JDK |
[ see the section on JAVA] |
|
Asir client functions om_* |
Asir client functions om_* |
sm1 client functions om_* |
sm1 client functions om_* |
(3) PHC pack (OpenXM/bin/phc) and asir client functions |
(3) PHC pack (OpenXM/bin/phc) and asir client functions phc_* |
phc_* run only on linux (glib5). |
phc_* run only on linux. |
If you install the linux emulation^{note 1} on Free BSD, they run on |
If you install the linux emulation on Free BSD, they run on |
FreeBSD, too. |
FreeBSD, too. |
<note 1> |
<note 1> |
Add linux_enable="YES" in /etc/rc.conf |
Add linux_enable="YES" in /etc/rc.conf |
You need the following packages: |
You need the following packages: |
pkg_info | grep linu |
pkg_info | grep linu |
linux_base-5.2 The base set of packages needed in Linux mode |
linux_base-* The base set of packages needed in Linux mode |
linux_devtools-5.2 Packages needed for doing development in Linux mode |
linux_devtools-* Packages needed for doing development in Linux mode |
|
(4) The document generation requires |
|
latex, platex, tex, ptex, dvips, latex2html, texi2html, nkf |
|
|
*/ |
*/ |
|
|
|
|
/*&jp |
/*&jp |
ÆüËܸìÈǤÎÃí°Õ. |
Q. asir ¤Î help message ¤¬ÊÑ. |
Ãí°Õ 1. |
A. |
asir ¤ÇÆüËܸì¤Î¥Ø¥ë¥×¤òÍøÍѤ¹¤ë¤Ë¤Ï, |
asir ¤ÇÆüËܸì¤Î¥Ø¥ë¥×¤òÍøÍѤ¹¤ë¤Ë¤Ï, |
PAGER=jless |
PAGER=jless |
export PAGER |
export PAGER |
¤Ê¤É¤Ç, ÆüËܸì¤ò°·¤¨¤ë PAGER ¤ò»ØÄꤹ¤ëɬÍפ¬¤¢¤ë¤«¤â¤·¤ì¤Þ¤»¤ó. |
¤Ê¤É¤Ç, ÆüËܸì¤ò°·¤¨¤ë PAGER ¤ò»ØÄꤹ¤ëɬÍפ¬¤¢¤ë¤«¤â¤·¤ì¤Þ¤»¤ó. |
*/ |
*/ |
|
|
/*&eg |
/*&C |
|
|
The installation is completed. |
----------------------------------------------------- |
|
|
*/ |
*/ |
/*&jp |
|
|
|
°Ê¾å. |
|
|
|
*/ |
|
|
|
/*&jp |
/*&jp |
¡ú ʸ½ñ |
Q. OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤Îʸ½ñ¤Ï¡© |
|
A. |
OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤Ç¤â¤Ã¤È¤â½¼¼Â¤·¤Æ¤¤¤ë¥¯¥é¥¤¥¢¥ó¥È¤Ï, |
OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤Ç¤â¤Ã¤È¤â½¼¼Â¤·¤Æ¤¤¤ë¥¯¥é¥¤¥¢¥ó¥È¤Ï, |
asir ¤Ç¤¹. |
asir ¤Ç¤¹. |
asir ¤Î¤Ä¤«¤¤¤«¤¿¤Ï |
asir ¤Î¤Ä¤«¤¤¤«¤¿¤Ï |
Line 319 The installation is completed. |
|
Line 268 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 |
Q. Where can I find documents of the OpenXM package. |
|
A. |
The best OpenXM client in the OpenXM package is now |
The main OpenXM client in the OpenXM package is now |
asir. |
asir. |
Documents on asir are |
Documents on asir are |
OpenXM/doc/asir2000/man-eg.dvi |
OpenXM/doc/asir2000/man-eg.dvi |
Line 338 The installation is completed. |
|
Line 296 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. |
|
|
/*&eg |
If you are interested in writing a server for OpenXM in C or Java, |
|
please refer to |
|
OpenXM/src/ox_toolkit and OpenXM/src/OpenMath. |
|
|
|
|
***** A QUICK TOUR OF OPENXM BY ASIR |
|
|
|
*/ |
*/ |
/*&jp |
|
|
|
|
|
¡ú ASIR ¤Ë¤è¤ë»ÈÍÑÎã |
|
|
|
|
|
asir ¤òÆ°ºî¤µ¤»¤ë¤Ë¤Ï, key ¤¬É¬ÍפǤ¹. |
|
OpenXM/lib/asir/asir_key ¤Î¥³¥á¥ó¥È¤Þ¤¿¤Ïµ¯Æ°»þ¤Î¥á¥Ã¥»¡¼¥¸¤ò¤ß¤Æ, |
|
key ¤ò E-mail ¤Ç¤È¤ê¤è¤»¤Æ²¼¤µ¤¤. |
|
|
|
*/ |
|
/*&C |
|
---------------- Call ox_sm1 from asir. |
|
bash-2.03$ asir |
|
This is Risa/Asir, Version 20000120. |
|
Copyright (C) FUJITSU LABORATORIES LIMITED. |
|
1994-1999. All rights reserved. |
|
xm Version 20000116. ox_help(0); ox_help("keyword"); for help message |
|
[269] sm1_genericAnn([x^3-y^2,[s,x,y]]); |
|
/* The annihilating ideal of (x^3-y^2)^s */ |
|
[-2*y*dx-3*x^2*dy,2*x*dx+3*y*dy-6*s] |
|
|
|
|
|
--------------- Call gnuplot from asir. |
|
bash-2.03$ asir |
|
This is Risa/Asir, Version 20000120. |
|
Copyright (C) FUJITSU LABORATORIES LIMITED. |
|
1994-1999. All rights reserved. |
|
xm Version 20000116. ox_help(0); ox_help("keyword"); for help message |
|
[269] gnuplot("plot sin(x);"); |
|
0 |
|
[270] |
|
|
|
*/ |
|
|
|
/*&jp |
|
|
|
¡ú sm1 ¥¯¥é¥¤¥¢¥ó¥È¤ÎÍøÍÑÎã |
|
|
|
*/ |
|
/*&eg |
/*&eg |
|
Q. I want to install only Risa/Asir. |
****** Example of the use of sm1 client |
A. |
|
If you want to generate only Risa/Asir, type in as follows. |
*/ |
*/ |
|
|
/*&C |
|
-------------------------------------- call ox_asir from sm1 |
|
sm1 |
|
(oxasir.sm1) run ; |
|
[(x^20-y^20) (x,y)] fctr pmat ; factorize x^20-y^20 by call ox_asir |
|
|
|
|
|
*/ |
|
|
|
/*&jp |
/*&jp |
[Ãøºî¸¢É½¼¨] |
Q. Risa/Asir ¤Î¤ß install ¤·¤¿¤¤. |
OpenXM/Copyright ¤ò¸æÍ÷¤¯¤À¤µ¤¤. |
A. |
|
Risa/Asir ¤Î¤ß¤òÀ¸À®¤·¤¿¤¤¾ì¹ç¤Ï, ¤Ä¤®¤Î¤è¤¦¤ËÆþÎϤ·¤Þ¤¹. |
*/ |
*/ |
/*&eg |
/*&C |
[COPYRIGHT] |
|
See OpenXM/Copyright. |
|
*/ |
|
|
|
/*&eg |
(cd OpenXM/src ; make install-asir) |
|
(cd OpenXM/rc ; make ) |
|
|
|
|
|
|
***** TO COMPILE FROM A SOURCE ***** |
|
|
|
*/ |
*/ |
/*&jp |
|
|
|
|
|
¡ú OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤Î Make Ë¡ |
|
FreeBSD 2.2.8, FreeBSD 3.3, Linux ¤ÇÆ°ºî¤¹¤ë¤â¤Î¤È´üÂÔ¤·¤Æ¤Þ¤¹. |
|
Linux glib6 ¤Ç¤Ï, ¤¤¤Þ¤Î¤È¤³¤í, /usr/include/features.h |
|
¤Ç #define __FAVOR_BSD 1 ¤·¤Æ¥³¥ó¥Ñ¥¤¥ë¤¹¤ëɬÍפ¬¤¢¤ê¤·¤¿¤¬, |
|
°ìÉô¤Î¥½¡¼¥¹¤ò |
|
-D_BSD_SOURCE option ¤ò¤Ä¤±¤Æ gcc ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤è¤¦¤ËÊѤ¨¤Æ¤Þ¤¹ |
|
(setjmp ¤È sigsetjmp ¤ÎÌäÂê, dirty trick). |
|
|
|
OpenXM, OpenXM_contrib, OpenXM_contrib2 ¤¬É¬ÍפǤ¹. |
|
cvs ¥³¥ß¥Ã¥¿¤Î¾ì¹ç¼¡¤Î¤è¤¦¤Ë¤·¤Æ¥½¡¼¥¹¤ò¤È¤ê¤è¤»¤Þ¤¹. |
|
*/ |
|
/*&eg |
/*&eg |
* How to make OpenXM package? |
Copy the shell script "asir" at OpenXM/rc in your search path, e.g., |
We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux. |
/usr/local/bin or ~/bin |
On Linux glib6, we needed to define |
Or, read OpenXM/rc/dot.bashrc or OpenXM/rc/dot.bashrc by the source |
#define __FAVOR_BSD 1 |
command from your ~/.bashrc or ~/.cshrc. |
in /usr/include/features.h, |
|
but now we are compiling some sources with -D_BSD_SOURCE |
|
(setjmp vs sigsetjmp). |
|
|
|
Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? |
|
If you are a CVS committer, then you can get all sources as follows: |
|
*/ |
*/ |
//&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2 |
|
//&C |
|
//&jp ¤³¤ì¤é¤¬¤½¤í¤Ã¤Æ¤¤¤¿¤é¤¢¤È¤Ï¼¡¤Î¤è¤¦¤ËÆþÎϤ¹¤ë¤À¤±¤Ç¤¹. |
|
//&eg Check that you have these directories, then just type in the following commands |
|
/*&C |
|
|
|
cd OpenXM/src |
|
make configure |
|
make |
|
make install |
|
|
|
*/ |
|
/*&jp ¤Ê¤ª, OpenXM/src/ox_math ¤Î¥³¥ó¥Ñ¥¤¥ë¤ª¤è¤ÓÍøÍÑ¤Ë¤Ï Mathematica ¤¬, |
|
OpenXM/src/OpenMath ¤Î¥³¥ó¥Ñ¥¤¥ë¤ª¤è¤ÓÍøÍÑ¤Ë¤Ï |
|
¤Ë¤Ï, 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. |
|
In order to use and compile OpenXM/src/OpenMath, |
|
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 |
|
|
|
*/ |
|
/*&jp |
/*&jp |
|
OpenXM/rc ¤Î²¼¤Î¥·¥§¥ë¥¹¥¯¥ê¥×¥È "asir" ¤ò¥µ¡¼¥Á¥Ñ¥¹¤Ë¥³¥Ô¡¼¤·¤Æ |
OpenXM_contrib2/asir2000 ¤ÎÇÛÉÛ¤ò¼õ¤±¤Æ¤Ê¤¤¾ì¹ç (¥½¡¼¥¹¥é¥¤¥»¥ó¥¹¤ò |
¤¯¤À¤µ¤¤ (¤¿¤È¤¨¤Ð, /usr/local/bin or ~/bin ¤Ø). |
ÉÙ»ÎÄ̤è¤ê¼õ¤±¤ëɬÍפ¬¤¢¤ê¤Þ¤¹), |
¤Þ¤¿¤Ï OpenXM/rc/dot.bashrc ¤« OpenXM/rc/dot.cshrc ¤ò |
OpenXM/src/Makefile ¤Î³Æ¥â¥¸¥å¡¼¥ë̾ ¤¿¤È¤¨¤Ð |
source ¥³¥Þ¥ó¥É¤Ç ~/.bashrc ¤« ~/.cshrc ¤è¤êÆɤ߹þ¤ó¤Ç¤¯¤À¤µ¤¤. |
make all-kan96xx |
|
¤Ê¤É¤È³Æ¥â¥¸¥å¡¼¥ë̾¤ò»ØÄꤷ¤Æ¥³¥ó¥Ñ¥¤¥ë¤·¤Æ²¼¤µ¤¤. |
|
|
|
¤Þ¤¿¤Ï |
|
OpenXM/src/asir2000 ¤Î Makefile ¤ò Makefile.forSkip ¤ËÃÖ¤´¹¤¨¤Æ |
|
²¼¤µ¤¤. |
|
|
|
*/ |
*/ |
/*&eg |
|
|
|
If you cannot get a source liscence of OpenXM_contrib2/asir2000 |
|
from Fujitsu labs, |
|
compile each modules independently, e.g., |
|
make all-kan96xx |
|
|
|
Or, replace Makefile by Makefile.forSkip in OpenXM/src/asir2000. |
|
|
|
*/ |
|
|
|
/*&jp |
/*&jp |
|
Q. OpenXM ¤Î²¼¤Î¥Õ¥¡¥¤¥ë¹½À®¤Ï¤É¤¦¤Ê¤Ã¤Æ¤¤¤Þ¤¹¤«? |
|
A. |
[OpenXM ²¼¤Î¥Õ¥¡¥¤¥ë¤Î¹½À®¥á¥â] |
[OpenXM ²¼¤Î¥Õ¥¡¥¤¥ë¤Î¹½À®¥á¥â] |
lib/asir ¤Ë¤Ï, asir ¤Î¥é¥¤¥Ö¥é¥ê, ox_asir ËÜÂÎ |
lib/asir ¤Ë¤Ï, asir ¤Î¥é¥¤¥Ö¥é¥ê, ox_asir ËÜÂÎ |
|
|
Line 545 asir ¤¬ ox_sm1_gnuplot ¤òÍøÍѤ¹¤ë¤Î¤ËɬÍפʥե¡¥¤¥ë: |
|
Line 377 asir ¤¬ ox_sm1_gnuplot ¤òÍøÍѤ¹¤ë¤Î¤ËɬÍפʥե¡¥¤¥ë: |
|
bin/gnuplot4ox, bin/gnuplot_x11 (gnuplot ËÜÂÎ, src/gnuplot*) |
bin/gnuplot4ox, bin/gnuplot_x11 (gnuplot ËÜÂÎ, src/gnuplot*) |
|
|
---------------------------------------- |
---------------------------------------- |
[³«È¯¼ÔÍÑ¥á¥â] |
*/ |
|
|
|
/*&jp |
|
Q. debug ¤¹¤ë¤È¤ make install ¤ÏÌÌÅÝ. (³«È¯¼Ô¸þ¤±) |
|
A. |
<< sm1, ox_sm1, ox, oxlog ¤Î debug >> |
<< sm1, ox_sm1, ox, oxlog ¤Î debug >> |
binary file ¤Ï³Æ directory ¤Î make install ¤Ë¤è¤ê |
binary file ¤Ï³Æ directory ¤Î make install ¤Ë¤è¤ê |
OpenXM/bin ¤Ë¥³¥Ô¡¼¤µ¤ì¤Þ¤¹¤¬, |
OpenXM/bin ¤Ë¥³¥Ô¡¼¤µ¤ì¤Þ¤¹¤¬, |
Line 559 OpenXM/src/kan96xx/Kan/sm1 |
|
Line 394 OpenXM/src/kan96xx/Kan/sm1 |
|
OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog |
OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog |
¤Ø¤Î¥·¥ó¥Ü¥ê¥Ã¥¯¥ê¥ó¥¯¤¬ºîÀ®¤µ¤ì¤Þ¤¹. |
¤Ø¤Î¥·¥ó¥Ü¥ê¥Ã¥¯¥ê¥ó¥¯¤¬ºîÀ®¤µ¤ì¤Þ¤¹. |
|
|
[CVS¥³¥ß¥Ã¥¿ÍÑ¥á¥â] |
Q. << OpenXM ¥Ç¥£¥ì¥¯¥È¥êÇÛÉÛÈǤκîÀ®ÊýË¡ >> |
<< OpenXM ¥Ç¥£¥ì¥¯¥È¥êÇÛÉÛÈǤκîÀ®ÊýË¡ >> |
A. |
|
|
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 |
Line 572 cd OpenXM/src ; make generate-source-distribution |
|
Line 408 cd OpenXM/src ; make generate-source-distribution |
|
|
|
*/ |
*/ |
/*&jp |
/*&jp |
|
Q. Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¬¤¦¤Þ¤¯¤¤¤¤Þ¤»¤ó. |
¡ú Solaris ¤Ë´Ø¤¹¤ëÃí°Õ. |
A. |
Solaris ¤Ç¤Ï¤Þ¤ÀÌäÂ꤬»³ÀѤ·¤Æ¤Þ¤¹. |
Solaris ¤Ç¤Ï¤Þ¤ÀÌäÂ꤬»³ÀѤ·¤Æ¤Þ¤¹. |
Solaris ¤Ç¤Î make ¤ÎÌäÂêÅÀ¤Ë¤Ä¤¤¤Æ¤Ï, OpenXM/doc/OpenXM-FAQ-jp.txt |
Solaris ¤Ç¤Î make ¤ÎÌäÂêÅÀ¤Ë¤Ä¤¤¤Æ¤Ï, OpenXM/doc/OpenXM-FAQ-jp.txt |
¤ò¸«¤Æ¤¯¤À¤µ¤¤. |
¤ò¸«¤Æ¤¯¤À¤µ¤¤. |
Line 582 Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥ |
|
Line 418 Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥ |
|
|
|
*/ |
*/ |
/*&eg |
/*&eg |
***** COMPILE ON SOLARIS |
Q. I cannot make on Solaris. |
|
A. |
There are a lot of troubles on Solaris for now. |
There are a lot of troubles on Solaris for now. |
At least, |
At least, |
/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 |
Line 590 Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥ |
|
Line 427 Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥ |
|
*/ |
*/ |
|
|
|
|
/*&C |
|
|
|
*/ |
|