gmspoly.lib
constant
mindegree
type
type
matrix
→
returntype
constant
maxdegree
type
type
matrix
→
returntype
constant
isTame
type
type
poly
→
returntype
constant
chart
type
type
matrix
→
returntype
constant
pidbasis
type
type
module
→
(
module
→
returntype
)
constant
vfiltmat
type
type
int
→
(
matrix
→
returntype
)
constant
spec
type
type
matrix
→
(
module
→
(
intvec
→
(
ideal
→
returntype
)
)
)
constant
fsplit
type
type
module
→
(
matrix
→
(
module
→
(
intvec
→
(
ideal
→
(
ideal
→
returntype
)
)
)
)
)
constant
glift
type
type
module
→
(
matrix
→
(
module
→
(
ideal
→
returntype
)
)
)
constant
goodBasis
type
type
poly
→
returntype