[BACK]Return to install.oxweave CVS log [TXT][DIR] Up to [local] / OpenXM / doc

Diff for /OpenXM/doc/install.oxweave between version 1.20 and 1.46

version 1.20, 2000/02/01 05:18:28 version 1.46, 2003/02/14 03:32:44
Line 1 
Line 1 
 %% $OpenXM: OpenXM/doc/install.oxweave,v 1.19 2000/01/27 01:13:17 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 ¥Ñ¥Ã¥±¡¼¥¸¤ÎÍøÍÑÊýË¡  
 ¤³¤ÎÀá¤Ç¤Ï, 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)
      ¤¹¤ëɬÍפ⤢¤ê¤Þ¤»¤ó.               ¥Ð¥¤¥Ê¥ê¤È¥é¥¤¥Ö¥é¥ê¤È¥É¥­¥å¥á¥ó¥ÈÎà¤Ï
      ¤Ç¤­¤ì¤Ð, /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 configure ; 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/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  /*&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.  
   
 */  ------- If you need only asir and kan,
 /*&C  (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)
   
      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".
   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.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  /*&jp
   
    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.  
   
 */  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 ¤ò¥µ¡¼¥Á¥Ñ¥¹¤Ë¤¤¤ì¤Þ¤¹.  
   
 Ãí°Õ:  
 ¤Ê¤ª, Kaffe 1.0.b4 ¤Î java ¤Ï, class BigInteger ¤Ë method  
 toByteArray ¤¬´Þ¤Þ¤ì¤Æ¤Ê¤¤¤¿¤á, OpenMath ¥â¥¸¥å¡¼¥ë¤Ç¤Ï»ÈÍѤǤ­¤Þ¤»¤ó.  
 */  */
 /*&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  
   
 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
   
       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):  
          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 288  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 307  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  
   ¤Ê¤É¤È³Æ¥â¥¸¥å¡¼¥ë̾¤ò»ØÄꤷ¤Æ¥³¥ó¥Ñ¥¤¥ë¤·¤Æ²¼¤µ¤¤.  
   
 */  */
 /*&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 508  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 522  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 534  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 544  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 552  Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥
Line 427  Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥
 */  */
   
   
 /*&C  
   
 */  

Legend:
Removed from v.1.20  
changed lines
  Added in v.1.46

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>