Home Online Manual
Top
Back: isInvolution
Forward: gkdim_lib
FastBack:
FastForward:
Up: involut_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.5.8.0. isAntiEndo
Procedure from library involut.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

Example:
 
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
See also: findInvo; involution; isInvolution.