next up previous
: ecart.minimalResol : Macros in libraries : ecart.gb

ecart.minimalBase

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



Nobuki Takayama 平成20年1月30日