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. Several manuals and documents for asir and asir-contrib packages.
  2. You can read online manuals by commands like 
     help("fctr");
    and 
     ox_help("gnuplot");

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).
  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
  • Several manuals and documents for asir-contrib packages and kan/sm1.

    OpenXM CVS Repositry (for developpers).

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

    $OpenXM: OpenXM/misc/packages/Linux/Debian2/openxm-knoppix-math-en.html,v 1.1 2006/02/13 05:31:38 takayama Exp $