A1::=QQ[x,d];Use A1;
L:=x^2(x-1)(x-3)d^2-(6x^3-20x^2+12x)d+(12x^2-32x+12);
I:=Ideal(L,d^5);
Weyl.WLT(I);
-- CoCoAServer: computing Cpu Time = 0.016
-------------------------------
Ideal(xd^4, x^3d^2, x^2d^3, d^5)
-------------------------------
ChI:=Weyl.CharI(I);ChI;
-- CoCoAServer: computing Cpu Time = 0
-------------------------------
The characteristic ideal lies in QQ[x,d]
--------------------------------------------------
-------------------------------
Ideal(d^5, x^4d^2 - 4x^3d^2 + 3x^2d^2, xd^3)
-------------------------------
|