deflation.lib
constant
getLambda
type
type
matrix
→
(
matrix
→
returntype
)
constant
process_choice_for_i
type
type
int
→
(
int
→
returntype
)
constant
append_var_list
type
type
list
→
(
list
→
(
int
→
returntype
)
)
constant
remove_constants
type
type
ideal
→
returntype
constant
exhaust_options
type
type
matrix
→
(
matrix
→
(
int
→
(
ideal
→
returntype
)
)
)
constant
deflateHMS
type
type
list
→
(
intvec
→
(
intvec
→
(
ideal
→
returntype
)
)
)
constant
complementary_ro_co_vecs
type
type
int
→
(
intvec
→
returntype
)
constant
certain_submats
type
type
intvec
→
(
intvec
→
(
matrix
→
returntype
)
)
constant
det_augment
type
type
intvec
→
(
intvec
→
(
ideal
→
returntype
)
)
constant
deflateHW1
type
type
intvec
→
(
intvec
→
(
ideal
→
returntype
)
)
constant
makeB
type
type
int
→
(
int
→
returntype
)
constant
makeIX
type
type
int
→
(
int
→
returntype
)
constant
deflateHW2
type
type
list
→
(
int
→
(
ideal
→
returntype
)
)
constant
deflateLVZ
type
type
list
→
(
int
→
(
ideal
→
returntype
)
)