next up previous
: wTensor0 : Macros in libraries : wIntegration0


 [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]] 
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 平成17年2月10日