ehv.lib
constant
AnnExtEHV
type
type
list
→
(
int
→
returntype
)
constant
isSubset
type
type
ideal
→
(
ideal
→
returntype
)
constant
equiMaxEHV
type
type
ideal
→
returntype
constant
removeComponent
type
type
int
→
(
ideal
→
returntype
)
constant
AssOfDim
type
type
int
→
(
ideal
→
returntype
)
constant
aJacob
type
type
int
→
(
ideal
→
returntype
)
constant
equiRadEHV
type
type
list
→
(
ideal
→
returntype
)
constant
radEHV
type
type
list
→
(
ideal
→
returntype
)
constant
IntAssOfDim1
type
type
int
→
(
ideal
→
returntype
)
constant
IntAssOfDim2
type
type
int
→
(
ideal
→
returntype
)
constant
decompEHV
type
type
ideal
→
returntype
constant
idempotent
type
type
ideal
→
returntype
constant
equiAssEHV
type
type
ideal
→
returntype
constant
AssEHV
type
type
list
→
(
ideal
→
returntype
)
constant
minAssEHV
type
type
list
→
(
ideal
→
returntype
)
constant
localize
type
type
list
→
(
ideal
→
(
ideal
→
returntype
)
)
constant
componentEHV
type
type
list
→
(
list
→
(
ideal
→
(
ideal
→
returntype
)
)
)
constant
primdecEHV
type
type
list
→
(
ideal
→
returntype
)
constant
removeRedundantComponents
type
type
list
→
returntype
constant
primDecsAreEquivalent
type
type
list
→
(
list
→
returntype
)