|
7.7.3.0. operatorModulo
Procedure from library dmod.lib (see dmod_lib).
- Usage:
- operatorModulo(f,I,b); f a poly, I an ideal, b a poly
- Return:
- poly
- Purpose:
- compute the B-operator from the polynomial f,
ideal I = Ann f^s and Bernstein-Sato polynomial b
using modulo i.e. kernel of module homomorphism
- Note:
- The computations take place in the ring, similar to the one
returned by Sannfs procedure.
Note, that operator is not completely reduced wrt Ann f^{s+1}.
If printlevel=1, progress debug messages will be printed,
if printlevel>=2, all the debug messages will be printed.
Example:
|