[gg vlist weight] wRestriction0 [ igg bb] list of strings gg; list of strings vlist; list weight; integer k1; list of polys igg; list of polys base; gg are input ideal or submodule. igg are relations and bb are bases. They give the 0-th restriction. This function fails when weight is not generic. cf. intwbf, intwbfRoots, integral-k1. This function is defined in intw.sm1 and requires oxasir.sm1 and ox_asir server. See Grobner Deformations of Hypergeometric Differential Equations, Springer Section 5.5 for the algorithm. Example 1: [ [(Dt^2) (Dx^2)] [(t) (x)] [(t) -1 (Dt) 1]] wRestriction0 Example 2: [[(Dx^2) (Dy^2)] [(x) (y)] [(x) -1 (Dx) 1 (y) -2 (Dy) 2]] wRestriction0 The output [[-Dx, 1] [Dx,1]] implies the restriction is (K Dx + K 1)/(K (-Dx) + K 1) = 0 where K is the base field and Dx and 1 is the vector space basis. Note that the order of weight and the order of the variables must be the same. Note also that the next of (x) must be (Dx) and so on.

Nobuki Takayama 平成22年2月8日