reesclos.lib
constant
ReesAlgebra
type
type
ideal
→
returntype
constant
ClosureRees
type
type
int
→
(
list
→
returntype
)
constant
ClosurePower
type
type
list
→
(
list
→
returntype
)
constant
normalI
type
type
list
→
(
ideal
→
returntype
)