Doc/appell.sm1 : It generates Appell differential equations.
Doc/bfunction.sm1: Computing the b-function of a given polynomial
by using Groebner basis. Written by T.Oaku.
Doc/factor-a.sm1: A sample interface to factor polynomials by risa/asir.
Doc/gkz.sm1 : It generates GKZ systems for given A and b.
Doc/hol.sm1 : Basic package for holonomic systems. Holonomic rank,
characteristic ideal, singular locus.
Doc/resol0.sm1 : Constructing Schreyer resolutions. tower.sm1, tower-sugar.sm1
Doc/rest0.sm1 : Computing the restriction (inverse image) as a complex.
This package is under developement by T.Oaku.
cf. restall_s.sm1, resol0.sm1