version 1.9, 2000/01/20 08:21:50 |
version 1.46, 2003/02/14 03:32:44 |
|
|
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.8 2000/01/20 07:25:25 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 |
|
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 configure ; make install) |
|
¥Ð¥¤¥Ê¥ê¤È¥é¥¤¥Ö¥é¥ê¤È¥É¥¥å¥á¥ó¥ÈÎà¤Ï |
|
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. |
|
|
|
*/ |
|
/*&C |
|
tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz |
|
|
|
|
----------- An instruction for a quick installation from the source code --- |
|
(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 |
|
¥Õ¥¡¥¤¥ë¤ò¼«Æ°À¸À®¤·¤Þ¤¹. |
|
¤³¤ì¤é¤Î¥Õ¥¡¥¤¥ë¤Ë¤Ï, OpenXM/bin ¤Î¥Õ¥¡¥¤¥ë¤ò¼Â¹Ô¤¹¤ë¤¿¤á¤Î |
|
´Ä¶ÊÑ¿ô¤¬ÄêµÁ¤µ¤ì¤Æ¤¤¤Þ¤¹. |
|
|
|
|
|
|
----------- ´ö¤Ä¤«²òÀâ ------------------ |
|
|
|
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 |
(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. |
|
|
|
|
----------- 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 |
|
|
cd /xxx/yyy/OpenXM/rc |
cd OpenXM/rc |
make |
make install |
|
|
*/ |
*/ |
/*&jp |
/*&jp |
(3) csh ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤ò ~/.cshrc ¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. |
|
|
|
|
/usr/local/bin ¤Ç¤Ê¤¯, home directory ¤Î bin ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤·¤¿¤¤ |
|
¤È¤¤Ï, ¼¡¤Î¤è¤¦¤ËÆþÎϤ·¤Æ¤¯¤À¤µ¤¤. |
|
|
*/ |
*/ |
/*&eg |
/*&eg |
(3) Append the following line to the end of ~/.cshrc when you are |
|
using csh 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.cshrc |
cd OpenXM/rc |
|
make install PREFIX=$HOME/bin |
|
|
*/ |
*/ |
/*&jp |
/*&C |
(3') bash ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤ò ~/.bashrc ¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. |
|
|
|
*/ |
[Note] If you are Solaris user, you might have to type in like |
/*&eg |
/usr/ccs/bin/make install PREFIX=$HOME/bin |
(3') Append the following line to the end of ~/.bashrc when you are |
|
using bash as your shell. |
|
|
|
*/ |
*/ |
/*&C |
/*&jp |
|
|
source /xxx/yyy/OpenXM/rc/dot.bash |
Q. OpenXM/bin ¤Î²¼¤Î¥Õ¥¡¥¤¥ë¤òľÀܼ¹ԤǤ¤ë¤è¤¦¤Ë¤·¤¿¤¤. |
|
A. |
|
OpenXM/bin ¤Î²¼¤Î¥Õ¥¡¥¤¥ë¤òľÀܼ¹Ԥ·¤¿¤¤¾ì¹ç¤Ï, °Ê²¼¤ÎÀßÄ꤬ɬÍפǤ¹. |
|
|
|
# csh ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤ò ~/.cshrc ¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. |
|
|
*/ |
*/ |
|
/*&eg |
|
|
//&C |
Q. I want to execute binaries under OpenXM/bin |
//&jp (4) asir ¤ÎÍøÍÑ¤Ë¤Ï key ¤¬É¬ÍפǤ¹. °Ê²¼¤Î¥Õ¥¡¥¤¥ë¤ò¸æÍ÷¤¯¤À¤µ¤¤. |
A. |
//&eg (5) You need key to use asir. See the following file: |
If you want to execute binaries under OpenXM/bin, you need to do |
//&C OpenXM/lib/asir/asir_key |
the following. |
//&C |
|
|
|
/*&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) |
|
*/ |
*/ |
/*&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 ¤Î 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 |
|
set path=(/usr/local/jdk1.1.8/bin $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, |
ox_xterm*iconic: on |
Linux systems (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 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 226 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 245 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 |
|
|
|
|
/*&eg |
¡ú ASIR ¤Ë¤è¤ë»ÈÍÑÎã |
Q. I want to install only Risa/Asir. |
|
A. |
|
If you want to generate only Risa/Asir, type in as follows. |
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 |
/*&jp |
|
Q. Risa/Asir ¤Î¤ß install ¤·¤¿¤¤. |
--------------- Îã : asir ¤è¤ê tigers ¤ò¸Æ¤Ó½Ð¤¹. |
A. |
asir |
Risa/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 |
|
sm1 |
|
(oxasir.sm1) run ; |
|
[(x^20-y^20) (x,y)] fctr pmat ; factorize x^20-y^20 by call ox_asir |
|
|
|
|
(cd OpenXM/src ; make install-asir) |
|
(cd OpenXM/rc ; make ) |
|
|
*/ |
*/ |
|
|
/*&jp |
|
[Ãøºî¸¢É½¼¨] |
|
OpenXM/Copyright ¤ò¸æÍ÷¤¯¤À¤µ¤¤. |
|
*/ |
|
/*&eg |
/*&eg |
[COPYRIGHT] |
Copy the shell script "asir" at OpenXM/rc in your search path, e.g., |
See OpenXM/Copyright. |
/usr/local/bin or ~/bin |
|
Or, read OpenXM/rc/dot.bashrc or OpenXM/rc/dot.bashrc by the source |
|
command from your ~/.bashrc or ~/.cshrc. |
*/ |
*/ |
|
|
/*&eg |
|
|
|
|
|
|
|
***** TO COMPILE FROM A SOURCE ***** |
|
|
|
*/ |
|
/*&jp |
/*&jp |
|
OpenXM/rc ¤Î²¼¤Î¥·¥§¥ë¥¹¥¯¥ê¥×¥È "asir" ¤ò¥µ¡¼¥Á¥Ñ¥¹¤Ë¥³¥Ô¡¼¤·¤Æ |
|
¤¯¤À¤µ¤¤ (¤¿¤È¤¨¤Ð, /usr/local/bin or ~/bin ¤Ø). |
¡ú OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤Î Make Ë¡ |
¤Þ¤¿¤Ï OpenXM/rc/dot.bashrc ¤« OpenXM/rc/dot.cshrc ¤ò |
FreeBSD 2.2.8, FreeBSD 3.3, Linux ¤ÇÆ°ºî¤¹¤ë¤â¤Î¤È´üÂÔ¤·¤Æ¤Þ¤¹. |
source ¥³¥Þ¥ó¥É¤Ç ~/.bashrc ¤« ~/.cshrc ¤è¤êÆɤ߹þ¤ó¤Ç¤¯¤À¤µ¤¤. |
Linux glib6 ¤Ç¤Ï, ¤¤¤Þ¤Î¤È¤³¤í, /usr/include/features.h |
|
¤Ç #define __FAVOR_BSD 1 ¤·¤Æ¥³¥ó¥Ñ¥¤¥ë¤¹¤ëɬÍפ¬¤¢¤ê¤Þ¤¹. |
|
(setjmp ¤È sigsetjmp ¤ÎÌäÂê, dirty trick) |
|
|
|
OpenXM, OpenXM_contrib, OpenXM_contrib2 ¤¬É¬ÍפǤ¹. |
|
cvs ¥³¥ß¥Ã¥¿¤Î¾ì¹ç¼¡¤Î¤è¤¦¤Ë¤·¤Æ¥½¡¼¥¹¤ò¤È¤ê¤è¤»¤Þ¤¹. |
|
*/ |
*/ |
/*&eg |
|
* How to make OpenXM package? |
|
We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux. |
|
On Linux glib6, you need to define |
|
#define __FAVOR_BSD 1 |
|
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 ´Ä¶) ¤¬É¬ÍפǤ¹. |
|
*/ |
|
/*&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). |
|
*/ |
|
/*&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 |
|
Q. OpenXM ¤Î²¼¤Î¥Õ¥¡¥¤¥ë¹½À®¤Ï¤É¤¦¤Ê¤Ã¤Æ¤¤¤Þ¤¹¤«? |
|
A. |
[OpenXM ²¼¤Î¥Õ¥¡¥¤¥ë¤Î¹½À®¥á¥â] |
[OpenXM ²¼¤Î¥Õ¥¡¥¤¥ë¤Î¹½À®¥á¥â] |
lib/asir ¤Ë¤Ï, asir ¤Î¥é¥¤¥Ö¥é¥ê, ox_asir ËÜÂÎ |
lib/asir ¤Ë¤Ï, asir ¤Î¥é¥¤¥Ö¥é¥ê, ox_asir ËÜÂÎ |
|
|
Line 438 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 452 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 |
|
cd OpenXM/src ; make generate-source-distribution |
¤·¤Æ, OpenXM, OpenXM_contrib, OpenXM_contrib2 Á´ÂΤò tar+gzip. |
¤·¤Æ, OpenXM, OpenXM_contrib, OpenXM_contrib2 Á´ÂΤò tar+gzip. |
*/ |
*/ |
|
|
Line 464 rcvs export -rHEAD OpenXM_contrib2 |
|
Line 408 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 474 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 482 Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥ |
|
Line 427 Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥ |
|
*/ |
*/ |
|
|
|
|
/*&C |
|
|
|
*/ |
|