Singular Manual: makeMalgrange

| ##### 7.5.7.0. makeMalgrange Procedure from library `dmodvar.lib` (see dmodvar_lib). Usage: makeMalgrange(F [,ORD]); F an ideal, ORD an optional string Return: ring (Weyl algebra) containing an ideal IF Purpose: create the ideal by Malgrange associated with F = F[1],...,F[P]. Note: Activate the output ring with the `setring` command. In this ring, the ideal IF is the ideal by Malgrange corresponding to F. The value of ORD must be an arbitrary ordering in K<_t,_x,_Dt,_Dx> written in the string form. By default ORD = 'dp'. Display: If printlevel=1, progress debug messages will be printed, if printlevel>=2, all the debug messages will be printed. Example:
    LIB "dmodvar.lib";
    ring R = 0,(x,y,z),Dp;
    ideal I = x^2+y^3, z;
    def W = makeMalgrange(I);
    setring W;
    W;
    ==> // coefficients: QQ
    ==> // number of vars : 10
    ==> //        block   1 : ordering dp
    ==> //                  : names    t(1) t(2) x y z Dt(1) Dt(2) Dx Dy Dz
    ==> //        block   2 : ordering C
    ==> // noncommutative relations:
    ==> //    Dt(1)t(1)=t(1)*Dt(1)+1
    ==> //    Dt(2)t(2)=t(2)*Dt(2)+1
    ==> //    Dxx=x*Dx+1
    ==> //    Dyy=y*Dy+1
    ==> //    Dzz=z*Dz+1
    IF;
    ==> IF[1]=-y^3-x^2+t(1)
    ==> IF[2]=t(2)-z
    ==> IF[3]=2*x*Dt(1)+Dx
    ==> IF[4]=3*y^2*Dt(1)+Dy
    ==> IF[5]=Dt(2)+Dz

User manual for Singular version 4.3.2, 2023, generated by texi2html.