numerAlg.lib
constant
Degree
type
type
int
→
(
ideal
→
returntype
)
constant
Incl
type
type
ideal
→
(
ideal
→
returntype
)
constant
Equal
type
type
ideal
→
(
ideal
→
returntype
)
constant
NumLocalDim
type
type
int
→
(
list
→
(
ideal
→
returntype
)
)