OpenXM/doc/calc2000/design-outline.tex - diff

Return to design-outline.tex CVS log

Up to [local] / OpenXM / doc / calc2000

version 1.1, 2000/04/24 04:20:11

version 1.2, 2000/04/24 05:01:29

Line 1

% $OpenXM: OpenXM/doc/issac2000/design-outline.tex,v 1.13 2000/01/17 08:06:15 noro Exp $

% $OpenXM: OpenXM/doc/calc2000/design-outline.tex,v 1.1.1.1 2000/04/24 04:20:11 noro Exp $

\section{Integration of Mathematical Software}

Line 149 OpenXM package is implemented on above fundamental ar

Currently the following servers are available in the OpenXM package

\cite{openxm-web}.

\begin{itemize}

\begin{description}

\item {\tt ox\_asir}

\item{\tt ox\_asir}

A server for Risa/Asir, a general-purpose computer algebra

system. It provides almost

all functinalities of Risa/Asir such as polynomial factorization,

Gr\"obner basis computation and primary ideal decomposition.

\item {\tt ox\_sm1}

\item{\tt ox\_sm1}

A server for Kan/sm1 \cite{kan}, a system for computation in algebraic

analysis.

\item {\tt ox\_sm1\_phc}

A server for PHC pack \cite{phc}, a general-purpose solver for

polynomial systems by homotopy continuation. It is available only

on Linux.

\item {\tt ox\_sm1\_tigers}

A server for TiGERS \cite{tigers}, a system to enumerate

all Gr\"obner bases of affine toric ideals.

It can be used to determine the state polytope

of a given affine toric ideal.

\item {\tt ox\_sm1\_gnuplot}

A server for GNUPLOT, a famous plotting tool.

\item {\tt ox\_math}

A server for Mathematica.

\item {\tt OMproxy}

A server for translation between CMO and OpenMath/XML expressions.

It is written in Java.

\end{itemize}

\end{description}

In addition to these servers, Risa/Asir, Kan/sm1 and Mathematica

can act as clients.

For example, the following is a command sequence to ask $1+1$ from