⁴²The ZEILBERGpackage (see [Koe95b]) contains the hypergeometric versions. Those algorithms are described in [Gos78],[Zei91],[Zei90] and [Koe95a].