Weyl.AnnFs
|
Computes annihilating ideal of a polynomial F^s in Weyl algebra A_n.
|
Weyl.BFs
|
Computes B-function of a polynomial F in Weyl algebra A_n.
|
Weyl.CharI
|
Computes the characteristic ideal of a D-ideal I in Weyl algebra A_n.
|
Weyl.InIw
|
Computes the initial ideal of a D-ideal I in Weyl algebra A_n with respect to the weight vector W=(u_i,v_i).
|
Weyl.Inw
|
Computes the initial form of a polynomial in Weyl algebra A_n with respect to the weight vector W=(u_i,v_i).
|
Weyl.IsHolonomic
|
Checks whether an ideal in Weyl algebra A_n is holonomic or not.
|
Weyl.TwoWGB
|
Computes the reduced two-sided Groebner basis of a two-sided ideal I in the Weyl algebra A_n over the field of positive characteristic.
|
Weyl.WDim
|
Computes the dimension of an ideal I in Weyl algebra A_n.
|
Weyl.WeylMul
|
Computes the product F*G of two Weyl polynomials, F and G, in normal form.
|
Weyl.WGB
|
Computes the Groebner basis of an ideal I in Weyl algebra A_n.
|
Weyl.WLT
|
Computes the leading term ideal of a D-ideal I in Weyl algebra A_n.
|
Weyl.WMul
|
Computes the product F*G of Weyl polynomial F and G in normal form.
|
Weyl.WMulByMonom
|
Computes the product M*F of a Weyl monomial M and a Weyl polynomial F in normal form.
|
Weyl.WMult
|
Computes the product F*G of two Weyl polynomials, F and G, in normal form using corresponding implementation in ApCoCoALib.
|
Weyl.WNormalRemainder
|
Computes the normal remainder of a Weyl polynomial F with respect
to a polynomial or a set of polynomials.
|
Weyl.WNR
|
Computes the normal remainder of a Weyl polynomial F with respect
to a polynomial or a list of Weyl polynomials using corresponding implementation in ApCoCoALib.
|
Weyl.WPower
|
Computes the N-th power of a Weyl polynomial.
|
Weyl.WRedGB
|
Computes reduced Groebner basis of a D-ideal in Weyl algebra A_n.
|
Weyl.WRGB
|
Reduced Groebner basis of an ideal I in Weyl algebra A_n.
|
Weyl.WRGBS
|
Convert a Groebner basis of an ideal in Weyl algebra A_n in to its reduced Groebner Basis using corresponding implementation in ApCoCoALib.
|
Weyl.WSPoly
|
Computes the S-polynomial of two Weyl polynomials.
|
Weyl.WStandardForm
|
Computes the Standard form of a Weyl polynomial.
|