involut.lib
constant
ncdetection
type
type
returntype
constant
In_Poly
type
type
int
→
(
list
→
(
poly
→
returntype
)
)
constant
Hom_Poly
type
type
int
→
(
list
→
(
poly
→
returntype
)
)
constant
invo_poly
type
type
map
→
(
poly
→
returntype
)
constant
involution
type
type
map
→
(
def
→
returntype
)
constant
new_var
type
type
returntype
constant
NVAR
type
type
int
→
(
int
→
returntype
)
constant
new_var_special
type
type
returntype
constant
RelMatr
type
type
returntype
constant
findInvo
type
type
returntype
constant
findInvoDiag
type
type
returntype
constant
findAuto
type
type
int
→
returntype
constant
isAntiEndo
type
type
def
→
returntype
constant
isInvolution
type
type
def
→
returntype