1.2.12 `sm1.mul'
----------------

sm1.mul(F,G,V|proc=P)
     ::  sm1サーバ に F かける G を V
     上の微分作用素環でやってくれるように頼む.

RETURN
     多項式またはリスト

P
     数

F, G
     多項式またはリスト

V
     リスト

   * sm1サーバ に F かける G を V
     上の微分作用素環でやってくれるように頼む.

   * `sm1.mul_h' は homogenized Weyl 代数用.

   * BUG: `sm1.mul(p0*dp0,1,[p0])' は `dp0*p0+1' を戻す.
     d変数が後ろにくるような変数順序がはいっていないと,
     この関数は正しい答えを戻さない.

     [277] sm1.mul(dx,x,[x]);
     x*dx+1
     [278] sm1.mul([x,y],[1,2],[x,y]);
     x+2*y
     [279] sm1.mul([[1,2],[3,4]],[[x,y],[1,2]],[x,y]);
     [[x+2,y+4],[3*x+4,3*y+8]]

