version 1.1, 2000/07/20 04:43:55 |
version 1.8, 2000/09/10 18:43:18 |
|
|
% $OpenXM$ |
% $OpenXM: OpenXM/doc/calc2000p/func2.tex,v 1.7 2000/07/31 07:26:12 noro Exp $ |
\documentclass[twocolumn]{article} |
\documentclass[twocolumn]{article} |
|
\pagestyle{empty} |
|
%\markright{ {\tt http://www.openxm.org} } |
\usepackage{color} |
\usepackage{color} |
\title{\huge \color{blue} 4252 functions are available |
\usepackage{epsfig} |
on our servers and libraries (continued)} |
\title{\huge \color{blue} 1077 functions are available |
|
on our servers and libraries } |
\author{} \date{} |
\author{} \date{} |
\begin{document} |
\begin{document} |
\maketitle |
\maketitle |
|
%% The number of functions: |
|
%% 264 + 36 (lib/asir/help-jp) |
|
%% 84 + 133 + 61 (sm1) |
|
%% About 45*11 (pari) |
|
%% 1 + 1 + 2(tigers, phc, OMproxy) |
|
%% SUB TOTAL: 1077 |
|
|
\noindent |
\noindent |
\fbox{\huge {\color{green} $D$-modules}} ($D$ is the Weyl algebra) |
\fbox{\huge {\color{green} $D$-modules}} ($D$ is the Weyl algebra) |
Line 15 on our servers and libraries (continued)} |
|
Line 24 on our servers and libraries (continued)} |
|
{\color{red} syz} (syzygy), |
{\color{red} syz} (syzygy), |
{\color{red} annfs} (Annhilating ideal of $f^s$), |
{\color{red} annfs} (Annhilating ideal of $f^s$), |
{\color{red} bfunction}, |
{\color{red} bfunction}, |
|
{\color{red} schreyer} (free resolution by the Schreyer method), |
{\color{red} vMinRes} (V-minimal free resolution), |
{\color{red} vMinRes} (V-minimal free resolution), |
|
{\color{red} characteristic} (Characteristic variety), |
{\color{red} restriction} in the derived category of $D$-modules, |
{\color{red} restriction} in the derived category of $D$-modules, |
{\color{red} integration} in the derived category, |
{\color{red} integration} in the derived category, |
{\color{red} tensor} in the derived category, |
{\color{red} tensor} in the derived category, |
|
{\color{red} dual} (Dual as a D-module), |
{\color{red} slope}. |
{\color{red} slope}. |
|
|
\medbreak |
\medbreak |
Line 40 and the ring of formal power series). |
|
Line 52 and the ring of formal power series). |
|
Helping to derive and prove {\color{red} combinatorial} and |
Helping to derive and prove {\color{red} combinatorial} and |
{\color{red} special function identities}, |
{\color{red} special function identities}, |
{\color{red} gkz} (GKZ hypergeometric differential equations), |
{\color{red} gkz} (GKZ hypergeometric differential equations), |
|
{\color{red} appell} (Appell's hypergeometric differential equations), |
{\color{red} indicial} (indicial equations), |
{\color{red} indicial} (indicial equations), |
|
{\color{red} rank} (Holonomic rank), |
|
{\color{red} rrank} (Holonomic rank of regular holonomic systems), |
{\color{red} dsolv} (series solutions of holonomic systems). |
{\color{red} dsolv} (series solutions of holonomic systems). |
|
|
|
\medbreak |
|
\noindent |
|
\fbox{\huge |
|
{\color{green} OpenMATH support}} |
|
|
|
\noindent |
|
{\color{red} om\_xml} (CMO to OpenMATH XML), |
|
{\color{red} om\_xml\_to\_cmo} (OpenMATH XML to CMO). |
|
|
|
\medbreak |
|
\noindent |
|
\fbox{\huge |
|
{\color{green} Homotopy Method}} |
|
|
|
\noindent |
|
{\color{red} phc} (Solving systems of algebraic equations by |
|
numerical and polyhedral homotopy methods). |
|
|
|
\medbreak |
|
\noindent |
|
\fbox{\huge |
|
{\color{green} Toric ideal}} |
|
|
|
\noindent |
|
{\color{red} tigers} (Enumerate all Gr\"obner basis of a toric ideal. |
|
Finding test sets for integer program), |
|
{\color{red} arithDeg} (Arithmetic degree of a monomial ideal), |
|
{\color{red} stdPair} (Standard pair decomposition of a monomial ideal). |
|
|
|
\medbreak |
|
\noindent |
|
\fbox{\huge {\color{green} Communications}} |
|
|
|
\noindent |
|
{\color{red} ox\_launch} (starting a server), |
|
{\color{red} ox\_launch\_nox}, |
|
{\color{red} ox\_shutdown}, |
|
{\color{red} ox\_launch\_generic}, |
|
{\color{red} generate\_port}, |
|
{\color{red} try\_bind\_listen}, |
|
{\color{red} try\_connect}, |
|
{\color{red} try\_accept}, |
|
{\color{red} register\_server}, |
|
{\color{red} ox\_rpc}, |
|
{\color{red} ox\_cmo\_rpc}, |
|
{\color{red} ox\_execute\_string}, |
|
{\color{red} ox\_reset} (reset the server), |
|
{\color{red} ox\_intr}, |
|
{\color{red} register\_handler}, |
|
{\color{red} ox\_push\_cmo}, |
|
{\color{red} ox\_push\_local}, |
|
{\color{red} ox\_pop\_cmo}, |
|
{\color{red} ox\_pop\_local}, |
|
{\color{red} ox\_push\_cmd}, |
|
{\color{red} ox\_sync}, |
|
{\color{red} ox\_get}, |
|
{\color{red} ox\_pops}, |
|
{\color{red} ox\_select}, |
|
{\color{red} ox\_flush}, |
|
{\color{red} ox\_get\_serverinfo} |
|
|
|
\medbreak |
|
\noindent |
|
In addition to these functions, {\color{green} Mathematica functions} |
|
can be called as server functions. |
|
\medbreak |
|
\noindent |
|
\fbox{\huge {\color{green} Examples}} |
|
{\footnotesize |
|
\begin{verbatim} |
|
[345] sm1_deRham([x^3-y^2*z^2,[x,y,z]]); |
|
[1,1,0,0] |
|
/* dim H^i = 1 (i=0,1), =0 (i=2,3) */ |
|
\end{verbatim}} |
|
|
|
\noindent |
|
{\footnotesize \begin{verbatim} |
|
[287] phc(katsura(7)); B=map(first,Phc)$ |
|
[291] gnuplot_plotDots(B,0)$ |
|
\end{verbatim} } |
|
|
|
\epsfxsize=3cm |
|
\begin{center} |
|
%\epsffile{../calc2000/katsura7.ps} |
|
\epsffile{katsura7.ps} |
|
\end{center} |
|
%%The first components of the solutions to the system of algebraic equations Katsura 7. |
|
|
|
\noindent |
|
|
|
|
|
\medbreak |
|
\noindent |
|
\fbox{ {\color{green} Authors}} |
|
Castro-Jim\'enez, Dolzmann, Hubert, Murao, Noro, Oaku, Okutani, |
|
Shimoyama, Sturm, Takayama, Tamura, Verschelde, Yokoyama. |
|
|
|
\medbreak |
|
\vfill |
|
\noindent |
|
\rightline{ {\color{red} {\tt http://www.openxm.org} }} |
|
|
\end{document} |
\end{document} |
|
|