diffOps (I, k)
diffOps (f, k)
Given an ideal $I$ of a polynomial ring $R$ the set of differential operators of the quotient ring $R/I$ having order less than or equal to $k$ forms a finitely generated module over $R/I$. This routine returns its generating set.
The output is in the form of a hash table. The key BasisElts is a row vector of basic differential operators. The key PolyGens is a matrix over R whose column vectors represent differential operators of R/I in the following way. For each column vector, consider its image in R/I then take its dot product with the BasisElts. This gives a differential operator, and the set of these operators generates the differential operators of R/I of order k or less as an (R/I)-module.
|
|
|
|
|
The object diffOps is a method function.