[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 ;