ehv.lib
constant AnnExtEHV
typelist(intreturntype)
constant isSubset
typeideal(idealreturntype)
constant equiMaxEHV
typeidealreturntype
constant removeComponent
typeint(idealreturntype)
constant AssOfDim
typeint(idealreturntype)
constant aJacob
typeint(idealreturntype)
constant equiRadEHV
typelist(idealreturntype)
constant radEHV
typelist(idealreturntype)
constant IntAssOfDim1
typeint(idealreturntype)
constant IntAssOfDim2
typeint(idealreturntype)
constant decompEHV
typeidealreturntype
constant idempotent
typeidealreturntype
constant equiAssEHV
typeidealreturntype
constant AssEHV
typelist(idealreturntype)
constant minAssEHV
typelist(idealreturntype)
constant localize
typelist(ideal(idealreturntype))
constant componentEHV
typelist(list(ideal(idealreturntype)))
constant primdecEHV
typelist(idealreturntype)
constant removeRedundantComponents
typelistreturntype
constant primDecsAreEquivalent
typelist(listreturntype)