|
7.7.1.0. pIntersect
Procedure from library bfun.lib (see bfun_lib).
- Usage:
- pIntersect(f, I [,s]); f a poly, I an ideal, s an optional int
- Return:
- vector, coefficient vector of the monic polynomial
- Purpose:
- compute the intersection of ideal I with the subalgebra K[f]
- Assume:
- I is given as Groebner basis, basering is not a qring.
- Note:
- If the intersection is zero, this proc might not terminate.
If s>0 is given, it is searched for the generator of the intersection
only up to degree s. Otherwise (and by default), no bound is assumed.
- Display:
- If printlevel=1, progress debug messages will be printed,
if printlevel>=2, all the debug messages will be printed.
Example:
|