Top
Back: dmodapp_lib
Forward: annRat
FastBack: dmod_lib
FastForward: dmodvar_lib
Up: dmodapp_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
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.


Top Back: dmodapp_lib Forward: annRat FastBack: dmod_lib FastForward: dmodvar_lib Up: dmodapp_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.