integralbasis.lib
constant
integralBasis
type
type
list
→
(
int
→
(
poly
→
returntype
)
)
constant
integralBasisMain
type
type
int
→
(
ideal
→
(
ideal
→
(
string
→
(
poly
→
returntype
)
)
)
)
constant
integralLocal
type
type
list
→
(
ideal
→
returntype
)
constant
cancelCF
type
type
list
→
returntype