involut.lib
constant ncdetection
constant In_Poly
constant Hom_Poly
constant invo_poly
constant involution
constant new_var
constant NVAR
constant new_var_special
constant RelMatr
constant findInvo
constant findInvoDiag
constant findAuto
constant isAntiEndo
constant isInvolution