|
 |
 |
 |
 |
 |
 |
 |
 |
 |
7.5.8.0. isAntiEndo
Procedure from libraryinvolut.lib (see involut_lib).
- Usage:
- isAntiEndo(F); F is a map from current ring to itself
- Return:
- integer, 1 if F determines an antiendomorphism of
current ring and 0 otherwise - Assume:
- F is a map from current ring to itself
LIB "involut.lib"; def A = makeUsl(2); setring A; map I = A,-e,-f,-h; //correct antiauto involution isAntiEndo(I); ==> 1 map J = A,3*e,1/3*f,-h; // antiauto but not involution isAntiEndo(J); ==> 1 map K = A,f,e,-h; // not antiendo isAntiEndo(K); ==> 0 |