AnnFs(f)
AnnFs(L)
This routine computes the ideal of the differential annihilator of a polynomial or list of polynomials in a Weyl algebra $D$. This ideal is a left ideal of the ring $D[s]$ or $D[t_0,..,t_k,dt_0,..,dt_k]$. More details can be found in [SST, Chapter 5]. The computation in the case of the element $f$ is via Algorithm 5.3.6, and the computation in the case of the list $L$ is via the Algorithm 5.3.15.
|
|
|
|
|
Must be over a ring of characteristic $0$.
The object AnnFs is a method function.