stratify.lib
constant
prepMat
type
type
int
→
(
intvec
→
(
intvec
→
(
matrix
→
returntype
)
)
)
constant
minorList
type
type
list
→
returntype
constant
strataList
type
type
int
→
(
int
→
(
ideal
→
(
list
→
(
list
→
returntype
)
)
)
)
constant
cleanup
type
type
list
→
returntype
constant
joinRS
type
type
list
→
(
list
→
returntype
)
constant
stratify
type
type
int
→
(
intvec
→
(
intvec
→
(
matrix
→
returntype
)
)
)
constant
killdups
type
type
list
→
returntype