goettsche.lib
constant
GoettscheF
type
type
list
→
(
int
→
(
poly
→
(
poly
→
returntype
)
)
)
constant
PPolyH
type
type
list
→
(
int
→
(
poly
→
returntype
)
)
constant
BettiNumsH
type
type
list
→
(
int
→
returntype
)
constant
MacdonaldF
type
type
list
→
(
int
→
(
poly
→
(
poly
→
returntype
)
)
)
constant
PPolyS
type
type
list
→
(
int
→
(
poly
→
returntype
)
)
constant
BettiNumsS
type
type
list
→
(
int
→
returntype
)
constant
checkBetti
type
type
list
→
returntype
constant
generFactor
type
type
int
→
(
int
→
(
int
→
(
int
→
(
poly
→
returntype
)
)
)
)