DO NOT EDIT THIS FILE. OpenXM URL : http://www.math.kobe-u.ac.jp/OpenXM http://www.openxm.org OpenXM package : Getting started. ----------- 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. ------- 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 ----------- 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. cd OpenXM/rc make install If you want to install them under the bin of your home directory, type in as follows. cd OpenXM/rc make install PREFIX=$HOME/bin [Note] If you are Solaris user, you might have to type in like /usr/ccs/bin/make install PREFIX=$HOME/bin 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. # Append the following line to the end of ~/.cshrc when you are using csh as your shell. source OpenXM/rc/dot.cshrc # Append the following lines to the end of ~/.bashrc and ~/.bash_profile respectively when you are using bash as your shell. source OpenXM/rc/dot.bashrc (.bashrc) source ~/.bashrc (.bash_profile) Q. How to start ox_asir in the iconic mode? A. Add the following line to .Xdefaults or a file you read by xrdb. ox_xterm*iconic: on 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. (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/OpenMath : JDK Asir client functions om_* sm1 client functions om_* (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. Add linux_enable="YES" in /etc/rc.conf You need the following packages: pkg_info | grep linu 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 ----------------------------------------------------- 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 OpenXM/doc/asir2000/html-eg (HTML) The file OpenXM/doc/asir-contrib/cman-eg.dvi is a document on OpenXM client libraries for asir. The design outline is described in OpenXM/doc/issac2000/issac2000.ps Dvi files can be previewed by xdvi and ps files can be previewed by ghostview. As to Mathematica client, see OpenXM/doc/ox_math. As to sm1 client, see OpenXM/doc/kan96xx. The asir can be used as a C library for polynomial manupulation. See OpenXM/doc/oxlib. If you are interested in writing a server for OpenXM in C or Java, please refer to OpenXM/src/ox_toolkit and OpenXM/src/OpenMath. Q. I want to install only Risa/Asir. A. If you want to generate only Risa/Asir, type in as follows. (cd OpenXM/src ; make install-asir) (cd OpenXM/rc ; make ) 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. 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.