% $OpenXM: OpenXM/doc/calc2000p/func2.tex,v 1.1 2000/07/20 04:43:55 takayama Exp $
\documentclass[twocolumn]{article}
\usepackage{color}
\title{\huge \color{blue} 4252 functions are available
on our servers and libraries (continued)}
\author{} \date{}
\begin{document}
\maketitle

\noindent
\fbox{\huge {\color{green} $D$-modules}} ($D$ is the Weyl algebra)

\noindent
{\color{red} gb } (Gr\"obner basis),
{\color{red} syz} (syzygy),
{\color{red} annfs} (Annhilating ideal of $f^s$),
{\color{red} bfunction},
{\color{red} vMinRes} (V-minimal free resolution),
{\color{red} restriction} in the derived category of $D$-modules,
{\color{red} integration} in the derived category,
{\color{red} tensor}  in the derived category,
{\color{red} slope}.

\medbreak
\noindent
\fbox{\huge {\color{green} Cohomology groups}} 

\noindent
{\color{red} deRham} (The de Rham cohomology groups of
${\bf C}^n \setminus V(f)$,
{\color{red} ext} (Ext modules for a holonomic $D$-module $M$
and the ring of formal power series).

\medbreak
\noindent
\fbox{\huge 
 {\color{green} Differential equations}}

\noindent
Helping to derive and prove {\color{red} combinatorial} and
{\color{red} special function identities},
{\color{red} gkz} (GKZ hypergeometric differential equations),
{\color{red} indicial} (indicial equations),
{\color{red} dsolv} (series solutions of holonomic systems).


\end{document}