modnormal.lib
constant
pTestNormal
type
type
ideal
→
(
int
→
(
list
→
(
ideal
→
returntype
)
)
)
constant
modpNormal
type
type
list
→
(
int
→
(
poly
→
(
int
→
(
ideal
→
returntype
)
)
)
)
constant
modNormal
type
type
list
→
(
int
→
(
ideal
→
returntype
)
)
constant
jacobIdOne
type
type
int
→
(
ideal
→
returntype
)
constant
norComp
type
type
int
→
(
ideal
→
returntype
)
constant
outComp
type
type
ideal
→
(
poly
→
(
poly
→
(
ideal
→
(
ideal
→
returntype
)
)
)
)
constant
polyHomogenize
type
type
poly
→
(
intvec
→
(
int
→
(
poly
→
returntype
)
)
)
constant
normalCheck
type
type
int
→
(
ideal
→
(
ideal
→
returntype
)
)