=================================================================== RCS file: /home/cvs/OpenXM/doc/install.oxweave,v retrieving revision 1.20 retrieving revision 1.47 diff -u -p -r1.20 -r1.47 --- OpenXM/doc/install.oxweave 2000/02/01 05:18:28 1.20 +++ OpenXM/doc/install.oxweave 2003/09/03 00:20:39 1.47 @@ -1,279 +1,261 @@ -%% $OpenXM: OpenXM/doc/install.oxweave,v 1.19 2000/01/27 01:13:17 takayama Exp $ +%% $OpenXM: OpenXM/doc/install.oxweave,v 1.46 2003/02/14 03:32:44 takayama Exp $ OpenXM/doc/install.oxweave /*&C + OpenXM URL : http://www.math.kobe-u.ac.jp/OpenXM -Consult firstly the ERRATA section for your release on this web cite -for troubles. + http://www.openxm.org -OpenXM package : Getting started. - */ + /*&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 ¤Ï¤É¤³¤Ë¤ª¤¤¤Æ¤â¤«¤Þ¤¤¤Þ¤»¤ó. ¥ë¡¼¥È¤Ë¤Ê¤Ã¤Æ¥¤¥ó¥¹¥È¡¼¥ë - ¤¹¤ëɬÍפ⤢¤ê¤Þ¤»¤ó. - ¤Ç¤­¤ì¤Ð, /usr/local/OpenXM ¤Ë¤ª¤¤¤Æ¤Û¤·¤¤¤È»×¤¤¤Þ¤¹. - +------------ ¥½¡¼¥¹¤«¤é¥³¥ó¥Ñ¥¤¥ë¤·¤Æ¥¤¥ó¥¹¥È¡¼¥ë¤¹¤ëÊýË¡ ---- +(cd OpenXM/src ; make install) + ¥Ð¥¤¥Ê¥ê¤È¥é¥¤¥Ö¥é¥ê¤È¥É¥­¥å¥á¥ó¥ÈÎà¤Ï + OpenXM/bin, OpenXM/lib, OpenXM/doc + ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤µ¤ì¤Þ¤¹. +(cd OpenXM/rc ; make install) + "asir", "sm1", ... ¤Ê¤É¤Î¥·¥§¥ë¥¹¥¯¥ê¥×¥È¤¬À¸À®¤µ¤ì¤Æ + /usr/local/bin + ¤Ë¥³¥Ô¡¼¤µ¤ì¤Þ¤¹. + ¤³¤ÎÉôʬ¤Ï root ¤Ç¼Â¹Ô¤·¤Æ¤¯¤À¤µ¤¤. + */ + /*&eg -(1) Extract the directory OpenXM from the tar ball. - 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 +OpenXM package : Getting started. -*/ -/*&C - tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz -*/ -/*&jp -°Ê²¼ (1) ¤ÇÀ¸À®¤µ¤ì¤¿¥Ç¥£¥ì¥¯¥È¥ê OpenXM ¤ÎÀäÂХѥ¹¤ò /xxx/yyy/OpenXM -¤È½ñ¤­¤Þ¤¹. +----------- An instruction for a quick installation from the source code --- +(cd OpenXM/src ; 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. -*/ -/*&eg -In the sequel, we will denote the absolute path of the directory OpenXM -by /xxx/yyy/OpenXM. */ + + /*&jp -(2) ¼¡¤Î¤è¤¦¤ËÆþÎϤ·¤Æ OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc, - OpenXM/rc/openxm - ¥Õ¥¡¥¤¥ë¤ò¼«Æ°À¸À®¤·¤Þ¤¹. - ¤³¤ì¤é¤Î¥Õ¥¡¥¤¥ë¤Ë¤Ï, 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 -(2) Generate OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and - OpenXM/rc/openxm - by the following command. - Environmental variables to execute commands in OpenXM/bin - are defined in these files. -*/ -/*&C +------- If you need only asir and kan, +(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 -(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 -(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 - source /xxx/yyy/OpenXM/rc/dot.cshrc + cd OpenXM/rc + make install */ /*&jp -(3') bash ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤ò ~/.bashrc ¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. + /usr/local/bin ¤Ç¤Ê¤¯, home directory ¤Î bin ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤·¤¿¤¤ + ¤È¤­¤Ï, ¼¡¤Î¤è¤¦¤ËÆþÎϤ·¤Æ¤¯¤À¤µ¤¤. + */ /*&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 - source /xxx/yyy/OpenXM/rc/dot.bashrc + 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.bashrc ¤Þ¤¿¤Ï dot.csh ¤òÆɤ߹þ¤ó¤Ç²¼¤µ¤¤. - (3) ¤Þ¤¿¤Ï (3') ¤ò¤ä¤é¤Ê¤¤¤È¤¤¤¦ÁªÂò¤â¤¢¤ê¤Þ¤¹. - ¤³¤Î¾ì¹ç, ¥·¥§¥ë¥¹¥¯¥ê¥×¥È - OpenXM/rc/openxm ¤ò ¥³¥Þ¥ó¥É¥µ¡¼¥Á¥Ñ¥¹¤Ë°Ü¤·, - OpenXM/bin °Ê²¼¤ÎÁ´¤Æ¤Î¥³¥Þ¥ó¥É¤Î¼Â¹Ô¤Ï, - openxm ¥³¥Þ¥ó¥É̾ - ¤È¤¤¤¦·Á¤Ç¸Æ¤Ó½Ð¤·¤Þ¤¹. - ¤¿¤È¤¨¤Ð, openxm asir ¤È¤« openxm sm1 ¤È¤¤¤¦·Á¤Ç¤è¤Ó¤À¤·¤Þ¤¹. - */ -/*&eg - - After finishing the step (3) or (3'), logout and login again, - 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. +/*&jp -*/ +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 - 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: - 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. + # Append the following line to the end of ~/.cshrc when you are + using csh as your shell. + */ /*&C + source OpenXM/rc/dot.cshrc */ /*&jp -¡ú Java ¤Ë´Ø¤¹¤ëÃí°Õ: -Ãí°Õ 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 ¤ò¥µ¡¼¥Á¥Ñ¥¹¤Ë¤¤¤ì¤Þ¤¹. + # bash ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤½¤ì¤¾¤ì¤ò ~/.bashrc ¤ª¤è¤Ó ~/.bash_profile +¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. -Ãí°Õ: -¤Ê¤ª, Kaffe 1.0.b4 ¤Î java ¤Ï, class BigInteger ¤Ë method -toByteArray ¤¬´Þ¤Þ¤ì¤Æ¤Ê¤¤¤¿¤á, OpenMath ¥â¥¸¥å¡¼¥ë¤Ç¤Ï»ÈÍѤǤ­¤Þ¤»¤ó. */ /*&eg -***** JAVA -In order to use OMproxy, asir client om_*, -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 + # Append the following lines to the end of ~/.bashrc and ~/.bash_profile + respectively when you are using bash as your shell. -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 + source OpenXM/rc/dot.bashrc (.bashrc) + source ~/.bashrc (.bash_profile) - */ -/*&jp -¡ú Æ°ºî´Ä¶­ + +/*&jp +Q. ox_asir ¤ò icon ¤Ç¥¹¥¿¡¼¥È¤¹¤ë¤Ë¤Ï? +A. ¼¡¤Î¹Ô¤ò, .Xdefaults ¤Þ¤¿¤Ï, xrdb ¤ÇÆɤ߹þ¤à¥Õ¥¡¥¤¥ë¤Ë½ñ¤¤¤Æ¤ª¤­¤Þ¤¹. */ /*&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 -OS: FreeBSD 3.3 (Intel CPU), - Linux systems (Intel CPU): - Most Linux with libc5 and with libc6 (glibc 2.x). + ox_xterm*iconic: on - 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 + +Q. Make ¤Ï̵»ö½ªÎ»¤·¤Þ¤¹¤¬, ÅÓÃæ¤Ç¥¨¥é¡¼¤¬¤Ç¤Þ¤¹. +A. +OS ¤Îɸ½àźÉդδĶ­°Ê³°¤¬É¬Íפʥ³¥ó¥Ý¡¼¥Í¥ó¥È¤Î¥³¥ó¥Ñ¥¤¥ë¥¨¥é¡¼¤Ï +̵»ë¤µ¤ì¤Þ¤¹. ¼¡¤Î modules ¤Ï, OS ¤Îɸ½à distribution °Ê³°¤Ë, ¤µ¤é¤Ë²¼¤Ëµ­¤·¤¿¥½¥Õ¥È¤ò ɬÍפȤ·¤Þ¤¹. */ /*&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 -(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 OpenXM/bin/math2ox [ see http://www.wolfram.com ] Asir client functions m_* -(2) OpenXM/lib/java-support : JDK at /usr/local/jdk?? - [ see the section on JAVA] +(2) OpenXM/lib/OpenMath : JDK + Asir client functions om_* sm1 client functions om_* -(3) PHC pack (OpenXM/bin/phc) and asir client functions - phc_* run only on linux (glib5). - If you install the linux emulation^{note 1} on Free BSD, they run on +(3) PHC pack (OpenXM/bin/phc) and asir client functions phc_* + phc_* run only on linux. + If you install the linux emulation on Free BSD, they run on FreeBSD, too. Add linux_enable="YES" in /etc/rc.conf You need the following packages: pkg_info | grep linu - linux_base-5.2 The base set of packages needed in Linux mode - linux_devtools-5.2 Packages needed for doing development in Linux mode + linux_base-* The base set of packages needed 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 -ÆüËܸìÈǤÎÃí°Õ. -Ãí°Õ 1. +Q. asir ¤Î help message ¤¬ÊÑ. +A. asir ¤ÇÆüËܸì¤Î¥Ø¥ë¥×¤òÍøÍѤ¹¤ë¤Ë¤Ï, PAGER=jless export PAGER ¤Ê¤É¤Ç, ÆüËܸì¤ò°·¤¨¤ë PAGER ¤ò»ØÄꤹ¤ëɬÍפ¬¤¢¤ë¤«¤â¤·¤ì¤Þ¤»¤ó. */ -/*&eg +/*&C -The installation is completed. +----------------------------------------------------- */ -/*&jp -°Ê¾å. - -*/ - /*&jp -¡ú ʸ½ñ - +Q. OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤Îʸ½ñ¤Ï¡© +A. OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤Ç¤â¤Ã¤È¤â½¼¼Â¤·¤Æ¤¤¤ë¥¯¥é¥¤¥¢¥ó¥È¤Ï, asir ¤Ç¤¹. asir ¤Î¤Ä¤«¤¤¤«¤¿¤Ï @@ -288,11 +270,20 @@ The installation is completed. ¤ò¸«¤Æ²¼¤µ¤¤. 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 -***** DOCUMENTS - - The best OpenXM client in the OpenXM package is now +Q. Where can I find documents of the OpenXM package. +A. + The main OpenXM client in the OpenXM package is now asir. Documents on asir are OpenXM/doc/asir2000/man-eg.dvi @@ -307,170 +298,50 @@ The installation is completed. Dvi files can be previewed by xdvi and 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 - -****** Example of the use of sm1 client - +Q. I want to install only Risa/Asir. +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 -[Ãøºî¸¢É½¼¨] -OpenXM/Copyright ¤ò¸æÍ÷¤¯¤À¤µ¤¤. +Q. Risa/Asir ¤Î¤ß install ¤·¤¿¤¤. +A. + Risa/Asir ¤Î¤ß¤òÀ¸À®¤·¤¿¤¤¾ì¹ç¤Ï, ¤Ä¤®¤Î¤è¤¦¤ËÆþÎϤ·¤Þ¤¹. */ -/*&eg -[COPYRIGHT] -See OpenXM/Copyright. -*/ +/*&C -/*&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 -* How to make OpenXM package? - We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux. - On Linux glib6, we needed to define - #define __FAVOR_BSD 1 - 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: + Copy the shell script "asir" at OpenXM/rc in your search path, e.g., + /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. */ -//&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 - - OpenXM_contrib2/asir2000 ¤ÎÇÛÉÛ¤ò¼õ¤±¤Æ¤Ê¤¤¾ì¹ç (¥½¡¼¥¹¥é¥¤¥»¥ó¥¹¤ò - ÉÙ»ÎÄ̤è¤ê¼õ¤±¤ëɬÍפ¬¤¢¤ê¤Þ¤¹), - OpenXM/src/Makefile ¤Î³Æ¥â¥¸¥å¡¼¥ë̾ ¤¿¤È¤¨¤Ð - make all-kan96xx - ¤Ê¤É¤È³Æ¥â¥¸¥å¡¼¥ë̾¤ò»ØÄꤷ¤Æ¥³¥ó¥Ñ¥¤¥ë¤·¤Æ²¼¤µ¤¤. - + OpenXM/rc ¤Î²¼¤Î¥·¥§¥ë¥¹¥¯¥ê¥×¥È "asir" ¤ò¥µ¡¼¥Á¥Ñ¥¹¤Ë¥³¥Ô¡¼¤·¤Æ + ¤¯¤À¤µ¤¤ (¤¿¤È¤¨¤Ð, /usr/local/bin or ~/bin ¤Ø). + ¤Þ¤¿¤Ï OpenXM/rc/dot.bashrc ¤« OpenXM/rc/dot.cshrc ¤ò + source ¥³¥Þ¥ó¥É¤Ç ~/.bashrc ¤« ~/.cshrc ¤è¤êÆɤ߹þ¤ó¤Ç¤¯¤À¤µ¤¤. */ -/*&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 - +Q. OpenXM ¤Î²¼¤Î¥Õ¥¡¥¤¥ë¹½À®¤Ï¤É¤¦¤Ê¤Ã¤Æ¤¤¤Þ¤¹¤«? +A. [OpenXM ²¼¤Î¥Õ¥¡¥¤¥ë¤Î¹½À®¥á¥â] lib/asir ¤Ë¤Ï, asir ¤Î¥é¥¤¥Ö¥é¥ê, ox_asir ËÜÂÎ @@ -508,8 +379,11 @@ asir ¤¬ ox_sm1_gnuplot ¤òÍøÍѤ¹¤ë¤Î¤ËɬÍפʥե¡¥¤¥ë: bin/gnuplot4ox, bin/gnuplot_x11 (gnuplot ËÜÂÎ, src/gnuplot*) ---------------------------------------- -[³«È¯¼ÔÍÑ¥á¥â] +*/ +/*&jp +Q. debug ¤¹¤ë¤È¤­ make install ¤ÏÌÌÅÝ. (³«È¯¼Ô¸þ¤±) +A. << sm1, ox_sm1, ox, oxlog ¤Î debug >> binary file ¤Ï³Æ directory ¤Î make install ¤Ë¤è¤ê OpenXM/bin ¤Ë¥³¥Ô¡¼¤µ¤ì¤Þ¤¹¤¬, @@ -522,11 +396,13 @@ OpenXM/src/kan96xx/Kan/sm1 OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog ¤Ø¤Î¥·¥ó¥Ü¥ê¥Ã¥¯¥ê¥ó¥¯¤¬ºîÀ®¤µ¤ì¤Þ¤¹. -[CVS¥³¥ß¥Ã¥¿ÍÑ¥á¥â] -<< OpenXM ¥Ç¥£¥ì¥¯¥È¥êÇÛÉÛÈǤκîÀ®ÊýË¡ >> +Q. << OpenXM ¥Ç¥£¥ì¥¯¥È¥êÇÛÉÛÈǤκîÀ®ÊýË¡ >> +A. + rcvs export -rHEAD OpenXM rcvs export -rHEAD OpenXM_contrib rcvs export -rHEAD OpenXM_contrib2 +cd OpenXM/src ; make generate-source-distribution ¤·¤Æ, OpenXM, OpenXM_contrib, OpenXM_contrib2 Á´ÂΤò tar+gzip. */ @@ -534,8 +410,8 @@ rcvs export -rHEAD OpenXM_contrib2 */ /*&jp - -¡ú Solaris ¤Ë´Ø¤¹¤ëÃí°Õ. +Q. Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¬¤¦¤Þ¤¯¤¤¤­¤Þ¤»¤ó. +A. Solaris ¤Ç¤Ï¤Þ¤ÀÌäÂ꤬»³ÀѤ·¤Æ¤Þ¤¹. Solaris ¤Ç¤Î make ¤ÎÌäÂêÅÀ¤Ë¤Ä¤¤¤Æ¤Ï, OpenXM/doc/OpenXM-FAQ-jp.txt ¤ò¸«¤Æ¤¯¤À¤µ¤¤. @@ -544,7 +420,8 @@ Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥ */ /*&eg -***** COMPILE ON SOLARIS +Q. I cannot make on Solaris. +A. There are a lot of troubles on Solaris for now. At least, /usr/ccs/bin must be at the top of the command search path to compile @@ -552,6 +429,3 @@ Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥ */ -/*&C - -*/