alexpoly.lib
constant
resolutiongraph
type
type
list
→
(
def
→
returntype
)
constant
totalmultiplicities
type
type
list
→
(
def
→
returntype
)
constant
alexanderpolynomial
type
type
def
→
returntype
constant
semigroup
type
type
def
→
returntype
constant
charexp2generators
type
type
intvec
→
returntype
constant
charexp2multseq
type
type
intvec
→
returntype
constant
multseq2charexp
type
type
def
→
returntype
constant
charexp2inter
type
type
list
→
(
intmat
→
returntype
)
constant
charexp2conductor
type
type
intvec
→
returntype
constant
charexp2poly
type
type
vector
→
(
intvec
→
returntype
)
constant
tau_es2
type
type
list
→
(
def
→
returntype
)
constant
euclidseq
type
type
int
→
(
int
→
returntype
)
constant
puiseuxchainpart
type
type
int
→
(
int
→
(
int
→
(
intvec
→
(
int
→
(
int
→
returntype
)
)
)
)
)
constant
puiseuxchain
type
type
int
→
(
intvec
→
(
intvec
→
(
int
→
returntype
)
)
)
constant
irred_resgraph_totmult
type
type
intvec
→
returntype
constant
max_in_intvec
type
type
list
→
(
intvec
→
returntype
)
constant
addmat
type
type
intmat
→
(
intmat
→
returntype
)
constant
divsequence
type
type
int
→
(
int
→
returntype
)
constant
adjust_tot_mult
type
type
int
→
(
def
→
(
def
→
(
def
→
(
intvec
→
(
intvec
→
(
intvec
→
(
intvec
→
returntype
)
)
)
)
)
)
)
constant
find_connection_point
type
type
int
→
(
intvec
→
returntype
)
constant
find_connection_points
type
type
int
→
(
intmat
→
returntype
)
constant
find_lower_connection_points
type
type
int
→
(
intmat
→
returntype
)
constant
euclides
type
type
int
→
(
int
→
returntype
)
constant
tau_es_qh
type
type
poly
→
returntype
constant
move_row
type
type
int
→
(
int
→
(
intmat
→
returntype
)
)
constant
move_col
type
type
int
→
(
int
→
(
intmat
→
returntype
)
)
constant
move_row_col
type
type
int
→
(
int
→
(
intmat
→
returntype
)
)
constant
delete_row
type
type
int
→
(
intmat
→
returntype
)
constant
delete_col
type
type
int
→
(
intmat
→
returntype
)
constant
sort_branches
type
type
int
→
(
int
→
(
list
→
(
list
→
(
list
→
(
intmat
→
returntype
)
)
)
)
)
constant
find_last_non_one
type
type
int
→
(
intvec
→
returntype
)
constant
intmat_minus_one
type
type
intmat
→
returntype
constant
proximitymatrix
type
type
def
→
returntype
constant
addmultiplrows
type
type
int
→
(
int
→
(
int
→
(
int
→
(
intmat
→
returntype
)
)
)
)
constant
proxgauss
type
type
intmat
→
returntype
constant
extend_multiplicities
type
type
list
→
returntype
constant
intmat_inverse
type
type
intmat
→
returntype