|
7.7.8.0. isInvolution
Procedure from library involut.lib (see involut_lib).
- Usage:
- isInvolution(F); F is a map from current ring to itself
- Return:
- integer, 1 if F determines an involution and 0 otherwise
- Theory:
- involution is an antiautomorphism of order 2
- Assume:
- F is a map from current ring to itself
Example:
See also:
findInvo;
involution;
isAntiEndo.
|