|
D.12.7.7 tracemult
Procedure from library rootsmr.lib (see rootsmr_lib).
- Usage:
- tracemult(f,B,I);f poly, B,I ideal
- Return:
- number: the trace of the multiplication by f (m_f) on r/I, written in
the monomial basis B of r/I, r = basering (faster than matmult + trace)
- Assume:
- I is given by a Groebner basis and B is an ordered monomial basis of r/I
Example:
See also:
matmult;
trace.
|