| ##### 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.

User manual for Singular version 4.4.0, 2024, generated by texi2html.