|
7.7.4.0. annRat
Procedure from library dmodapp.lib (see dmodapp_lib).
- Usage:
- annRat(g,f); f, g polynomials
- Return:
- ring (a Weyl algebra) containing an ideal 'LD'
- Purpose:
- compute the annihilator of the rational function g/f in the
corresponding Weyl algebra
- Assume:
- basering is commutative and over a field of characteristic 0
- Note:
- Activate the output ring with the
setring command.
In the output ring, the ideal 'LD' (in Groebner basis) is the
annihilator of g/f.
The algorithm uses the computation of Ann(f^{-1}) via D-modules,
see (SST).
- Display:
- If printlevel =1, progress debug messages will be printed,
if printlevel>=2, all the debug messages will be printed.
Example:
See also:
annPoly.
|