reesclos.lib
constant ReesAlgebra
typeidealreturntype
constant ClosureRees
typeint(listreturntype)
constant ClosurePower
typelist(listreturntype)
constant normalI
typelist(idealreturntype)