numerDecom.lib
constant
re2squ
type
type
ideal
→
returntype
constant
Singular2bertini
type
type
list
→
returntype
constant
UseBertini
type
type
string
→
(
ideal
→
returntype
)
constant
bertini2Singular
type
type
int
→
(
string
→
returntype
)
constant
WitSupSet
type
type
ideal
→
returntype
constant
ReJunkUseHomo
type
type
list
→
(
list
→
(
ideal
→
(
ideal
→
returntype
)
)
)
constant
JuReTopDim
type
type
int
→
(
int
→
(
list
→
(
ideal
→
returntype
)
)
)
constant
JuReZeroDim
type
type
int
→
(
list
→
(
ideal
→
returntype
)
)
constant
WitSet
type
type
ideal
→
returntype
constant
ZSR1
type
type
list
→
(
ideal
→
(
ideal
→
returntype
)
)
constant
perSumZ
type
type
list
→
returntype
constant
ZSROFWitSet
type
type
ideal
→
returntype
constant
ReWitZSR
type
type
int
→
(
list
→
(
list
→
returntype
)
)
constant
NumIrrDecom
type
type
ideal
→
returntype
constant
defl
type
type
int
→
(
ideal
→
returntype
)
constant
NIDofDI
type
type
ideal
→
returntype
constant
NumPrimDecom
type
type
int
→
(
ideal
→
returntype
)