|
7.7.4.0. annPoly
Procedure from library dmodapp.lib (see dmodapp_lib).
- Usage:
- annPoly(f); f a poly
- Return:
- ring (a Weyl algebra) containing an ideal 'LD'
- Purpose:
- compute the complete annihilator ideal of 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.
- Display:
- If printlevel =1, progress debug messages will be printed,
if printlevel>=2, all the debug messages will be printed.
Example:
See also:
annRat.
|