=================================================================== RCS file: /home/cvs/OpenXM/doc/install.oxweave,v retrieving revision 1.10 retrieving revision 1.43 diff -u -p -r1.10 -r1.43 --- OpenXM/doc/install.oxweave 2000/01/20 09:06:08 1.10 +++ OpenXM/doc/install.oxweave 2001/12/20 04:52:07 1.43 @@ -1,36 +1,74 @@ -%% $OpenXM: OpenXM/doc/install.oxweave,v 1.9 2000/01/20 08:21:50 takayama Exp $ +%% $OpenXM: OpenXM/doc/install.oxweave,v 1.42 2001/12/20 03:44:10 takayama Exp $ OpenXM/doc/install.oxweave /*&C 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 +for troubles. OpenXM package : Getting started. +This document is for OpenXM version 1.1.3. (Draft) + + +----------- An instruction for a quick installation ----------------- +(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 + +*********** If you need only asir and kan/(sm1, k0), +(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) +------------------------------------------------------------------- + */ /*&jp -¡ú OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤ÎÍøÍÑÊýË¡ +¡ú OpenXM GENERIC ¥Ñ¥Ã¥±¡¼¥¸¤ÎÍøÍÑÊýË¡ ¤³¤ÎÀá¤Ç¤Ï, OpenXM package binary distribution ¤Î¥¤¥ó¥¹¥È¡¼¥ëË¡¤òÀâÌÀ¤·¤Þ¤¹. +¥½¡¼¥¹¤«¤é¥¤¥ó¥¹¥È¡¼¥ë¤¹¤ë¾ì¹ç¤Ï + ¡ú OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤Î Make Ë¡ +¤ò¸æÍ÷²¼¤µ¤¤. +RPM, Debian ¤Ê¤É¤Î¥Ñ¥Ã¥±¡¼¥¸¤Ç¥¤¥ó¥¹¥È¡¼¥ë¤¹¤ë¾ì¹ç¤Ï + Web ¥Ú¡¼¥¸¤ÎÀâÌÀ¤É¤¦¤ê¤Ë¥Ñ¥Ã¥±¡¼¥¸¤ò¥¤¥ó¥¹¥È¡¼¥ë¤¹¤ë¤À¤±¤Ç + ÀßÄ꤬½ªÎ»¤·¤Þ¤¹. + ¥¤¥ó¥¹¥È¡¼¥ë¤ËɬÍפʥ·¥¹¥Æ¥à¤Î»ÅÍͤˤĤ¤¤Æ¤Ï, Æ°ºî´Ä¶­¤ò¸æÍ÷¤¯¤À¤µ¤¤. */ /*&eg -***** HOW TO USE OpenXM PACKAGE? +***** HOW TO INSTALL OpenXM GENERIC PACKAGE? In this section, we will explain how to install OpenXM package binary distribution. +If you build from the source, see the section + * How to make OpenXM package? +If you install openxm by using RPM or Debian package, +install the system following the instruction given on our web page. + As to the required environment, see the section "System Requirement" */ /*&jp (1) Tar ¥Ü¡¼¥ë¤è¤ê¼¡¤Î¤è¤¦¤Ë¤·¤Æ¥Ç¥£¥ì¥¯¥È¥ê OpenXM ¤ò¼è¤ê½Ð¤·¤Þ¤¹. - OpenXM ¤Ï¤É¤³¤Ë¤ª¤¤¤Æ¤â¤«¤Þ¤¤¤Þ¤»¤ó. + OpenXM ¤Ï¤É¤³¤Ë¤ª¤¤¤Æ¤â¤«¤Þ¤¤¤Þ¤»¤ó. ¥ë¡¼¥È¤Ë¤Ê¤Ã¤Æ¥¤¥ó¥¹¥È¡¼¥ë + ¤¹¤ëɬÍפ⤢¤ê¤Þ¤»¤ó. + ¤Ç¤­¤ì¤Ð, /usr/local/OpenXM ¤Ë¤ª¤¤¤Æ¤Û¤·¤¤¤È»×¤¤¤Þ¤¹. */ /*&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 */ /*&C + + tar xzvf OpenXM-shared.tgz tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz */ @@ -45,30 +83,66 @@ by /xxx/yyy/OpenXM. */ /*&jp -(2) ¼¡¤Î¤è¤¦¤ËÆþÎϤ·¤Æ OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc - ¥Õ¥¡¥¤¥ë¤ò¼«Æ°À¸À®¤·¤Þ¤¹. - ¤³¤ì¤é¤Î¥Õ¥¡¥¤¥ë¤Ë¤Ï, OpenXM/bin ¤Î¥Õ¥¡¥¤¥ë¤ò¼Â¹Ô¤¹¤ë¤¿¤á¤Î - ´Ä¶­ÊÑ¿ô¤¬ÄêµÁ¤µ¤ì¤Æ¤¤¤Þ¤¹. +(2) 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 -(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. +(2) Generate 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 cd /xxx/yyy/OpenXM/rc - make + make install */ /*&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 ¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. */ /*&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 using csh as your shell. @@ -79,34 +153,219 @@ by /xxx/yyy/OpenXM. */ /*&jp -(3') bash ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤ò ~/.bashrc ¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. +(3') bash ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤½¤ì¤¾¤ì¤ò ~/.bashrc ¤ª¤è¤Ó ~/.bash_profile +¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. */ /*&eg -(3') Append the following line to the end of ~/.bashrc when you are - using bash as your shell. +(3') Append the following lines to the end of ~/.bashrc and ~/.bash_profile + respectively when you are using bash as your shell. */ /*&C - source /xxx/yyy/OpenXM/rc/dot.bash + source /xxx/yyy/OpenXM/rc/dot.bashrc (.bashrc) + source ~/.bashrc (.bash_profile) + */ -//&C -//&jp (4) asir ¤ÎÍøÍÑ¤Ë¤Ï key ¤¬É¬ÍפǤ¹. °Ê²¼¤Î¥Õ¥¡¥¤¥ë¤ò¸æÍ÷¤¯¤À¤µ¤¤. -//&eg (5) You need key to use asir. See the following file: -//&C OpenXM/lib/asir/asir_key -//&C +/*&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 + FAQ + +*/ +/*&jp +Q. OpenXM ¤Î asir OpenXM client ¤ò icon ¤Ç¥¹¥¿¡¼¥È¤¹¤ë¤Ë¤Ï? +A. ¼¡¤Î¹Ô¤ò, .Xdefaults ¤Þ¤¿¤Ï, xrdb ¤ÇÆɤ߹þ¤à¥Õ¥¡¥¤¥ë¤Ë½ñ¤¤¤Æ¤ª¤­¤Þ¤¹. +*/ +/*&eg +Q. How to start asir OpenXM clients in the iconic mode? +A. Add the following line to .Xdefaults or a file you read by xrdb. +*/ +/*&C + + ox_xterm*iconic: on + +*/ +/*&C + +------------------------------------------------------------- + +*/ +/*&jp + +¡ú OpenXM FreeBSD binary ¥Ñ¥Ã¥±¡¼¥¸¤Î¥¤¥ó¥¹¥È¡¼¥ëÊýË¡ + openxm-version.tgz + ¤ò ftp ¥µ¥¤¥È¤è¤ê copy ¤·¤Æ, + root ¤Ë¤Ê¤Ã¤Æ, + pkg_add openxm-version.tgz + OpenXM ¤Ï /usr/local/OpenXM ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤µ¤ì¤Þ¤¹. + + ¤³¤³¤Ç version ¤Ï OpenXM ¤Î version ÈÖ¹æ¤Ç, ¤¿¤È¤¨¤Ð, + 2000, 3/20(Mon) ÈÇ¤Ï 1.1.2 + pkg_add ¤Ë¼ºÇÔ¤·¤¿¾ì¹ç¤Ï, /var ¤Î¥µ¥¤¥º¤òÂ礭¤¯¤·¤Æ¤ä¤ê¤Ê¤ª¤·¤Æ + ¤ß¤Æ²¼¤µ¤¤. + + 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 + + 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 + If you fail "pkd_add", increase the size of /var + + 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 ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤µ¤ì¤Þ¤¹. + + ¤³¤³¤Ç version ¤Ï OpenXM ¤Î version ÈÖ¹æ¤Ç, ¤¿¤È¤¨¤Ð, + 2000, 3/20(Mon) ÈÇ¤Ï 1.1.2 + suffix ¤Ï, RPM ÈǤΠminor version number. + + /usr/local ¤Î²¼¤Ø¥¤¥ó¥¹¥È¡¼¥ë¤·¤Ê¤«¤Ã¤¿¾ì¹ç¤Ï, (2) ¤ò¼Â¹Ô¤·¤Æ²¼¤µ¤¤. + + libgd ¤Î¥¤¥ó¥¹¥È¡¼¥ë¤¬É¬Íפʾì¹ç¤â¤¢¤ê¤Þ¤¹. + libgd ¤¬¥¤¥ó¥¹¥È¡¼¥ë¤·¤Æ¤Ê¤¤¾ì¹ç, + http://www.redhat.com/downloads ¤Ø¥¢¥¯¥»¥¹¤·, libgd ¤ò¥¤¥ó¥¹¥È¡¼¥ë + ¤·¤Æ²¼¤µ¤¤. + +*/ +/*&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 + + 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 do not install under /usr/local, goto (2). + + + You might need to install libgd. + If it is not installed in your system, access to + http://www.redhat.com/downloads and get libgd. +*/ + +/*&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: - the following modules and functions have still experimental qualities: + Experimental: 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/lib/java-support/ * + 70% + OpenXM/bin/ox_math, OpenXM/bin/math2ox + OpenXM/bin/sm1, ox_sm1 on Linux libc6. + +**** OpenXM server and client programs (under development) + included only in the source distribution + OpenXM/src/Macaulay2 ( M2 server and client ) + OpenXM/src/ruby ( Ruby client) + +**** Utilities + OpenXM/doc/oxlib ( how to link oxservers as libraries ) + */ /*&C @@ -124,6 +383,14 @@ export PATH csh ¤òÍøÍѤ·¤Æ¤¤¤ë¾ì¹ç, .cshrc ¤Ç set path=(/usr/local/jdk1.1.8/bin $path) ¤È¤·¤Æ, jdk ¤Î java, javac ¤ò¥µ¡¼¥Á¥Ñ¥¹¤Ë¤¤¤ì¤Þ¤¹. + +jdk ¤ÎÆþ¼êÀè: FreeBSD --- /usr/ports/java/jdk ¤ò¸«¤Æ¤¯¤À¤µ¤¤. + Linux --- http://java.sun.com/products/jdk/1.2/ja + http://java.sun.com/j2se/1.3/ja + +Ãí°Õ: +¤Ê¤ª, Kaffe 1.0.b4 ¤Î java ¤Ï, class BigInteger ¤Ë method +toByteArray ¤¬´Þ¤Þ¤ì¤Æ¤Ê¤¤¤¿¤á, OpenMath ¥â¥¸¥å¡¼¥ë¤Ç¤Ï»ÈÍѤǤ­¤Þ¤»¤ó. */ /*&eg ***** JAVA @@ -136,13 +403,24 @@ 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 + + +Where can I get jdk? : FreeBSD --- see /usr/ports/java/jdk + Linux --- http://java.sun.com/products/jdk/1.2/ja + http://java.sun.com/j2se/1.3/ja + + +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 +-------------------------------------------------------- - */ /*&jp ¡ú Æ°ºî´Ä¶­ @@ -154,13 +432,14 @@ export PATH */ /*&C -OS: FreeBSD 3.3, - Linux systems (Plamo Linux on Linux 2.0.33, glibc5, ) +OS: FreeBSD 3.3, 3.4, 4.x (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 and Linux, but we have not yet tested. + FreeBSD 3.x and Linux, but we have not yet tested. */ /*&jp @@ -173,7 +452,7 @@ 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_* @@ -215,6 +494,12 @@ The installation is completed. */ +/*&C + +----------------------------------------------------- + +*/ + /*&jp ¡ú ʸ½ñ @@ -232,6 +517,15 @@ 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 @@ -251,6 +545,15 @@ 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. + + If you are interested in writing a server for OpenXM, please refer to + OpenXM/src/ox_toolkit and OpenXM/src/OpenMath. + */ @@ -294,28 +597,18 @@ xm Version 20000116. ox_help(0); ox_help("keyword"); f [270] */ -/*&jp ---------------- Îã : asir ¤è¤ê tigers ¤ò¸Æ¤Ó½Ð¤¹. -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 -¤ÇÀ¸À®¤µ¤ì¤Æ¤¤¤Þ¤¹. +/*&jp + +¡ú sm1 ¥¯¥é¥¤¥¢¥ó¥È¤ÎÍøÍÑÎã + */ +/*&eg +****** Example of the use of sm1 client + +*/ + /*&C -------------------------------------- call ox_asir from sm1 sm1 @@ -334,6 +627,10 @@ OpenXM/Copyright ¤ò¸æÍ÷¤¯¤À¤µ¤¤. See OpenXM/Copyright. */ +//&C +//&C ---------------------------------------------- +//&C + /*&eg @@ -345,23 +642,46 @@ See OpenXM/Copyright. ¡ú OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤Î Make Ë¡ - FreeBSD 2.2.8, FreeBSD 3.3, Linux ¤ÇÆ°ºî¤¹¤ë¤â¤Î¤È´üÂÔ¤·¤Æ¤Þ¤¹. - Linux glib6 ¤Ç¤Ï, ¤¤¤Þ¤Î¤È¤³¤í, /usr/include/features.h - ¤Ç #define __FAVOR_BSD 1 ¤·¤Æ¥³¥ó¥Ñ¥¤¥ë¤¹¤ëɬÍפ¬¤¢¤ê¤Þ¤¹. - (setjmp ¤È sigsetjmp ¤ÎÌäÂê, dirty trick) + FreeBSD 3.x, FreeBSD 4.x, 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 ¤¬É¬ÍפǤ¹. + ftp.math.kobe-u.ac.jp/OpenXM/1.1.3 ¤è¤ê + openxm-1.1.3.tar.gz + ¤ò get ¤·¤ÆŸ³«¤·¤Æ²¼¤µ¤¤. + tar xzvf openxm-1.1.3.tar.gz + + openxm-1.1.3/OpenXM openxm-1.1.3/OpenXM_contrib + openxm-1.1.3/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 + We have tested the OpenXM package on FreeBSD 3.x, FreeBSD 4.x, Linux. + (On Linux glib6, we needed to define #define __FAVOR_BSD 1 - in /usr/include/features.h - (setjmp vs sigsetjmp) + in /usr/include/features.h, + but now we are compiling some sources with -D_BSD_SOURCE + (setjmp vs sigsetjmp). So, you do not need to make this change.) Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? + get + openxm-1.1.3.tar.gz + from ftp.math.kobe-u.ac.jp/OpenXM/1.1.3 + Expand it by + tar xzvf openxm-1.1.3.tar.gz + + Then, you will get + openxm-1.1.3/OpenXM openxm-1.1.3/OpenXM_contrib + openxm-1.1.3/OpenXM_contrib2 + + If you are a CVS committer, then you can get all sources as follows: */ //&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2 @@ -379,32 +699,143 @@ See OpenXM/Copyright. /*&jp ¤Ê¤ª, OpenXM/src/ox_math ¤Î¥³¥ó¥Ñ¥¤¥ë¤ª¤è¤ÓÍøÍÑ¤Ë¤Ï Mathematica ¤¬, OpenXM/src/OpenMath ¤Î¥³¥ó¥Ñ¥¤¥ë¤ª¤è¤ÓÍøÍÑ¤Ë¤Ï ¤Ë¤Ï, jdk (java ´Ä¶­) ¤¬É¬ÍפǤ¹. + +Documents ¤òÀ¸À®¤¹¤ë¤Ë¤Ï, tex, ptex (ascii ÆüËܸì tex), dvips, texinfo, +texi2html, nkf, jlatex2html +¤¬É¬ÍפǤ¹. ¾Ü¤·¤¯¤Ï 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, jlatex2html. 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 */ + +/*&eg +To run the system, you need to read OpenXM/rc/dot.cshrc or +OpenXM/rc/dot.bashrc by the source +command for setting proper environmental variable values. + +By the commands + cd OpenXM/rc + make +you can generate dot.cshrc and dot.bashrc. +Read these file by the source command in your .cshrc +or .bashrc (or .bash_profile). +*/ /*&jp - - OpenXM_contrib2/asir2000 ¤ÎÇÛÉÛ¤ò¼õ¤±¤Æ¤Ê¤¤¾ì¹ç (¥½¡¼¥¹¥é¥¤¥»¥ó¥¹¤ò - ÉÙ»ÎÄ̤è¤ê¼õ¤±¤ëɬÍפ¬¤¢¤ê¤Þ¤¹), - OpenXM/src/Makefile ¤Î³Æ¥â¥¸¥å¡¼¥ë̾ ¤¿¤È¤¨¤Ð - make all-kan96xx - ¤Ê¤É¤È³Æ¥â¥¸¥å¡¼¥ë̾¤ò»ØÄꤷ¤Æ¥³¥ó¥Ñ¥¤¥ë¤·¤Æ²¼¤µ¤¤. +¥·¥¹¥Æ¥à¤òÆ°¤«¤¹¤Ë¤Ï, OpenXM/rc/dot.cshrc ¤Þ¤¿¤Ï +OpenXM/rc/dot.bashrc ¤ò source ¥³¥Þ¥ó¥É¤Ç +¤è¤ß¤³¤ß´Ä¶­ÊÑ¿ô¤ÎÃͤòŬÀÚ¤ËÀßÄꤹ¤ëɬÍפ¬¤¢¤ê¤Þ¤¹. +¥³¥Þ¥ó¥É + cd OpenXM/rc + make +¤Ç dot.cshrc ¤ª¤è¤Ó dot.bashrc ¤¬À¸À®¤µ¤ì¤Þ¤¹. +¤³¤ì¤é¤Î¥Õ¥¡¥¤¥ë¤ò source ¥³¥Þ¥ó¥É¤Ç, +.cshrc ¤Þ¤¿¤Ï .bashrc (¤Þ¤¿¤Ï .bash_profile) ¤è¤êÆɤà¤è¤¦¤Ë¤·¤Æ²¼¤µ¤¤. */ +/*&C + +*/ + +//&C --------------------------------------------------------- + /*&eg - - If you cannot get a source liscence of OpenXM_contrib2/asir2000 - from Fujitsu labs, - compile each modules independently, e.g., - make all-kan96xx +***** How to generate a subset of the full OpenXM package + from the head branch. + * The souce tarball of the head branch is at + ftp.math.kobe-u.ac.jp/pub/OpenXM/Head/openxm-head.tar.gz + Get this tarball by the ftp command. Extract the directories + OpenXM OpenXM_contrib OpenXM_contrib2 + by + tar xzvf openxm-head.tar.gz +*/ +/*&jp +¡ú OpenXM package ¤Î°ìÉôʬ¤Î¤ßÀ¸À®¤¹¤ëÊýË¡ (head branch ¤è¤ê). + * Head ¥Ö¥é¥ó¥Á¤Î tarball ¤Ï + ftp.math.kobe-u.ac.jp/pub/OpenXM/Head/openxm-head.tar.gz + ¤Ë¤¢¤ê¤Þ¤¹. ¤³¤ì¤ò ftp ¤Ç¼èÆÀ¤·¤Æ¤«¤é + tar xzvf openxm-head.tar.gz + ¤òŸ³«¤·¤Æ¤¯¤À¤µ¤¤. + OpenXM OpenXM_contrib OpenXM_contrib2 ¤¬ºîÀ®¤µ¤ì¤Þ¤¹. +*/ +/*&C */ +/*&eg + [Subpackage asir] If you want to generate only Risa/Asir, + type in as follows. +*/ +/*&jp + [Éôʬ¥Ñ¥Ã¥±¡¼¥¸ asir] Risa/Asir ¤Î¤ß¤òÀ¸À®¤·¤¿¤¤¾ì¹ç¤Ï, + ¤Ä¤®¤Î¤è¤¦¤ËÆþÎϤ·¤Þ¤¹. +*/ +/*&C + (cd OpenXM/src ; make install-asir) + (cd OpenXM/rc ; make ) + +*/ +/*&eg + 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. +*/ +/*&jp + OpenXM/rc ¤Î²¼¤Î¥·¥§¥ë¥¹¥¯¥ê¥×¥È "asir" ¤ò¥µ¡¼¥Á¥Ñ¥¹¤Ë¥³¥Ô¡¼¤·¤Æ + ¤¯¤À¤µ¤¤ (¤¿¤È¤¨¤Ð, /usr/local/bin or ~/bin ¤Ø). + ¤Þ¤¿¤Ï OpenXM/rc/dot.bashrc ¤« OpenXM/rc/dot.cshrc ¤ò + source ¥³¥Þ¥ó¥É¤Ç ~/.bashrc ¤« ~/.cshrc ¤è¤êÆɤ߹þ¤ó¤Ç¤¯¤À¤µ¤¤. +*/ +/*&C + +*/ +/*&eg + [Subpackage kan-ox] If you want to generate only kan/k0, kan/sm1 and asir + type in as follows. +*/ +/*&jp + [Éôʬ¥Ñ¥Ã¥±¡¼¥¸ kan-ox] Kan/k0, Kan/sm1, asir ¤Î¤ß¤òÀ¸À®¤·¤¿¤¤¾ì¹ç¤Ï, + ¤Ä¤®¤Î¤è¤¦¤ËÆþÎϤ·¤Þ¤¹. +*/ +/*&C + + (cd OpenXM/src ; make install-kan-ox) + (cd OpenXM/rc ; make ) + +*/ +/*&eg + Copy the shell script "asir", "sm1" and "openxm" at OpenXM/rc + to 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. +*/ +/*&jp + OpenXM/rc ¤Î²¼¤Î¥·¥§¥ë¥¹¥¯¥ê¥×¥È "asir", "sm1", "openxm" ¤ò + ¥µ¡¼¥Á¥Ñ¥¹¤Ë¥³¥Ô¡¼¤·¤Æ + ¤¯¤À¤µ¤¤ (¤¿¤È¤¨¤Ð, /usr/local/bin or ~/bin ¤Ø). + ¤Þ¤¿¤Ï OpenXM/rc/dot.bashrc ¤« OpenXM/rc/dot.cshrc ¤ò + source ¥³¥Þ¥ó¥É¤Ç ~/.bashrc ¤« ~/.cshrc ¤è¤êÆɤ߹þ¤ó¤Ç¤¯¤À¤µ¤¤. +*/ + +//&C +//&C ------------------------------------------------------ +//&C /*&jp [OpenXM ²¼¤Î¥Õ¥¡¥¤¥ë¤Î¹½À®¥á¥â] @@ -463,6 +894,7 @@ OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/k 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. */ @@ -486,7 +918,20 @@ Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥ /usr/ccs/bin must be at the top of the command search path to compile 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