|
7.7.2.0. applyAdF
Procedure from library central.lib (see central_lib).
- Usage:
- applyAdF(B, f); B ideal, f poly
- Purpose:
- Apply Ad_f to every element of B
- Return:
- ideal, generated by Ad_f(B[i]), 1<=i<=size(B)
- Note:
- Ad_f(v) := [f, v] = f*v - v*f
Example:
See also:
linearMapKernel.
|