1.2.11 `sm1.syz'
----------------

sm1.syz([F,V,W]|proc=P)
     ::  V 上の微分作用素環において F の syzygy を計算する.

RETURN
     リスト

P
     数

F, V, W
     リスト

   * 戻り値は次の形をしている: [S,[G, M, T]].  ここで S は F の V
     を変数とする微分作用素環における syzygy である.  G は F の weight
     vector W に関するグレブナ基底である.  M は入力行列 F をグレブナ基底
     G へ変換する行列である.  T はグレブナ基底 G の syzygy である.
     まとめると, 次の等式がなりたつ: G = M F , S F = 0.

   *    Weight ベクトル W は省略してよい.     省略した場合, graded
     reverse lexicographic order をつかって    ブレブナ基底を計算する.

   *    Term order でない順序が与えられた場合は,
     同次化ワイル代数でグレブナ基底が計算される (SST の本の Section 1.2
     を見よ).  同次化変数 `h' が結果に加わる.

     [293] sm1.syz([[x*dx+y*dy-1,x*y*dx*dy-2],[x,y]]);
     [[[y*x*dy*dx-2,-x*dx-y*dy+1]],    generators of the syzygy
      [[[x*dx+y*dy-1],[y^2*dy^2+2]],   grobner basis
       [[1,0],[y*dy,-1]],              transformation matrix
      [[y*x*dy*dx-2,-x*dx-y*dy+1]]]]

     [294]sm1.syz([[x^2*dx^2+x*dx+y^2*dy^2+y*dy-4,x*y*dx*dy-1],[x,y],[[dx,-1,x,1]]]);
     [[[y*x*dy*dx-1,-x^2*dx^2-x*dx-y^2*dy^2-y*dy+4]], generators of the syzygy
      [[[x^2*dx^2+h^2*x*dx+y^2*dy^2+h^2*y*dy-4*h^4],[y*x*dy*dx-h^4], GB
       [h^4*x*dx+y^3*dy^3+3*h^2*y^2*dy^2-3*h^4*y*dy]],
      [[1,0],[0,1],[y*dy,-x*dx]],     transformation matrix
      [[y*x*dy*dx-h^4,-x^2*dx^2-h^2*x*dx-y^2*dy^2-h^2*y*dy+4*h^4]]]]

