Comprehensive Restriction Algorithm for Hypergeometric Systems

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.