1.2.8 `sm1.wTensor0'
--------------------

sm1.wTensor0([F,G,V,W]|proc=P)
     ::   F と G の D-module としての 0 次テンソル積を 計算する.

RETURN
     リスト

P
     数

F, G, V, W
     リスト

   *    F と G の    D-加群としての 0 次テンソル積を計算する.

   *   V は変数のリストである.    W は weight のリストである.    整数
     W[i] は変数 V[i] の weight である.

   *    `sm1.wTensor0' は `ox_sm1' の `wRestriction0'    をよんでいる.
      `wRestriction0' は, generic な weight ベクトル W
     をもとにして制限を計算している.    Weight ベクトル W が generic
     でないと計算がエラーで停止する.

   * F および G を F と  G それぞれの解とする.  直観的にいえば, 0
     次のテンソル積は 関数 FG のみたす微分方程式系である.

   * 入力 F, G が D の左イデアルであっても, 一般に, 出力は自由加群 D^r
     の部分加群である.

     [258]  sm1.wTensor0([[x*dx -1, y*dy -4],[dx+dy,dx-dy^2],[x,y],[1,2]]);
     [[-y*x*dx-y*x*dy+4*x+y],[5*x*dx^2+5*x*dx+2*y*dy^2+(-2*y-6)*dy+3],
      [-25*x*dx+(-5*y*x-2*y^2)*dy^2+((5*y+15)*x+2*y^2+16*y)*dy-20*x-8*y-15],
      [y^2*dy^2+(-y^2-8*y)*dy+4*y+20]]

