1: \begin{definition}\label{def:Horn system}{\rm

2: {\it The Horn system of an Ore-Sato coefficient.} A (formal)

3: Laurent series $\sum_{s\in\midZ^n}\varphi(s)x^s$ whose coefficient

4: satisfies the relations $\varphi(s+e_j)/\varphi(s) =

5: P_j(s)/Q_j(s+e_j)$ is a (formal) solution to the following system

6: of partial differential equations of hypergeometric type

7: \begin{equation}

8: x_j P_j(\theta)f(x) = Q_j(\theta)f(x), \,\,\, j=1,\ldots,n.

9: \label{horn}

10: \end{equation}

11: Here $\theta=(\theta_1,\ldots,\theta_n),$ $\theta_j =

12: x_j\frac{\partial}{\partial x_j}.$ The system~(\ref{horn}) will be

13: referred to as {\it the Horn hypergeometric system defined by the

14: Ore-Sato coefficient~$\varphi(s)$} (see~\cite{GGR}) and denoted by

15: ${\rm Horn}(\varphi)$.  We shall denote by  $S({\rm

16: Horn}(\varphi))$ the solution space to  ${\rm Horn}(\varphi)$. In

17: this paper we treat only holonomic Horn hypergeometric systems if

18: not otherwise specified i.e. $ {\rm rank} ({\rm Horn}(\varphi))$

19: is always assumed to be finite. A necessary and sufficient

20: condition for a system ${\rm Horn}(\varphi)$ to be holonomic has

21: been established

22: in~\cite{DMM}, Theorem 6.3.   }%rm

23: \end{definition}