realizationMatroids.lib
constant
gcdvector
type
type
intvec
→
returntype
constant
balanced
type
type
list
→
returntype
constant
genPoly
type
type
int
→
(
int
→
(
int
→
(
int
→
returntype
)
)
)
constant
prodvar
type
type
int
→
returntype
constant
lessThan
type
type
intvec
→
(
intvec
→
(
int
→
(
int
→
returntype
)
)
)
constant
sortSlope
type
type
list
→
(
int
→
(
int
→
returntype
)
)
constant
coefMonomial
type
type
int
→
(
poly
→
(
poly
→
returntype
)
)
constant
ismultiple
type
type
intvec
→
(
intvec
→
returntype
)
constant
simplifyList
type
type
list
→
returntype
constant
realizationDimIdeal
type
type
list
→
(
ideal
→
returntype
)
constant
realizationDim
type
type
list
→
(
ideal
→
returntype
)
constant
irrRealizationDim
type
type
list
→
(
ideal
→
returntype
)
constant
realizationDimPoly
type
type
list
→
(
ideal
→
returntype
)