|
D.12.7.5 matbil
Procedure from library rootsmr.lib (see rootsmr_lib).
- Usage:
- matbil(h,b,i); h poly, b,i ideal
- Return:
- matrix: the matrix of the bilinear form (f,g) |-> trace(m_fhg),
m_fhg = multiplication with fhg on r/i
- Assume:
- i is a Groebner basis and b is an ordered monomial basis of r/i,
r = basering
Example:
See also:
matmult;
tracemult.
|