: Macros in libraries
[gg vlist weight] wRestriction0 [ igg bb]
list of strings gg; list of strings vlist;
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.