1.0.6 `odmodule_restriction'
----------------------------

odmodule_restriction(D_IDEAL,V,REST)
     ::  D_IDEALの 0 次のrestrictionを求めます.

RETURN
     リスト

D_IDEAL
     リスト

V
     リスト

REST
     リスト

   * D_IDEALはgeneric parameterを含むことができます.

   * `odmodule_restriction'の例.

     [345] odmodule_restriction([x*dx+y*dy+a,dx^2+dy^2],[x,y],[y]);
     [[2,[-x*dx-a,-e0*x*dx-e0*a-e0]]]

