ehv.lib
constant AnnExtEHV
constant isSubset
constant equiMaxEHV
constant removeComponent
constant AssOfDim
constant aJacob
constant equiRadEHV
constant radEHV
constant IntAssOfDim1
constant IntAssOfDim2
constant decompEHV
constant idempotent
constant equiAssEHV
constant AssEHV
constant minAssEHV
constant localize
constant componentEHV
constant primdecEHV
constant removeRedundantComponents
constant primDecsAreEquivalent