|
7.7.3.0. annfspecial
Procedure from library dmod.lib (see dmod_lib).
- Usage:
- annfspecial(I,F,mir,n); I an ideal, F a poly, int mir, number n
- Return:
- ideal
- Purpose:
- compute the annihilator ideal of F^n in the Weyl Algebra
for the given rational number n
- Assume:
- The basering is D[s] and contains 's' explicitly as a variable,
the ideal I is the Ann F^s in D[s] (obtained with e.g. SannfsBM),
the integer 'mir' is the minimal integer root of the BS polynomial of F,
and the number n is rational.
- Note:
- We compute the real annihilator for any rational value of n (both
generic and exceptional). The implementation goes along the lines of
the Algorithm 5.3.15 from Saito-Sturmfels-Takayama.
- Display:
- If printlevel=1, progress debug messages will be printed,
if printlevel>=2, all the debug messages will be printed.
Example:
|