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