|
7.7.8.0. involution
Procedure from library involut.lib (see involut_lib).
- Usage:
- involution(m, theta); m is a poly/vector/ideal/matrix/module, theta is a map
- Return:
- object of the same type as m
- Purpose:
- applies the involution, presented by theta to the object m
- Theory:
- for an involution theta and two polynomials a,b from the algebra,
theta(ab) = theta(b) theta(a); theta is linear with respect to the ground field
- Note:
- This is generalized "theta(m)" for data types unsupported by "map".
Example:
|