[ff v ecart.weight_vector [(degreeShift) uv_shift_m (startingShift) [D_shift_n uv_shift_m]]] ecart.minimalBase
[mbase gr_of_mbase
[syz v ecart.weight_vector [(degreeShift) new_uv_shift_m (startingShift) [new_D_shift_n new_uv_shift_m]]]
gr_of_syz ]
mbase is the minimal generators of ff in D^h in the sense of filtered minimal
generators.
Example: [ [(t-x^3+y^2) (Dx+ 3 x^2 Dt) (Dy - 2 y Dt)] (t,x,y)
[ [(t) -1 (Dt) 1] [(t) -1 (x) -1 (y) -1 (Dt) 1 (Dx) 1 (Dy) 1]]
[(degreeShift) [ [0] ]
(startingShift) [ [0] [0] ] ] ] ecart.gen_input /gg0 set
gg0 ecart.minimalBase /ss0 set
ss0 2 get ecart.minimalBase /ss1 set
ss1 2 get ecart.minimalBase /ss2 set
(--------- minimal filtered resolution -------) message
ss0 0 get pmat ss1 0 get pmat ss2 0 get pmat
(--------- degree shift (n,m) n:D-shift m:uv-shift -------) message
gg0 3 get 3 get message
ss0 2 get 3 get 3 get message
ss1 2 get 3 get 3 get message
ss2 2 get 3 get 3 get message ;