An algorithm computing the restriction of a holonomic D-module to a linear subspace was given by T.Oaku in 1997. We consider a problem of computing the restriction for a given holonomic D-module with parameters. We will give a partial answer to the problem for general holonomic D-modules and an answer to hypergeometric holonomic D-modules. The above results are based on comprehensive Groebner system and an algorithm for the isomorphic classification of hypergeometric D-modules.

翻译：暂无翻译