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


Computing the coefficient of a generator in a representation of an element of the ideal in terms of the given generators.

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+ ...+ 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