deform.lib
constant
versal
type
type
list
→
(
ideal
→
returntype
)
constant
mod_versal
type
type
list
→
(
ideal
→
(
matrix
→
returntype
)
)
constant
kill_rings
type
type
list
→
returntype
constant
compute_ext
type
type
int
→
(
matrix
→
returntype
)
constant
get_rings
type
type
list
→
(
int
→
(
int
→
(
ideal
→
returntype
)
)
)
constant
get_inf_def
type
type
list
→
returntype
constant
lift_rel_kb
type
type
list
→
(
module
→
(
module
→
returntype
)
)
constant
lift_kbase
type
type
def
→
(
def
→
returntype
)
constant
interact1
type
type
returntype
constant
interact2
type
type
list
→
(
intvec
→
(
matrix
→
returntype
)
)
constant
negative_part
type
type
intvec
→
returntype
constant
find_ord
type
type
intvec
→
(
matrix
→
returntype
)
constant
homog_test
type
type
matrix
→
(
matrix
→
(
intvec
→
returntype
)
)
constant
homog_t
type
type
matrix
→
(
matrix
→
(
intvec
→
returntype
)
)