=================================================================== RCS file: /home/cvs/OpenXM/doc/install.oxweave,v retrieving revision 1.20 retrieving revision 1.51 diff -u -p -r1.20 -r1.51 --- OpenXM/doc/install.oxweave 2000/02/01 05:18:28 1.20 +++ OpenXM/doc/install.oxweave 2008/06/03 00:24:49 1.51 @@ -1,279 +1,299 @@ -%% $OpenXM: OpenXM/doc/install.oxweave,v 1.19 2000/01/27 01:13:17 takayama Exp $ +%% $OpenXM: OpenXM/doc/install.oxweave,v 1.50 2008/02/18 06:36:12 takayama Exp $ OpenXM/doc/install.oxweave /*&C + OpenXM URL : http://www.math.kobe-u.ac.jp/OpenXM -Consult firstly the ERRATA section for your release on this web cite -for troubles. + http://www.openxm.org -OpenXM package : Getting started. - */ + /*&jp -。� OpenXM ・ム・テ・ア。シ・ク、ホヘムハ�ヒ。 -、ウ、ホタ皃ヌ、マ, OpenXM package binary distribution 、ホ・、・ケ・ネ。シ・�。、篶タ、キ、゙、ケ. -・、・ケ・ネ。シ・�ヒノャヘラ、ハ・キ・ケ・ニ・爨ホサナヘヘ、ヒ、ト、、、ニ、マ, ニーコ鋗トカュ、賚ッ、タ、オ、、. -*/ -/*&eg -***** HOW TO USE OpenXM PACKAGE? -In this section, we will explain how to install OpenXM package binary -distribution. -As to the required environment, see the section "System Requirement" -*/ -/*&jp -(1) Tar ・ワ。シ・�隍�。、ホ、隍ヲ、ヒ、キ、ニ・ヌ・」・�ッ・ネ・� OpenXM 、隍�ミ、キ、゙、ケ. - OpenXM 、マ、ノ、ウ、ヒ、ェ、、、ニ、筅ォ、゙、、、゙、サ、�. ・�シ・ネ、ヒ、ハ、テ、ニ・、・ケ・ネ。シ・� - 、ケ、�ャヘラ、筅「、熙゙、サ、�. - 、ヌ、ュ、�ミ, /usr/local/OpenXM 、ヒ、ェ、、、ニ、ロ、キ、、、ネサラ、、、゙、ケ. - -*/ -/*&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 +(cd OpenXM/src ; make install) + ・ミ・、・ハ・熙ネ・鬣、・ヨ・鬣熙ネ・ノ・ュ・螂皈ネホ爨マ + OpenXM/bin, OpenXM/lib, OpenXM/doc + 、ヒ・、・ケ・ネ。シ・�オ、�゙、ケ. +(cd OpenXM/rc ; make install) + "asir", "sm1", ... 、ハ、ノ、ホ・キ・ァ・�ケ・ッ・�ラ・ネ、ャタクタョ、オ、�ニ + /usr/local/bin + 、ヒ・ウ・ヤ。シ、オ、�゙、ケ. + 、ウ、ホノャ、マ root 、ヌシツケヤ、キ、ニ、ッ、タ、オ、、. -*/ -/*&C - tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz -*/ -/*&jp -ーハイシ (1) 、ヌタクタョ、オ、�ソ・ヌ・」・�ッ・ネ・� OpenXM 、ホタ萃ミ・ム・ケ、� /xxx/yyy/OpenXM -、ネスュ、゙、ケ. +、ソ、ネ、ィ、ミ openxm asir 、ネニ�ホマ、キ、ニ, asir 、ャ・ケ・ソ。シ・ネ、ケ、�ミ・、・ケ・ネ。シ・� +、マ、ヲ、゙、ッ、、、テ、ニ、、、�ネサラ、��゙、ケ. +、ハ、ェー�ホ・ス。シ・ケ、マ ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc 、隍� +OpenXM_dist 、ヒ make テ讀ヒ wget ・ウ・゙・ノ、ヌ・タ・ヲ・悅シ・ノ、オ、�゙、ケ. +、キ、ソ、ャ、テ、ニ, make 、ケ、�ネ、ュ、マ +・、・ソ。シ・ヘ・テ・ネ、ヒタワツウ、オ、�ニ、、、�ャヘラ、ャ、「、熙゙、ケ. + +・ユ・。・、・「・ヲ・ェ。シ・�筅ヌ、筅キ passive ftp 、ャサネ、ィ、ハ、、セ�遉マ, +エトカュハムソ� ftp_proxy 、オ、キ、ッタ゚ト熙ケ、�ミ、ヲ、゙、ッ、、、ッセ�遉ャ、「、�ォ、筅キ、�゙、サ、�. +セワ、キ、ッ、マ wget 、ホ・゙・ヒ・螂「・�ォ、ニ、ッ、タ、オ、、. +・タ・ヲ・悅シ・ノ、キ、ソ・鬣、・ヨ・鬣熙ホ・ス。シ・ケ、マ +OpenXM_dist ( OpenXM 、ネハツホキ、ソセ�熙ヌ、ケ ) 、ヒウハヌシ、オ、�゙、ケ. +、ウ、ウ、ヒシ�ー、ヌノャヘラ、ハ・鬣、・ヨ・鬣熙ホ・ス。シ・ケ、ェ、、、ネ、ア、ミ, offline 、ヌ、� +・ウ・ム・、・�トヌス、ヌ、ケ. + */ + /*&eg -In the sequel, we will denote the absolute path of the directory OpenXM -by /xxx/yyy/OpenXM. +OpenXM package : Getting started. + + +----------- An instruction for a quick installation from the source code --- + +(cd OpenXM/src ; make install) + You will get binaries, libraries, and documents under + OpenXM/bin, OpenXM/lib, OpenXM/doc +(cd OpenXM/rc ; make install) + Shell scripts to start "asir", "sm1", ... will be copied to + /usr/local/bin + This part should be executed as the root. + +Please try + openxm asir +If asir starts, then your installation seems to be successful. + + +Some sources are downloaded from ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc +to OpenXM_dist during the make by the wget command. +So, your machine must be accessible to the internet. + +If you are in a firewall and cannot use even the passive +ftp, the environmental variable ftp_proxy may help you. +See the document of wget. All necessary library sources are downloaded in +OpenXM_dist at the same level of OpenXM. If you are offline, please put +all library sources necessary in this directory by hand. + */ + + /*&jp -(2) シ。、ホ、隍ヲ、ヒニ�ホマ、キ、ニ OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc, - OpenXM/rc/openxm - ・ユ・。・、・�ォニータクタョ、キ、゙、ケ. - 、ウ、�鬢ホ・ユ・。・、・�ヒ、マ, OpenXM/bin 、ホ・ユ・。・、・�ツケヤ、ケ、�ソ、皃ホ - エトカュハムソャト�チ、オ、�ニ、、、゙、ケ. + +------- Asir 、ネ kan 、タ、ア、ヌススハャ、ハセ�� +(cd OpenXM/src ; make install-kan-ox ; make install-asir-contrib) + OpenXM ネヌ、ホ Risa/Asir 、ネ kan/sm1 、ャタクタョ・、・ケ・ネ。シ・�オ、�゙、ケ. +(cd OpenXM/rc ; make install) + +------------------------------------------- +asir-contrib ノユ、ュ、ホ Risa/Asir 、マ OpenXM ・ム・テ・ア。シ・ク、ホ・皈、・ッ・鬣、・「・ネ、ヌ、ケ. +Risa/asir 、マ・ウ・゙・ノ asir 、ヌオッニー、ヌ、ュ、゙、ケ. +Risa/Asir 、ェ、隍モ Asir-contrib 、ホ・゙・ヒ・螂「・�マ +OpenXM/doc ・ヌ・」・�ッ・ネ・熙ェ、隍モ http://www.openxm.org 、ヒ、ェ、、、ニ、「、熙゙、ケ. + + */ + + /*&eg -(2) Generate OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and - OpenXM/rc/openxm - by the following command. - Environmental variables to execute commands in OpenXM/bin - are defined in these files. -*/ -/*&C +------- If you need only asir and kan, +(cd OpenXM/src ; make install-asir2000 ; make install-k097 ) + You will get only asir and kan/sm1. +(cd OpenXM/rc ; make install) - cd /xxx/yyy/OpenXM/rc - make +------------------------------------------- +Risa/Asir with asir-contrib is the main client system in the OpenXM project. +You can start Risa/Asir by the command "asir", which is called +OpenXM/Risa/Asir. +It is build by (cd OpenXM/src ; make install-asir-contrib) +The manual of Risa/Asir and Asir-contrib can be found in the +OpenXM/doc directory and http://www.openxm.org + */ + /*&jp -(3) csh 、ム、キ、ニ、���, シ。、ホケヤ、� ~/.cshrc 、ホコヌク螟ヒイテ、ィ、゙、ケ. + +----------- エト、ォイ� ------------------ + +Q. (cd OpenXM/rc ; make all) 、マ、ハ、ヒ、荀�ホ? +A. + OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc, + OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, ナホ + ・ユ・。・、・�ォニータクタョ、キ、゙、ケ. + openxm, asir, oxmath 、ハ、ノ、マ OpenXM ・ッ・鬣、・「・ネ、ッニー、ケ、�ソ、皃ホ + ・キ・ィ・�ケ・ッ・�ラ・ネ、ヌ、ケ. 、ソ、ネ、ィ、ミ openxm asir 、ネニ�ホマ、ケ、�ミ OpenXM エトカュ、ヌ + asir 、ャニーコ釥キ、゙、ケ. + 、ウ、�鬢� /usr/local/bin 、ヒ・、・ケ・ネ。シ・�ケ、�ヒ、マ + シ。、ホ、隍ヲ、ヒニ�ホマ、キ、゙、ケ. + */ /*&eg -(3) Append the following line to the end of ~/.cshrc when you are - using csh as your shell. +----------- Some Tips ---------------------- + +Q. What is done by the command (cd OpenXM/rc ; make all) ? +A. + It generates OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and + OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, ... + The files openxm, asir, oxmath are shell scripts to invoke OpenXM clients. + For example, if you input + openxm asir + then asir starts in the OpenXM enviroment. + If you want to install these shell scripts to /usr/local/bin, + type in as follows. + */ /*&C - source /xxx/yyy/OpenXM/rc/dot.cshrc + cd OpenXM/rc + make install */ /*&jp -(3') bash 、ム、キ、ニ、���, シ。、ホケヤ、� ~/.bashrc 、ホコヌク螟ヒイテ、ィ、゙、ケ. + /usr/local/bin 、ヌ、ハ、ッ, home directory 、ホ bin 、ヒ・、・ケ・ネ。シ・�キ、ソ、、 + 、ネ、ュ、マ, シ。、ホ、隍ヲ、ヒニ�ホマ、キ、ニ、ッ、タ、オ、、. + */ /*&eg -(3') Append the following line to the end of ~/.bashrc when you are - using bash as your shell. + + If you want to install them under the bin of your home directory, + type in as follows. */ /*&C - source /xxx/yyy/OpenXM/rc/dot.bashrc + cd OpenXM/rc + make install PREFIX=$HOME/bin */ +/*&C -/*&jp + [Note] If you are Solaris user, you might have to type in like + /usr/ccs/bin/make install PREFIX=$HOME/bin - (3) 、゙、ソ、マ (3') 、ェホサ、キ、ソ、�, 、、、テ、ソ、� logout 、キ、ニ login 、キ、ハ、ェ、ケ、ォ - 、゙、ソ、マ, source ・ウ・゙・ノ、ヌ, dot.bashrc 、゙、ソ、マ dot.csh 、ノ、゚ケ�、ヌイシ、オ、、. - (3) 、゙、ソ、マ (3') 、荀鬢ハ、、、ネ、、、ヲチェツ筅「、熙゙、ケ. - 、ウ、ホセ��, ・キ・ァ・�ケ・ッ・�ラ・ネ - OpenXM/rc/openxm 、� ・ウ・゙・ノ・オ。シ・チ・ム・ケ、ヒーワ、キ, - OpenXM/bin ーハイシ、ホチエ、ニ、ホ・ウ・゙・ノ、ホシツケヤ、マ, - openxm ・ウ・゙・ノフセ - 、ネ、、、ヲキチ、ヌクニ、モスミ、キ、゙、ケ. - 、ソ、ネ、ィ、ミ, openxm asir 、ネ、ォ openxm sm1 、ネ、、、ヲキチ、ヌ、隍モ、タ、キ、゙、ケ. - */ -/*&eg - - After finishing the step (3) or (3'), logout and login again, - or read dot.bashrc or dot.cshrc file by the source command. - You may skip the step (3) or (3'). - In this case, move the shell script OpenXM/rc/openxm to your - command search path. To execute commands in OpenXM/bin, type in - openxm command-name - For example, "openxm asir" starts asir and "openx sm1" starts sm1 - with a proper setting of environmental variables. +/*&jp -*/ +Q. OpenXM/bin 、ホイシ、ホ・ユ・。・、・�セタワシツケヤ、ヌ、ュ、�隍ヲ、ヒ、キ、ソ、、. +A. +OpenXM/bin 、ホイシ、ホ・ユ・。・、・�セタワシツケヤ、キ、ソ、、セ�遉マ, ーハイシ、ホタ゚ト熙ャノャヘラ、ヌ、ケ. + # csh 、ム、キ、ニ、���, シ。、ホケヤ、� ~/.cshrc 、ホコヌク螟ヒイテ、ィ、゙、ケ. -//&C -//&jp (4) asir 、ホヘム、ヒ、マ key 、ャノャヘラ、ヌ、ケ. -//&eg (4) You need a key to use asir. -//&C -/*&jp - asir 、ホオッニーサ�、ホ・皈テ・サ。シ・ク、゙、ソ、マ OpenXM/lib/asir/asir_key 、� - サイセネ、キ、ニ, key 、霹タ、キ、ニイシ、オ、、 (ソテ、キ、ォ、ォ、ォ、熙゙、サ、�). - */ /*&eg - Please get the key by following the instruction from asir itself or - that in OpenXM/lib/asir/asir_key (it takes only a few seconds - to get the key). -*/ +Q. I want to execute binaries under OpenXM/bin +A. +If you want to execute binaries under OpenXM/bin, you need to do +the following. -/*&C -***** QUALITY: - the following modules and functions have still experimental qualities: - OpenXM/bin/k0, OpenXM/bin/d0 - OpenXM/bin/ox_math, OpenXM/bin/math2ox - OpenXM/lib/java-support/ * - Asir client functions: m_* (Mathematica) , om_* (OpenMath) - OpenXM/bin/sm1, ox_sm1 on Linux libc6. + # Append the following line to the end of ~/.cshrc when you are + using csh as your shell. + */ /*&C + source OpenXM/rc/dot.cshrc */ /*&jp -。� Java 、ヒエリ、ケ、�擎ユ: -テ擎ユ 1. -OpenMath ヘム、ホ OMproxy 、ヒ、マクスコ゚、ホ、ネ、ウ、�, jdk 、ャノャヘラ、ヌ、ケ. -、ソ、ネ、ィ、ミ bash 、ム、キ、ニ、、、���, .bashrc 、ヌ -PATH=/usr/local/jdk1.1.8/bin:$PATH -export PATH -、ハ、ノ、ネ、キ、ニ, jdk 、ホ java, javac 、オ。シ・チ・ム・ケ、ホタ隍ホ、ロ、ヲ、リ、筅テ、ニ、、、ッ、隍ヲ、ヒ、キ、ニ -、ッ、タ、オ、、. -csh 、ム、キ、ニ、、、���, .cshrc 、ヌ -set path=(/usr/local/jdk1.1.8/bin $path) -、ネ、キ、ニ, jdk 、ホ java, javac 、オ。シ・チ・ム・ケ、ヒ、、、�゙、ケ. + # bash 、ム、キ、ニ、���, シ。、ホケヤ、ス、�セ、�� ~/.bashrc 、ェ、隍モ ~/.bash_profile +、ホコヌク螟ヒイテ、ィ、゙、ケ. -テ擎ユ: -、ハ、ェ, Kaffe 1.0.b4 、ホ java 、マ, class BigInteger 、ヒ method -toByteArray 、ャエ゙、゙、�ニ、ハ、、、ソ、�, OpenMath ・筵ク・蝪シ・�ヌ、マサネヘム、ヌ、ュ、゙、サ、�. */ /*&eg -***** JAVA -In order to use OMproxy, asir client om_*, -you need to install JDK. -The bin dir of the JDK must be in yur search path. -For example, you need to add the following line -to your .chsrc when your shell is csh -set path=(/usr/local/jdk1.1.8/bin $path) -Bash users put the following line to .bashrc -PATH=/usr/local/jdk1.1.8/bin:$PATH -export PATH + # Append the following lines to the end of ~/.bashrc and ~/.bash_profile + respectively when you are using bash as your shell. -Remark: -The Java interpreter of Kaffe 1.0.b4 does not contain the method -toByteArray in the class BigInteger. -So, it cannot be used for the OpenMath module. */ - /*&C + source OpenXM/rc/dot.bashrc (.bashrc) + source ~/.bashrc (.bash_profile) - */ -/*&jp -。� ニーコ鋗トカュ + +/*&jp +Q. ox_asir 、� icon 、ヌ・ケ・ソ。シ・ネ、ケ、�ヒ、マ? +A. シ。、ホケヤ、�, .Xdefaults 、゙、ソ、マ, xrdb 、ヌニノ、゚ケ�、爭ユ・。・、・�ヒス、、ニ、ェ、ュ、゙、ケ. */ /*&eg -***** SYSTEM REQUIREMENTS - +Q. How to start ox_asir in the iconic mode? +A. Add the following line to .Xdefaults or a file you read by xrdb. */ /*&C -OS: FreeBSD 3.3 (Intel CPU), - Linux systems (Intel CPU): - Most Linux with libc5 and with libc6 (glibc 2.x). + ox_xterm*iconic: on - X window system is required. - - Most part of the OpenXM package may work on other versions of - FreeBSD 3.x and Linux, but we have not yet tested. - */ + /*&jp + +Q. Make 、マフオサェホサ、キ、゙、ケ、ャ, ナモテ讀ヌ・ィ・鬘シ、ャ、ヌ、゙、ケ. +A. +OS 、ホノクス倏コノユ、ホエトカューハウー、ャノャヘラ、ハ・ウ・ン。シ・ヘ・ネ、ホ・ウ・ム・、・�ィ・鬘シ、マ +フオサ�オ、�゙、ケ. シ。、ホ modules 、マ, OS 、ホノクス� distribution ーハウー、ヒ, 、オ、鬢ヒイシ、ヒオュ、キ、ソ・ス・ユ・ネ、� ノャヘラ、ネ、キ、゙、ケ. */ /*&eg -The following modules require the listed softwares other than the standard -OS package. + +Q. Make finishes, but it outputs errors. +A. +Compilation errors due to missing commands other than +standard commands are ignored. +The following modules require the listed software systems +other than the standard OS package. */ /*&C -(1) OpenXM/bin/ox_math : Mathematica Version 3.x or 4.x +(1) OpenXM/bin/oxmath : Mathematica Version 3.x or 4.x (Mathematica server) at /usr/local/Mathematica OpenXM/bin/math2ox [ see http://www.wolfram.com ] Asir client functions m_* -(2) OpenXM/lib/java-support : JDK at /usr/local/jdk?? - [ see the section on JAVA] +(2) OpenXM/lib/OpenMath : JDK + Asir client functions om_* sm1 client functions om_* -(3) PHC pack (OpenXM/bin/phc) and asir client functions - phc_* run only on linux (glib5). - If you install the linux emulation^{note 1} on Free BSD, they run on +(3) PHC pack (OpenXM/bin/phc) and asir client functions phc_* + phc_* run only on linux. + If you install the linux emulation on Free BSD, they run on FreeBSD, too. <note 1> Add linux_enable="YES" in /etc/rc.conf You need the following packages: pkg_info | grep linu - linux_base-5.2 The base set of packages needed in Linux mode - linux_devtools-5.2 Packages needed for doing development in Linux mode + linux_base-* The base set of packages needed in Linux mode + linux_devtools-* Packages needed for doing development in Linux mode +(4) The document generation requires + latex, platex, tex, ptex, dvips, latex2html, texi2html, nkf */ /*&jp -ニ�ワク�ヌ、ホテ擎ユ. -テ擎ユ 1. +Q. asir 、ホ help message 、ャハム. +A. asir 、ヌニ�ワク�ホ・リ・�ラ、ム、ケ、�ヒ、マ, PAGER=jless export PAGER 、ハ、ノ、ヌ, ニ�ワク�キ、ィ、� PAGER 、リト熙ケ、�ャヘラ、ャ、「、�ォ、筅キ、�゙、サ、�. */ -/*&eg +/*&C -The installation is completed. +----------------------------------------------------- */ -/*&jp -ーハセ�. - -*/ - /*&jp -。� ハクス� - +Q. OpenXM ・ム・テ・ア。シ・ク、ホハクスマ。ゥ +A. OpenXM ・ム・テ・ア。シ・ク、ヌ、筅テ、ネ、篆シシツ、キ、ニ、、、�ッ・鬣、・「・ネ、マ, asir 、ヌ、ケ. asir 、ホ、ト、ォ、、、ォ、ソ、マ @@ -288,11 +308,20 @@ The installation is completed. 、ォ、ニイシ、オ、、. ps 、ホノユ、ッ・ユ・。・、・�マ, ghostview 、ヌクォ、�ウ、ネ、ャ、ヌ、ュ、゙、ケ. + Mathematica client 、ヒ、ト、、、ニ、マ, OpenXM/doc/ox_math 、賚ッ、タ、オ、、. + sm1 client 、ヒ、ト、、、ニ、マ, OpenXM/doc/kan96xx 、賚ッ、タ、オ、、. + asir 、マ, ツソケ狆ース靉�ヘム、ホ・鬣、・ヨ・鬣熙ネ、キ、ニ・�ッ、ヌ、ュ、゙、ケ. + 、ウ、�ヒ、ト、、、ニ、マ, OpenXM/doc/oxlib 、賚ッ、タ、オ、、. + + OpenXM ツミア�、ホ, ・オ。シ・ミ 、鋿ョ、ケ、�ヒ、マ, OpenXM/src/ox_toolkit + 、ォ、ニ、ッ、タ、オ、、. Java 、ホ・ッ・鬣ケ、ヒ、ト、、、ニ、マ + OpenXM/src/OpenMath 、ォ、ニ、ッ、タ、オ、、. + */ /*&eg -***** DOCUMENTS - - The best OpenXM client in the OpenXM package is now +Q. Where can I find documents of the OpenXM package. +A. + The main OpenXM client in the OpenXM package is now asir. Documents on asir are OpenXM/doc/asir2000/man-eg.dvi @@ -307,170 +336,50 @@ The installation is completed. Dvi files can be previewed by xdvi and ps files can be previewed by ghostview. -*/ + As to Mathematica client, see OpenXM/doc/ox_math. + As to sm1 client, see OpenXM/doc/kan96xx. + The asir can be used as a C library for polynomial manupulation. + See OpenXM/doc/oxlib. -/*&eg + If you are interested in writing a server for OpenXM in C or Java, + please refer to + OpenXM/src/ox_toolkit and OpenXM/src/OpenMath. - -***** A QUICK TOUR OF OPENXM BY ASIR - */ -/*&jp - -。� ASIR 、ヒ、隍�ネヘムホ� - - -asir 、ーコ釥オ、サ、�ヒ、マ, key 、ャノャヘラ、ヌ、ケ. -OpenXM/lib/asir/asir_key 、ホ・ウ・皈ネ、゙、ソ、マオッニーサ�、ホ・皈テ・サ。シ・ク、゚、ニ, -key 、� E-mail 、ヌ、ネ、熙隍サ、ニイシ、オ、、. - -*/ -/*&C ----------------- Call ox_sm1 from asir. -bash-2.03$ asir -This is Risa/Asir, Version 20000120. -Copyright (C) FUJITSU LABORATORIES LIMITED. -1994-1999. All rights reserved. -xm Version 20000116. ox_help(0); ox_help("keyword"); for help message -[269] sm1_genericAnn([x^3-y^2,[s,x,y]]); - /* The annihilating ideal of (x^3-y^2)^s */ -[-2*y*dx-3*x^2*dy,2*x*dx+3*y*dy-6*s] - - ---------------- Call gnuplot from asir. -bash-2.03$ asir -This is Risa/Asir, Version 20000120. -Copyright (C) FUJITSU LABORATORIES LIMITED. -1994-1999. All rights reserved. -xm Version 20000116. ox_help(0); ox_help("keyword"); for help message -[269] gnuplot("plot sin(x);"); -0 -[270] - -*/ - -/*&jp - -。� sm1 ・ッ・鬣、・「・ネ、ホヘムホ� - -*/ /*&eg - -****** Example of the use of sm1 client - +Q. I want to install only Risa/Asir. +A. + If you want to generate only Risa/Asir, type in as follows. */ - -/*&C --------------------------------------- call ox_asir from sm1 -sm1 -(oxasir.sm1) run ; -[(x^20-y^20) (x,y)] fctr pmat ; factorize x^20-y^20 by call ox_asir - - -*/ - /*&jp -[テ鋕「ノスシィ] -OpenXM/Copyright 、賚ッ、タ、オ、、. +Q. Risa/Asir 、ホ、゚ install 、キ、ソ、、. +A. + Risa/Asir 、ホ、゚、クタョ、キ、ソ、、セ�遉マ, 、ト、ョ、ホ、隍ヲ、ヒニ�ホマ、キ、゙、ケ. */ -/*&eg -[COPYRIGHT] -See OpenXM/Copyright. -*/ +/*&C -/*&eg + (cd OpenXM/src ; make install-asir) + (cd OpenXM/rc ; make ) - - -***** TO COMPILE FROM A SOURCE ***** - */ -/*&jp - - -。� OpenXM ・ム・テ・ア。シ・ク、ホ Make ヒ。 - FreeBSD 2.2.8, FreeBSD 3.3, Linux 、ヌニーコ釥ケ、�筅ホ、ネエ�ヤ、キ、ニ、゙、ケ. - Linux glib6 、ヌ、マ, 、、、゙、ホ、ネ、ウ、�, /usr/include/features.h - 、ヌ #define __FAVOR_BSD 1 、キ、ニ・ウ・ム・、・�ケ、�ャヘラ、ャ、「、熙キ、ソ、ャ, - ー�ホ・ス。シ・ケ、� - -D_BSD_SOURCE option 、ト、ア、ニ gcc 、ヌ・ウ・ム・、・�ケ、�隍ヲ、ヒハム、ィ、ニ、゙、ケ - (setjmp 、ネ sigsetjmp 、ホフ萃�, dirty trick). - - OpenXM, OpenXM_contrib, OpenXM_contrib2 、ャノャヘラ、ヌ、ケ. - cvs ・ウ・゚・テ・ソ、ホセ�郛。、ホ、隍ヲ、ヒ、キ、ニ・ス。シ・ケ、ネ、熙隍サ、゙、ケ. -*/ /*&eg -* How to make OpenXM package? - We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux. - On Linux glib6, we needed to define - #define __FAVOR_BSD 1 - in /usr/include/features.h, - but now we are compiling some sources with -D_BSD_SOURCE - (setjmp vs sigsetjmp). - - Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? - If you are a CVS committer, then you can get all sources as follows: + Copy the shell script "asir" at OpenXM/rc in your search path, e.g., + /usr/local/bin or ~/bin + Or, read OpenXM/rc/dot.bashrc or OpenXM/rc/dot.bashrc by the source + command from your ~/.bashrc or ~/.cshrc. */ -//&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2 -//&C -//&jp 、ウ、�鬢ャ、ス、惕テ、ニ、、、ソ、鬢「、ネ、マシ。、ホ、隍ヲ、ヒニ�ホマ、ケ、�タ、ア、ヌ、ケ. -//&eg Check that you have these directories, then just type in the following commands -/*&C - - cd OpenXM/src - make configure - make - make install - -*/ -/*&jp 、ハ、ェ, OpenXM/src/ox_math 、ホ・ウ・ム・、・�ェ、隍モヘム、ヒ、マ Mathematica 、ャ, -OpenXM/src/OpenMath 、ホ・ウ・ム・、・�ェ、隍モヘム、ヒ、マ -、ヒ、マ, jdk (java エトカュ) 、ャノャヘラ、ヌ、ケ. - -Documents 、クタョ、ケ、�ヒ、マ, tex, ptex (ascii ニ�ワク� tex), dvips, texinfo, -texi2html, nkf, -、ャノャヘラ、ヌ、ケ. セワ、キ、ッ、マ Makefiles 、ォ、ニイシ、オ、、. -Document 、マ, binary distribution 、ホ OpenXM/doc, OpenXM/lib -、隍�タ、�ホ、ャエハテア、ヌ、ケ. -*/ -/*&eg In order to use and compile OpenXM/src/ox_math, you need Mathematica. -In order to use and compile OpenXM/src/OpenMath, -you need jdk (java environment). - -In order to generate the full documentation including Japanese documents, -you need tex, ptex (ASCII Inc. Japanese tex), dvips, texinfo, texi2html, -nkf. See each Makefile. -The generated documents are in OpenXM/doc and OpenXM/lib -in the binary distribution. -If you do not like to install Japanese environment such as ptex, -type in R for the tex error prompt ? or -prepare empty shell scripts ptex and nkf. -*/ -/*&C - -*/ /*&jp - - OpenXM_contrib2/asir2000 、ホヌロノロ、ア、ニ、ハ、、セ�� (・ス。シ・ケ・鬣、・サ・ケ、� - ノルサホトフ、隍�ア、�ャヘラ、ャ、「、熙゙、ケ), - OpenXM/src/Makefile 、ホウニ・筵ク・蝪シ・�セ 、ソ、ネ、ィ、ミ - make all-kan96xx - 、ハ、ノ、ネウニ・筵ク・蝪シ・�セ、リト熙キ、ニ・ウ・ム・、・�キ、ニイシ、オ、、. - + OpenXM/rc 、ホイシ、ホ・キ・ァ・�ケ・ッ・�ラ・ネ "asir" 、オ。シ・チ・ム・ケ、ヒ・ウ・ヤ。シ、キ、ニ + 、ッ、タ、オ、、 (、ソ、ネ、ィ、ミ, /usr/local/bin or ~/bin 、リ). + 、゙、ソ、マ OpenXM/rc/dot.bashrc 、ォ OpenXM/rc/dot.cshrc 、� + source ・ウ・゙・ノ、ヌ ~/.bashrc 、ォ ~/.cshrc 、隍�ノ、゚ケ�、ヌ、ッ、タ、オ、、. */ -/*&eg - - If you cannot get a source liscence of OpenXM_contrib2/asir2000 - from Fujitsu labs, - compile each modules independently, e.g., - make all-kan96xx -*/ - /*&jp - +Q. OpenXM 、ホイシ、ホ・ユ・。・、・�スタョ、マ、ノ、ヲ、ハ、テ、ニ、、、゙、ケ、ォ? +A. [OpenXM イシ、ホ・ユ・。・、・�ホケスタョ・皈秕 lib/asir 、ヒ、マ, asir 、ホ・鬣、・ヨ・鬣�, ox_asir ヒワツホ @@ -508,8 +417,11 @@ asir 、ャ ox_sm1_gnuplot 、ム、ケ、�ホ、ヒノャヘラ、ハ・ユ・。・、・�: bin/gnuplot4ox, bin/gnuplot_x11 (gnuplot ヒワツホ, src/gnuplot*) ---------------------------------------- -[ウォネッシヤヘム・皈秕 +*/ +/*&jp +Q. debug 、ケ、�ネ、ュ make install 、マフフナン. (ウォネッシヤク�、ア) +A. << sm1, ox_sm1, ox, oxlog 、ホ debug >> binary file 、マウニ directory 、ホ make install 、ヒ、隍� OpenXM/bin 、ヒ・ウ・ヤ。シ、オ、�゙、ケ、ャ, @@ -522,11 +434,13 @@ OpenXM/src/kan96xx/Kan/sm1 OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog 、リ、ホ・キ・ワ・�テ・ッ・�ッ、ャコ鋿ョ、オ、�゙、ケ. -[CVS・ウ・゚・テ・ソヘム・皈秕 -<< OpenXM ・ヌ・」・�ッ・ネ・�ロノロネヌ、ホコ鋿ョハ�ヒ。 >> +Q. << OpenXM ・ヌ・」・�ッ・ネ・�ロノロネヌ、ホコ鋿ョハ�ヒ。 >> +A. + rcvs export -rHEAD OpenXM rcvs export -rHEAD OpenXM_contrib rcvs export -rHEAD OpenXM_contrib2 +cd OpenXM/src ; make generate-source-distribution 、キ、ニ, OpenXM, OpenXM_contrib, OpenXM_contrib2 チエツホ、� tar+gzip. */ @@ -534,24 +448,34 @@ rcvs export -rHEAD OpenXM_contrib2 */ /*&jp - -。� Solaris 、ヒエリ、ケ、�擎ユ. +Q. Solaris 、ヌ・ウ・ム・、・�ャ、ヲ、゙、ッ、、、ュ、゙、サ、�. +A. Solaris 、ヌ、マ、゙、タフ萃熙ャサウタム、キ、ニ、゙、ケ. Solaris 、ヌ、ホ make 、ホフ萃�タ、ヒ、ト、、、ニ、マ, OpenXM/doc/OpenXM-FAQ-jp.txt 、ォ、ニ、ッ、タ、オ、、. -Solaris 、ヌ・ウ・ム・、・�ケ、�ヒ、マ, /usr/ccs/bin 、オ。シ・チ・ム・ケ、ホコヌス鬢リ、筅テ、ニ、、、テ、ニ -、ェ、ュ、゙、ケ. +Solaris 、ヌ・ウ・ム・、・�ケ、�ヒ、マ, シ。、ャコヌト羣ツノャヘラ、ヌ、ケ. +(1) gcc 、、・ケ・ネ。シ・�ケ、�. + http://www.gnu.org 、隍� Solaris ヘム binary 、�シ熙ヌ、ュ、�. + 、ス、�ォ、� [gnu file util 、ネ] bison. +(2) /usr/ccs/bin:/usr/local/bin:/usr/ucb +、オ。シ・チ・ム・ケ、ホコヌス鬢リ、筅テ、ニ、、、テ、ニ、ェ、ュ、゙、ケ. +C ・キ・ァ・�ハ、� +setenv PATH=/usr/ccs/bin:/usr/local/bin:/usr/ucb:$PATH +、ウ、�マ /usr/ccs/bin/make, /usr/ucb/install 、ム、ケ、�ャヘラ、ャ、「、�ソ、皃ヌ、ケ. + */ /*&eg -***** COMPILE ON SOLARIS +Q. I cannot make on Solaris. +A. There are a lot of troubles on Solaris for now. - At least, - /usr/ccs/bin must be at the top of the command search path to compile - on Solaris. + At least, the following two things are prerequisite. +(1) Installation of gcc (http://www.gnu.org), [gnu file util] and bison. +(2) /usr/ccs/bin:/usr/ucb must be at the top of the command search path + to compile on Solaris. In case of C shell, type in + setenv PATH=/usr/ccs/bin:/usr/local/bin:/usr/ucb:$PATH + This is because our making procedure requires + /usr/ccs/bin/make, /usr/ucb/install */ -/*&C - -*/