odmodule_ch_ideal

odmodule_ch_ideal(D_ideal,V)

:: D_idealのcharacteristic idealを求めます.

return

リスト

D_ideal

リスト

V

リスト

• D_idealはgeneric parameterを含むことができます.
• odmodule_ch_idealの例

[344] odmodule_ch_ideal([x*dx+y*dy+a,dx^2+dy^2],[x,y]);
[x*dx+y*dy,dx^2+dy^2,y*dy*dx-x*dy^2,(x^2+y^2)*dy^2]

[348] odmodule_ch_ideal(diff_op_appell4(a,b,c1,c2,[x,y]),[x,y]);
[-x*dx^2+y*dy^2,2*y*x*dy*dx+(y*x+y^2-y)*dy^2,
 (2*y^2-2*y)*dy^2*dx+(-y*x+3*y^2+y)*dy^3,
 2*y*x*dy^2*dx+(y*x^2+(-2*y^2-y)*x+y^3-y^2)*dy^3]

Go to the first, previous, next, last section, table of contents.