|
D.2.4.4 pdivi
Procedure from library grobcov.lib (see grobcov_lib).
- Usage:
- pdivi(f,F);
poly f: the polynomial to be divided
ideal F: the divisor ideal
- Return:
- A list (poly r, ideal q, poly m). r is the remainder of the
pseudodivision, q is the set of quotients, and m is the
coefficient factor by which f is to be multiplied.
- Note:
- pseudodivision of a poly f by an ideal F in @R. Returns a
list (r,q,m) such that m*f=r+sum(q.G), and no lpp of a divisor
divides a pp of r.
Example:
|