coef ( poly_expression
coef ( vector_expression
- determines the monomials in f divisible by a ring variable of m
(where f is the first argument and m the second argument) and the coefficients
of these monomials as polynomials in the remaining variables. First case: returns a
matrix M, n being the number of the determined monomials.
The first row consists of these monomials, the second row
of the corresponding coefficients of the monomials in f.
Second case: the second matrix (i.e., the 4th argument) contains the
monomials, the first matrix (i.e., the 3rd argument) the corresponding
coefficients of the monomials in the vector.
- coef considers only monomials which really occur in f (i.e., which are not 0),
while coeffs (see coeffs) returns the coefficient 0 at the
appropriate place if a monomial is not present.
==> y5,y3, y, 1,
==> 1, 10x2,5x4,x5
==> x20,x2y,xy, 1,
==> 1, 1, z+1,z3
matrix mc; matrix mm;
==> x+z, 77