previous up next
Go backward to `desing/colonideal`
Go up to Procedures
Go forward to `desing/completecover`

`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).
previous up next