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

Annotation of OpenXM/doc/install.oxweave, Revision 1.43

1.43    ! takayama    1: %% $OpenXM: OpenXM/doc/install.oxweave,v 1.42 2001/12/20 03:44:10 takayama Exp $
1.1       takayama    2: OpenXM/doc/install.oxweave
                      3:
1.6       takayama    4: /*&C
                      5: OpenXM URL :  http://www.math.kobe-u.ac.jp/OpenXM
1.34      takayama    6:               http://www.openxm.org
1.16      takayama    7: Consult firstly the ERRATA section for your release on this web cite
                      8: for troubles.
1.6       takayama    9:
                     10: OpenXM package : Getting started.
                     11:
1.34      takayama   12: This document is for OpenXM version 1.1.3.  (Draft)
1.42      takayama   13:
                     14:
1.43    ! takayama   15: ----------- An instruction for a quick installation -----------------
1.42      takayama   16: (cd OpenXM/src ; make configure ; make install)
                     17:              You will get binaries, libraries, and documents under
                     18:              OpenXM/bin, OpenXM/lib, OpenXM/doc
1.43    ! takayama   19: (cd OpenXM/rc ; make install)
1.42      takayama   20:              Shell scripts to start "asir", "sm1", ... will be copied to
                     21:              /usr/local/bin
                     22:
1.43    ! takayama   23: *********** If you need only asir and kan/(sm1, k0),
1.42      takayama   24: (cd OpenXM/src ; make install-kan-ox ; make install-asir-contrib)
                     25:              You will get only asir (OpenXM version) and kan/sm1.
1.43    ! takayama   26: (cd OpenXM/rc ; make install)
1.42      takayama   27: -------------------------------------------------------------------
1.34      takayama   28:
1.6       takayama   29: */
1.1       takayama   30: /*&jp
1.23      takayama   31: ★ OpenXM GENERIC パッケージの利用方法
1.6       takayama   32: この節では, OpenXM package binary distribution のインストール法を説明します.
1.36      takayama   33: ソースからインストールする場合は
                     34:        ★ OpenXM パッケージの Make 法
                     35: を御覧下さい.
1.40      takayama   36: RPM, Debian などのパッケージでインストールする場合は
                     37:        Web ページの説明どうりにパッケージをインストールするだけで
                     38:        設定が終了します.
                     39:
1.6       takayama   40: インストールに必要なシステムの仕様については, 動作環境を御覧ください.
1.1       takayama   41: */
                     42: /*&eg
1.23      takayama   43: ***** HOW TO INSTALL OpenXM GENERIC PACKAGE?
1.6       takayama   44: In this section, we will explain how to install OpenXM package binary
                     45: distribution.
1.36      takayama   46: If you build from the source, see the section
                     47:       * How to make OpenXM package?
1.40      takayama   48: If you install openxm by using RPM or Debian package,
                     49: install the system following the instruction given on our web page.
                     50:
1.6       takayama   51: As to the required environment, see the section "System Requirement"
                     52: */
                     53: /*&jp
                     54:
                     55: (1)  Tar ボールより次のようにしてディレクトリ OpenXM を取り出します.
1.13      takayama   56:      OpenXM はどこにおいてもかまいません. ルートになってインストール
                     57:      する必要もありません.
                     58:      できれば, /usr/local/OpenXM  においてほしいと思います.
1.6       takayama   59:
1.1       takayama   60: */
1.6       takayama   61: /*&eg
1.1       takayama   62:
1.6       takayama   63: (1)  Extract the directory OpenXM from the tar ball.
                     64:      You can put the directory OpenXM at any place in the file system.
1.13      takayama   65:      You do not need to be a root to install it.
                     66:      We are happy if you put OpenXM at /usr/local/OpenXM
1.2       takayama   67:
                     68: */
1.6       takayama   69: /*&C
1.24      takayama   70:
                     71:          tar xzvf OpenXM-shared.tgz
1.6       takayama   72:          tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz
                     73:
1.2       takayama   74: */
1.6       takayama   75: /*&jp
                     76: 以下 (1) で生成されたディレクトリ OpenXM の絶対パスを /xxx/yyy/OpenXM
                     77: と書きます.
                     78:
1.1       takayama   79: */
1.6       takayama   80: /*&eg
                     81: In the sequel, we will denote the absolute path of the directory OpenXM
                     82: by /xxx/yyy/OpenXM.
1.1       takayama   83:
                     84: */
                     85: /*&jp
1.23      takayama   86: (2) OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc,
                     87:     OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, 等の
                     88:     ファイルを自動生成します.
                     89:     openxm, asir, oxmath などは OpenXM クライアントを起動するための
                     90:     シエルスクリプトです. これらを /usr/local/bin にインストールするには
                     91:     次のように入力します.
1.6       takayama   92:
1.5       takayama   93: */
                     94: /*&eg
1.19      takayama   95: (2) Generate  OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and
1.23      takayama   96:     OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, ...
                     97:     The files openxm, asir, oxmath are shell scripts to invoke OpenXM clients.
                     98:     If you want to install these shell scripts to /usr/local/bin,
                     99:     type in as follows.
1.6       takayama  100:
1.5       takayama  101: */
1.6       takayama  102: /*&C
                    103:
1.8       takayama  104:      cd /xxx/yyy/OpenXM/rc
1.23      takayama  105:      make install
1.5       takayama  106:
                    107: */
                    108: /*&jp
1.23      takayama  109:
                    110:      /usr/local/bin でなく, home directory の bin にインストールしたい
                    111:      ときは, 次のように入力してください.
                    112:
                    113: */
                    114: /*&eg
                    115:
                    116:     If you want to install them under the bin of your home directory,
                    117:     type in as follows.
                    118:
                    119: */
                    120: /*&C
                    121:
                    122:    cd /xxx/yyy/OpenXM/rc
                    123:    make install PREFIX=$HOME/bin
                    124:
                    125: */
                    126: /*&C
                    127:
                    128:    [Note] If you are Solaris user, you might have to type in like
                    129:      /usr/ccs/bin/make install PREFIX=$HOME/bin
                    130:
                    131: */
                    132: /*&jp
                    133:
                    134: OpenXM/bin の下のファイルを直接実行したい場合は, 以下の設定が必要です.
                    135: OpenXM clients を実行するだけの場合は, (3), (3') は skip してください.
                    136:
1.6       takayama  137: (3) csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます.
                    138:
1.1       takayama  139: */
                    140: /*&eg
1.23      takayama  141:
                    142: If you want to execute binaries under OpenXM/bin, you need to perform
                    143: (3) and (3').
                    144: If you use only OpenXM clients, skip (3) and (3').
                    145:
1.6       takayama  146: (3) Append the following line to the end of  ~/.cshrc when you are
                    147:     using csh as your shell.
                    148:
1.1       takayama  149: */
                    150: /*&C
1.2       takayama  151:
1.6       takayama  152:     source /xxx/yyy/OpenXM/rc/dot.cshrc
1.2       takayama  153:
1.1       takayama  154: */
                    155: /*&jp
1.38      takayama  156: (3') bash を利用してる場合, 次の行それぞれを ~/.bashrc および ~/.bash_profile
                    157: の最後に加えます.
1.6       takayama  158:
1.1       takayama  159: */
                    160: /*&eg
1.38      takayama  161: (3') Append the following lines to the end of  ~/.bashrc and ~/.bash_profile
                    162:      respectively when you are using bash as your shell.
1.6       takayama  163:
                    164: */
                    165: /*&C
                    166:
1.38      takayama  167:     source /xxx/yyy/OpenXM/rc/dot.bashrc             (.bashrc)
                    168:
                    169:     source ~/.bashrc                                 (.bash_profile)
1.6       takayama  170:
1.1       takayama  171: */
1.14      takayama  172:
                    173: /*&jp
                    174:
                    175:  (3) または (3') を終了したら, いったん logout して login しなおすか
1.18      takayama  176:  または, source コマンドで, dot.bashrc または dot.csh を読み込んで下さい.
1.14      takayama  177:
                    178: */
                    179: /*&eg
                    180:
                    181:    After finishing the step (3) or (3'), logout and login again,
1.18      takayama  182:    or read dot.bashrc or dot.cshrc file by the source command.
1.14      takayama  183:
                    184: */
                    185:
1.6       takayama  186:
1.32      takayama  187: /*&C
                    188:
                    189:           FAQ
                    190:
                    191: */
                    192: /*&jp
                    193: Q. OpenXM の asir OpenXM client を icon でスタートするには?
                    194: A. 次の行を, .Xdefaults または, xrdb で読み込むファイルに書いておきます.
                    195: */
                    196: /*&eg
                    197: Q. How to start asir OpenXM clients in the iconic mode?
                    198: A. Add the following line to .Xdefaults or a file you read by xrdb.
                    199: */
                    200: /*&C
                    201:
                    202:        ox_xterm*iconic: on
1.28      takayama  203:
                    204: */
1.41      takayama  205: /*&C
                    206:
                    207: -------------------------------------------------------------
                    208:
                    209: */
1.28      takayama  210: /*&jp
                    211:
                    212: ★ OpenXM FreeBSD binary パッケージのインストール方法
                    213:      openxm-version.tgz
                    214:    を ftp サイトより copy して,
                    215:    root になって,
                    216:      pkg_add openxm-version.tgz
                    217:    OpenXM は /usr/local/OpenXM にインストールされます.
1.40      takayama  218:
1.28      takayama  219:    ここで version は OpenXM の version 番号で, たとえば,
                    220:    2000, 3/20(Mon) 版は  1.1.2
1.38      takayama  221:    pkg_add に失敗した場合は, /var のサイズを大きくしてやりなおして
                    222:    みて下さい.
1.28      takayama  223:
1.30      takayama  224:    java および linux emulation が実行に必要です.
                    225:    java が, サーチパスのなかにある必要がありますので,
                    226:    たとえば,
                    227:      set path=(/usr/local/jdk1.1.8 $path)
                    228:      rehash
                    229:    してから, pkg_add して下さい.
                    230:    インストール終了後のメッセージにしたがい, 必要な設定を
                    231:    おこなって下さい.
                    232:
1.34      takayama  233:    jdk は /usr/ports/lang/jdk よりインストールできます.
                    234:    Linux emulation を有効にするには,
                    235:     /etc/rc.conf に
                    236:     linux_enable="YES"
                    237:    と書き,
                    238:    /usr/ports/emulators/linux_base を用いて, linux 用の共有ライブラリ等を
                    239:    インストールしておきます.
                    240:      (FreeBSD 3.x, 4.x)
                    241:
                    242:
1.30      takayama  243:    /usr/local にインストールしなかった場合は,
                    244:    (2) を実行して下さい.
                    245:
1.28      takayama  246: */
                    247: /*&eg
                    248:
                    249: ***** HOW TO INSTALL OpenXM FreeBSD binary package
                    250:    Copy
                    251:       openxm-version.tgz
                    252:    from our ftp cite.
                    253:    Become the super user and type
                    254:       pkg_add openxm-version.tgz
                    255:    OpenXM will be installed to /usr/local/OpenXM
1.40      takayama  256:
1.28      takayama  257:    Here, version is the version number of OpenXM.
                    258:    For example, the version number of the OpenXM of May 20 (Mon), 2000
                    259:    is 1.1.2
1.38      takayama  260:    If you fail "pkd_add", increase the size of /var
1.28      takayama  261:
1.30      takayama  262:    java and linux emulation are required to run OpenXM packages.
                    263:    Java needs to be in the search path. So, for example, execute pkg_add
                    264:    after
                    265:      set path=(/usr/local/jdk1.1.8 $path)
                    266:      rehash
                    267:    Following the message of pkg_add after the installation,
1.34      takayama  268:    set path.
                    269:
                    270:    jdk can be installed by /usr/ports/lang/jdk.
                    271:    Add the line
                    272:     linux_enable="YES"
                    273:    to /etc/rc.conf and install shared libraries for linux
                    274:    by /usr/ports/emulators/linux_base.
                    275:    Then, you can emulate linux.
                    276:
1.30      takayama  277:    If you do not install under /usr/local,
                    278:    goto (2).
                    279:
1.28      takayama  280: */
                    281: /*&jp
                    282:
                    283: ★ OpenXM Redhat Package manager (Linux)
                    284:    binary パッケージのインストール方法
1.29      takayama  285:       openxm-shared-version-suffix.noarch.rpm
1.28      takayama  286:       openxm-binary-version-suffix.i386.rpm
                    287:    を ftp サイトより copy して,
                    288:    root になって,
1.29      takayama  289:      rpm -i  openxm-shared-version-suffix.noarch.rpm
1.28      takayama  290:      rpm -i  openxm-binary-version-suffix.i386.rpm
                    291:    OpenXM は /usr/local/OpenXM にインストールされます.
1.40      takayama  292:
1.28      takayama  293:    ここで version は OpenXM の version 番号で, たとえば,
                    294:    2000, 3/20(Mon) 版は  1.1.2
                    295:    suffix は, RPM 版の minor version number.
                    296:
1.39      takayama  297:    /usr/local の下へインストールしなかった場合は, (2) を実行して下さい.
1.28      takayama  298:
1.39      takayama  299:    libgd のインストールが必要な場合もあります.
                    300:    libgd がインストールしてない場合,
                    301:    http://www.redhat.com/downloads へアクセスし, libgd をインストール
                    302:    して下さい.
1.30      takayama  303:
1.28      takayama  304: */
                    305: /*&eg
                    306:
                    307: ***** HOW TO INSTALL OpenXM by the redhat Package manager (Linux)
                    308:    Copy
1.29      takayama  309:       openxm-shared-version-suffix.noarch.rpm
1.28      takayama  310:       openxm-binary-version-suffix.i386.rpm
                    311:    from our ftp cite.
                    312:    Become the super user and type
1.29      takayama  313:      rpm -i  openxm-shared-version-suffix.noarch.rpm
1.28      takayama  314:      rpm -i  openxm-binary-version-suffix.i386.rpm
                    315:    OpenXM will be installed to /usr/local/OpenXM
1.40      takayama  316:
1.28      takayama  317:    Here, version is the version number of OpenXM.
                    318:    For example, the version number of the OpenXM of May 20 (Mon), 2000
                    319:    is 1.1.2
                    320:    suffix is the minor version number of the package.
                    321:
1.30      takayama  322:    If you do not install under /usr/local, goto (2).
                    323:
1.13      takayama  324:
1.39      takayama  325:    You might need to install libgd.
                    326:    If it is not installed in your system, access to
                    327:    http://www.redhat.com/downloads and get libgd.
1.13      takayama  328: */
1.6       takayama  329:
                    330: /*&C
1.8       takayama  331:
1.41      takayama  332: ---------------------------------------------------------
                    333:
                    334: */
                    335:
                    336: /*&C
                    337:
1.27      takayama  338: ***** OpenXM client programs under OpenXM/bin or /usr/local/bin:
                    339:    asir
                    340:    oxmath
                    341:    openxm sm1
                    342:
                    343: ***** OpenXM server programs:
                    344:    OpenXM/bin/ox_asir
                    345:    OpenXM/bin/ox_sm1
                    346:    OpenXM/bin/ox_math
                    347:    OpenXM/lib/sm1/bin/ox_sm1_gnuplot
                    348:    OpenXM/lib/sm1/bin/ox_sm1_phc
                    349:    OpenXM/lib/sm1/bin/ox_sm1_tigers
                    350:    OpenXM/lib/java-support/OMproxy.class
                    351:
1.8       takayama  352: ***** QUALITY:
1.25      takayama  353:  Experimental:
1.6       takayama  354:    OpenXM/bin/k0,  OpenXM/bin/d0
1.25      takayama  355:    Asir client functions:   m_* (Mathematica)  ,  om_*  (OpenMath)
1.29      takayama  356:    OpenXM/lib/java-support/ *
1.25      takayama  357:  70%
1.6       takayama  358:    OpenXM/bin/ox_math,  OpenXM/bin/math2ox
1.11      takayama  359:    OpenXM/bin/sm1, ox_sm1 on Linux libc6.
1.37      takayama  360:
                    361: **** OpenXM server and client programs (under development)
                    362:      included only in the source distribution
                    363:    OpenXM/src/Macaulay2  ( M2 server and client )
                    364:    OpenXM/src/ruby       ( Ruby client)
                    365:
                    366: **** Utilities
                    367:    OpenXM/doc/oxlib    ( how to link oxservers as libraries )
                    368:
1.6       takayama  369: */
                    370: /*&C
                    371:
                    372:
1.8       takayama  373: */
                    374: /*&jp
                    375: ★ Java に関する注意:
                    376: 注意 1.
                    377: OpenMath 用の OMproxy には現在のところ, jdk が必要です.
                    378: たとえば bash を利用している場合, .bashrc で
                    379: PATH=/usr/local/jdk1.1.8/bin:$PATH
                    380: export PATH
1.10      takayama  381: などとして, jdk の java, javac をサーチパスの先のほうへもっていくようにして
1.8       takayama  382: ください.
1.10      takayama  383: csh を利用している場合, .cshrc で
                    384: set path=(/usr/local/jdk1.1.8/bin $path)
                    385: として, jdk の java, javac をサーチパスにいれます.
1.17      takayama  386:
1.34      takayama  387: jdk の入手先:  FreeBSD  --- /usr/ports/java/jdk を見てください.
1.35      takayama  388:                Linux    --- http://java.sun.com/products/jdk/1.2/ja
                    389:                             http://java.sun.com/j2se/1.3/ja
1.33      takayama  390:
1.17      takayama  391: 注意:
                    392: なお, Kaffe 1.0.b4 の java は, class BigInteger に method
                    393: toByteArray が含まれてないため, OpenMath モジュールでは使用できません.
1.8       takayama  394: */
                    395: /*&eg
                    396: ***** JAVA
                    397: In order to use OMproxy, asir client om_*,
                    398: you need to install JDK.
                    399: The bin dir of the JDK must be in yur search path.
                    400: For example, you need to add the following line
1.10      takayama  401: to your .chsrc when your shell is csh
1.8       takayama  402: set path=(/usr/local/jdk1.1.8/bin $path)
1.10      takayama  403: Bash users put the following line to .bashrc
                    404: PATH=/usr/local/jdk1.1.8/bin:$PATH
                    405: export PATH
1.17      takayama  406:
1.33      takayama  407:
1.34      takayama  408: Where can I get jdk? :  FreeBSD --- see /usr/ports/java/jdk
1.35      takayama  409:                         Linux   --- http://java.sun.com/products/jdk/1.2/ja
                    410:                                     http://java.sun.com/j2se/1.3/ja
                    411:
1.33      takayama  412:
1.17      takayama  413: Remark:
                    414: The Java interpreter of Kaffe 1.0.b4 does not contain the method
                    415: toByteArray in the class BigInteger.
                    416: So, it cannot be used for the OpenMath module.
1.8       takayama  417: */
                    418:
                    419: /*&C
                    420:
1.41      takayama  421: --------------------------------------------------------
1.6       takayama  422:
                    423:
                    424: */
                    425: /*&jp
                    426: ★ 動作環境
                    427:
                    428: */
                    429: /*&eg
1.7       takayama  430: ***** SYSTEM REQUIREMENTS
1.6       takayama  431:
                    432: */
                    433: /*&C
                    434:
1.34      takayama  435: OS:  FreeBSD 3.3, 3.4, 4.x (Intel CPU),
1.11      takayama  436:      Linux systems (Intel CPU):
1.15      takayama  437:          Most Linux with libc5 and with libc6 (glibc 2.x).
1.7       takayama  438:
                    439:      X window system is required.
                    440:
                    441:      Most part of the OpenXM package may work on other versions of
1.11      takayama  442:      FreeBSD 3.x and Linux, but we have not yet tested.
1.6       takayama  443:
                    444: */
                    445: /*&jp
1.8       takayama  446: 次の modules は, OS の標準 distribution 以外に, さらに下に記したソフトを
1.6       takayama  447: 必要とします.
                    448: */
                    449: /*&eg
                    450: The following modules require the listed softwares other than the standard
                    451: OS package.
                    452: */
                    453: /*&C
                    454:
1.27      takayama  455: (1) OpenXM/bin/oxmath  :       Mathematica Version 3.x or 4.x
1.6       takayama  456:    (Mathematica server)         at /usr/local/Mathematica
                    457:     OpenXM/bin/math2ox          [ see http://www.wolfram.com ]
                    458:     Asir client functions  m_*
                    459: (2) OpenXM/lib/java-support :   JDK at /usr/local/jdk??
1.8       takayama  460:                                 [ see the section on JAVA]
1.6       takayama  461:     Asir client functions  om_*
                    462:     sm1 client functions   om_*
1.7       takayama  463: (3) PHC pack (OpenXM/bin/phc)  and  asir client functions
                    464:     phc_*  run only on linux (glib5).
1.8       takayama  465:     If you install the linux emulation^{note 1} on Free BSD, they run on
                    466:     FreeBSD, too.
                    467:     <note 1>
                    468:       Add linux_enable="YES" in /etc/rc.conf
                    469:       You need the following packages:
                    470:       pkg_info | grep linu
                    471:       linux_base-5.2      The base set of packages needed in Linux mode
                    472:       linux_devtools-5.2  Packages needed for doing development in Linux mode
1.6       takayama  473:
                    474: */
                    475:
                    476:
1.1       takayama  477: /*&jp
1.7       takayama  478: 日本語版の注意.
1.3       maekawa   479: 注意 1.
                    480: asir で日本語のヘルプを利用するには,
1.1       takayama  481: PAGER=jless
                    482: export PAGER
1.3       maekawa   483: などで, 日本語を扱える PAGER を指定する必要があるかもしれません.
1.1       takayama  484: */
1.7       takayama  485:
                    486: /*&eg
                    487:
1.8       takayama  488: The installation is completed.
1.7       takayama  489:
                    490: */
                    491: /*&jp
                    492:
                    493: 以上.
                    494:
                    495: */
                    496:
1.41      takayama  497: /*&C
                    498:
                    499: -----------------------------------------------------
                    500:
                    501: */
                    502:
1.1       takayama  503: /*&jp
1.7       takayama  504: ★ 文書
                    505:
                    506:   OpenXM パッケージでもっとも充実しているクライアントは,
                    507:   asir です.
                    508:   asir のつかいかたは
                    509:         OpenXM/doc/asir2000/man-jp.dvi
                    510:        または OpenXM/doc/asir2000/html-jp の HTML ファイルを見て下さい.
                    511:   asir 用 OpenXM クライアントライブラリのつかい方は,
                    512:         OpenXM/doc/asir-contrib/cman-jp.dvi
                    513:   を見て下さい.  dvi の付くファイルは xdvi で見ることができます.
                    514:
                    515:   OpenXM の設計の概要については,
                    516:       OpenXM/doc/issac2000/issac2000.ps
                    517:   を見て下さい.
                    518:   ps の付くファイルは, ghostview で見ることができます.
                    519:
1.25      takayama  520:   Mathematica client については, OpenXM/doc/ox_math を御覧ください.
                    521:   sm1 client については, OpenXM/doc/kan96xx を御覧ください.
                    522:   asir は, 多項式処理用のライブラリとしてリンクできます.
                    523:   これについては, OpenXM/doc/oxlib を御覧ください.
                    524:
                    525:   OpenXM 対応の, サーバ を作成するには, OpenXM/src/ox_toolkit
                    526:   が参考になるかもしれません. Java のクラスについては
                    527:   OpenXM/src/OpenMath が参考になるかもしれません.
                    528:
1.7       takayama  529: */
                    530: /*&eg
                    531: ***** DOCUMENTS
                    532:
                    533:   The best OpenXM client in the OpenXM package is now
                    534:   asir.
                    535:   Documents on asir are
                    536:     OpenXM/doc/asir2000/man-eg.dvi
                    537:     OpenXM/doc/asir2000/html-eg (HTML)
                    538:
                    539:   The file
                    540:     OpenXM/doc/asir-contrib/cman-eg.dvi
                    541:   is a document on OpenXM client libraries for asir.
1.1       takayama  542:
1.7       takayama  543:   The design outline is described in
                    544:       OpenXM/doc/issac2000/issac2000.ps
                    545:
                    546:   Dvi files can be previewed by xdvi and
                    547:   ps files  can be previewed by ghostview.
1.25      takayama  548:
                    549:   As to Mathematica client, see OpenXM/doc/ox_math.
                    550:   As to sm1 client, see OpenXM/doc/kan96xx.
                    551:   The asir can be used as a C library for polynomial manupulation.
                    552:   See OpenXM/doc/oxlib.
                    553:
                    554:   If you are interested in writing a server for OpenXM, please refer to
                    555:   OpenXM/src/ox_toolkit and OpenXM/src/OpenMath.
                    556:
1.7       takayama  557: */
1.1       takayama  558:
                    559:
1.8       takayama  560: /*&eg
                    561:
                    562:
                    563: ***** A QUICK TOUR OF OPENXM BY ASIR
                    564:
                    565: */
1.7       takayama  566: /*&jp
1.1       takayama  567:
                    568:
1.8       takayama  569: ★ ASIR による使用例
1.1       takayama  570:
                    571:
1.3       maekawa   572: asir を動作させるには, key が必要です.
1.8       takayama  573: OpenXM/lib/asir/asir_key のコメントまたは起動時のメッセージをみて,
                    574: key を E-mail でとりよせて下さい.
1.1       takayama  575:
1.8       takayama  576: */
                    577: /*&C
                    578: ----------------   Call ox_sm1 from asir.
                    579: bash-2.03$ asir
                    580: This is Risa/Asir, Version 20000120.
                    581: Copyright (C) FUJITSU LABORATORIES LIMITED.
                    582: 1994-1999. All rights reserved.
                    583: xm Version 20000116. ox_help(0); ox_help("keyword"); for help message
                    584: [269] sm1_genericAnn([x^3-y^2,[s,x,y]]);
                    585:    /* The annihilating ideal of (x^3-y^2)^s */
                    586: [-2*y*dx-3*x^2*dy,2*x*dx+3*y*dy-6*s]
                    587:
                    588:
                    589: ---------------    Call gnuplot from asir.
                    590: bash-2.03$ asir
                    591: This is Risa/Asir, Version 20000120.
                    592: Copyright (C) FUJITSU LABORATORIES LIMITED.
                    593: 1994-1999. All rights reserved.
                    594: xm Version 20000116. ox_help(0); ox_help("keyword"); for help message
                    595: [269] gnuplot("plot sin(x);");
                    596: 0
                    597: [270]
1.13      takayama  598:
                    599: */
                    600:
                    601: /*&jp
                    602:
                    603: ★  sm1 クライアントの利用例
                    604:
                    605: */
                    606: /*&eg
                    607:
                    608: ******  Example of the use of sm1 client
1.1       takayama  609:
1.8       takayama  610: */
1.1       takayama  611:
1.8       takayama  612: /*&C
                    613: --------------------------------------  call ox_asir from sm1
1.1       takayama  614: sm1
                    615: (oxasir.sm1) run  ;
1.8       takayama  616: [(x^20-y^20) (x,y)] fctr pmat ;     factorize x^20-y^20 by call ox_asir
1.1       takayama  617:
                    618:
1.8       takayama  619: */
1.1       takayama  620:
1.8       takayama  621: /*&jp
1.5       takayama  622: [著作権表示]
                    623: OpenXM/Copyright を御覧ください.
1.6       takayama  624: */
1.8       takayama  625: /*&eg
                    626: [COPYRIGHT]
                    627: See OpenXM/Copyright.
                    628: */
                    629:
1.41      takayama  630: //&C
                    631: //&C ----------------------------------------------
                    632: //&C
                    633:
1.8       takayama  634: /*&eg
                    635:
1.6       takayama  636:
1.7       takayama  637:
1.8       takayama  638: *****  TO COMPILE FROM A SOURCE *****
1.7       takayama  639:
                    640: */
1.6       takayama  641: /*&jp
1.8       takayama  642:
                    643:
1.6       takayama  644: ★ OpenXM パッケージの Make 法
1.36      takayama  645:   FreeBSD 3.x, FreeBSD 4.x, Linux で動作するものと期待してます.
                    646:   (Linux glib6 では, いまのところ, /usr/include/features.h
                    647:    で #define __FAVOR_BSD 1 してコンパイルする必要がありしたが,
1.20      takayama  648:   一部のソースを
                    649:   -D_BSD_SOURCE option をつけて gcc でコンパイルするように変えてます
1.36      takayama  650:   (setjmp と sigsetjmp の問題, dirty trick) 現在では問題ありません. )
1.8       takayama  651:
1.6       takayama  652:    OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です.
1.36      takayama  653:    ftp.math.kobe-u.ac.jp/OpenXM/1.1.3 より
                    654:         openxm-1.1.3.tar.gz
                    655:    を get して展開して下さい.
                    656:         tar xzvf openxm-1.1.3.tar.gz
                    657:
                    658:    openxm-1.1.3/OpenXM    openxm-1.1.3/OpenXM_contrib
                    659:    openxm-1.1.3/OpenXM_contrib2
                    660:    が生成されます.
                    661:
1.6       takayama  662:    cvs コミッタの場合次のようにしてソースをとりよせます.
                    663: */
                    664: /*&eg
                    665: * How to make OpenXM package?
1.36      takayama  666:  We have tested the OpenXM package on FreeBSD 3.x, FreeBSD 4.x, Linux.
                    667:  (On Linux glib6, we needed to define
1.8       takayama  668:    #define  __FAVOR_BSD 1
1.20      takayama  669:  in /usr/include/features.h,
                    670:  but now we are compiling some sources with -D_BSD_SOURCE
1.36      takayama  671:  (setjmp vs sigsetjmp).  So, you do not need to make this change.)
1.8       takayama  672:
1.6       takayama  673:  Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2?
1.36      takayama  674:  get
                    675:         openxm-1.1.3.tar.gz
                    676:  from ftp.math.kobe-u.ac.jp/OpenXM/1.1.3
                    677:  Expand it by
                    678:         tar xzvf openxm-1.1.3.tar.gz
                    679:
                    680:  Then, you will get
                    681:    openxm-1.1.3/OpenXM    openxm-1.1.3/OpenXM_contrib
                    682:    openxm-1.1.3/OpenXM_contrib2
                    683:
                    684:
1.6       takayama  685:  If you are a CVS committer, then you can get all sources as follows:
                    686: */
                    687: //&C  rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2
                    688: //&C
                    689: //&jp これらがそろっていたらあとは次のように入力するだけです.
                    690: //&eg Check that you have these directories, then just type in the following commands
                    691: /*&C
                    692:
                    693:    cd OpenXM/src
                    694:    make configure
                    695:    make
                    696:    make install
                    697:
                    698: */
                    699: /*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が,
                    700: OpenXM/src/OpenMath のコンパイルおよび利用には
                    701: には, jdk (java 環境) が必要です.
1.12      takayama  702:
                    703: Documents を生成するには,  tex, ptex (ascii 日本語 tex), dvips, texinfo,
1.36      takayama  704: texi2html, nkf, jlatex2html
1.12      takayama  705: が必要です. 詳しくは Makefiles を見て下さい.
                    706: Document は, binary distribution の OpenXM/doc, OpenXM/lib
                    707: より得るのが簡単です.
1.6       takayama  708: */
                    709: /*&eg In order to use and compile OpenXM/src/ox_math, you need Mathematica.
                    710: In order to use and compile OpenXM/src/OpenMath,
                    711: you need jdk (java environment).
1.12      takayama  712:
                    713: In order to generate the full documentation including Japanese documents,
                    714: you need tex, ptex (ASCII Inc. Japanese tex), dvips, texinfo, texi2html,
1.36      takayama  715: nkf, jlatex2html.  See each Makefile.
1.12      takayama  716: The generated documents are in OpenXM/doc and OpenXM/lib
                    717: in the binary distribution.
1.15      takayama  718: If you do not like to install Japanese environment such as ptex,
                    719: type in R for the tex error prompt ? or
                    720: prepare empty shell scripts ptex and nkf.
1.36      takayama  721: */
                    722: /*&C
                    723:
                    724: */
                    725:
                    726: /*&eg
                    727: To run the system, you need to read OpenXM/rc/dot.cshrc or
                    728: OpenXM/rc/dot.bashrc by the source
                    729: command for setting proper environmental variable values.
                    730:
                    731: By the commands
                    732:          cd OpenXM/rc
                    733:          make
                    734: you can generate dot.cshrc and dot.bashrc.
                    735: Read these file by the source command in your .cshrc
                    736: or .bashrc (or .bash_profile).
                    737: */
                    738: /*&jp
                    739: システムを動かすには, OpenXM/rc/dot.cshrc または
                    740: OpenXM/rc/dot.bashrc を source コマンドで
                    741: よみこみ環境変数の値を適切に設定する必要があります.
                    742:
                    743: コマンド
                    744:          cd OpenXM/rc
                    745:          make
                    746: で dot.cshrc および dot.bashrc が生成されます.
                    747: これらのファイルを source コマンドで,
                    748: .cshrc または .bashrc (または .bash_profile) より読むようにして下さい.
1.6       takayama  749: */
                    750: /*&C
1.1       takayama  751:
1.6       takayama  752: */
1.1       takayama  753:
1.41      takayama  754: //&C ---------------------------------------------------------
                    755:
                    756: /*&eg
                    757: ***** How to generate a subset of the full OpenXM package
                    758:       from the head branch.
                    759:    *  The souce tarball of the head branch is at
                    760:           ftp.math.kobe-u.ac.jp/pub/OpenXM/Head/openxm-head.tar.gz
                    761:       Get this tarball by the ftp command. Extract the directories
                    762:          OpenXM OpenXM_contrib OpenXM_contrib2
                    763:       by
                    764:          tar xzvf openxm-head.tar.gz
                    765: */
                    766: /*&jp
                    767: ★ OpenXM package の一部分のみ生成する方法 (head branch より).
                    768:    *  Head ブランチの tarball は
                    769:           ftp.math.kobe-u.ac.jp/pub/OpenXM/Head/openxm-head.tar.gz
                    770:       にあります.  これを ftp で取得してから
                    771:           tar xzvf openxm-head.tar.gz
                    772:       を展開してください.
                    773:       OpenXM OpenXM_contrib OpenXM_contrib2 が作成されます.
                    774: */
                    775: /*&C
                    776:
                    777: */
                    778: /*&eg
                    779:    [Subpackage asir]  If you want to generate only Risa/Asir,
                    780:                       type in as follows.
                    781: */
                    782: /*&jp
                    783:    [部分パッケージ asir] Risa/Asir のみを生成したい場合は,
                    784:                          つぎのように入力します.
                    785: */
                    786: /*&C
                    787:
                    788:           (cd OpenXM/src ;  make install-asir)
                    789:           (cd OpenXM/rc ; make )
                    790:
                    791: */
                    792: /*&eg
                    793:         Copy the shell script "asir" at OpenXM/rc in your search path, e.g.,
                    794:         /usr/local/bin or ~/bin
                    795:         Or, read OpenXM/rc/dot.bashrc or OpenXM/rc/dot.bashrc by the source
                    796:         command from your ~/.bashrc or ~/.cshrc.
                    797: */
                    798: /*&jp
                    799:         OpenXM/rc の下のシェルスクリプト "asir" をサーチパスにコピーして
                    800:         ください (たとえば, /usr/local/bin or ~/bin へ).
                    801:         または OpenXM/rc/dot.bashrc か OpenXM/rc/dot.cshrc を
                    802:         source コマンドで ~/.bashrc か ~/.cshrc より読み込んでください.
                    803: */
                    804: /*&C
                    805:
                    806: */
                    807: /*&eg
                    808:    [Subpackage kan-ox]  If you want to generate only kan/k0, kan/sm1 and asir
                    809:                         type in as follows.
                    810: */
                    811: /*&jp
                    812:    [部分パッケージ kan-ox] Kan/k0, Kan/sm1, asir のみを生成したい場合は,
                    813:                            つぎのように入力します.
                    814: */
                    815: /*&C
                    816:
                    817:           (cd OpenXM/src ;  make install-kan-ox)
                    818:           (cd OpenXM/rc ; make )
                    819:
                    820: */
                    821: /*&eg
                    822:         Copy the shell script "asir", "sm1" and "openxm" at OpenXM/rc
                    823:         to your search path, e.g.,
                    824:         /usr/local/bin or ~/bin
                    825:         Or, read OpenXM/rc/dot.bashrc or OpenXM/rc/dot.bashrc by the source
                    826:         command from your ~/.bashrc or ~/.cshrc.
                    827: */
                    828: /*&jp
                    829:         OpenXM/rc の下のシェルスクリプト "asir", "sm1", "openxm" を
                    830:         サーチパスにコピーして
                    831:         ください (たとえば, /usr/local/bin or ~/bin へ).
                    832:         または OpenXM/rc/dot.bashrc か OpenXM/rc/dot.cshrc を
                    833:         source コマンドで ~/.bashrc か ~/.cshrc より読み込んでください.
                    834: */
                    835:
                    836: //&C
                    837: //&C ------------------------------------------------------
                    838: //&C
1.6       takayama  839: /*&jp
1.1       takayama  840:
1.8       takayama  841: [OpenXM 下のファイルの構成メモ]
1.3       maekawa   842: lib/asir には, asir のライブラリ, ox_asir 本体
                    843:
1.8       takayama  844: cd OpenXM/src/kxx ; make install-for-debug した場合,
1.3       maekawa   845: lib/sm1 は src/SSkan/Doc への symbolic link
                    846: であり, sm1 のライブラリファイルが格納されています.
                    847: lib/sm1/bin には, binaryfiles
1.1       takayama  848:     sm1, ox_sm1, ox,  ox_log, ox_sm1_*
1.3       maekawa   849: へのシンボリックリンクが格納されます.
1.8       takayama  850: このシンボリックリンクは src/kxx で make install-for-debug を実行することにより
1.3       maekawa   851: 作成されます.
1.1       takayama  852:
1.3       maekawa   853: sm1 が ox_asir を利用するのに必要なファイル.
1.1       takayama  854:    lib/asir/ox_asir,
                    855:    lib/sm1/bin/ox, lib/sm1/bin/ox_log  (src/kxx/ox, src/kxx/ox_log)
                    856:    lib/sm1/ox.sm1, lib/sm1/oxasir.sm1
                    857:
1.3       maekawa   858: asir が ox_sm1_forAsir を利用するのに必要なファイル:
1.1       takayama  859:    lib/asir/ox_launch
1.3       maekawa   860:    lib/sm1/bin/ox_sm1_forAsir (ox_sm1 へのリンク)
1.1       takayama  861:    lib/asir/xm
1.3       maekawa   862:    lib/sm1/ 以下の *.sm1 なるすべての ライブラリファイル.
1.1       takayama  863:      callsm1.sm1 callsm1b.sm1
1.3       maekawa   864:      (ox_sm1_forAsir の定義ファイル, src/kxx/oxserver00.c
                    865:       ox_sm1 が ox_sm1_forAsir という名前で呼ばれるとこれらのファイルをロード.)
1.1       takayama  866:
1.3       maekawa   867: asir が ox_sm1_gnuplot を利用するのに必要なファイル:
1.1       takayama  868:     lib/asir/ox_launch
1.3       maekawa   869:     lib/sm1/bin/ox_sm1_gnuplot (ox_sm1 へのリンク, ox_sm1_gnuplot は fork して
1.4       maekawa   870:                                 gnuplot4ox を実行します.)
1.1       takayama  871:     lib/asir/xm
                    872:     lib/sm1/callsm1.sm1, lib/sm1/gnuplot.sm1
1.3       maekawa   873:      (ox_sm1_gnuplot の定義ファイル, src/kxx/oxserver00.c
                    874:       ox_sm1 が ox_sm1_gnuplot という名前で呼ばれるとこれらのファイルをロード.)
1.4       maekawa   875:     bin/gnuplot4ox,  bin/gnuplot_x11  (gnuplot 本体, src/gnuplot*)
1.1       takayama  876:
                    877: ----------------------------------------
1.3       maekawa   878: [開発者用メモ]
1.1       takayama  879:
1.3       maekawa   880: << sm1, ox_sm1, ox, oxlog の debug >>
                    881: binary file は各 directory の make install により
                    882: OpenXM/bin にコピーされますが,
                    883: debug 用にいちいちコピーするのは面倒なので,
1.8       takayama  884: OpenXM/src/kan96xx で make install-for-debug
                    885: OpenXM/src/kxx で make install-for-debug
1.3       maekawa   886: を実行すると,
                    887: OpenXM/bin/sm1, ox, ox_sm1, oxlog より,
1.1       takayama  888: OpenXM/src/kan96xx/Kan/sm1
                    889: OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog
1.3       maekawa   890: へのシンボリックリンクが作成されます.
1.1       takayama  891:
1.3       maekawa   892: [CVSコミッタ用メモ]
                    893: <<  OpenXM ディレクトリ配布版の作成方法 >>
1.1       takayama  894: rcvs export -rHEAD OpenXM
                    895: rcvs export -rHEAD OpenXM_contrib
                    896: rcvs export -rHEAD OpenXM_contrib2
1.21      takayama  897: cd OpenXM/src ; make generate-source-distribution
1.3       maekawa   898: して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip.
1.7       takayama  899: */
                    900:
                    901: /*&C
                    902:
                    903: */
                    904: /*&jp
                    905:
                    906: ★ Solaris に関する注意.
                    907: Solaris ではまだ問題が山積してます.
                    908: Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt
                    909: を見てください.
1.8       takayama  910: Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって
                    911: おきます.
1.7       takayama  912:
                    913: */
1.8       takayama  914: /*&eg
                    915: ***** COMPILE ON SOLARIS
                    916:  There are a lot of troubles on Solaris for now.
                    917:  At least,
                    918:  /usr/ccs/bin must be at the top of the command search path to compile
                    919:  on Solaris.
                    920: */
1.31      takayama  921: /*&jp
                    922:
                    923: ★ Redhat Linux 6.1 上でのコンパイル
                    924: m4-1.4 と autoconf-2.13 が必要.
                    925: (あらかじめはいっている,  autoconf は 2.12 でありこれは
                    926:  gnuplot の make で不具合を生じます.)
1.8       takayama  927:
1.31      takayama  928: */
                    929: /*&eg
                    930: ***** COMPILE ON Redhat Linux 6.1
                    931: m4-1.4 and autoconf-2.13 are required.
                    932: (Preinstalled autoconf is version 2.12. It causes a trouble when
                    933:  you build gnuplot.)
                    934: */
1.7       takayama  935:
                    936: /*&C
                    937:
1.1       takayama  938: */

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