| version 1.14, 2000/01/21 08:30:35 |
version 1.47, 2003/09/03 00:20:39 |
|
|
| %% $OpenXM: OpenXM/doc/install.oxweave,v 1.13 2000/01/21 08:23:44 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.46 2003/02/14 03:32:44 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 |
| |
|
| OpenXM package : Getting started. |
|
| |
|
| */ |
*/ |
| |
|
| /*&jp |
/*&jp |
| ¡ú OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤ÎÍøÍÑÊýË¡ |
|
| ¤³¤ÎÀá¤Ç¤Ï, OpenXM package binary distribution ¤Î¥¤¥ó¥¹¥È¡¼¥ëË¡¤òÀâÌÀ¤·¤Þ¤¹. |
|
| ¥¤¥ó¥¹¥È¡¼¥ë¤ËɬÍפʥ·¥¹¥Æ¥à¤Î»ÅÍͤˤĤ¤¤Æ¤Ï, ưºî´Ä¶¤ò¸æÍ÷¤¯¤À¤µ¤¤. |
|
| */ |
|
| /*&eg |
|
| ***** HOW TO USE OpenXM 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 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-binary-OPERATING_SYSTEM_CPU_TYPE.tgz |
|
| |
|
| */ |
----------- An instruction for a quick installation from the source code --- |
| /*&jp |
(cd OpenXM/src ; make install) |
| °Ê²¼ (1) ¤ÇÀ¸À®¤µ¤ì¤¿¥Ç¥£¥ì¥¯¥È¥ê OpenXM ¤ÎÀäÂХѥ¹¤ò /xxx/yyy/OpenXM |
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. |
| |
|
| */ |
|
| /*&eg |
|
| In the sequel, we will denote the absolute path of the directory OpenXM |
|
| by /xxx/yyy/OpenXM. |
|
| |
|
| */ |
*/ |
| |
|
| |
|
| /*&jp |
/*&jp |
| (2) ¼¡¤Î¤è¤¦¤ËÆþÎϤ·¤Æ OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc |
|
| ¥Õ¥¡¥¤¥ë¤ò¼«Æ°À¸À®¤·¤Þ¤¹. |
|
| ¤³¤ì¤é¤Î¥Õ¥¡¥¤¥ë¤Ë¤Ï, OpenXM/bin ¤Î¥Õ¥¡¥¤¥ë¤ò¼Â¹Ô¤¹¤ë¤¿¤á¤Î |
|
| ´Ä¶ÊÑ¿ô¤¬ÄêµÁ¤µ¤ì¤Æ¤¤¤Þ¤¹. |
|
| |
|
| |
|
| |
------- 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 |
| (2) Generate OpenXM/rc/dot.cshrc and OpenXM/rc/dot.bashrc |
|
| by the following command. |
|
| Environmental variables to execute commands in OpenXM/bin |
|
| are defined in these files. |
|
| |
|
| */ |
------- If you need only asir and kan, |
| /*&C |
(cd OpenXM/src ; make install-asir2000 ; make install-k097 ) |
| |
You will get only asir and kan/sm1. |
| |
(cd OpenXM/rc ; make install) |
| |
|
| cd /xxx/yyy/OpenXM/rc |
------------------------------------------- |
| make |
Risa/Asir with asir-contrib is the main client system in the OpenXM project. |
| |
You can start Risa/Asir by the command "asir", which is called |
| |
OpenXM/Risa/Asir. |
| |
It is build by (cd OpenXM/src ; make install-asir-contrib) |
| |
The manual of Risa/Asir and Asir-contrib can be found in the |
| |
OpenXM/doc directory and http://www.openxm.org |
| |
|
| |
|
| */ |
*/ |
| |
|
| /*&jp |
/*&jp |
| (3) csh ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤ò ~/.cshrc ¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. |
|
| |
|
| |
|
| |
----------- ´ö¤Ä¤«²òÀâ ------------------ |
| |
|
| |
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, asir, oxmath ¤Ê¤É¤Ï OpenXM ¥¯¥é¥¤¥¢¥ó¥È¤òµ¯Æ°¤¹¤ë¤¿¤á¤Î |
| |
¥·¥¨¥ë¥¹¥¯¥ê¥×¥È¤Ç¤¹. ¤³¤ì¤é¤ò /usr/local/bin ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤¹¤ë¤Ë¤Ï |
| |
¼¡¤Î¤è¤¦¤ËÆþÎϤ·¤Þ¤¹. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| (3) Append the following line to the end of ~/.cshrc when you are |
|
| using csh as your shell. |
|
| |
|
| |
----------- 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, ... |
| |
The files openxm, asir, oxmath are shell scripts to invoke OpenXM clients. |
| |
If you want to install these shell scripts to /usr/local/bin, |
| |
type in as follows. |
| |
|
| */ |
*/ |
| /*&C |
/*&C |
| |
|
| source /xxx/yyy/OpenXM/rc/dot.cshrc |
cd OpenXM/rc |
| |
make install |
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| (3') bash ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤ò ~/.bashrc ¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. |
|
| |
|
| |
/usr/local/bin ¤Ç¤Ê¤¯, home directory ¤Î bin ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤·¤¿¤¤ |
| |
¤È¤¤Ï, ¼¡¤Î¤è¤¦¤ËÆþÎϤ·¤Æ¤¯¤À¤µ¤¤. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| (3') Append the following line to the end of ~/.bashrc when you are |
|
| using bash as your shell. |
If you want to install them under the bin of your home directory, |
| |
type in as follows. |
| |
|
| */ |
*/ |
| /*&C |
/*&C |
| |
|
| source /xxx/yyy/OpenXM/rc/dot.bash |
cd OpenXM/rc |
| |
make install PREFIX=$HOME/bin |
| |
|
| */ |
*/ |
| |
/*&C |
| |
|
| /*&jp |
[Note] If you are Solaris user, you might have to type in like |
| |
/usr/ccs/bin/make install PREFIX=$HOME/bin |
| |
|
| (3) ¤Þ¤¿¤Ï (3') ¤ò½ªÎ»¤·¤¿¤é, ¤¤¤Ã¤¿¤ó logout ¤·¤Æ login ¤·¤Ê¤ª¤¹¤« |
|
| ¤Þ¤¿¤Ï, source ¥³¥Þ¥ó¥É¤Ç, dot.bash ¤Þ¤¿¤Ï dot.csh ¤òÆÉ¤ß¹þ¤ó¤Ç²¼¤µ¤¤. |
|
| |
|
| */ |
*/ |
| /*&eg |
/*&jp |
| |
|
| After finishing the step (3) or (3'), logout and login again, |
|
| or read dot.bash or dot.cshrc file by the source command. |
|
| |
|
| */ |
Q. OpenXM/bin ¤Î²¼¤Î¥Õ¥¡¥¤¥ë¤òľÀܼ¹ԤǤ¤ë¤è¤¦¤Ë¤·¤¿¤¤. |
| |
A. |
| |
OpenXM/bin ¤Î²¼¤Î¥Õ¥¡¥¤¥ë¤òľÀܼ¹Ԥ·¤¿¤¤¾ì¹ç¤Ï, °Ê²¼¤ÎÀßÄ꤬ɬÍפǤ¹. |
| |
|
| |
# csh ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤ò ~/.cshrc ¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. |
| |
|
| //&C |
|
| //&jp (4) asir ¤ÎÍøÍÑ¤Ë¤Ï key ¤¬É¬ÍפǤ¹. |
|
| //&eg (4) You need a key to use asir. |
|
| //&C |
|
| /*&jp |
|
| asir ¤Îµ¯Æ°»þ¤Î¥á¥Ã¥»¡¼¥¸¤Þ¤¿¤Ï OpenXM/lib/asir/asir_key ¤ò |
|
| »²¾È¤·¤Æ, key ¤ò¼èÆÀ¤·¤Æ²¼¤µ¤¤ (¿ôÉä·¤«¤«¤«¤ê¤Þ¤»¤ó). |
|
| |
|
| */ |
*/ |
| /*&eg |
/*&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). |
|
| |
|
| */ |
Q. I want to execute binaries under OpenXM/bin |
| |
A. |
| |
If you want to execute binaries under OpenXM/bin, you need to do |
| |
the following. |
| |
|
| /*&C |
|
| |
|
| ***** QUALITY: |
# Append the following line to the end of ~/.cshrc when you are |
| the following modules and functions have still experimental qualities: |
using csh as your shell. |
| 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 |
/*&C |
| |
|
| |
source OpenXM/rc/dot.cshrc |
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| ¡ú Java ¤Ë´Ø¤¹¤ëÃí°Õ: |
# bash ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤½¤ì¤¾¤ì¤ò ~/.bashrc ¤ª¤è¤Ó ~/.bash_profile |
| Ãí°Õ 1. |
¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. |
| 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 ¤ò¥µ¡¼¥Á¥Ñ¥¹¤Ë¤¤¤ì¤Þ¤¹. |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| ***** JAVA |
# Append the following lines to the end of ~/.bashrc and ~/.bash_profile |
| In order to use OMproxy, asir client om_*, |
respectively when you are using bash as your shell. |
| 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 |
|
| */ |
|
| |
|
| |
*/ |
| /*&C |
/*&C |
| |
|
| |
source OpenXM/rc/dot.bashrc (.bashrc) |
| |
|
| |
source ~/.bashrc (.bash_profile) |
| |
|
| |
|
| */ |
*/ |
| /*&jp |
|
| ¡ú ưºî´Ä¶ |
|
| |
|
| |
|
| |
/*&jp |
| |
Q. ox_asir ¤ò icon ¤Ç¥¹¥¿¡¼¥È¤¹¤ë¤Ë¤Ï? |
| |
A. ¼¡¤Î¹Ô¤ò, .Xdefaults ¤Þ¤¿¤Ï, xrdb ¤ÇÆÉ¤ß¹þ¤à¥Õ¥¡¥¤¥ë¤Ë½ñ¤¤¤Æ¤ª¤¤Þ¤¹. |
| */ |
*/ |
| /*&eg |
/*&eg |
| ***** SYSTEM REQUIREMENTS |
Q. How to start ox_asir in the iconic mode? |
| |
A. Add the following line to .Xdefaults or a file you read by xrdb. |
| */ |
*/ |
| /*&C |
/*&C |
| |
|
| OS: FreeBSD 3.3 (Intel CPU), |
ox_xterm*iconic: on |
| Linux systems (Intel CPU): |
|
| Plamo Linux on Linux 2.0.33, glibc5, |
|
| |
|
| 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 262 The installation is completed. |
|
| Line 270 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 281 The installation is completed. |
|
| Line 298 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 ¤·¤Æ¥³¥ó¥Ñ¥¤¥ë¤¹¤ëɬÍפ¬¤¢¤ê¤Þ¤¹. |
|
| (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, you need 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 |
|
| (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. |
|
| */ |
|
| /*&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 |
|
| ¤Ê¤É¤È³Æ¥â¥¸¥å¡¼¥ë̾¤ò»ØÄꤷ¤Æ¥³¥ó¥Ñ¥¤¥ë¤·¤Æ²¼¤µ¤¤. |
|
| |
|
| */ |
*/ |
| /*&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 |
| |
Q. OpenXM ¤Î²¼¤Î¥Õ¥¡¥¤¥ë¹½À®¤Ï¤É¤¦¤Ê¤Ã¤Æ¤¤¤Þ¤¹¤«? |
| |
A. |
| [OpenXM ²¼¤Î¥Õ¥¡¥¤¥ë¤Î¹½À®¥á¥â] |
[OpenXM ²¼¤Î¥Õ¥¡¥¤¥ë¤Î¹½À®¥á¥â] |
| lib/asir ¤Ë¤Ï, asir ¤Î¥é¥¤¥Ö¥é¥ê, ox_asir ËÜÂÎ |
lib/asir ¤Ë¤Ï, asir ¤Î¥é¥¤¥Ö¥é¥ê, ox_asir ËÜÂÎ |
| |
|
| Line 476 asir ¤¬ ox_sm1_gnuplot ¤òÍøÍѤ¹¤ë¤Î¤ËɬÍפʥե¡¥¤¥ë: |
|
| Line 379 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 490 OpenXM/src/kan96xx/Kan/sm1 |
|
| Line 396 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 |
| |
cd OpenXM/src ; make generate-source-distribution |
| ¤·¤Æ, OpenXM, OpenXM_contrib, OpenXM_contrib2 Á´ÂΤò tar+gzip. |
¤·¤Æ, OpenXM, OpenXM_contrib, OpenXM_contrib2 Á´ÂΤò tar+gzip. |
| */ |
*/ |
| |
|
| Line 502 rcvs export -rHEAD OpenXM_contrib2 |
|
| Line 410 rcvs export -rHEAD OpenXM_contrib2 |
|
| |
|
| */ |
*/ |
| /*&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 512 Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥ |
|
| Line 420 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 520 Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥ |
|
| Line 429 Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥ |
|
| */ |
*/ |
| |
|
| |
|
| /*&C |
|
| |
|
| */ |
|