OpenXM Package of Mathematical Software Systems

The OpenXM project provides a package of mathematical software systems, which are integrated by the OpenXM protocol. OpenXM is an abbreviation of Open message eXchange for Mathematics. The computer algebra system Risa/Asir , which is made in Japan, is a main client of the package and all software systems in the package can be used from Risa/Asir.

How to start Risa/Asir

From the KDE menu, choose
Application --> Mathematics --> Asir(OpenXM)
In order to use Asir(OpenXM), your computer must be connected to the internet, because a part of Risa/Asir is downloaded from ftp.math.kobe-u.ac.jp.
NOTE: A part of Asir cannot be included in the CD because of a restriction of the Risa/Asir license and the part is downloaded from the internet after you agree with the license. The size of the part is less than 2 Mega bytes. The part is saved under your home directory with the names .asir-tmp, .TeXmacs, .asirrc. If you have a USB memory, you can save the files of your home directory to the USB memory. Choose the KDE menu
knoppix --> configure --> create persistent home directory
As to details, see a knoppix manual.
Once you downloaded, you can use Asir(OpenMX) from the TeXmacs, too. In the TeXmacs menu, choose
Insert --> session --> OpenXM[asir,sm1]
The screeen will look like this.

What kind of computation can I do by Risa/Asir?

Here are some examples
  1. fctr(x^100-1); Factorization of x 100 - 1
  2. ifplot(x^3-y^2); Drawing the zero set of x 3 - y 2 = 0.
  3. gnuplot.heat(0.0001,100); Solving the heat equation by using the forward difference scheme. The time step is 0.0001.
  4. dp_gr_main([x^2+y^2-4,x*y-1] | v=[x,y], order=[[x,1]]);
    Computation of the Grobner basis of x 2 +y 2 -4, x y -1 with the weight 1 for the variable x and the weight 0 for the variable y.
  5. F=[x^2+y^2-4,x*y-1]; V=[x,y]; dp_gr_main(map(dp_ptod,F,V) | v=V, order=[[x,1]]); The same computation, but the answer is given by DP (distributed polynomial).
  6. Others: A faster Grobner basis computation (nd_gr_main), primary ideal decomposition (primadec), factorization in algebraic extensions of Q (afctr), computation in the ring of differential operators (*weyl*), number theoretic functions in pari, ...

What are references of Asir?

  1. Asir Manual (HTML)
  2. Asir-contrib Manual (dvi) , HTML

What OX servers can I call from Asir?

  1. kan/sm1 : A system for algebraic analysis and the ring of differential operators. The standalone version is started by typing in "openxm sm1" in the terminal (unix shell). Introductory manual , manual .
  2. phc : Solving systems of algebraic equations by the homotopy method. The standalone version is started by typing in "openxm phc"
  3. gnuplot : The famous plotting software.
  4. And others.
As to details, see OpenXM/asir-contrib manual.

OpenXM CVS Repositry (for developpers).

cvsweb (Risa/Asir is under OpenXM_contrib2/asir2000. sm1 is under OpenXM/src.)

$OpenXM: OpenXM/misc/packages/Linux/Debian/openxm-knoppix-math-en.html,v 1.2 2005/02/13 03:59:40 takayama Exp $