restall_s

f v s_0 s_1 level restall_s c
array f; array v; integer s_0, s_1, level; array c
f is a set of generators. v is a set of variables.
s_0 is the minimal integral root of the b-function.
s_1 is the maximal integral root of the b-function.
level is the truncation degree of the resolution.
c is the cohomolgy.
This command is vector clean for Schreyer 1 and 2.
  
Global variables: array BFvarlist : list of variables.
                  array BFparlist : list of parameters.
                  int BFmessage : verbose or not.
                  int Schreyer : Schreyer 1 with tower-sugar.sm1 -- V-homog.
                                 Schreyer 2 with tower.sm1 --- H-homog.
                                 Schreyer 0 is a step by step resolution.
result global var:array BFresolution : resolution matrices.
  
cf. /tower.verbose 1 def /tower-sugar.verbose 1 def 
    /debug.sResolution 1 def
       to see steps of resoluitons.
  /Schreyer 2 def  (tower.sm1) run   to try Schreyer 2. Schreyer 2 is default.
See bfm --- b-function, restriction.
restall1_s is as same as restall_s, except it does not truncate from below.
Example 1:  /BFvarlist [(x1) (x2)] def /BFparlist [ ] def
            [(x1) (Dx2-1)] [(x1)] -1 -1 1 restall_s 
Example 1a: /BFvarlist [(x1) (x2)] def /BFparlist [ ] def
            [(x1) (Dx2-1)] [(x1)] bfm 
Example 2:  /BFvarlist [(x) (y)] def /BFparlist [ ] def
 [[(x Dx -1) (0)] [(y Dy -2) (0)]  [(1) (1)] ] /ff set 
 ff [(x) (y)] 0 4 2 restall_s



Nobuki Takayama 2020-11-24