Computing the coefficient of a generator in a representation of an
element of the ideal in terms of the given generators.
This procedure requires the new revision of the Gröbner package of
Frederic Chyzak (not the one being distributed with Maple V Release
- a list of polynomials from k[S],
- p, g
- a polynomial from k[S],
- a list of variables.
- A polynomial c from k[S], where g= pc + F1c1+