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

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

version 1.9, 2000/01/20 08:21:50 version 1.46, 2003/02/14 03:32:44
Line 1 
Line 1 
 %% $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  
   
 */  

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

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