numerAlg.lib
constant Degree
typeint(idealreturntype)
constant Incl
typeideal(idealreturntype)
constant Equal
typeideal(idealreturntype)
constant NumLocalDim
typeint(list(idealreturntype))