locnormal.lib
constant
changeDenom
type
type
ideal
→
(
poly
→
(
poly
→
(
ideal
→
returntype
)
)
)
constant
changeDenomQ
type
type
poly
→
(
poly
→
(
ideal
→
returntype
)
)
constant
locNormal
type
type
list
→
(
ideal
→
returntype
)
constant
locNormal_parallelTask
type
type
list
→
(
int
→
(
int
→
(
int
→
(
poly
→
(
ideal
→
(
ideal
→
returntype
)
)
)
)
)
)
constant
locComps
type
type
list
→
returntype
constant
subset
type
type
ideal
→
(
ideal
→
returntype
)
constant
locIdeals
type
type
ideal
→
returntype