|
D.12.7.6 matmult
Procedure from library rootsmr.lib (see rootsmr_lib).
- Usage:
- matmult(f,b,i); f poly, b,i ideal
- Return:
- matrix: the matrix of the multiplication map by f (m_f) on r/i
w.r.t. to the monomial basis b of r/i (r = basering)
- Assume:
- i is a Groebner basis and b is an ordered monomial basis of r/i,
as given by qbase(i)
Example:
See also:
coords;
matbil.
|