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